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

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaTraceOverflowBlock:
bb::MegaTraceBlock bb::ExecutionTraceBlock< fr, 4 >

Public Member Functions

SelectorTypeq_busread () override
 
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::MegaTraceBlock
virtual const SelectorTypeq_busread () const
 
virtual const SelectorTypeq_lookup_type () const
 
virtual const SelectorTypeq_arith () const
 
virtual const SelectorTypeq_delta_range () const
 
virtual const SelectorTypeq_elliptic () const
 
virtual const SelectorTypeq_memory () const
 
virtual const SelectorTypeq_nnf () const
 
virtual const SelectorTypeq_poseidon2_external () const
 
virtual const SelectorTypeq_poseidon2_internal () const
 
RefVector< SelectorTypeget_gate_selectors ()
 
RefVector< Selector< fr > > get_selectors () override
 
void pad_additional ()
 Add zeros to all selectors which are not part of the conventional Ultra arithmetization.
 
void resize_additional (size_t new_size)
 Resizes all selectors which are not part of the conventional Ultra arithmetization.
 
- 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 >, 9 > gate_selectors
 

Additional Inherited Members

- Public Types inherited from bb::MegaTraceBlock
using SelectorType = Selector< fr >
 
- 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 217 of file mega_execution_trace.hpp.

Member Function Documentation

◆ q_arith()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 221 of file mega_execution_trace.hpp.

◆ q_busread()

SelectorType & bb::MegaTraceOverflowBlock::q_busread ( )
inlineoverridevirtual

Reimplemented from bb::MegaTraceBlock.

Definition at line 219 of file mega_execution_trace.hpp.

◆ q_delta_range()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 222 of file mega_execution_trace.hpp.

◆ q_elliptic()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 223 of file mega_execution_trace.hpp.

◆ q_lookup_type()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 220 of file mega_execution_trace.hpp.

◆ q_memory()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 224 of file mega_execution_trace.hpp.

◆ q_nnf()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 225 of file mega_execution_trace.hpp.

◆ q_poseidon2_external()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 226 of file mega_execution_trace.hpp.

◆ q_poseidon2_internal()

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

Reimplemented from bb::MegaTraceBlock.

Definition at line 227 of file mega_execution_trace.hpp.

Member Data Documentation

◆ gate_selectors

std::array<SlabVectorSelector<fr>, 9> bb::MegaTraceOverflowBlock::gate_selectors
private

Definition at line 230 of file mega_execution_trace.hpp.


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