Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
range_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/range_check.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void range_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 range_check_PX_0 = FF(0);
19 const auto range_check_R7_0 = in.get(C::range_check_u16_r7);
20 const auto range_check_PX_1 = in.get(C::range_check_u16_r0);
21 const auto range_check_R7_1 = range_check_R7_0 * FF(65536);
22 const auto range_check_PX_2 = range_check_PX_1 + in.get(C::range_check_u16_r1) * FF(65536);
23 const auto range_check_R7_2 = range_check_R7_1 * FF(65536);
24 const auto range_check_PX_3 = range_check_PX_2 + in.get(C::range_check_u16_r2) * FF(4294967296UL);
25 const auto range_check_R7_3 = range_check_R7_2 * FF(65536);
26 const auto range_check_PX_4 = range_check_PX_3 + in.get(C::range_check_u16_r3) * FF(281474976710656UL);
27 const auto range_check_R7_4 = range_check_R7_3 * FF(65536);
28 const auto range_check_PX_5 =
29 range_check_PX_4 + in.get(C::range_check_u16_r4) * FF(uint256_t{ 0UL, 1UL, 0UL, 0UL });
30 const auto range_check_R7_5 = range_check_R7_4 * FF(65536);
31 const auto range_check_PX_6 =
32 range_check_PX_5 + in.get(C::range_check_u16_r5) * FF(uint256_t{ 0UL, 65536UL, 0UL, 0UL });
33 const auto range_check_R7_6 = range_check_R7_5 * FF(65536);
34 const auto range_check_PX_7 =
35 range_check_PX_6 + in.get(C::range_check_u16_r6) * FF(uint256_t{ 0UL, 4294967296UL, 0UL, 0UL });
36 const auto range_check_R7_7 = range_check_R7_6 * FF(65536);
37 const auto range_check_RESULT = in.get(C::range_check_is_lte_u16) * (range_check_PX_0 + range_check_R7_0) +
38 in.get(C::range_check_is_lte_u32) * (range_check_PX_1 + range_check_R7_1) +
39 in.get(C::range_check_is_lte_u48) * (range_check_PX_2 + range_check_R7_2) +
40 in.get(C::range_check_is_lte_u64) * (range_check_PX_3 + range_check_R7_3) +
41 in.get(C::range_check_is_lte_u80) * (range_check_PX_4 + range_check_R7_4) +
42 in.get(C::range_check_is_lte_u96) * (range_check_PX_5 + range_check_R7_5) +
43 in.get(C::range_check_is_lte_u112) * (range_check_PX_6 + range_check_R7_6) +
44 in.get(C::range_check_is_lte_u128) * (range_check_PX_7 + range_check_R7_7);
45 const auto range_check_CUM_LTE_128 = in.get(C::range_check_is_lte_u128);
46 const auto range_check_CUM_LTE_112 = in.get(C::range_check_is_lte_u112) + range_check_CUM_LTE_128;
47 const auto range_check_CUM_LTE_96 = in.get(C::range_check_is_lte_u96) + range_check_CUM_LTE_112;
48 const auto range_check_CUM_LTE_80 = in.get(C::range_check_is_lte_u80) + range_check_CUM_LTE_96;
49 const auto range_check_CUM_LTE_64 = in.get(C::range_check_is_lte_u64) + range_check_CUM_LTE_80;
50 const auto range_check_CUM_LTE_48 = in.get(C::range_check_is_lte_u48) + range_check_CUM_LTE_64;
51 const auto range_check_CUM_LTE_32 = in.get(C::range_check_is_lte_u32) + range_check_CUM_LTE_48;
52
53 {
54 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
55 auto tmp =
56 static_cast<View>(in.get(C::range_check_sel)) * (FF(1) - static_cast<View>(in.get(C::range_check_sel)));
57 std::get<0>(evals) += (tmp * scaling_factor);
58 }
59 {
60 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
61 auto tmp = static_cast<View>(in.get(C::range_check_sel_keccak)) *
62 (FF(1) - static_cast<View>(in.get(C::range_check_sel_keccak)));
63 std::get<1>(evals) += (tmp * scaling_factor);
64 }
65 {
66 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
67 auto tmp = static_cast<View>(in.get(C::range_check_sel_gt)) *
68 (FF(1) - static_cast<View>(in.get(C::range_check_sel_gt)));
69 std::get<2>(evals) += (tmp * scaling_factor);
70 }
71 {
72 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
73 auto tmp = static_cast<View>(in.get(C::range_check_sel_memory)) *
74 (FF(1) - static_cast<View>(in.get(C::range_check_sel_memory)));
75 std::get<3>(evals) += (tmp * scaling_factor);
76 }
77 {
78 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
79 auto tmp = static_cast<View>(in.get(C::range_check_sel_alu)) *
80 (FF(1) - static_cast<View>(in.get(C::range_check_sel_alu)));
81 std::get<4>(evals) += (tmp * scaling_factor);
82 }
83 {
84 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
85 auto tmp =
86 (static_cast<View>(in.get(C::range_check_sel_keccak)) + static_cast<View>(in.get(C::range_check_sel_gt)) +
87 static_cast<View>(in.get(C::range_check_sel_memory)) + static_cast<View>(in.get(C::range_check_sel_alu))) *
88 (FF(1) - static_cast<View>(in.get(C::range_check_sel)));
89 std::get<5>(evals) += (tmp * scaling_factor);
90 }
91 {
92 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
93 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u16)) *
94 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u16)));
95 std::get<6>(evals) += (tmp * scaling_factor);
96 }
97 {
98 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
99 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u32)) *
100 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u32)));
101 std::get<7>(evals) += (tmp * scaling_factor);
102 }
103 {
104 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
105 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u48)) *
106 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u48)));
107 std::get<8>(evals) += (tmp * scaling_factor);
108 }
109 {
110 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
111 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u64)) *
112 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u64)));
113 std::get<9>(evals) += (tmp * scaling_factor);
114 }
115 {
116 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
117 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u80)) *
118 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u80)));
119 std::get<10>(evals) += (tmp * scaling_factor);
120 }
121 {
122 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
123 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u96)) *
124 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u96)));
125 std::get<11>(evals) += (tmp * scaling_factor);
126 }
127 {
128 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
129 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u112)) *
130 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u112)));
131 std::get<12>(evals) += (tmp * scaling_factor);
132 }
133 {
134 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
135 auto tmp = static_cast<View>(in.get(C::range_check_is_lte_u128)) *
136 (FF(1) - static_cast<View>(in.get(C::range_check_is_lte_u128)));
137 std::get<13>(evals) += (tmp * scaling_factor);
138 }
139 { // IS_LTE_MUTUALLY_EXCLUSIVE
140 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
141 auto tmp = ((static_cast<View>(in.get(C::range_check_is_lte_u16)) +
142 static_cast<View>(in.get(C::range_check_is_lte_u32)) +
143 static_cast<View>(in.get(C::range_check_is_lte_u48)) +
144 static_cast<View>(in.get(C::range_check_is_lte_u64)) +
145 static_cast<View>(in.get(C::range_check_is_lte_u80)) +
146 static_cast<View>(in.get(C::range_check_is_lte_u96)) +
147 static_cast<View>(in.get(C::range_check_is_lte_u112)) +
148 static_cast<View>(in.get(C::range_check_is_lte_u128))) -
149 static_cast<View>(in.get(C::range_check_sel)));
150 std::get<14>(evals) += (tmp * scaling_factor);
151 }
152 { // CHECK_RECOMPOSITION
153 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
154 auto tmp = static_cast<View>(in.get(C::range_check_sel)) *
155 (CView(range_check_RESULT) - static_cast<View>(in.get(C::range_check_value)));
156 std::get<15>(evals) += (tmp * scaling_factor);
157 }
158 {
159 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
160 auto tmp = (static_cast<View>(in.get(C::range_check_dyn_rng_chk_bits)) -
161 (((((((static_cast<View>(in.get(C::range_check_rng_chk_bits)) -
162 static_cast<View>(in.get(C::range_check_is_lte_u32)) * FF(16)) -
163 static_cast<View>(in.get(C::range_check_is_lte_u48)) * FF(32)) -
164 static_cast<View>(in.get(C::range_check_is_lte_u64)) * FF(48)) -
165 static_cast<View>(in.get(C::range_check_is_lte_u80)) * FF(64)) -
166 static_cast<View>(in.get(C::range_check_is_lte_u96)) * FF(80)) -
167 static_cast<View>(in.get(C::range_check_is_lte_u112)) * FF(96)) -
168 static_cast<View>(in.get(C::range_check_is_lte_u128)) * FF(112)));
169 std::get<16>(evals) += (tmp * scaling_factor);
170 }
171 {
172 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
173 auto tmp = static_cast<View>(in.get(C::range_check_sel)) *
174 (static_cast<View>(in.get(C::range_check_dyn_diff)) -
175 ((static_cast<View>(in.get(C::range_check_dyn_rng_chk_pow_2)) -
176 static_cast<View>(in.get(C::range_check_u16_r7))) -
177 FF(1)));
178 std::get<17>(evals) += (tmp * scaling_factor);
179 }
180 {
181 using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
182 auto tmp = (static_cast<View>(in.get(C::range_check_sel_r0_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_32));
183 std::get<18>(evals) += (tmp * scaling_factor);
184 }
185 {
186 using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
187 auto tmp = (static_cast<View>(in.get(C::range_check_sel_r1_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_48));
188 std::get<19>(evals) += (tmp * scaling_factor);
189 }
190 {
191 using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
192 auto tmp = (static_cast<View>(in.get(C::range_check_sel_r2_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_64));
193 std::get<20>(evals) += (tmp * scaling_factor);
194 }
195 {
196 using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
197 auto tmp = (static_cast<View>(in.get(C::range_check_sel_r3_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_80));
198 std::get<21>(evals) += (tmp * scaling_factor);
199 }
200 {
201 using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
202 auto tmp = (static_cast<View>(in.get(C::range_check_sel_r4_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_96));
203 std::get<22>(evals) += (tmp * scaling_factor);
204 }
205 {
206 using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
207 auto tmp =
208 (static_cast<View>(in.get(C::range_check_sel_r5_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_112));
209 std::get<23>(evals) += (tmp * scaling_factor);
210 }
211 {
212 using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
213 auto tmp =
214 (static_cast<View>(in.get(C::range_check_sel_r6_16_bit_rng_lookup)) - CView(range_check_CUM_LTE_128));
215 std::get<24>(evals) += (tmp * scaling_factor);
216 }
217}
218
219} // namespace bb::avm2
bb::avm2::range_checkImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition range_check_impl.hpp:11
bb::numeric::uint256_t
Definition uint256.hpp:32
range_check.hpp
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
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