bb::MegaExecutionTraceBlocks Class Reference

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

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaExecutionTraceBlocks:

Public Types
using	FF = fr
Public Types inherited from bb::MegaTraceBlockData
using	BlockBase = MegaTraceBlock

Public Member Functions
	MegaExecutionTraceBlocks ()=default
void	compute_offsets (size_t trace_offset)
size_t	get_total_content_size ()
size_t	get_total_size () const
bool	operator== (const MegaExecutionTraceBlocks &other) const =default
Public Member Functions inherited from bb::MegaTraceBlockData
std::vector< std::string_view >	get_labels () const
auto	get ()
auto	get () const
void	summarize () const
bool	operator== (const MegaTraceBlockData &other) const =default

Static Public Attributes
static constexpr size_t	NUM_WIRES = MegaTraceBlock::NUM_WIRES
Static Public Attributes inherited from bb::MegaTraceBlockData
static constexpr size_t	NUM_BLOCKS = 10

Additional Inherited Members
Public Attributes inherited from bb::MegaTraceBlockData
MegaTraceBlock	ecc_op {}
MegaTraceBlock	pub_inputs {}
MegaTraceBlock	lookup { GateKind::Lookup }
MegaTraceBlock	arithmetic { GateKind::Arith, GateKind::BilinearBatchedEq }
MegaTraceBlock	delta_range { GateKind::DeltaRange }
MegaTraceBlock	elliptic { GateKind::Elliptic }
MegaTraceBlock	memory { GateKind::Memory }
MegaTraceBlock	nnf { GateKind::Nnf }
MegaTraceBlock	busread { GateKind::BusRead }
MegaTraceBlock	poseidon2

Detailed Description

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

Note

The ecc_op block must be first in the trace so the ecc_op_wire polynomials align with the main wires via ecc_op_wire[r] == w_shift[r] (enforced by EccOpQueueRelation).

Definition at line 28 of file mega_execution_trace.hpp.

Member Typedef Documentation

FF

using bb::MegaExecutionTraceBlocks::FF = fr

Definition at line 31 of file mega_execution_trace.hpp.

Constructor & Destructor Documentation

MegaExecutionTraceBlocks()

bb::MegaExecutionTraceBlocks::MegaExecutionTraceBlocks ( )

default

Member Function Documentation

compute_offsets()

void bb::MegaExecutionTraceBlocks::compute_offsets ( size_t  trace_offset )

inline

Definition at line 35 of file mega_execution_trace.hpp.

get_total_content_size()

size_t bb::MegaExecutionTraceBlocks::get_total_content_size ( )

inline

Definition at line 44 of file mega_execution_trace.hpp.

get_total_size()

size_t bb::MegaExecutionTraceBlocks::get_total_size ( ) const

inline

Definition at line 53 of file mega_execution_trace.hpp.

operator==()

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

default

Member Data Documentation

NUM_WIRES

constexpr size_t bb::MegaExecutionTraceBlocks::NUM_WIRES = MegaTraceBlock::NUM_WIRES

staticconstexpr

Definition at line 30 of file mega_execution_trace.hpp.

---

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

• src/barretenberg/honk/execution_trace/mega_execution_trace.hpp