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