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

#include <ultra_execution_trace.hpp>

Inheritance diagram for bb::UltraTraceBlock:
bb::ExecutionTraceBlock< fr, 4 > bb::UltraTraceArithmeticBlock bb::UltraTraceDeltaRangeBlock bb::UltraTraceEllipticBlock bb::UltraTraceLookupBlock bb::UltraTraceMemoryBlock bb::UltraTraceNonNativeFieldBlock bb::UltraTraceOverflowBlock bb::UltraTracePoseidon2ExternalBlock bb::UltraTracePoseidon2InternalBlock bb::UltraTracePublicInputBlock

Public Member Functions

virtual Selector< fr > & q_lookup_type ()
 
virtual Selector< fr > & q_arith ()
 
virtual Selector< fr > & q_delta_range ()
 
virtual Selector< fr > & q_elliptic ()
 
virtual Selector< fr > & q_memory ()
 
virtual Selector< fr > & q_nnf ()
 
virtual Selector< fr > & q_poseidon2_external ()
 
virtual Selector< fr > & q_poseidon2_internal ()
 
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
 
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 >, 8 > zero_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 17 of file ultra_execution_trace.hpp.

Member Function Documentation

◆ get_selectors()

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

Implements bb::ExecutionTraceBlock< fr, 4 >.

Definition at line 28 of file ultra_execution_trace.hpp.

◆ q_arith()

virtual Selector< fr > & bb::UltraTraceBlock::q_arith ( )
inlinevirtual

Reimplemented in bb::UltraTraceArithmeticBlock, and bb::UltraTraceOverflowBlock.

Definition at line 20 of file ultra_execution_trace.hpp.

◆ q_delta_range()

virtual Selector< fr > & bb::UltraTraceBlock::q_delta_range ( )
inlinevirtual

Reimplemented in bb::UltraTraceDeltaRangeBlock, and bb::UltraTraceOverflowBlock.

Definition at line 21 of file ultra_execution_trace.hpp.

◆ q_elliptic()

virtual Selector< fr > & bb::UltraTraceBlock::q_elliptic ( )
inlinevirtual

Reimplemented in bb::UltraTraceEllipticBlock, and bb::UltraTraceOverflowBlock.

Definition at line 22 of file ultra_execution_trace.hpp.

◆ q_lookup_type()

virtual Selector< fr > & bb::UltraTraceBlock::q_lookup_type ( )
inlinevirtual

Reimplemented in bb::UltraTraceLookupBlock, and bb::UltraTraceOverflowBlock.

Definition at line 19 of file ultra_execution_trace.hpp.

◆ q_memory()

virtual Selector< fr > & bb::UltraTraceBlock::q_memory ( )
inlinevirtual

Reimplemented in bb::UltraTraceMemoryBlock, and bb::UltraTraceOverflowBlock.

Definition at line 23 of file ultra_execution_trace.hpp.

◆ q_nnf()

virtual Selector< fr > & bb::UltraTraceBlock::q_nnf ( )
inlinevirtual

Reimplemented in bb::UltraTraceNonNativeFieldBlock, and bb::UltraTraceOverflowBlock.

Definition at line 24 of file ultra_execution_trace.hpp.

◆ q_poseidon2_external()

virtual Selector< fr > & bb::UltraTraceBlock::q_poseidon2_external ( )
inlinevirtual

Reimplemented in bb::UltraTracePoseidon2ExternalBlock, and bb::UltraTraceOverflowBlock.

Definition at line 25 of file ultra_execution_trace.hpp.

◆ q_poseidon2_internal()

virtual Selector< fr > & bb::UltraTraceBlock::q_poseidon2_internal ( )
inlinevirtual

Reimplemented in bb::UltraTracePoseidon2InternalBlock, and bb::UltraTraceOverflowBlock.

Definition at line 26 of file ultra_execution_trace.hpp.

Member Data Documentation

◆ zero_selectors

std::array<ZeroSelector<fr>, 8> bb::UltraTraceBlock::zero_selectors
private

Definition at line 47 of file ultra_execution_trace.hpp.

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