bb::avm2::tx_context< FF > Class Template Reference

#include <tx_context.hpp>

Inheritance diagram for bb::avm2::tx_context< 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 = 26
static constexpr size_t	SR_NOTE_HASH_TREE_SIZE_CONTINUITY = 27
static constexpr size_t	SR_NUM_NOTE_HASHES_EMITTED_CONTINUITY = 28
static constexpr size_t	SR_NULLIFIER_TREE_ROOT_CONTINUITY = 29
static constexpr size_t	SR_NULLIFIER_TREE_SIZE_CONTINUITY = 30
static constexpr size_t	SR_NUM_NULLIFIERS_EMITTED_CONTINUITY = 31
static constexpr size_t	SR_PUBLIC_DATA_TREE_ROOT_CONTINUITY = 32
static constexpr size_t	SR_PUBLIC_DATA_TREE_SIZE_CONTINUITY = 33
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY = 34
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY = 35
static constexpr size_t	SR_L1_L2_TREE_ROOT_CONTINUITY = 36
static constexpr size_t	SR_RETRIEVED_BYTECODES_TREE_ROOT_CONTINUITY = 37
static constexpr size_t	SR_RETRIEVED_BYTECODES_TREE_SIZE_CONTINUITY = 38
static constexpr size_t	SR_NUM_UNENCRYPTED_LOGS_CONTINUITY = 39
static constexpr size_t	SR_NUM_L2_TO_L1_MESSAGES_CONTINUITY = 40
static constexpr size_t	SR_PROPAGATE_L2_GAS_USED = 42
static constexpr size_t	SR_PROPAGATE_DA_GAS_USED = 43
static constexpr size_t	SR_PROPAGATE_L2_GAS_LIMIT = 44
static constexpr size_t	SR_PROPAGATE_DA_GAS_LIMIT = 45
static constexpr size_t	SR_NOTE_HASH_ROOT_IMMUTABILITY = 46
static constexpr size_t	SR_NOTE_HASH_SIZE_IMMUTABILITY = 47
static constexpr size_t	SR_NOTE_HASH_COUNT_IMMUTABILITY = 48
static constexpr size_t	SR_NULLIFIER_ROOT_IMMUTABILITY = 49
static constexpr size_t	SR_NULLIFIER_SIZE_IMMUTABILITY = 50
static constexpr size_t	SR_NULLIFIER_COUNT_IMMUTABILITY = 51
static constexpr size_t	SR_PUBLIC_DATA_ROOT_IMMUTABILITY = 52
static constexpr size_t	SR_PUBLIC_DATA_SIZE_IMMUTABILITY = 53
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_IMMUTABILITY = 54
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_IMMUTABILITY = 55
static constexpr size_t	SR_UNENCRYPTED_LOG_COUNT_IMMUTABILITY = 56
static constexpr size_t	SR_L2_TO_L1_MESSAGE_COUNT_IMMUTABILITY = 57
static constexpr size_t	SR_RETRIEVED_BYTECODES_TREE_ROOT_IMMUTABILITY = 58
static constexpr size_t	SR_RETRIEVED_BYTECODES_TREE_SIZE_IMMUTABILITY = 59
static constexpr size_t	SR_NOTE_HASH_ROOT_PADDED_IMMUTABILITY = 60
static constexpr size_t	SR_NOTE_HASH_SIZE_PADDED_IMMUTABILITY = 61
static constexpr size_t	SR_NOTE_HASH_COUNT_PADDED_IMMUTABILITY = 62
static constexpr size_t	SR_NULLIFIER_ROOT_PADDED_IMMUTABILITY = 63
static constexpr size_t	SR_NULLIFIER_SIZE_PADDED_IMMUTABILITY = 64
static constexpr size_t	SR_NULLIFIER_COUNT_PADDED_IMMUTABILITY = 65
static constexpr size_t	SR_PUBLIC_DATA_ROOT_PADDED_IMMUTABILITY = 66
static constexpr size_t	SR_PUBLIC_DATA_SIZE_PADDED_IMMUTABILITY = 67
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_ROOT_PADDED_IMMUTABILITY = 68
static constexpr size_t	SR_WRITTEN_PUBLIC_DATA_SLOTS_SIZE_PADDED_IMMUTABILITY = 69
static constexpr size_t	SR_UNENCRYPTED_LOG_COUNT_PADDED_IMMUTABILITY = 70
static constexpr size_t	SR_L2_TO_L1_MESSAGE_COUNT_PADDED_IMMUTABILITY = 71
static constexpr size_t	SR_L2_GAS_USED_IMMUTABILITY = 72
static constexpr size_t	SR_DA_GAS_USED_IMMUTABILITY = 73
static constexpr size_t	SR_NEXT_CONTEXT_ID_INITIAL_VALUE = 78
static constexpr size_t	SR_NEXT_CONTEXT_ID_CONTINUITY = 79
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, 80 >	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_INSTANCES >(SUBRELATION_TOTAL_LENGTHS)>
using	ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_INSTANCES >(SUBRELATION_TOTAL_LENGTHS), NUM_INSTANCES - 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 37 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 92 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 39 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 = 73

