Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::UltraTraceOverflowBlock Class Reference

#include <ultra_execution_trace.hpp>

Inheritance diagram for bb::UltraTraceOverflowBlock:
bb::UltraTraceBlock bb::ExecutionTraceBlock< fr, 4 >

Public Member Functions

SelectorTypeq_lookup_type () override
 
SelectorTypeq_arith () override
 
SelectorTypeq_delta_range () override
 
SelectorTypeq_elliptic () override
 
SelectorTypeq_memory () override
 
SelectorTypeq_nnf () override
 
SelectorTypeq_poseidon2_external () override
 
SelectorTypeq_poseidon2_internal () override
 
- Public Member Functions inherited from bb::UltraTraceBlock
RefVector< Selector< fr > > get_selectors () override
 
- Public Member Functions inherited from bb::ExecutionTraceBlock< fr, 4 >
 ExecutionTraceBlock ()=default
 
 ExecutionTraceBlock (const ExecutionTraceBlock &)=default
 
 ExecutionTraceBlock (ExecutionTraceBlock &&) noexcept=default
 
ExecutionTraceBlockoperator= (const ExecutionTraceBlock &)=default
 
ExecutionTraceBlockoperator= (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
 

Detailed Description

Definition at line 116 of file ultra_execution_trace.hpp.

Member Function Documentation

◆ q_arith()

SelectorType & bb::UltraTraceOverflowBlock::q_arith ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 119 of file ultra_execution_trace.hpp.

◆ q_delta_range()

SelectorType & bb::UltraTraceOverflowBlock::q_delta_range ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 120 of file ultra_execution_trace.hpp.

◆ q_elliptic()

SelectorType & bb::UltraTraceOverflowBlock::q_elliptic ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 121 of file ultra_execution_trace.hpp.

◆ q_lookup_type()

SelectorType & bb::UltraTraceOverflowBlock::q_lookup_type ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 118 of file ultra_execution_trace.hpp.

◆ q_memory()

SelectorType & bb::UltraTraceOverflowBlock::q_memory ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 122 of file ultra_execution_trace.hpp.

◆ q_nnf()

SelectorType & bb::UltraTraceOverflowBlock::q_nnf ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 123 of file ultra_execution_trace.hpp.

◆ q_poseidon2_external()

SelectorType & bb::UltraTraceOverflowBlock::q_poseidon2_external ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 124 of file ultra_execution_trace.hpp.

◆ q_poseidon2_internal()

SelectorType & bb::UltraTraceOverflowBlock::q_poseidon2_internal ( )
inlineoverridevirtual

Reimplemented from bb::UltraTraceBlock.

Definition at line 125 of file ultra_execution_trace.hpp.

Member Data Documentation

◆ gate_selectors

std::array<SlabVectorSelector<fr>, 8> bb::UltraTraceOverflowBlock::gate_selectors
private

Definition at line 128 of file ultra_execution_trace.hpp.


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