Loading...
Searching...
No Matches
bb::avm2::emit_public_log< FF > Class Template Reference
#include <emit_public_log.hpp>
Inheritance diagram for bb::avm2::emit_public_log< FF >:
Static Public Member Functions | |
| static std::string | get_subrelation_label (size_t index) |
 Static Public Member Functions inherited from bb::avm2::emit_public_logImpl< 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 = "emit_public_log" |
| static constexpr size_t | SR_SEL_ON_START_OR_END = 3 |
| static constexpr size_t | SR_TRACE_CONTINUITY = 4 |
| static constexpr size_t | SR_START_AFTER_LATCH = 5 |
| static constexpr size_t | SR_REMAINING_ROWS_DECREMENT = 7 |
| static constexpr size_t | SR_ERROR_OUT_OF_BOUNDS_CONSISTENCY = 11 |
| static constexpr size_t | SR_ERROR_TAG_MISMATCH_CONSISTENCY = 14 |
| static constexpr size_t | SR_INITIAL_SEEN_WRONG_TAG = 15 |
| static constexpr size_t | SR_WRONG_TAG_CHECK = 16 |
| static constexpr size_t | SR_CHECK_END_TAG_MISMATCH = 17 |
| static constexpr size_t | SR_WRITE_CONTRACT_ADDRESS_AFTER_START = 20 |
| static constexpr size_t | SR_SET_AND_PROGATE_VALUE_WRITE = 23 |
| static constexpr size_t | SR_SEL_SHOULD_READ_MEMORY_IS_SEL_AND_WRITE_MEM_AND_NO_ERR = 24 |
| static constexpr size_t | SR_LOG_ADDRESS_INCREMENT = 25 |
| static constexpr size_t | SR_EXEC_CLK_CONSISTENCY = 26 |
| static constexpr size_t | SR_SPACE_ID_CONSISTENCY = 27 |
| static constexpr size_t | SR_DISABLED_MEM_READ_VALUE_ZERO = 28 |
| static constexpr size_t | SR_DISABLED_MEM_READ_TAG_FF = 29 |
| static constexpr size_t | SR_SEL_SHOULD_WRITE_TO_PUBLIC_INPUTS_CONSISTENCY = 33 |
| static constexpr size_t | SR_CONTRACT_ADDRESS_CONSISTENCY = 36 |
| Static Public Attributes inherited from bb::Relation< emit_public_logImpl< FF > > | |
| static constexpr size_t | RELATION_LENGTH |
| Static Public Attributes inherited from bb::avm2::emit_public_logImpl< FF > | |
| static constexpr std::array< size_t, 40 > | SUBRELATION_PARTIAL_LENGTHS |
Additional Inherited Members | |
| Public Types inherited from bb::Relation< emit_public_logImpl< 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::emit_public_logImpl< FF > | |
| using | FF = FF |
Detailed Description
template<typename FF>
class bb::avm2::emit_public_log< FF >
class bb::avm2::emit_public_log< FF >
Definition at line 35 of file emit_public_log.hpp.
Member Function Documentation
◆ get_subrelation_label()
template<typename FF >
|
inlinestatic |
Definition at line 60 of file emit_public_log.hpp.
Member Data Documentation
◆ NAME
template<typename FF >
|
staticconstexpr |
Definition at line 37 of file emit_public_log.hpp.
◆ SR_CHECK_END_TAG_MISMATCH
template<typename FF >
|
staticconstexpr |
Definition at line 48 of file emit_public_log.hpp.
◆ SR_CONTRACT_ADDRESS_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 58 of file emit_public_log.hpp.
◆ SR_DISABLED_MEM_READ_TAG_FF
template<typename FF >
|
staticconstexpr |
Definition at line 56 of file emit_public_log.hpp.
◆ SR_DISABLED_MEM_READ_VALUE_ZERO
template<typename FF >
|
staticconstexpr |
Definition at line 55 of file emit_public_log.hpp.
◆ SR_ERROR_OUT_OF_BOUNDS_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 44 of file emit_public_log.hpp.
◆ SR_ERROR_TAG_MISMATCH_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 45 of file emit_public_log.hpp.
◆ SR_EXEC_CLK_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 53 of file emit_public_log.hpp.
◆ SR_INITIAL_SEEN_WRONG_TAG
template<typename FF >
|
staticconstexpr |
Definition at line 46 of file emit_public_log.hpp.
◆ SR_LOG_ADDRESS_INCREMENT
template<typename FF >
|
staticconstexpr |
Definition at line 52 of file emit_public_log.hpp.
◆ SR_REMAINING_ROWS_DECREMENT
template<typename FF >
|
staticconstexpr |
Definition at line 43 of file emit_public_log.hpp.
◆ SR_SEL_ON_START_OR_END
template<typename FF >
|
staticconstexpr |
Definition at line 40 of file emit_public_log.hpp.
◆ SR_SEL_SHOULD_READ_MEMORY_IS_SEL_AND_WRITE_MEM_AND_NO_ERR
template<typename FF >
|
staticconstexpr |
Definition at line 51 of file emit_public_log.hpp.
◆ SR_SEL_SHOULD_WRITE_TO_PUBLIC_INPUTS_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 57 of file emit_public_log.hpp.
◆ SR_SET_AND_PROGATE_VALUE_WRITE
template<typename FF >
|
staticconstexpr |
Definition at line 50 of file emit_public_log.hpp.
◆ SR_SPACE_ID_CONSISTENCY
template<typename FF >
|
staticconstexpr |
Definition at line 54 of file emit_public_log.hpp.
◆ SR_START_AFTER_LATCH
template<typename FF >
|
staticconstexpr |
Definition at line 42 of file emit_public_log.hpp.
◆ SR_TRACE_CONTINUITY
template<typename FF >
|
staticconstexpr |
Definition at line 41 of file emit_public_log.hpp.
◆ SR_WRITE_CONTRACT_ADDRESS_AFTER_START
template<typename FF >
|
staticconstexpr |
Definition at line 49 of file emit_public_log.hpp.
◆ SR_WRONG_TAG_CHECK
template<typename FF >
|
staticconstexpr |
Definition at line 47 of file emit_public_log.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/vm2/generated/relations/emit_public_log.hpp
