Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
contract_instance_retrieval_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/contract_instance_retrieval.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void contract_instance_retrievalImpl<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_NULLIFIER_TREE_HEIGHT = FF(42);
19 const auto constants_MAX_PROTOCOL_CONTRACTS = FF(11);
20 const auto constants_CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS = FF(2);
21 const auto constants_AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX = FF(8);
22 const auto constants_DOM_SEP__SILOED_NULLIFIER = FF(57496191);
23 const auto constants_DOM_SEP__NULLIFIER_MERKLE = FF(1157584160);
24 const auto contract_instance_retrieval_NOT_EXISTS = (FF(1) - in.get(C::contract_instance_retrieval_exists));
25
26 {
27 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
28 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
29 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_sel)));
30 std::get<0>(evals) += (tmp * scaling_factor);
31 }
32 {
33 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
34 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_exists)) *
35 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists)));
36 std::get<1>(evals) += (tmp * scaling_factor);
37 }
38 { // DEPLOYER_PROTOCOL_CONTRACT_ADDRESS_CONSTANT
39 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
40 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
41 (CView(constants_CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS) -
42 static_cast<View>(in.get(C::contract_instance_retrieval_deployer_protocol_contract_address)));
43 std::get<2>(evals) += (tmp * scaling_factor);
44 }
45 {
46 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
47 auto tmp =
48 (static_cast<View>(in.get(C::contract_instance_retrieval_max_protocol_contracts)) -
49 static_cast<View>(in.get(C::contract_instance_retrieval_sel)) * CView(constants_MAX_PROTOCOL_CONTRACTS));
50 std::get<3>(evals) += (tmp * scaling_factor);
51 }
52 {
53 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
54 auto tmp = (static_cast<View>(in.get(C::contract_instance_retrieval_address_sub_one)) -
55 static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
56 (static_cast<View>(in.get(C::contract_instance_retrieval_address)) - FF(1)));
57 std::get<4>(evals) += (tmp * scaling_factor);
58 }
59 { // DERIVED_ADDRESS_PI_INDEX
60 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
61 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_is_protocol_contract)) *
62 ((CView(constants_AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX) +
63 static_cast<View>(in.get(C::contract_instance_retrieval_address_sub_one))) -
64 static_cast<View>(in.get(C::contract_instance_retrieval_derived_address_pi_index)));
65 std::get<5>(evals) += (tmp * scaling_factor);
66 }
67 { // PROTOCOL_CONTRACT_EXISTS_CHECK
68 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
69 auto tmp =
70 static_cast<View>(in.get(C::contract_instance_retrieval_is_protocol_contract)) *
71 ((static_cast<View>(in.get(C::contract_instance_retrieval_derived_address)) *
72 (CView(contract_instance_retrieval_NOT_EXISTS) *
73 (FF(1) - static_cast<View>(
74 in.get(C::contract_instance_retrieval_protocol_contract_derived_address_inv))) +
75 static_cast<View>(in.get(C::contract_instance_retrieval_protocol_contract_derived_address_inv))) -
76 FF(1)) +
77 CView(contract_instance_retrieval_NOT_EXISTS));
78 std::get<6>(evals) += (tmp * scaling_factor);
79 }
80 {
81 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
82 auto tmp = (static_cast<View>(in.get(C::contract_instance_retrieval_should_check_nullifier)) -
83 static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
84 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_is_protocol_contract))));
85 std::get<7>(evals) += (tmp * scaling_factor);
86 }
87 { // NULLIFIER_TREE_HEIGHT_CONSTANT
88 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
89 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_should_check_nullifier)) *
90 (static_cast<View>(in.get(C::contract_instance_retrieval_nullifier_tree_height)) -
91 CView(constants_NULLIFIER_TREE_HEIGHT));
92 std::get<8>(evals) += (tmp * scaling_factor);
93 }
94 { // SILOING_SEPARATOR_CONSTANT
95 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
96 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_should_check_nullifier)) *
97 (static_cast<View>(in.get(C::contract_instance_retrieval_siloing_separator)) -
98 CView(constants_DOM_SEP__SILOED_NULLIFIER));
99 std::get<9>(evals) += (tmp * scaling_factor);
100 }
101 {
102 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
103 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_should_check_nullifier)) *
104 (static_cast<View>(in.get(C::contract_instance_retrieval_nullifier_merkle_separator)) -
105 CView(constants_DOM_SEP__NULLIFIER_MERKLE));
106 std::get<10>(evals) += (tmp * scaling_factor);
107 }
108 { // UNCHANGED_ADDRESS_NON_PROTOCOL
109 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
110 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
111 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_is_protocol_contract))) *
112 (static_cast<View>(in.get(C::contract_instance_retrieval_derived_address)) -
113 static_cast<View>(in.get(C::contract_instance_retrieval_address)));
114 std::get<11>(evals) += (tmp * scaling_factor);
115 }
116 { // INSTANCE_MEMBER_SALT_IS_ZERO_IF_DNE
117 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
118 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
119 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists))) *
120 static_cast<View>(in.get(C::contract_instance_retrieval_salt));
121 std::get<12>(evals) += (tmp * scaling_factor);
122 }
123 { // INSTANCE_MEMBER_DEPLOYER_IS_ZERO_IF_DNE
124 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
125 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
126 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists))) *
127 static_cast<View>(in.get(C::contract_instance_retrieval_deployer_addr));
128 std::get<13>(evals) += (tmp * scaling_factor);
129 }
130 { // INSTANCE_MEMBER_CLASS_ID_IS_ZERO_IF_DNE
131 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
132 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
133 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists))) *
134 static_cast<View>(in.get(C::contract_instance_retrieval_current_class_id));
135 std::get<14>(evals) += (tmp * scaling_factor);
136 }
137 { // INSTANCE_MEMBER_ORIGINAL_CLASS_ID_IS_ZERO_IF_DNE
138 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
139 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
140 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists))) *
141 static_cast<View>(in.get(C::contract_instance_retrieval_original_class_id));
142 std::get<15>(evals) += (tmp * scaling_factor);
143 }
144 { // INSTANCE_MEMBER_INIT_HASH_IS_ZERO_IF_DNE
145 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
146 auto tmp = static_cast<View>(in.get(C::contract_instance_retrieval_sel)) *
147 (FF(1) - static_cast<View>(in.get(C::contract_instance_retrieval_exists))) *
148 static_cast<View>(in.get(C::contract_instance_retrieval_init_hash));
149 std::get<16>(evals) += (tmp * scaling_factor);
150 }
151 {
152 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
153 auto tmp = (static_cast<View>(in.get(C::contract_instance_retrieval_should_check_for_update)) -
154 static_cast<View>(in.get(C::contract_instance_retrieval_should_check_nullifier)) *
155 static_cast<View>(in.get(C::contract_instance_retrieval_exists)));
156 std::get<17>(evals) += (tmp * scaling_factor);
157 }
158}
159
160} // namespace bb::avm2
bb::avm2::contract_instance_retrievalImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition contract_instance_retrieval_impl.hpp:11
contract_instance_retrieval.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