bb::MegaExecutionTraceBlocks Class Reference

#include <mega_execution_trace.hpp>

Inheritance diagram for bb::MegaExecutionTraceBlocks:

Public Types
using	FF = fr

Public Member Functions
	MegaExecutionTraceBlocks ()=default
void	set_fixed_block_sizes (const TraceSettings &settings)
void	compute_offsets (bool is_structured)
void	summarize () const
size_t	get_total_content_size ()
size_t	get_structured_size () const
size_t	get_structured_dyadic_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
auto	get_gate_blocks () const
bool	operator== (const MegaTraceBlockData &other) const =default

Public Attributes
bool	has_overflow = false
Public Attributes inherited from bb::MegaTraceBlockData
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

Static Public Attributes
static constexpr size_t	NUM_WIRES = MegaTraceBlock::NUM_WIRES
	Defines the circuit block types for the Mega arithmetization.

Detailed Description

Definition at line 310 of file mega_execution_trace.hpp.

Member Typedef Documentation

FF

using bb::MegaExecutionTraceBlocks::FF = fr

Definition at line 323 of file mega_execution_trace.hpp.

Constructor & Destructor Documentation

MegaExecutionTraceBlocks()

bb::MegaExecutionTraceBlocks::MegaExecutionTraceBlocks ( )

default

Member Function Documentation

compute_offsets()

void bb::MegaExecutionTraceBlocks::compute_offsets ( bool  is_structured )

inline

Definition at line 340 of file mega_execution_trace.hpp.

get_structured_dyadic_size()

size_t bb::MegaExecutionTraceBlocks::get_structured_dyadic_size ( ) const

inline

Definition at line 391 of file mega_execution_trace.hpp.

get_structured_size()

size_t bb::MegaExecutionTraceBlocks::get_structured_size ( ) const

inline

Definition at line 382 of file mega_execution_trace.hpp.

get_total_content_size()

size_t bb::MegaExecutionTraceBlocks::get_total_content_size ( )

inline

Definition at line 373 of file mega_execution_trace.hpp.

operator==()

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

default

set_fixed_block_sizes()

void bb::MegaExecutionTraceBlocks::set_fixed_block_sizes ( const TraceSettings &  settings )

inline

Definition at line 329 of file mega_execution_trace.hpp.

summarize()

void bb::MegaExecutionTraceBlocks::summarize ( ) const

inline

Definition at line 349 of file mega_execution_trace.hpp.

Member Data Documentation

has_overflow

bool bb::MegaExecutionTraceBlocks::has_overflow = false

Definition at line 325 of file mega_execution_trace.hpp.

NUM_WIRES

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

staticconstexpr

Defines the circuit block types for the Mega arithmetization.

Note

Its useful to define this as a template since it is used to actually store gate data (T = MegaTraceBlock) but also to store corresponding block sizes (T = uint32_t) for the structured trace or dynamic block size tracking in ClientIvc.

Template Parameters

T

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