staticconstexpr

Definition at line 88 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 = 36

staticconstexpr

Definition at line 52 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 = 72

staticconstexpr

Definition at line 87 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 = 57

staticconstexpr

Definition at line 72 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 = 71

staticconstexpr

Definition at line 86 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 = 79

staticconstexpr

Definition at line 90 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 = 78

staticconstexpr

Definition at line 89 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 = 48

staticconstexpr

Definition at line 63 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 = 62

staticconstexpr

Definition at line 77 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 = 26

staticconstexpr

Definition at line 42 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 = 46

staticconstexpr

Definition at line 61 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 = 60

staticconstexpr

Definition at line 75 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 = 47

staticconstexpr

Definition at line 62 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 = 61

staticconstexpr

Definition at line 76 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 = 27

staticconstexpr

Definition at line 43 of file tx_context.hpp.

SR_NULLIFIER_COUNT_IMMUTABILITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_COUNT_IMMUTABILITY = 51

staticconstexpr

Definition at line 66 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 = 65

staticconstexpr

Definition at line 80 of file tx_context.hpp.

SR_NULLIFIER_ROOT_IMMUTABILITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_ROOT_IMMUTABILITY = 49

staticconstexpr

Definition at line 64 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 = 63

staticconstexpr

Definition at line 78 of file tx_context.hpp.

SR_NULLIFIER_SIZE_IMMUTABILITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_NULLIFIER_SIZE_IMMUTABILITY = 50

staticconstexpr

Definition at line 65 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 = 64

staticconstexpr

Definition at line 79 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 = 29

staticconstexpr

Definition at line 45 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 = 30

staticconstexpr

Definition at line 46 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 = 40

staticconstexpr

Definition at line 56 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 = 28

staticconstexpr

Definition at line 44 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 = 31

staticconstexpr

Definition at line 47 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 = 39

staticconstexpr

Definition at line 55 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 = 45

staticconstexpr

Definition at line 60 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 = 43

staticconstexpr

Definition at line 58 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 = 44

staticconstexpr

Definition at line 59 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 = 42

staticconstexpr

Definition at line 57 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 = 52

staticconstexpr

Definition at line 67 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 = 66

staticconstexpr

Definition at line 81 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 = 53

staticconstexpr

Definition at line 68 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 = 67

staticconstexpr

Definition at line 82 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 = 32

staticconstexpr

Definition at line 48 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 = 33

staticconstexpr

Definition at line 49 of file tx_context.hpp.

SR_RETRIEVED_BYTECODES_TREE_ROOT_CONTINUITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_RETRIEVED_BYTECODES_TREE_ROOT_CONTINUITY = 37

staticconstexpr

Definition at line 53 of file tx_context.hpp.

SR_RETRIEVED_BYTECODES_TREE_ROOT_IMMUTABILITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_RETRIEVED_BYTECODES_TREE_ROOT_IMMUTABILITY = 58

staticconstexpr

Definition at line 73 of file tx_context.hpp.

SR_RETRIEVED_BYTECODES_TREE_SIZE_CONTINUITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_RETRIEVED_BYTECODES_TREE_SIZE_CONTINUITY = 38

staticconstexpr

Definition at line 54 of file tx_context.hpp.

SR_RETRIEVED_BYTECODES_TREE_SIZE_IMMUTABILITY

template<typename FF >

constexpr size_t bb::avm2::tx_context< FF >::SR_RETRIEVED_BYTECODES_TREE_SIZE_IMMUTABILITY = 59

staticconstexpr

Definition at line 74 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 = 56

staticconstexpr

Definition at line 71 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 = 70

staticconstexpr

Definition at line 85 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 = 54

staticconstexpr

Definition at line 69 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 = 68

staticconstexpr

Definition at line 83 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 = 55

staticconstexpr

Definition at line 70 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 = 69

staticconstexpr

Definition at line 84 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 = 34

staticconstexpr

Definition at line 50 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 = 35

staticconstexpr

Definition at line 51 of file tx_context.hpp.

---

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

• src/barretenberg/vm2/generated/relations/tx_context.hpp