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 { // READ_ADDR_INCR
33 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
34 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_1_)) -
35 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
36 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(1)));
37 std::get<0>(evals) += (tmp * scaling_factor);
38 }
39 {
40 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
41 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_2_)) -
42 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
43 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(2)));
44 std::get<1>(evals) += (tmp * scaling_factor);
45 }
46 {
47 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
48 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_3_)) -
49 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
50 (static_cast<View>(in.get(C::poseidon2_perm_mem_read_address_0_)) + FF(3)));
51 std::get<2>(evals) += (tmp * scaling_factor);
52 }
53 { // WRITE_ADDR_INCR
54 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
55 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_1_)) -
56 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
57 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(1)));
58 std::get<3>(evals) += (tmp * scaling_factor);
59 }
60 {
61 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
62 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_2_)) -
63 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
64 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(2)));
65 std::get<4>(evals) += (tmp * scaling_factor);
66 }
67 {
68 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
69 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_3_)) -
70 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
71 (static_cast<View>(in.get(C::poseidon2_perm_mem_write_address_0_)) + FF(3)));
72 std::get<5>(evals) += (tmp * scaling_factor);
73 }
74 {
75 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
76 auto tmp =
77 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
78 (static_cast<View>(in.get(C::poseidon2_perm_mem_max_mem_addr)) - CView(constants_AVM_HIGHEST_MEM_ADDRESS));
79 std::get<6>(evals) += (tmp * scaling_factor);
80 }
81 {
82 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
83 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_sel_should_read_mem)) -
84 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
85 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_src_out_of_range_err))) *
86 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_dst_out_of_range_err))));
87 std::get<7>(evals) += (tmp * scaling_factor);
88 }
89 {
90 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
91 auto tmp = static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)) *
92 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)));
93 std::get<8>(evals) += (tmp * scaling_factor);
94 }
95 { // BATCH_ZERO_CHECK
96 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
97 auto tmp = (CView(poseidon2_perm_mem_BATCHED_TAG_CHECK) *
98 ((FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err))) *
99 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_batch_tag_inv))) +
100 static_cast<View>(in.get(C::poseidon2_perm_mem_batch_tag_inv))) -
101 static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)));
102 std::get<9>(evals) += (tmp * scaling_factor);
103 }
104 {
105 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
106 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_err)) -
107 (FF(1) - (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_src_out_of_range_err))) *
108 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_dst_out_of_range_err))) *
109 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_sel_invalid_tag_err)))));
110 std::get<10>(evals) += (tmp * scaling_factor);
111 }
112 {
113 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
114 auto tmp = (static_cast<View>(in.get(C::poseidon2_perm_mem_sel_should_exec)) -
115 static_cast<View>(in.get(C::poseidon2_perm_mem_sel)) *
116 (FF(1) - static_cast<View>(in.get(C::poseidon2_perm_mem_err))));
117 std::get<11>(evals) += (tmp * scaling_factor);
118 }
119}
120
121} // 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