|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <context.hpp>
Static Public Member Functions | |
| static std::string | get_subrelation_label (size_t index) |
Static Public Member Functions inherited from bb::avm2::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 = "context" |
| static constexpr size_t | SR_ENQUEUED_CALL_START_NEXT_CTX_ID = 6 |
| static constexpr size_t | SR_INCR_NEXT_CONTEXT_ID = 7 |
| static constexpr size_t | SR_CONTEXT_ID_EXT_CALL = 8 |
| static constexpr size_t | SR_CONTEXT_ID_NESTED_EXIT = 9 |
| static constexpr size_t | SR_CONTEXT_ID_NEXT_DEFAULT_ROW = 10 |
| static constexpr size_t | SR_PARENT_ID_INIT = 11 |
| static constexpr size_t | SR_PARENT_ID_NEXT_EXT_CALL = 12 |
| static constexpr size_t | SR_PARENT_ID_NEXT_DEFAULT_ROW = 13 |
| static constexpr size_t | SR_NEXT_PC = 14 |
| static constexpr size_t | SR_PC_NEW_CONTEXT_INIT = 15 |
| static constexpr size_t | SR_PC_NEXT_ROW_DEFAULT = 16 |
| static constexpr size_t | SR_MSG_SENDER_NEXT_ROW_EXT_CALL = 17 |
| static constexpr size_t | SR_MSG_SENDER_NEXT_ROW_DEFAULT = 18 |
| static constexpr size_t | SR_CONTRACT_ADDR_NEXT_ROW_EXT_CALL = 19 |
| static constexpr size_t | SR_CONTRACT_ADDR_NEXT_ROW = 20 |
| static constexpr size_t | SR_BYTECODE_ID_NEXT_ROW = 21 |
| static constexpr size_t | SR_TRANSACTION_FEE_NEXT_ROW = 22 |
| static constexpr size_t | SR_IS_STATIC_IF_STATIC_CALL = 23 |
| static constexpr size_t | SR_IS_STATIC_IF_CALL_FROM_STATIC_CONTEXT = 24 |
| static constexpr size_t | SR_IS_STATIC_NEXT_ROW_DEFAULT = 25 |
| static constexpr size_t | SR_CD_ADDR_ENQUEUED_CALL_IS_ZERO = 26 |
| static constexpr size_t | SR_CD_ADDR_NEXT_ROW_EXT_CALL = 27 |
| static constexpr size_t | SR_CD_ADDR_NEXT_ROW_DEFAULT = 28 |
| static constexpr size_t | SR_CD_SIZE_NEXT_ROW_EXT_CALL = 29 |
| static constexpr size_t | SR_CD_SIZE_NEXT_ROW_DEFAULT = 30 |
| static constexpr size_t | SR_RD_ADDR_INIT = 31 |
| static constexpr size_t | SR_RET_REV_RD_ADDR = 32 |
| static constexpr size_t | SR_NEXT_RD_ADDR_IS_ZERO = 33 |
| static constexpr size_t | SR_PROPAGATE_RD_ADDR_DEFAULT = 34 |
| static constexpr size_t | SR_RD_SIZE_INIT = 35 |
| static constexpr size_t | SR_RET_REV_RD_SIZE = 36 |
| static constexpr size_t | SR_NEXT_RD_SIZE_IS_ZERO = 37 |
| static constexpr size_t | SR_PROPAGATE_RD_SIZE_DEFAULT = 38 |
| static constexpr size_t | SR_LAST_CHILD_SUCCESS_INIT = 39 |
| static constexpr size_t | SR_NESTED_RETURN_LAST_CHILD_SUCCESS = 40 |
| static constexpr size_t | SR_LAST_CHILD_SUCCESS_NEXT_ROW_ZERO = 41 |
| static constexpr size_t | SR_LAST_CHILD_SUCCESS_NEXT_ROW_DEFAULT = 42 |
| static constexpr size_t | SR_LAST_CHILD_ID_INIT = 43 |
| static constexpr size_t | SR_EXIT_CALL_LAST_CHILD_ID = 44 |
| static constexpr size_t | SR_LAST_CHILD_ID_NEXT_ROW_DEFAULT = 45 |
| static constexpr size_t | SR_L2_GAS_LIMIT_RESTORE_ON_EXIT = 46 |
| static constexpr size_t | SR_L2_GAS_LIMIT_NEXT_ROW_DEFAULT = 47 |
| static constexpr size_t | SR_DA_GAS_LIMIT_RESTORE_ON_EXIT = 48 |
| static constexpr size_t | SR_DA_GAS_LIMIT_NEXT_ROW_DEFAULT = 49 |
| static constexpr size_t | SR_PARENT_L2_GAS_LIMIT_STORE_ON_ENTER = 50 |
| static constexpr size_t | SR_PARENT_L2_GAS_LIMIT_NEXT_ROW_DEFAULT = 51 |
| static constexpr size_t | SR_PARENT_DA_GAS_LIMIT_STORE_ON_ENTER = 52 |
| static constexpr size_t | SR_PARENT_DA_GAS_LIMIT_NEXT_ROW_DEFAULT = 53 |
| static constexpr size_t | SR_PARENT_L2_GAS_USED_STORE_ON_ENTER = 54 |
| static constexpr size_t | SR_PARENT_L2_GAS_USED_NEXT_ROW_DEFAULT = 55 |
| static constexpr size_t | SR_PARENT_DA_GAS_USED_STORE_ON_ENTER = 56 |
| static constexpr size_t | SR_PARENT_DA_GAS_USED_NEXT_ROW_DEFAULT = 57 |
| static constexpr size_t | SR_INTERNAL_CALL_ID_INIT = 58 |
| static constexpr size_t | SR_INTERNAL_CALL_ID_NEXT_ROW_DEFAULT = 59 |
| static constexpr size_t | SR_INTERNAL_CALL_RETURN_ID_INIT = 60 |
| static constexpr size_t | SR_INTERNAL_CALL_RETURN_ID_NEXT_ROW_DEFAULT = 61 |
| static constexpr size_t | SR_NEXT_INTERNAL_CALL_ID_INIT = 62 |
| static constexpr size_t | SR_NEXT_INTERNAL_CALL_ID_NEXT_ROW_DEFAULT = 63 |
| static constexpr size_t | SR_RETRIEVED_BYTECODES_TREE_ROOT_CONTINUITY = 64 |
| static constexpr size_t | SR_RETRIEVED_BYTECODES_TREE_SIZE_CONTINUITY = 65 |
| static constexpr size_t | SR_L2_GAS_USED_ZERO_AFTER_CALL = 68 |
| static constexpr size_t | SR_L2_GAS_USED_INGEST_AFTER_EXIT = 69 |
| static constexpr size_t | SR_L2_GAS_USED_DEFAULT_ROW = 70 |
| static constexpr size_t | SR_DA_GAS_USED_ZERO_AFTER_CALL = 71 |
| static constexpr size_t | SR_DA_GAS_USED_INGEST_AFTER_EXIT = 72 |
| static constexpr size_t | SR_DA_GAS_USED_DEFAULT_ROW = 73 |
| static constexpr size_t | SR_NOTE_HASH_TREE_ROOT_CONTINUITY = 74 |
| static constexpr size_t | SR_NOTE_HASH_TREE_SIZE_CONTINUITY = 75 |
| static constexpr size_t | SR_NUM_NOTE_HASHES_EMITTED_CONTINUITY = 76 |
| static constexpr size_t | SR_NULLIFIER_TREE_ROOT_CONTINUITY = 77 |
| static constexpr size_t | SR_NULLIFIER_TREE_SIZE_CONTINUITY = 78 |
| static constexpr size_t | SR_NUM_NULLIFIERS_EMITTED_CONTINUITY = 79 |
| static constexpr size_t | SR_PUBLIC_DATA_TREE_ROOT_CONTINUITY = 80 |
| static constexpr size_t | SR_PUBLIC_DATA_TREE_SIZE_CONTINUITY = 81 |
| static constexpr size_t | SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_ROOT_CONTINUITY = 82 |
| static constexpr size_t | SR_WRITTEN_PUBLIC_DATA_SLOTS_TREE_SIZE_CONTINUITY = 83 |
| static constexpr size_t | SR_NUM_UNENCRYPTED_LOGS_CONTINUITY = 84 |
| static constexpr size_t | SR_NUM_L2_TO_L1_MESSAGES_CONTINUITY = 85 |
| static constexpr size_t | SR_L1_L2_TREE_ROOT_CONTINUITY = 86 |
Static Public Attributes inherited from bb::Relation< contextImpl< FF > > | |
| static constexpr size_t | RELATION_LENGTH |
Static Public Attributes inherited from bb::avm2::contextImpl< FF > | |
| static constexpr std::array< size_t, 87 > | SUBRELATION_PARTIAL_LENGTHS |
Additional Inherited Members | |
Public Types inherited from bb::Relation< contextImpl< FF > > | |
| using | FF = typename RelationImpl::FF |
| 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::contextImpl< FF > | |
| using | FF = FF |
Definition at line 37 of file context.hpp.
|
inlinestatic |
Definition at line 122 of file context.hpp.
|
staticconstexpr |
Definition at line 39 of file context.hpp.
|
staticconstexpr |
Definition at line 57 of file context.hpp.
|
staticconstexpr |
Definition at line 62 of file context.hpp.
|
staticconstexpr |
Definition at line 64 of file context.hpp.
|
staticconstexpr |
Definition at line 63 of file context.hpp.
|
staticconstexpr |
Definition at line 66 of file context.hpp.
|
staticconstexpr |
Definition at line 65 of file context.hpp.
|
staticconstexpr |
Definition at line 44 of file context.hpp.
|
staticconstexpr |
Definition at line 45 of file context.hpp.
|
staticconstexpr |
Definition at line 46 of file context.hpp.
|
staticconstexpr |
Definition at line 56 of file context.hpp.
|
staticconstexpr |
Definition at line 55 of file context.hpp.
|
staticconstexpr |
Definition at line 85 of file context.hpp.
|
staticconstexpr |
Definition at line 84 of file context.hpp.
|
staticconstexpr |
Definition at line 107 of file context.hpp.
|
staticconstexpr |
Definition at line 106 of file context.hpp.
|
staticconstexpr |
Definition at line 105 of file context.hpp.
|
staticconstexpr |
Definition at line 42 of file context.hpp.
|
staticconstexpr |
Definition at line 80 of file context.hpp.
|
staticconstexpr |
Definition at line 43 of file context.hpp.
|
staticconstexpr |
Definition at line 94 of file context.hpp.
|
staticconstexpr |
Definition at line 95 of file context.hpp.
|
staticconstexpr |
Definition at line 96 of file context.hpp.
|
staticconstexpr |
Definition at line 97 of file context.hpp.
|
staticconstexpr |
Definition at line 60 of file context.hpp.
|
staticconstexpr |
Definition at line 59 of file context.hpp.
|
staticconstexpr |
Definition at line 61 of file context.hpp.
|
staticconstexpr |
Definition at line 120 of file context.hpp.
|
staticconstexpr |
Definition at line 83 of file context.hpp.
|
staticconstexpr |
Definition at line 82 of file context.hpp.
|
staticconstexpr |
Definition at line 104 of file context.hpp.
|
staticconstexpr |
Definition at line 103 of file context.hpp.
|
staticconstexpr |
Definition at line 102 of file context.hpp.
|
staticconstexpr |
Definition at line 79 of file context.hpp.
|
staticconstexpr |
Definition at line 81 of file context.hpp.
|
staticconstexpr |
Definition at line 75 of file context.hpp.
|
staticconstexpr |
Definition at line 78 of file context.hpp.
|
staticconstexpr |
Definition at line 77 of file context.hpp.
|
staticconstexpr |
Definition at line 54 of file context.hpp.
|
staticconstexpr |
Definition at line 53 of file context.hpp.
|
staticconstexpr |
Definition at line 76 of file context.hpp.
|
staticconstexpr |
Definition at line 98 of file context.hpp.
|
staticconstexpr |
Definition at line 99 of file context.hpp.
|
staticconstexpr |
Definition at line 50 of file context.hpp.
|
staticconstexpr |
Definition at line 69 of file context.hpp.
|
staticconstexpr |
Definition at line 73 of file context.hpp.
|
staticconstexpr |
Definition at line 108 of file context.hpp.
|
staticconstexpr |
Definition at line 109 of file context.hpp.
|
staticconstexpr |
Definition at line 111 of file context.hpp.
|
staticconstexpr |
Definition at line 112 of file context.hpp.
|
staticconstexpr |
Definition at line 119 of file context.hpp.
|
staticconstexpr |
Definition at line 110 of file context.hpp.
|
staticconstexpr |
Definition at line 113 of file context.hpp.
|
staticconstexpr |
Definition at line 118 of file context.hpp.
|
staticconstexpr |
Definition at line 89 of file context.hpp.
|
staticconstexpr |
Definition at line 88 of file context.hpp.
|
staticconstexpr |
Definition at line 93 of file context.hpp.
|
staticconstexpr |
Definition at line 92 of file context.hpp.
|
staticconstexpr |
Definition at line 47 of file context.hpp.
|
staticconstexpr |
Definition at line 49 of file context.hpp.
|
staticconstexpr |
Definition at line 48 of file context.hpp.
|
staticconstexpr |
Definition at line 87 of file context.hpp.
|
staticconstexpr |
Definition at line 86 of file context.hpp.
|
staticconstexpr |
Definition at line 91 of file context.hpp.
|
staticconstexpr |
Definition at line 90 of file context.hpp.
|
staticconstexpr |
Definition at line 51 of file context.hpp.
|
staticconstexpr |
Definition at line 52 of file context.hpp.
|
staticconstexpr |
Definition at line 70 of file context.hpp.
|
staticconstexpr |
Definition at line 74 of file context.hpp.
|
staticconstexpr |
Definition at line 114 of file context.hpp.
|
staticconstexpr |
Definition at line 115 of file context.hpp.
|
staticconstexpr |
Definition at line 67 of file context.hpp.
|
staticconstexpr |
Definition at line 71 of file context.hpp.
|
staticconstexpr |
Definition at line 68 of file context.hpp.
|
staticconstexpr |
Definition at line 72 of file context.hpp.
|
staticconstexpr |
Definition at line 100 of file context.hpp.
|
staticconstexpr |
Definition at line 101 of file context.hpp.
|
staticconstexpr |
Definition at line 58 of file context.hpp.
|
staticconstexpr |
Definition at line 116 of file context.hpp.
|
staticconstexpr |
Definition at line 117 of file context.hpp.