Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Private Attributes | List of all members
bb::MegaTraceBlock Class Reference

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaTraceBlock:
bb::ExecutionTraceBlock< fr, 4 > bb::MegaTraceArithmeticBlock bb::MegaTraceBusReadBlock bb::MegaTraceDeltaRangeBlock bb::MegaTraceEllipticBlock bb::MegaTraceLookupBlock bb::MegaTraceMemoryBlock bb::MegaTraceNonNativeFieldBlock bb::MegaTraceOverflowBlock bb::MegaTracePoseidon2ExternalBlock bb::MegaTracePoseidon2InternalBlock bb::MegaTracePublicInputBlock

Public Types

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 Member Functions

virtual SelectorType & q_busread ()
 
virtual SelectorType & q_lookup_type ()
 
virtual SelectorType & q_arith ()
 
virtual SelectorType & q_delta_range ()
 
virtual SelectorType & q_elliptic ()
 
virtual SelectorType & q_memory ()
 
virtual SelectorType & q_nnf ()
 
virtual SelectorType & q_poseidon2_external ()
 
virtual SelectorType & q_poseidon2_internal ()
 
virtual const SelectorType & q_busread () const
 
virtual const SelectorType & q_lookup_type () const
 
virtual const SelectorType & q_arith () const
 
virtual const SelectorType & q_delta_range () const
 
virtual const SelectorType & q_elliptic () const
 
virtual const SelectorType & q_memory () const
 
virtual const SelectorType & q_nnf () const
 
virtual const SelectorType & q_poseidon2_external () const
 
virtual const SelectorType & q_poseidon2_internal () const
 
RefVector< SelectorType > get_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.
 
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< ZeroSelector< fr >, 9 > zero_selectors
 

Additional Inherited Members

- 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 69 of file mega_execution_trace.hpp.

Member Typedef Documentation

◆ SelectorType

using bb::MegaTraceBlock::SelectorType = Selector<fr>

Definition at line 71 of file mega_execution_trace.hpp.

Member Function Documentation

◆ get_gate_selectors()

RefVector< SelectorType > bb::MegaTraceBlock::get_gate_selectors ( )
inline

Definition at line 93 of file mega_execution_trace.hpp.

◆ get_selectors()

RefVector< Selector< fr > > bb::MegaTraceBlock::get_selectors ( )
inlineoverridevirtual

Implements bb::ExecutionTraceBlock< fr, 4 >.

Definition at line 102 of file mega_execution_trace.hpp.

◆ pad_additional()

void bb::MegaTraceBlock::pad_additional ( )
inline

Add zeros to all selectors which are not part of the conventional Ultra arithmetization.

Facilitates reuse of Ultra gate construction functions in arithmetizations which extend the conventional Ultra arithmetization

Definition at line 129 of file mega_execution_trace.hpp.

◆ q_arith() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_arith ( )
inlinevirtual

Reimplemented in bb::MegaTraceArithmeticBlock, and bb::MegaTraceOverflowBlock.

Definition at line 75 of file mega_execution_trace.hpp.

◆ q_arith() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_arith ( ) const
inlinevirtual

Definition at line 85 of file mega_execution_trace.hpp.

◆ q_busread() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_busread ( )
inlinevirtual

Reimplemented in bb::MegaTraceBusReadBlock, and bb::MegaTraceOverflowBlock.

Definition at line 73 of file mega_execution_trace.hpp.

◆ q_busread() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_busread ( ) const
inlinevirtual

Definition at line 83 of file mega_execution_trace.hpp.

◆ q_delta_range() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_delta_range ( )
inlinevirtual

Reimplemented in bb::MegaTraceDeltaRangeBlock, and bb::MegaTraceOverflowBlock.

Definition at line 76 of file mega_execution_trace.hpp.

◆ q_delta_range() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_delta_range ( ) const
inlinevirtual

Definition at line 86 of file mega_execution_trace.hpp.

◆ q_elliptic() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_elliptic ( )
inlinevirtual

Reimplemented in bb::MegaTraceEllipticBlock, and bb::MegaTraceOverflowBlock.

Definition at line 77 of file mega_execution_trace.hpp.

◆ q_elliptic() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_elliptic ( ) const
inlinevirtual

Definition at line 87 of file mega_execution_trace.hpp.

◆ q_lookup_type() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_lookup_type ( )
inlinevirtual

Reimplemented in bb::MegaTraceLookupBlock, and bb::MegaTraceOverflowBlock.

Definition at line 74 of file mega_execution_trace.hpp.

◆ q_lookup_type() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_lookup_type ( ) const
inlinevirtual

Definition at line 84 of file mega_execution_trace.hpp.

◆ q_memory() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_memory ( )
inlinevirtual

Reimplemented in bb::MegaTraceMemoryBlock, and bb::MegaTraceOverflowBlock.

Definition at line 78 of file mega_execution_trace.hpp.

◆ q_memory() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_memory ( ) const
inlinevirtual

Definition at line 88 of file mega_execution_trace.hpp.

◆ q_nnf() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_nnf ( )
inlinevirtual

Reimplemented in bb::MegaTraceNonNativeFieldBlock, and bb::MegaTraceOverflowBlock.

Definition at line 79 of file mega_execution_trace.hpp.

◆ q_nnf() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_nnf ( ) const
inlinevirtual

Definition at line 89 of file mega_execution_trace.hpp.

◆ q_poseidon2_external() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_poseidon2_external ( )
inlinevirtual

Reimplemented in bb::MegaTracePoseidon2ExternalBlock, and bb::MegaTraceOverflowBlock.

Definition at line 80 of file mega_execution_trace.hpp.

◆ q_poseidon2_external() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_poseidon2_external ( ) const
inlinevirtual

Definition at line 90 of file mega_execution_trace.hpp.

◆ q_poseidon2_internal() [1/2]

virtual SelectorType & bb::MegaTraceBlock::q_poseidon2_internal ( )
inlinevirtual

Reimplemented in bb::MegaTracePoseidon2InternalBlock, and bb::MegaTraceOverflowBlock.

Definition at line 81 of file mega_execution_trace.hpp.

◆ q_poseidon2_internal() [2/2]

virtual const SelectorType & bb::MegaTraceBlock::q_poseidon2_internal ( ) const
inlinevirtual

Definition at line 91 of file mega_execution_trace.hpp.

◆ resize_additional()

void bb::MegaTraceBlock::resize_additional ( size_t  new_size)
inline

Resizes all selectors which are not part of the conventional Ultra arithmetization.

Facilitates reuse of Ultra gate construction functions in arithmetizations which extend the conventional Ultra arithmetization

Parameters
new_size

Definition at line 137 of file mega_execution_trace.hpp.

◆ set_gate_selector()

virtual void bb::MegaTraceBlock::set_gate_selector ( const fr &  value)
inlinevirtual

Default implementation does nothing.

Reimplemented in bb::MegaTraceBusReadBlock, bb::MegaTraceLookupBlock, bb::MegaTraceArithmeticBlock, bb::MegaTraceDeltaRangeBlock, bb::MegaTraceEllipticBlock, bb::MegaTraceMemoryBlock, bb::MegaTraceNonNativeFieldBlock, bb::MegaTracePoseidon2ExternalBlock, and bb::MegaTracePoseidon2InternalBlock.

Definition at line 142 of file mega_execution_trace.hpp.

Member Data Documentation

◆ zero_selectors

std::array<ZeroSelector<fr>, 9> bb::MegaTraceBlock::zero_selectors
private

Definition at line 145 of file mega_execution_trace.hpp.

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