Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::tx_context< FF > Class Template Reference

#include <tx_context.hpp>

Inheritance diagram for bb::avm2::tx_context< FF >:
bb::Relation< tx_contextImpl< FF > > bb::avm2::tx_contextImpl< FF >

Static Public Member Functions

static std::string get_subrelation_label (size_t index)
 
- Static Public Member Functions inherited from bb::avm2::tx_contextImpl< FF >
static bool skip (const AllEntities &in)
 
static void accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
 

Static Public Attributes

static constexpr const std::string_view NAME = "tx_context"
 
static constexpr size_t SR_NOTE_HASH_ROOT_CONTINUITY = 24
 
static constexpr size_t SR_NOTE_HASH_TREE_SIZE_CONTINUITY = 25
 
static constexpr size_t SR_NUM_NOTE_HASHES_EMITTED_CONTINUITY = 26
 
static constexpr size_t SR_NULLIFIER_TREE_ROOT_CONTINUITY = 27
 
static constexpr size_t SR_NULLIFIER_TREE_SIZE_CONTINUITY = 28
 
static constexpr size_t SR_NUM_NULLIFIERS_EMITTED_CONTINUITY = 29
 
static constexpr size_t SR_PUBLIC_DATA_TREE_ROOT_CONTINUITY = 30
 
static constexpr size_t SR_PUBLIC_DATA_TREE_SIZE_CONTINUITY = 31
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY = 32
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY = 33
 
static constexpr size_t SR_L1_L2_TREE_ROOT_CONTINUITY = 34
 
static constexpr size_t SR_NUM_UNENCRYPTED_LOGS_CONTINUITY = 35
 
static constexpr size_t SR_NUM_L2_TO_L1_MESSAGES_CONTINUITY = 36
 
static constexpr size_t SR_PROPAGATE_L2_GAS_USED = 38
 
static constexpr size_t SR_PROPAGATE_DA_GAS_USED = 39
 
static constexpr size_t SR_PROPAGATE_L2_GAS_LIMIT = 40
 
static constexpr size_t SR_PROPAGATE_DA_GAS_LIMIT = 41
 
static constexpr size_t SR_NOTE_HASH_ROOT_IMMUTABILITY = 42
 
static constexpr size_t SR_NOTE_HASH_SIZE_IMMUTABILITY = 43
 
static constexpr size_t SR_NOTE_HASH_COUNT_IMMUTABILITY = 44
 
static constexpr size_t SR_NULLIFIER_ROOT_IMMUTABILITY = 45
 
static constexpr size_t SR_NULLIFIER_SIZE_IMMUTABILITY = 46
 
static constexpr size_t SR_NULLIFIER_COUNT_IMMUTABILITY = 47
 
static constexpr size_t SR_PUBLIC_DATA_ROOT_IMMUTABILITY = 48
 
static constexpr size_t SR_PUBLIC_DATA_SIZE_IMMUTABILITY = 49
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_IMMUTABILITY = 50
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_IMMUTABILITY = 51
 
static constexpr size_t SR_UNENCRYPTED_LOG_COUNT_IMMUTABILITY = 52
 
static constexpr size_t SR_L2_TO_L1_MESSAGE_COUNT_IMMUTABILITY = 53
 
static constexpr size_t SR_NOTE_HASH_ROOT_PADDED_IMMUTABILITY = 54
 
static constexpr size_t SR_NOTE_HASH_SIZE_PADDED_IMMUTABILITY = 55
 
static constexpr size_t SR_NOTE_HASH_COUNT_PADDED_IMMUTABILITY = 56
 
static constexpr size_t SR_NULLIFIER_ROOT_PADDED_IMMUTABILITY = 57
 
static constexpr size_t SR_NULLIFIER_SIZE_PADDED_IMMUTABILITY = 58
 
static constexpr size_t SR_NULLIFIER_COUNT_PADDED_IMMUTABILITY = 59
 
static constexpr size_t SR_PUBLIC_DATA_ROOT_PADDED_IMMUTABILITY = 60
 
static constexpr size_t SR_PUBLIC_DATA_SIZE_PADDED_IMMUTABILITY = 61
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_PADDED_IMMUTABILITY = 62
 
static constexpr size_t SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_PADDED_IMMUTABILITY = 63
 
static constexpr size_t SR_UNENCRYPTED_LOG_COUNT_PADDED_IMMUTABILITY = 64
 
static constexpr size_t SR_L2_TO_L1_MESSAGE_COUNT_PADDED_IMMUTABILITY = 65
 
static constexpr size_t SR_L2_GAS_USED_IMMUTABILITY = 66
 
static constexpr size_t SR_DA_GAS_USED_IMMUTABILITY = 67
 
static constexpr size_t SR_NEXT_CONTEXT_ID_INITIAL_VALUE = 72
 
static constexpr size_t SR_NEXT_CONTEXT_ID_CONTINUITY = 73
 
