Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
merkle_check_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/merkle_check.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void merkle_checkImpl<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 merkle_check_LATCH_CONDITION = in.get(C::merkle_check_end) + in.get(C::precomputed_first_row);
19 const auto merkle_check_PATH_LEN_MIN_ONE = (in.get(C::merkle_check_path_len) - FF(1));
20 const auto merkle_check_INDEX_IS_ODD = (FF(1) - in.get(C::merkle_check_index_is_even));
21
22 {
23 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
24 auto tmp =
25 static_cast<View>(in.get(C::merkle_check_sel)) * (FF(1) - static_cast<View>(in.get(C::merkle_check_sel)));
26 std::get<0>(evals) += (tmp * scaling_factor);
27 }
28 {
29 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
30 auto tmp = static_cast<View>(in.get(C::merkle_check_write)) *
31 (FF(1) - static_cast<View>(in.get(C::merkle_check_write)));
32 std::get<1>(evals) += (tmp * scaling_factor);
33 }
34 {
35 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
36 auto tmp = static_cast<View>(in.get(C::merkle_check_start)) *
37 (FF(1) - static_cast<View>(in.get(C::merkle_check_start)));
38 std::get<2>(evals) += (tmp * scaling_factor);
39 }
40 {
41 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
42 auto tmp =
43 static_cast<View>(in.get(C::merkle_check_end)) * (FF(1) - static_cast<View>(in.get(C::merkle_check_end)));
44 std::get<3>(evals) += (tmp * scaling_factor);
45 }
46 { // SEL_ON_START_OR_END
47 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
48 auto tmp = (static_cast<View>(in.get(C::merkle_check_start)) + static_cast<View>(in.get(C::merkle_check_end))) *
49 (FF(1) - static_cast<View>(in.get(C::merkle_check_sel)));
50 std::get<4>(evals) += (tmp * scaling_factor);
51 }
52 { // TRACE_CONTINUITY
53 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
54 auto tmp =
55 (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
56 (static_cast<View>(in.get(C::merkle_check_sel)) - static_cast<View>(in.get(C::merkle_check_sel_shift)));
57 std::get<5>(evals) += (tmp * scaling_factor);
58 }
59 { // START_AFTER_LATCH
60 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
61 auto tmp = static_cast<View>(in.get(C::merkle_check_sel_shift)) *
62 (static_cast<View>(in.get(C::merkle_check_start_shift)) - CView(merkle_check_LATCH_CONDITION));
63 std::get<6>(evals) += (tmp * scaling_factor);
64 }
65 { // END_IFF_REM_PATH_EMPTY
66 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
67 auto tmp = static_cast<View>(in.get(C::merkle_check_sel)) *
68 ((CView(merkle_check_PATH_LEN_MIN_ONE) *
69 (static_cast<View>(in.get(C::merkle_check_end)) *
70 (FF(1) - static_cast<View>(in.get(C::merkle_check_path_len_min_one_inv))) +
71 static_cast<View>(in.get(C::merkle_check_path_len_min_one_inv))) -
72 FF(1)) +
73 static_cast<View>(in.get(C::merkle_check_end)));
74 std::get<7>(evals) += (tmp * scaling_factor);
75 }
76 { // PROPAGATE_READ_ROOT
77 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
78 auto tmp = (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
79 (static_cast<View>(in.get(C::merkle_check_read_root_shift)) -
80 static_cast<View>(in.get(C::merkle_check_read_root)));
81 std::get<8>(evals) += (tmp * scaling_factor);
82 }
83 { // PROPAGATE_WRITE
84 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
85 auto tmp =
86 (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
87 (static_cast<View>(in.get(C::merkle_check_write_shift)) - static_cast<View>(in.get(C::merkle_check_write)));
88 std::get<9>(evals) += (tmp * scaling_factor);
89 }
90 { // PROPAGATE_WRITE_ROOT
91 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
92 auto tmp = (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
93 (static_cast<View>(in.get(C::merkle_check_write_root_shift)) -
94 static_cast<View>(in.get(C::merkle_check_write_root)));
95 std::get<10>(evals) += (tmp * scaling_factor);
96 }
97 { // PATH_LEN_DECREMENTS
98 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
99 auto tmp = static_cast<View>(in.get(C::merkle_check_sel)) *
100 (FF(1) - static_cast<View>(in.get(C::merkle_check_end))) *
101 ((static_cast<View>(in.get(C::merkle_check_path_len_shift)) -
102 static_cast<View>(in.get(C::merkle_check_path_len))) +
103 FF(1));
104 std::get<11>(evals) += (tmp * scaling_factor);
105 }
106 {
107 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
108 auto tmp = static_cast<View>(in.get(C::merkle_check_index_is_even)) *
109 (FF(1) - static_cast<View>(in.get(C::merkle_check_index_is_even)));
110 std::get<12>(evals) += (tmp * scaling_factor);
111 }
112 { // NEXT_INDEX_IS_HALVED
113 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
114 auto tmp =
115 static_cast<View>(in.get(C::merkle_check_sel)) * (FF(1) - static_cast<View>(in.get(C::merkle_check_end))) *
116 ((FF(2) * static_cast<View>(in.get(C::merkle_check_index_shift)) + CView(merkle_check_INDEX_IS_ODD)) -
117 static_cast<View>(in.get(C::merkle_check_index)));
118 std::get<13>(evals) += (tmp * scaling_factor);
119 }
120 { // FINAL_INDEX_EQUAL_TO_FIRST_BIT
121 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
122 auto tmp = static_cast<View>(in.get(C::merkle_check_end)) *
123 (static_cast<View>(in.get(C::merkle_check_index)) - CView(merkle_check_INDEX_IS_ODD));
124 std::get<14>(evals) += (tmp * scaling_factor);
125 }
126 { // READ_LEFT_NODE
127 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
128 auto tmp = (static_cast<View>(in.get(C::merkle_check_read_left_node)) -
129 (static_cast<View>(in.get(C::merkle_check_index_is_even)) *
130 (static_cast<View>(in.get(C::merkle_check_read_node)) -
131 static_cast<View>(in.get(C::merkle_check_sibling))) +
132 static_cast<View>(in.get(C::merkle_check_sibling))));
133 std::get<15>(evals) += (tmp * scaling_factor);
134 }
135 { // READ_RIGHT_NODE
136 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
137 auto tmp = (static_cast<View>(in.get(C::merkle_check_read_right_node)) -
138 (static_cast<View>(in.get(C::merkle_check_index_is_even)) *
139 (static_cast<View>(in.get(C::merkle_check_sibling)) -
140 static_cast<View>(in.get(C::merkle_check_read_node))) +
141 static_cast<View>(in.get(C::merkle_check_read_node))));
142 std::get<16>(evals) += (tmp * scaling_factor);
143 }
144 { // WRITE_LEFT_NODE
145 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
146 auto tmp = (static_cast<View>(in.get(C::merkle_check_write_left_node)) -
147 static_cast<View>(in.get(C::merkle_check_write)) *
148 (static_cast<View>(in.get(C::merkle_check_index_is_even)) *
149 (static_cast<View>(in.get(C::merkle_check_write_node)) -
150 static_cast<View>(in.get(C::merkle_check_sibling))) +
151 static_cast<View>(in.get(C::merkle_check_sibling))));
152 std::get<17>(evals) += (tmp * scaling_factor);
153 }
154 { // WRITE_RIGHT_NODE
155 using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
156 auto tmp = (static_cast<View>(in.get(C::merkle_check_write_right_node)) -
157 static_cast<View>(in.get(C::merkle_check_write)) *
158 (static_cast<View>(in.get(C::merkle_check_index_is_even)) *
159 (static_cast<View>(in.get(C::merkle_check_sibling)) -
160 static_cast<View>(in.get(C::merkle_check_write_node))) +
161 static_cast<View>(in.get(C::merkle_check_write_node))));
162 std::get<18>(evals) += (tmp * scaling_factor);
163 }
164 {
165 using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
166 auto tmp = static_cast<View>(in.get(C::merkle_check_sel)) *
167 (static_cast<View>(in.get(C::merkle_check_const_three)) - FF(3));
168 std::get<19>(evals) += (tmp * scaling_factor);
169 }
170 { // PROPAGATE_MERKLE_HASH_SEPARATOR
171 using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
172 auto tmp = (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
173 (static_cast<View>(in.get(C::merkle_check_merkle_hash_separator_shift)) -
174 static_cast<View>(in.get(C::merkle_check_merkle_hash_separator)));
175 std::get<20>(evals) += (tmp * scaling_factor);
176 }
177 { // OUTPUT_HASH_IS_NEXT_ROWS_READ_NODE
178 using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
179 auto tmp = (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
180 (static_cast<View>(in.get(C::merkle_check_read_node_shift)) -
181 static_cast<View>(in.get(C::merkle_check_read_output_hash)));
182 std::get<21>(evals) += (tmp * scaling_factor);
183 }
184 { // OUTPUT_HASH_IS_NEXT_ROWS_WRITE_NODE
185 using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
186 auto tmp = (FF(1) - CView(merkle_check_LATCH_CONDITION)) *
187 (static_cast<View>(in.get(C::merkle_check_write_node_shift)) -
188 static_cast<View>(in.get(C::merkle_check_write_output_hash)));
189 std::get<22>(evals) += (tmp * scaling_factor);
190 }
191 { // READ_OUTPUT_HASH_IS_READ_ROOT
192 using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
193 auto tmp = static_cast<View>(in.get(C::merkle_check_end)) *
194 (static_cast<View>(in.get(C::merkle_check_read_output_hash)) -
195 static_cast<View>(in.get(C::merkle_check_read_root)));
196 std::get<23>(evals) += (tmp * scaling_factor);
197 }
198 { // WRITE_OUTPUT_HASH_IS_WRITE_ROOT
199 using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
200 auto tmp = static_cast<View>(in.get(C::merkle_check_end)) *
201 (static_cast<View>(in.get(C::merkle_check_write_output_hash)) -
202 static_cast<View>(in.get(C::merkle_check_write_root)));
203 std::get<24>(evals) += (tmp * scaling_factor);
204 }
205}
206
207} // namespace bb::avm2
bb::MegaFlavor_Generated::AllEntities
Definition mega_flavor_generated.hpp:277
bb::avm2::merkle_checkImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition merkle_check_impl.hpp:11
merkle_check.hpp
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition field.hpp:10
bb::avm2::ColumnAndShifts
ColumnAndShifts
Definition columns.hpp:35
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
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