Ultra execution trace wrapper. UltraTraceBlockData (codegen-emitted) lists the blocks and their owned GateKinds; this class adds offset/size bookkeeping used by the prover. More...

#include <ultra_execution_trace.hpp>

Inheritance diagram for bb::UltraExecutionTraceBlocks:

Public Types
using	FF = fr

Public Types inherited from bb::UltraTraceBlockData
using	BlockBase = UltraTraceBlock

Public Member Functions
	UltraExecutionTraceBlocks ()=default

void	compute_offsets (size_t trace_offset=TRACE_OFFSET)

size_t	get_total_content_size ()

bool	operator== (const UltraExecutionTraceBlocks &other) const =default

Public Member Functions inherited from bb::UltraTraceBlockData
std::vector< std::string_view >	get_labels () const

auto	get ()

auto	get () const

void	summarize () const

bool	operator== (const UltraTraceBlockData &other) const =default

Static Public Attributes
static constexpr size_t	NUM_WIRES = UltraTraceBlock::NUM_WIRES

static constexpr size_t	TRACE_OFFSET = NUM_DISABLED_ROWS_IN_SUMCHECK

Static Public Attributes inherited from bb::UltraTraceBlockData
static constexpr size_t	NUM_BLOCKS = 9

Additional Inherited Members
Public Attributes inherited from bb::UltraTraceBlockData
UltraTraceBlock	pub_inputs {}

UltraTraceBlock	lookup { GateKind::Lookup }

UltraTraceBlock	arithmetic { GateKind::Arith }

UltraTraceBlock	delta_range { GateKind::DeltaRange }

UltraTraceBlock	elliptic { GateKind::Elliptic }

UltraTraceBlock	memory { GateKind::Memory }

UltraTraceBlock	nnf { GateKind::Nnf }

UltraTraceBlock	poseidon2_external { GateKind::Poseidon2Ext }

UltraTraceBlock	poseidon2_internal { GateKind::Poseidon2Int }

Detailed Description

Ultra execution trace wrapper. UltraTraceBlockData (codegen-emitted) lists the blocks and their owned GateKinds; this class adds offset/size bookkeeping used by the prover.

Definition at line 23 of file ultra_execution_trace.hpp.

Member Typedef Documentation

◆ FF

using bb::UltraExecutionTraceBlocks::FF = fr

Definition at line 28 of file ultra_execution_trace.hpp.

Constructor & Destructor Documentation

◆ UltraExecutionTraceBlocks()

bb::UltraExecutionTraceBlocks::UltraExecutionTraceBlocks ( )

default

Member Function Documentation

◆ compute_offsets()

void bb::UltraExecutionTraceBlocks::compute_offsets ( size_t trace_offset = TRACE_OFFSET )

inline

Definition at line 32 of file ultra_execution_trace.hpp.

◆ get_total_content_size()

size_t bb::UltraExecutionTraceBlocks::get_total_content_size ( )

inline

Definition at line 41 of file ultra_execution_trace.hpp.

◆ operator==()

bool bb::UltraExecutionTraceBlocks::operator== ( const UltraExecutionTraceBlocks & other ) const

default

Member Data Documentation

◆ NUM_WIRES

constexpr size_t bb::UltraExecutionTraceBlocks::NUM_WIRES = UltraTraceBlock::NUM_WIRES

staticconstexpr

Definition at line 25 of file ultra_execution_trace.hpp.

◆ TRACE_OFFSET

constexpr size_t bb::UltraExecutionTraceBlocks::TRACE_OFFSET = NUM_DISABLED_ROWS_IN_SUMCHECK

staticconstexpr

Definition at line 27 of file ultra_execution_trace.hpp.

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

src/barretenberg/honk/execution_trace/ultra_execution_trace.hpp

Public Types

Public Member Functions

Static Public Attributes

Additional Inherited Members