Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
poseidon2_mem_impl.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include "barretenberg/vm2/constraining/relations/relation_macros.hpp"
5#include "barretenberg/vm2/generated/relations/poseidon2_mem.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void poseidon2_memImpl<FF_>::accumulate(ContainerOverSubrelations& evals,
12 const AllEntities& in,
13 [[maybe_unused]] const RelationParameters<FF_>&,
14 [[maybe_unused]] const FF_& scaling_factor)
15{
16 using C = ColumnAndShifts;
17
18 const auto constants_MEM_TAG_FF = FF(0);
19 const auto constants_AVM_HIGHEST_MEM_ADDRESS = FF(4294967295UL);
20 const auto poseidon2_perm_mem_INPUT_TAG_DIFF_0 =
21 (in.get(C::poseidon2_perm_mem_input_tag_0_) - constants_MEM_TAG_FF);
22 const auto poseidon2_perm_mem_INPUT_TAG_DIFF_1 =
23 (in.get(C::poseidon2_perm_mem_input_tag_1_) - constants_MEM_TAG_FF);
24 const auto poseidon2_perm_mem_INPUT_TAG_DIFF_2 =
25 (in.get(C::poseidon2_perm_mem_input_tag_2_) - constants_MEM_TAG_FF);
26 const auto poseidon2_perm_mem_INPUT_TAG_DIFF_3 =
27 (in.get(C::poseidon2_perm_mem_input_tag_3_) - constants_MEM_TAG_FF);
28 const auto poseidon2_perm_mem_BATCHED_TAG_CHECK =
29 FF(1) * poseidon2_perm_mem_INPUT_TAG_DIFF_0 + FF(8) * poseidon2_perm_mem_INPUT_TAG_DIFF_1 +
30 FF(64) * poseidon2_perm_mem_INPUT_TAG_DIFF_2 + FF(512) * poseidon2_perm_mem_INPUT_TAG_DIFF_3;
31
32 {
33 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
34 auto tmp = static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
35 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel)));
36 std::get<0>(evals) += (tmp * scaling_factor);
37 }
38 { // READ_ADDR_INCR
39 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
40 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_1_)) -
41 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
42 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(1)));
43 std::get<1>(evals) += (tmp * scaling_factor);
44 }
45 {
46 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
47 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_2_)) -
48 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
49 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(2)));
50 std::get<2>(evals) += (tmp * scaling_factor);
51 }
52 {
53 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
54 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_3_)) -
55 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
56 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(3)));
57 std::get<3>(evals) += (tmp * scaling_factor);
58 }
59 { // WRITE_ADDR_INCR
60 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
61 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_1_)) -
62 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
63 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(1)));
64 std::get<4>(evals) += (tmp * scaling_factor);
65 }
66 {
67 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
68 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_2_)) -
69 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
70 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(2)));
71 std::get<5>(evals) += (tmp * scaling_factor);
72 }
73 {
74 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
75 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_3_)) -
76 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
77 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(3)));
78 std::get<6>(evals) += (tmp * scaling_factor);
79 }
80 {
81 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
82 auto tmp =
83 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
84 (static_cast<View>(in.get(C::poseidon2_perm_mem_max_mem_addr)) - CView(constants_AVM_HIGHEST_MEM_ADDRESS));
85 std::get<7>(evals) += (tmp * scaling_factor);
86 }
87 {
88 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
89 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_sel_should_read_mem)) -
90 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
91 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_src_out_of_range_err))) *
92 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_dst_out_of_range_err))));
93 std::get<8>(evals) += (tmp * scaling_factor);
94 }
95 {
96 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
97 auto tmp = static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)) *
98 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)));
99 std::get<9>(evals) += (tmp * scaling_factor);
100 }
101 { // BATCH_ZERO_CHECK
102 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
103 auto tmp = (CView(poseidon2_perm_mem_BATCHED_TAG_CHECK) *
104 ((FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err))) *
105 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_batch_tag_inv))) +
106 static_cast<View>(in.get(C::poseidon2_perm_mem_batch_tag_inv))) -
107 static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)));
108 std::get<10>(evals) += (tmp * scaling_factor);
109 }
110 {
111 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
112 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_err)) -
113 (FF(1) - (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_src_out_of_range_err))) *
114 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_dst_out_of_range_err))) *
115 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)))));
116 std::get<11>(evals) += (tmp * scaling_factor);
117 }
118 {
119 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
120 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_sel_should_exec)) -
121 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
122 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_err))));
123 std::get<12>(evals) += (tmp * scaling_factor);
124 }
125}
126
127} // namespace bb::avm2
bb::avm2::poseidon2_memImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition poseidon2_mem_impl.hpp:11
bb::avm2::ColumnAndShifts
ColumnAndShifts
Definition columns.hpp:34
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition field.hpp:10
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
poseidon2_mem.hpp
relation_macros.hpp
CView
#define CView(v)
Definition relation_macros.hpp:16
bb::RelationParameters
Container for parameters used by the grand product (permutation, lookup) Honk relations.
Definition relation_parameters.hpp:19