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 must be first in the execution trace. This is required because:

1. The EccOpQueueRelation constrains ecc_op_wire polynomials to equal shifted wires inside the block
2. ecc_op_wire stores data starting at index 0, while regular wires start at index 1 (due to zero row)
3. The relation ecc_op_wire[i] == w[i+1] only holds when ecc_op is first (immediately after the zero row)

The ecc_op block does NOT have a gate selector stored in the builder. Instead, the lagrange_ecc_op selector polynomial is constructed during TraceToPolynomials::add_ecc_op_wires_to_prover_instance() as a binary indicator (1 inside the ecc_op block, 0 elsewhere).

Definition at line 310 of file mega_execution_trace.hpp.

Member Function Documentation

get() [1/2]

auto bb::MegaTraceBlockData::get ( )

inline

Definition at line 331 of file mega_execution_trace.hpp.

get() [2/2]

auto bb::MegaTraceBlockData::get ( ) const

inline

Definition at line 346 of file mega_execution_trace.hpp.

get_gate_blocks()

auto bb::MegaTraceBlockData::get_gate_blocks ( ) const

inline

Definition at line 361 of file mega_execution_trace.hpp.

get_labels()

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

inline

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

busread

MegaTraceBusReadBlock bb::MegaTraceBlockData::busread

Definition at line 312 of file mega_execution_trace.hpp.

delta_range

MegaTraceDeltaRangeBlock bb::MegaTraceBlockData::delta_range

Definition at line 316 of file mega_execution_trace.hpp.

ecc_op

MegaTraceBlock bb::MegaTraceBlockData::ecc_op

Definition at line 311 of file mega_execution_trace.hpp.

elliptic

MegaTraceEllipticBlock bb::MegaTraceBlockData::elliptic

Definition at line 317 of file mega_execution_trace.hpp.

lookup

MegaTraceLookupBlock bb::MegaTraceBlockData::lookup

Definition at line 313 of file mega_execution_trace.hpp.

memory

MegaTraceMemoryBlock bb::MegaTraceBlockData::memory

Definition at line 318 of file mega_execution_trace.hpp.

nnf

MegaTraceNonNativeFieldBlock bb::MegaTraceBlockData::nnf

Definition at line 319 of file mega_execution_trace.hpp.

NUM_BLOCKS

constexpr size_t bb::MegaTraceBlockData::NUM_BLOCKS = 11

staticconstexpr

Definition at line 323 of file mega_execution_trace.hpp.

poseidon2_external

MegaTracePoseidon2ExternalBlock bb::MegaTraceBlockData::poseidon2_external

Definition at line 320 of file mega_execution_trace.hpp.

poseidon2_internal

MegaTracePoseidon2InternalBlock bb::MegaTraceBlockData::poseidon2_internal

Definition at line 321 of file mega_execution_trace.hpp.

pub_inputs

MegaTracePublicInputBlock bb::MegaTraceBlockData::pub_inputs

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