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::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 = std::vector< uint32_t >
 
using Wires = std::array< WireType, NUM_WIRES >
 

Public Member Functions

virtual SelectorType & q_busread ()
 
virtual SelectorType & q_lookup ()
 
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 () 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)
 
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_
 
- 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 19 of file mega_execution_trace.hpp.

Member Typedef Documentation

◆ SelectorType

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

Definition at line 21 of file mega_execution_trace.hpp.

Member Function Documentation

◆ get_gate_selectors()

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

Definition at line 43 of file mega_execution_trace.hpp.

◆ get_selectors()

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

Implements bb::ExecutionTraceBlock< fr, 4 >.

Definition at line 58 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 85 of file mega_execution_trace.hpp.

◆ q_arith() [1/2]

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

Reimplemented in bb::MegaTraceArithmeticBlock.

Definition at line 25 of file mega_execution_trace.hpp.

◆ q_arith() [2/2]

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

Definition at line 35 of file mega_execution_trace.hpp.

◆ q_busread() [1/2]

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

Reimplemented in bb::MegaTraceBusReadBlock.

Definition at line 23 of file mega_execution_trace.hpp.

◆ q_busread() [2/2]

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

Definition at line 33 of file mega_execution_trace.hpp.

◆ q_delta_range() [1/2]

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

Reimplemented in bb::MegaTraceDeltaRangeBlock.

Definition at line 26 of file mega_execution_trace.hpp.

◆ q_delta_range() [2/2]

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

Definition at line 36 of file mega_execution_trace.hpp.

◆ q_elliptic() [1/2]

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

Reimplemented in bb::MegaTraceEllipticBlock.

Definition at line 27 of file mega_execution_trace.hpp.

◆ q_elliptic() [2/2]

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

Definition at line 37 of file mega_execution_trace.hpp.

◆ q_lookup() [1/2]

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

Reimplemented in bb::MegaTraceLookupBlock.

Definition at line 24 of file mega_execution_trace.hpp.

◆ q_lookup() [2/2]

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

Definition at line 34 of file mega_execution_trace.hpp.

◆ q_memory() [1/2]

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

Reimplemented in bb::MegaTraceMemoryBlock.

Definition at line 28 of file mega_execution_trace.hpp.

◆ q_memory() [2/2]

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

Definition at line 38 of file mega_execution_trace.hpp.

◆ q_nnf() [1/2]

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

Reimplemented in bb::MegaTraceNonNativeFieldBlock.

Definition at line 29 of file mega_execution_trace.hpp.

◆ q_nnf() [2/2]

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

Definition at line 39 of file mega_execution_trace.hpp.

◆ q_poseidon2_external() [1/2]

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

Reimplemented in bb::MegaTracePoseidon2ExternalBlock.

Definition at line 30 of file mega_execution_trace.hpp.

◆ q_poseidon2_external() [2/2]

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

Definition at line 40 of file mega_execution_trace.hpp.

◆ q_poseidon2_internal() [1/2]

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

Reimplemented in bb::MegaTracePoseidon2InternalBlock.

Definition at line 31 of file mega_execution_trace.hpp.

◆ q_poseidon2_internal() [2/2]

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

Definition at line 41 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 93 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 98 of file mega_execution_trace.hpp.

Member Data Documentation

◆ zero_selectors

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

Definition at line 101 of file mega_execution_trace.hpp.

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