- Static Public Attributes inherited from bb::Relation< tx_contextImpl< FF > >
static constexpr std::array< size_t, RelationImpl::SUBRELATION_PARTIAL_LENGTHS.size()> SUBRELATION_TOTAL_LENGTHS
 
static constexpr size_t RELATION_LENGTH
 
static constexpr size_t TOTAL_RELATION_LENGTH
 
- Static Public Attributes inherited from bb::avm2::tx_contextImpl< FF >
static constexpr std::array< size_t, 74 > SUBRELATION_PARTIAL_LENGTHS
 

Additional Inherited Members

- Public Types inherited from bb::Relation< tx_contextImpl< FF > >
using FF = typename RelationImpl::FF
 
using ProtogalaxyTupleOfUnivariatesOverSubrelationsNoOptimisticSkipping = TupleOfUnivariates< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS)>
 
using ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS), NUM_KEYS - 1 >
 
using SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
 
using SumcheckArrayOfValuesOverSubrelations = ArrayOfValues< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS >
 
using UnivariateAccumulator0 = std::tuple_element_t< 0, SumcheckTupleOfUnivariatesOverSubrelations >
 
using ValueAccumulator0 = std::tuple_element_t< 0, SumcheckArrayOfValuesOverSubrelations >
 
- Public Types inherited from bb::avm2::tx_contextImpl< FF >
using FF = FF
 

Detailed Description

template<typename FF>
class bb::avm2::tx_context< FF >

Definition at line 36 of file tx_context.hpp.

Member Function Documentation

◆ get_subrelation_label()

template<typename FF >
static std::string bb::avm2::tx_context< FF >::get_subrelation_label ( size_t  index)
inlinestatic

Definition at line 40 of file tx_context.hpp.

Member Data Documentation

◆ NAME

template<typename FF >
constexpr const std::string_view bb::avm2::tx_context< FF >::NAME = "tx_context"
staticconstexpr

Definition at line 38 of file tx_context.hpp.

◆ SR_DA_GAS_USED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_DA_GAS_USED_IMMUTABILITY = 67
staticconstexpr

Definition at line 180 of file tx_context.hpp.

◆ SR_L1_L2_TREE_ROOT_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_L1_L2_TREE_ROOT_CONTINUITY = 34
staticconstexpr

Definition at line 148 of file tx_context.hpp.

◆ SR_L2_GAS_USED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_L2_GAS_USED_IMMUTABILITY = 66
staticconstexpr

Definition at line 179 of file tx_context.hpp.

◆ SR_L2_TO_L1_MESSAGE_COUNT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_L2_TO_L1_MESSAGE_COUNT_IMMUTABILITY = 53
staticconstexpr

Definition at line 166 of file tx_context.hpp.

◆ SR_L2_TO_L1_MESSAGE_COUNT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_L2_TO_L1_MESSAGE_COUNT_PADDED_IMMUTABILITY = 65
staticconstexpr

Definition at line 178 of file tx_context.hpp.

◆ SR_NEXT_CONTEXT_ID_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NEXT_CONTEXT_ID_CONTINUITY = 73
staticconstexpr

Definition at line 182 of file tx_context.hpp.

◆ SR_NEXT_CONTEXT_ID_INITIAL_VALUE

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NEXT_CONTEXT_ID_INITIAL_VALUE = 72
staticconstexpr

Definition at line 181 of file tx_context.hpp.

◆ SR_NOTE_HASH_COUNT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_COUNT_IMMUTABILITY = 44
staticconstexpr

Definition at line 157 of file tx_context.hpp.

◆ SR_NOTE_HASH_COUNT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_COUNT_PADDED_IMMUTABILITY = 56
staticconstexpr

Definition at line 169 of file tx_context.hpp.

◆ SR_NOTE_HASH_ROOT_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_ROOT_CONTINUITY = 24
staticconstexpr

Definition at line 138 of file tx_context.hpp.

◆ SR_NOTE_HASH_ROOT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_ROOT_IMMUTABILITY = 42
staticconstexpr

Definition at line 155 of file tx_context.hpp.

◆ SR_NOTE_HASH_ROOT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_ROOT_PADDED_IMMUTABILITY = 54
staticconstexpr

Definition at line 167 of file tx_context.hpp.

◆ SR_NOTE_HASH_SIZE_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_SIZE_IMMUTABILITY = 43
staticconstexpr

Definition at line 156 of file tx_context.hpp.

◆ SR_NOTE_HASH_SIZE_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_SIZE_PADDED_IMMUTABILITY = 55
staticconstexpr

Definition at line 168 of file tx_context.hpp.

◆ SR_NOTE_HASH_TREE_SIZE_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NOTE_HASH_TREE_SIZE_CONTINUITY = 25
staticconstexpr

Definition at line 139 of file tx_context.hpp.

