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

Member Function Documentation

get() [1/2]

auto bb::MegaTraceBlockData::get ( )

inline

Definition at line 382 of file mega_execution_trace.hpp.

get() [2/2]

auto bb::MegaTraceBlockData::get ( ) const

inline

Definition at line 398 of file mega_execution_trace.hpp.

get_gate_blocks()

auto bb::MegaTraceBlockData::get_gate_blocks ( ) const

inline

Definition at line 414 of file mega_execution_trace.hpp.

get_labels()

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

inline

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

busread

MegaTraceBusReadBlock bb::MegaTraceBlockData::busread

Definition at line 364 of file mega_execution_trace.hpp.

delta_range

MegaTraceDeltaRangeBlock bb::MegaTraceBlockData::delta_range

Definition at line 368 of file mega_execution_trace.hpp.

ecc_op

MegaTraceBlock bb::MegaTraceBlockData::ecc_op

Definition at line 363 of file mega_execution_trace.hpp.

elliptic

MegaTraceEllipticBlock bb::MegaTraceBlockData::elliptic

Definition at line 369 of file mega_execution_trace.hpp.

lookup

MegaTraceLookupBlock bb::MegaTraceBlockData::lookup

Definition at line 365 of file mega_execution_trace.hpp.

memory

MegaTraceMemoryBlock bb::MegaTraceBlockData::memory

Definition at line 370 of file mega_execution_trace.hpp.

nnf

MegaTraceNonNativeFieldBlock bb::MegaTraceBlockData::nnf

Definition at line 371 of file mega_execution_trace.hpp.

overflow

MegaTraceOverflowBlock bb::MegaTraceBlockData::overflow

Definition at line 374 of file mega_execution_trace.hpp.

poseidon2_external

MegaTracePoseidon2ExternalBlock bb::MegaTraceBlockData::poseidon2_external

Definition at line 372 of file mega_execution_trace.hpp.

poseidon2_internal

MegaTracePoseidon2InternalBlock bb::MegaTraceBlockData::poseidon2_internal

Definition at line 373 of file mega_execution_trace.hpp.

pub_inputs

MegaTracePublicInputBlock bb::MegaTraceBlockData::pub_inputs

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