Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
perms_context.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include <cstddef>
5#include <string_view>
6#include <tuple>
7
8#include "../columns.hpp"
9#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
10#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"
11
12namespace bb::avm2 {
13
15
16struct perm_context_ctx_stack_call_settings_ {
17 static constexpr std::string_view NAME = "PERM_CONTEXT_CTX_STACK_CALL";
18 static constexpr std::string_view RELATION_NAME = "context";
19 static constexpr size_t COLUMNS_PER_SET = 29;
20 static constexpr Column SRC_SELECTOR = Column::execution_sel_enter_call;
21 static constexpr Column DST_SELECTOR = Column::context_stack_sel;
22 static constexpr Column INVERSES = Column::perm_context_ctx_stack_call_inv;
23 static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> SRC_COLUMNS = {
24 ColumnAndShifts::execution_next_context_id,
25 ColumnAndShifts::execution_context_id,
26 ColumnAndShifts::execution_parent_id,
27 ColumnAndShifts::execution_next_pc,
28 ColumnAndShifts::execution_msg_sender,
29 ColumnAndShifts::execution_contract_address,
30 ColumnAndShifts::execution_bytecode_id,
31 ColumnAndShifts::execution_is_static,
32 ColumnAndShifts::execution_parent_calldata_addr,
33 ColumnAndShifts::execution_parent_calldata_size,
34 ColumnAndShifts::execution_parent_l2_gas_limit,
35 ColumnAndShifts::execution_parent_da_gas_limit,
36 ColumnAndShifts::execution_parent_l2_gas_used,
37 ColumnAndShifts::execution_parent_da_gas_used,
38 ColumnAndShifts::execution_internal_call_id,
39 ColumnAndShifts::execution_internal_call_return_id,
40 ColumnAndShifts::execution_next_internal_call_id,
41 ColumnAndShifts::execution_note_hash_tree_root,
42 ColumnAndShifts::execution_note_hash_tree_size,
43 ColumnAndShifts::execution_num_note_hashes_emitted,
44 ColumnAndShifts::execution_nullifier_tree_root,
45 ColumnAndShifts::execution_nullifier_tree_size,
46 ColumnAndShifts::execution_num_nullifiers_emitted,
47 ColumnAndShifts::execution_public_data_tree_root,
48 ColumnAndShifts::execution_public_data_tree_size,
49 ColumnAndShifts::execution_written_public_data_slots_tree_root,
50 ColumnAndShifts::execution_written_public_data_slots_tree_size,
51 ColumnAndShifts::execution_num_unencrypted_log_fields,
52 ColumnAndShifts::execution_num_l2_to_l1_messages
53 };
54 static constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> DST_COLUMNS = {
55 ColumnAndShifts::context_stack_entered_context_id,
56 ColumnAndShifts::context_stack_context_id,
57 ColumnAndShifts::context_stack_parent_id,
58 ColumnAndShifts::context_stack_next_pc,
59 ColumnAndShifts::context_stack_msg_sender,
60 ColumnAndShifts::context_stack_contract_address,
61 ColumnAndShifts::context_stack_bytecode_id,
62 ColumnAndShifts::context_stack_is_static,
63 ColumnAndShifts::context_stack_parent_calldata_addr,
64 ColumnAndShifts::context_stack_parent_calldata_size,
65 ColumnAndShifts::context_stack_parent_l2_gas_limit,
66 ColumnAndShifts::context_stack_parent_da_gas_limit,
67 ColumnAndShifts::context_stack_parent_l2_gas_used,
68 ColumnAndShifts::context_stack_parent_da_gas_used,
69 ColumnAndShifts::context_stack_internal_call_id,
70 ColumnAndShifts::context_stack_internal_call_return_id,
71 ColumnAndShifts::context_stack_next_internal_call_id,
72 ColumnAndShifts::context_stack_note_hash_tree_root,
73 ColumnAndShifts::context_stack_note_hash_tree_size,
74 ColumnAndShifts::context_stack_num_note_hashes_emitted,
75 ColumnAndShifts::context_stack_nullifier_tree_root,
76 ColumnAndShifts::context_stack_nullifier_tree_size,
77 ColumnAndShifts::context_stack_num_nullifiers_emitted,
78 ColumnAndShifts::context_stack_public_data_tree_root,
79 ColumnAndShifts::context_stack_public_data_tree_size,
80 ColumnAndShifts::context_stack_written_public_data_slots_tree_root,
81 ColumnAndShifts::context_stack_written_public_data_slots_tree_size,
82 ColumnAndShifts::context_stack_num_unencrypted_log_fields,
83 ColumnAndShifts::context_stack_num_l2_to_l1_messages
84 };
85};
86
87using perm_context_ctx_stack_call_settings = permutation_settings<perm_context_ctx_stack_call_settings_>;
88template <typename FF_>
89using perm_context_ctx_stack_call_relation = permutation_relation_base<FF_, perm_context_ctx_stack_call_settings>;
90
91} // namespace bb::avm2
generic_permutation_relation.hpp
This file contains the template for the generic permutation that can be specialized to enforce variou...
interactions_base.hpp
bb::avm2::perm_context_ctx_stack_call_settings_
Definition perms_context.hpp:16
bb::avm2::perm_context_ctx_stack_call_settings_::COLUMNS_PER_SET
static constexpr size_t COLUMNS_PER_SET
Definition perms_context.hpp:19
bb::avm2::perm_context_ctx_stack_call_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition perms_context.hpp:18
bb::avm2::perm_context_ctx_stack_call_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET > SRC_COLUMNS
Definition perms_context.hpp:23
bb::avm2::perm_context_ctx_stack_call_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET > DST_COLUMNS
Definition perms_context.hpp:54
bb::avm2::perm_context_ctx_stack_call_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition perms_context.hpp:20
bb::avm2::perm_context_ctx_stack_call_settings_::NAME
static constexpr std::string_view NAME
Definition perms_context.hpp:17
bb::avm2::perm_context_ctx_stack_call_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition perms_context.hpp:21
bb::avm2::perm_context_ctx_stack_call_settings_::INVERSES
static constexpr Column INVERSES
Definition perms_context.hpp:22
bb::avm2::permutation_relation_base
Definition interactions_base.hpp:134
bb::avm2::permutation_settings
Definition interactions_base.hpp:96