◆ SR_NULLIFIER_COUNT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_COUNT_IMMUTABILITY = 47
staticconstexpr

Definition at line 160 of file tx_context.hpp.

◆ SR_NULLIFIER_COUNT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_COUNT_PADDED_IMMUTABILITY = 59
staticconstexpr

Definition at line 172 of file tx_context.hpp.

◆ SR_NULLIFIER_ROOT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_ROOT_IMMUTABILITY = 45
staticconstexpr

Definition at line 158 of file tx_context.hpp.

◆ SR_NULLIFIER_ROOT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_ROOT_PADDED_IMMUTABILITY = 57
staticconstexpr

Definition at line 170 of file tx_context.hpp.

◆ SR_NULLIFIER_SIZE_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_SIZE_IMMUTABILITY = 46
staticconstexpr

Definition at line 159 of file tx_context.hpp.

◆ SR_NULLIFIER_SIZE_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_SIZE_PADDED_IMMUTABILITY = 58
staticconstexpr

Definition at line 171 of file tx_context.hpp.

◆ SR_NULLIFIER_TREE_ROOT_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_TREE_ROOT_CONTINUITY = 27
staticconstexpr

Definition at line 141 of file tx_context.hpp.

◆ SR_NULLIFIER_TREE_SIZE_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_TREE_SIZE_CONTINUITY = 28
staticconstexpr

Definition at line 142 of file tx_context.hpp.

◆ SR_NUM_L2_TO_L1_MESSAGES_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NUM_L2_TO_L1_MESSAGES_CONTINUITY = 36
staticconstexpr

Definition at line 150 of file tx_context.hpp.

◆ SR_NUM_NOTE_HASHES_EMITTED_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NUM_NOTE_HASHES_EMITTED_CONTINUITY = 26
staticconstexpr

Definition at line 140 of file tx_context.hpp.

◆ SR_NUM_NULLIFIERS_EMITTED_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NUM_NULLIFIERS_EMITTED_CONTINUITY = 29
staticconstexpr

Definition at line 143 of file tx_context.hpp.

◆ SR_NUM_UNENCRYPTED_LOGS_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_NUM_UNENCRYPTED_LOGS_CONTINUITY = 35
staticconstexpr

Definition at line 149 of file tx_context.hpp.

◆ SR_PROPAGATE_DA_GAS_LIMIT

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PROPAGATE_DA_GAS_LIMIT = 41
staticconstexpr

Definition at line 154 of file tx_context.hpp.

◆ SR_PROPAGATE_DA_GAS_USED

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PROPAGATE_DA_GAS_USED = 39
staticconstexpr

Definition at line 152 of file tx_context.hpp.

◆ SR_PROPAGATE_L2_GAS_LIMIT

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PROPAGATE_L2_GAS_LIMIT = 40
staticconstexpr

Definition at line 153 of file tx_context.hpp.

◆ SR_PROPAGATE_L2_GAS_USED

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PROPAGATE_L2_GAS_USED = 38
staticconstexpr

Definition at line 151 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_ROOT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_ROOT_IMMUTABILITY = 48
staticconstexpr

Definition at line 161 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_ROOT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_ROOT_PADDED_IMMUTABILITY = 60
staticconstexpr

Definition at line 173 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_SIZE_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_SIZE_IMMUTABILITY = 49
staticconstexpr

Definition at line 162 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_SIZE_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_SIZE_PADDED_IMMUTABILITY = 61
staticconstexpr

Definition at line 174 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_TREE_ROOT_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_TREE_ROOT_CONTINUITY = 30
staticconstexpr

Definition at line 144 of file tx_context.hpp.

◆ SR_PUBLIC_DATA_TREE_SIZE_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_PUBLIC_DATA_TREE_SIZE_CONTINUITY = 31
staticconstexpr

Definition at line 145 of file tx_context.hpp.

◆ SR_UNENCRYPTED_LOG_COUNT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_UNENCRYPTED_LOG_COUNT_IMMUTABILITY = 52
staticconstexpr

Definition at line 165 of file tx_context.hpp.

◆ SR_UNENCRYPTED_LOG_COUNT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_UNENCRYPTED_LOG_COUNT_PADDED_IMMUTABILITY = 64
staticconstexpr

Definition at line 177 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_IMMUTABILITY = 50
staticconstexpr

Definition at line 163 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_PADDED_IMMUTABILITY = 62
staticconstexpr

Definition at line 175 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_IMMUTABILITY = 51
staticconstexpr

Definition at line 164 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_PADDED_IMMUTABILITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_PADDED_IMMUTABILITY = 63
staticconstexpr

Definition at line 176 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY = 32
staticconstexpr

Definition at line 146 of file tx_context.hpp.

◆ SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY

template<typename FF >
constexpr size_t bb::avm2::tx_context< FF >::SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY = 33
staticconstexpr

Definition at line 147 of file tx_context.hpp.


The documentation for this class was generated from the following file: