bb::MegaTraceBlockData Struct Reference

A container indexed by the types of the blocks in the execution trace. More...

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaTraceBlockData:

Public Member Functions
std::vector< std::string_view >	get_labels () const
auto	get ()
auto	get () const
auto	get_gate_blocks () const
bool	operator== (const MegaTraceBlockData &other) const =default

Public Attributes
MegaTraceBlock	ecc_op
MegaTraceBusReadBlock	busread
MegaTraceLookupBlock	lookup
MegaTracePublicInputBlock	pub_inputs
MegaTraceArithmeticBlock	arithmetic
MegaTraceDeltaRangeBlock	delta_range
MegaTraceEllipticBlock	elliptic
MegaTraceMemoryBlock	memory
MegaTraceNonNativeFieldBlock	nnf
MegaTracePoseidon2ExternalBlock	poseidon2_external
MegaTracePoseidon2InternalBlock	poseidon2_internal
MegaTraceOverflowBlock	overflow

Detailed Description

A container indexed by the types of the blocks in the execution trace.

We instantiate this both to contain the actual gates of an execution trace, and also to describe different trace structures (i.e., sets of capacities for each block type, which we use to optimize the folding prover). Note: the ecc_op block has to be the first in the execution trace to not break the Goblin functionality.

Definition at line 240 of file mega_execution_trace.hpp.

Member Function Documentation

get() [1/2]

auto bb::MegaTraceBlockData::get ( )

inline

Definition at line 260 of file mega_execution_trace.hpp.

get() [2/2]

auto bb::MegaTraceBlockData::get ( ) const

inline

Definition at line 276 of file mega_execution_trace.hpp.

get_gate_blocks()

auto bb::MegaTraceBlockData::get_gate_blocks ( ) const

inline

Definition at line 292 of file mega_execution_trace.hpp.

get_labels()

std::vector< std::string_view > bb::MegaTraceBlockData::get_labels ( ) const

inline

Definition at line 254 of file mega_execution_trace.hpp.

operator==()

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

default

Member Data Documentation

arithmetic

MegaTraceArithmeticBlock bb::MegaTraceBlockData::arithmetic

Definition at line 245 of file mega_execution_trace.hpp.

busread

MegaTraceBusReadBlock bb::MegaTraceBlockData::busread

Definition at line 242 of file mega_execution_trace.hpp.

delta_range

MegaTraceDeltaRangeBlock bb::MegaTraceBlockData::delta_range

Definition at line 246 of file mega_execution_trace.hpp.

ecc_op

MegaTraceBlock bb::MegaTraceBlockData::ecc_op

Definition at line 241 of file mega_execution_trace.hpp.

elliptic

MegaTraceEllipticBlock bb::MegaTraceBlockData::elliptic

Definition at line 247 of file mega_execution_trace.hpp.

lookup

MegaTraceLookupBlock bb::MegaTraceBlockData::lookup

Definition at line 243 of file mega_execution_trace.hpp.

memory

MegaTraceMemoryBlock bb::MegaTraceBlockData::memory

Definition at line 248 of file mega_execution_trace.hpp.

nnf

MegaTraceNonNativeFieldBlock bb::MegaTraceBlockData::nnf

Definition at line 249 of file mega_execution_trace.hpp.

overflow

MegaTraceOverflowBlock bb::MegaTraceBlockData::overflow

Definition at line 252 of file mega_execution_trace.hpp.

poseidon2_external

MegaTracePoseidon2ExternalBlock bb::MegaTraceBlockData::poseidon2_external

Definition at line 250 of file mega_execution_trace.hpp.

poseidon2_internal

MegaTracePoseidon2InternalBlock bb::MegaTraceBlockData::poseidon2_internal

Definition at line 251 of file mega_execution_trace.hpp.

pub_inputs

MegaTracePublicInputBlock bb::MegaTraceBlockData::pub_inputs

Definition at line 244 of file mega_execution_trace.hpp.

---

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

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