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

Static Public Attributes
static constexpr size_t	NUM_BLOCKS = 11

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 302 of file mega_execution_trace.hpp.

Member Function Documentation

get() [1/2]

auto bb::MegaTraceBlockData::get ( )

inline

Definition at line 323 of file mega_execution_trace.hpp.

get() [2/2]

auto bb::MegaTraceBlockData::get ( ) const

inline

Definition at line 338 of file mega_execution_trace.hpp.

get_gate_blocks()

auto bb::MegaTraceBlockData::get_gate_blocks ( ) const

inline

Definition at line 353 of file mega_execution_trace.hpp.

get_labels()

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

inline

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

busread

MegaTraceBusReadBlock bb::MegaTraceBlockData::busread

Definition at line 304 of file mega_execution_trace.hpp.

delta_range

MegaTraceDeltaRangeBlock bb::MegaTraceBlockData::delta_range

Definition at line 308 of file mega_execution_trace.hpp.

ecc_op

MegaTraceBlock bb::MegaTraceBlockData::ecc_op

Definition at line 303 of file mega_execution_trace.hpp.

elliptic

MegaTraceEllipticBlock bb::MegaTraceBlockData::elliptic

Definition at line 309 of file mega_execution_trace.hpp.

lookup

MegaTraceLookupBlock bb::MegaTraceBlockData::lookup

Definition at line 305 of file mega_execution_trace.hpp.

memory

MegaTraceMemoryBlock bb::MegaTraceBlockData::memory

Definition at line 310 of file mega_execution_trace.hpp.

nnf

MegaTraceNonNativeFieldBlock bb::MegaTraceBlockData::nnf

Definition at line 311 of file mega_execution_trace.hpp.

NUM_BLOCKS

constexpr size_t bb::MegaTraceBlockData::NUM_BLOCKS = 11

staticconstexpr

Definition at line 315 of file mega_execution_trace.hpp.

poseidon2_external

MegaTracePoseidon2ExternalBlock bb::MegaTraceBlockData::poseidon2_external

Definition at line 312 of file mega_execution_trace.hpp.

poseidon2_internal

MegaTracePoseidon2InternalBlock bb::MegaTraceBlockData::poseidon2_internal

Definition at line 313 of file mega_execution_trace.hpp.

pub_inputs

MegaTracePublicInputBlock bb::MegaTraceBlockData::pub_inputs

Definition at line 306 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