|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <ultra_execution_trace.hpp>
Public Member Functions | |
| SelectorType & | q_lookup_type () override |
| SelectorType & | q_arith () override |
| SelectorType & | q_delta_range () override |
| SelectorType & | q_elliptic () override |
| SelectorType & | q_memory () override |
| SelectorType & | q_nnf () override |
| SelectorType & | q_poseidon2_external () override |
| SelectorType & | q_poseidon2_internal () override |
Public Member Functions inherited from bb::UltraTraceBlock | |
| RefVector< Selector< fr > > | get_selectors () override |
| virtual void | set_gate_selector (const fr &value) |
| Default implementation does nothing. | |
Public Member Functions inherited from bb::ExecutionTraceBlock< fr, 4 > | |
| ExecutionTraceBlock ()=default | |
| ExecutionTraceBlock (const ExecutionTraceBlock &)=default | |
| ExecutionTraceBlock (ExecutionTraceBlock &&) noexcept=default | |
| ExecutionTraceBlock & | operator= (const ExecutionTraceBlock &)=default |
| ExecutionTraceBlock & | operator= (ExecutionTraceBlock &&) noexcept=default |
| virtual | ~ExecutionTraceBlock ()=default |
| void | tracy_gate () |
| uint32_t | trace_offset () const |
| bool | operator== (const ExecutionTraceBlock &other) const=default |
| size_t | size () const |
| void | reserve (size_t size_hint) |
| uint32_t | get_fixed_size (bool is_structured=true) const |
| void | populate_wires (const uint32_t &idx_1, const uint32_t &idx_2, const uint32_t &idx_3, const uint32_t &idx_4) |
| auto & | w_l () |
| auto & | w_r () |
| auto & | w_o () |
| auto & | w_4 () |
| Selector< fr > & | q_m () |
| Selector< fr > & | q_c () |
| Selector< fr > & | q_1 () |
| Selector< fr > & | q_2 () |
| Selector< fr > & | q_3 () |
| Selector< fr > & | q_4 () |
Private Attributes | |
| std::array< SlabVectorSelector< fr >, 8 > | gate_selectors |
Additional Inherited Members | |
Public Types inherited from bb::ExecutionTraceBlock< fr, 4 > | |
| using | SelectorType = Selector< fr > |
| using | WireType = SlabVector< uint32_t > |
| using | Wires = std::array< WireType, NUM_WIRES > |
Public Attributes inherited from bb::ExecutionTraceBlock< fr, 4 > | |
| Wires | wires |
| uint32_t | trace_offset_ |
| uint32_t | fixed_size |
Static Public Attributes inherited from bb::ExecutionTraceBlock< fr, 4 > | |
| static constexpr size_t | NUM_WIRES |
Protected Attributes inherited from bb::ExecutionTraceBlock< fr, 4 > | |
| std::array< SlabVectorSelector< fr >, 6 > | non_gate_selectors |
Definition at line 217 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 220 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 221 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 222 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 219 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 223 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 224 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 225 of file ultra_execution_trace.hpp.
|
inlineoverridevirtual |
Reimplemented from bb::UltraTraceBlock.
Definition at line 226 of file ultra_execution_trace.hpp.
|
private |
Definition at line 229 of file ultra_execution_trace.hpp.