Classes
class	AddChecksToBuilder

class	AddressDerivationTraceBuilder

class	AluTraceBuilder

class	BitwiseTraceBuilder

class	BytecodeTraceBuilder

class	CalldataTraceBuilder

class	CheckingPermutationBuilder

class	ClassIdDerivationTraceBuilder

class	ContextStackTraceBuilder

class	ContractInstanceRetrievalTraceBuilder

class	DataCopyTraceBuilder

class	EccTraceBuilder

class	EmitUnencryptedLogTraceBuilder

class	ExecutionTraceBuilder

class	FieldGreaterThanTraceBuilder

class	GetContractInstanceSpec

class	GetContractInstanceTraceBuilder

class	GetEnvVarSpec

class	GreaterThanTraceBuilder

class	IndexedLookupTraceBuilder

class	InteractionBuilderInterface

class	InteractionDefinition

class	InternalCallStackBuilder

class	KeccakF1600TraceBuilder

class	L1ToL2MessageTreeCheckTraceBuilder

class	LookupIntoBitwise

class	LookupIntoDynamicTableGeneric

class	LookupIntoDynamicTableSequential

class	LookupIntoIndexedByClk

class	LookupIntoPDecomposition

class	MemoryTraceBuilder

class	MerkleCheckTraceBuilder

class	MultiPermutationBuilder

class	NoteHashTreeCheckTraceBuilder

class	NullifierTreeCheckTraceBuilder

class	PermutationBuilder

class	Poseidon2TraceBuilder

class	PrecomputedTraceBuilder

class	PublicDataTreeTraceBuilder

class	PublicInputsTraceBuilder

class	RangeCheckTraceBuilder

class	RetrievedBytecodesTreeCheckTraceBuilder

class	Sha256TraceBuilder

struct	SubtraceInfo

class	TestTraceContainer

class	ToRadixTraceBuilder

class	TraceContainer

class	TxPhaseOffsetsTable

class	TxTraceBuilder

class	UpdateCheckTraceBuilder

class	WrittenPublicDataSlotsTreeCheckTraceBuilder

Typedefs
using	C = Column

using	Poseidon2 = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

Enumerations
enum class	SubtraceSel : uint8_t { EXECUTION , ALU , BITWISE , CAST , CALLDATACOPY , RETURNDATACOPY , SET , GETCONTRACTINSTANCE , EMITUNENCRYPTEDLOG , POSEIDON2PERM , SHA256COMPRESSION , KECCAKF1600 , ECC , TORADIXBE , MAX = TORADIXBE }

enum class	InteractionType { LookupGeneric , LookupSequential , LookupIntoBitwise , LookupIntoIndexedByClk , LookupIntoPDecomposition , Permutation , MultiPermutation }

Functions
template<typename EventVariant >
std::unordered_map< size_t, size_t >	compute_reverted_in_map (const std::vector< EventVariant > &events)

template<typename EventType , typename ProcessEventFn >
void	process_with_discard (const std::vector< std::variant< EventType, simulation::CheckPointEventType > > &events, ProcessEventFn &&process_event)

FF	get_subtrace_id (SubtraceSel subtrace_sel)
	Get the subtrace ID for a given subtrace enum.

Column	get_subtrace_selector (SubtraceSel subtrace_sel)
	Get the column selector for a given subtrace selector.

Column	get_dyn_gas_selector (uint32_t dyn_gas_id)
	Get the column selector for a given dynamic gas ID.

template<typename T >
std::vector< T >	concatenate_jobs (std::vector< T > &&first, auto &&... rest)

bool	is_shift (ColumnAndShifts c)

std::optional< ColumnAndShifts >	shift_column (Column c)

std::optional< Column >	unshift_column (ColumnAndShifts c)

AvmFullRow	get_full_row (const TraceContainer &trace, uint32_t row)

AvmFullRowConstRef	get_full_row_ref (const TraceContainer &trace, uint32_t row)

AvmFullRow	get_full_row (const class TraceContainer &trace, uint32_t row)

AvmFullRowConstRef	get_full_row_ref (const class TraceContainer &trace, uint32_t row)

Variables
constexpr uint32_t	MAX_MEM_ADDR = AVM_HIGHEST_MEM_ADDRESS

const std::unordered_map< ExecutionOpCode, SubtraceInfo >	SUBTRACE_INFO_MAP

Typedef Documentation

◆ C

typedef Column bb::avm2::tracegen::C

Definition at line 20 of file keccakf1600_trace.cpp.

◆ Poseidon2

using bb::avm2::tracegen::Poseidon2 = typedef crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 13 of file merkle_check_trace.cpp.

Enumeration Type Documentation

◆ InteractionType

enum class bb::avm2::tracegen::InteractionType

strong

Enumerator
LookupGeneric
LookupSequential
LookupIntoBitwise
LookupIntoIndexedByClk
LookupIntoPDecomposition
Permutation
MultiPermutation

Definition at line 19 of file interaction_def.hpp.

◆ SubtraceSel

enum class bb::avm2::tracegen::SubtraceSel : uint8_t

strong

Enumerator
EXECUTION
ALU
BITWISE
CAST
CALLDATACOPY
RETURNDATACOPY
SET
GETCONTRACTINSTANCE
EMITUNENCRYPTEDLOG
POSEIDON2PERM
SHA256COMPRESSION
KECCAKF1600
ECC
TORADIXBE
MAX

Definition at line 15 of file instruction_spec.hpp.

Function Documentation

◆ compute_reverted_in_map()

template<typename EventVariant >

std::unordered_map< size_t, size_t > bb::avm2::tracegen::compute_reverted_in_map ( const std::vector< EventVariant > & events )

Definition at line 17 of file discard_reconstruction.hpp.

◆ concatenate_jobs()

template<typename T >

std::vector< T > bb::avm2::tracegen::concatenate_jobs	(	std::vector< T > &&	first,
		auto &&...	rest
	)

Definition at line 16 of file interaction_builder.hpp.

◆ get_dyn_gas_selector()

Column bb::avm2::tracegen::get_dyn_gas_selector ( uint32_t dyn_gas_id )

Get the column selector for a given dynamic gas ID.

Parameters

dyn_gas_id The dynamic gas ID.

Returns: The corresponding column selector.

Definition at line 180 of file instruction_spec.cpp.

◆ get_full_row() [1/2]

AvmFullRow bb::avm2::tracegen::get_full_row	(	const class TraceContainer &	trace,
		uint32_t	row
	)

◆ get_full_row() [2/2]

AvmFullRow bb::avm2::tracegen::get_full_row	(	const TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 51 of file trace_conversion.cpp.

◆ get_full_row_ref() [1/2]

AvmFullRowConstRef bb::avm2::tracegen::get_full_row_ref	(	const class TraceContainer &	trace,
		uint32_t	row
	)

◆ get_full_row_ref() [2/2]

AvmFullRowConstRef bb::avm2::tracegen::get_full_row_ref	(	const TraceContainer &	trace,
		uint32_t	row
	)

Definition at line 67 of file trace_conversion.cpp.

◆ get_subtrace_id()

FF bb::avm2::tracegen::get_subtrace_id ( SubtraceSel subtrace_sel )

Get the subtrace ID for a given subtrace enum.

Parameters

subtrace_sel The subtrace enum.

Returns: The corresponding subtrace ID.

Definition at line 102 of file instruction_spec.cpp.

◆ get_subtrace_selector()

Column bb::avm2::tracegen::get_subtrace_selector ( SubtraceSel subtrace_sel )

Get the column selector for a given subtrace selector.

Parameters

subtrace_sel The subtrace selector.

Returns: The corresponding column selector.

Definition at line 140 of file instruction_spec.cpp.

◆ is_shift()

bool bb::avm2::tracegen::is_shift ( ColumnAndShifts c )

Definition at line 11 of file trace_conversion.cpp.

◆ process_with_discard()

template<typename EventType , typename ProcessEventFn >

void bb::avm2::tracegen::process_with_discard	(	const std::vector< std::variant< EventType, simulation::CheckPointEventType > > &	events,
		ProcessEventFn &&	process_event
	)

Definition at line 52 of file discard_reconstruction.hpp.

◆ shift_column()

std::optional< ColumnAndShifts > bb::avm2::tracegen::shift_column ( Column c )

Definition at line 23 of file trace_conversion.cpp.

◆ unshift_column()

std::optional< Column > bb::avm2::tracegen::unshift_column ( ColumnAndShifts c )

Definition at line 37 of file trace_conversion.cpp.

Variable Documentation

◆ MAX_MEM_ADDR

constexpr uint32_t bb::avm2::tracegen::MAX_MEM_ADDR = AVM_HIGHEST_MEM_ADDRESS

constexpr

Definition at line 18 of file data_copy_trace.cpp.

◆ SUBTRACE_INFO_MAP

const std::unordered_map< ExecutionOpCode, SubtraceInfo > bb::avm2::tracegen::SUBTRACE_INFO_MAP

Definition at line 13 of file instruction_spec.cpp.

Classes

Typedefs

Enumerations

Functions

Variables

Typedef Documentation

◆ C

◆ Poseidon2

Enumeration Type Documentation

◆ InteractionType

◆ SubtraceSel

Function Documentation

◆ compute_reverted_in_map()

◆ concatenate_jobs()

◆ get_dyn_gas_selector()

◆ get_full_row() [1/2]

◆ get_full_row() [2/2]

◆ get_full_row_ref() [1/2]

◆ get_full_row_ref() [2/2]

◆ get_subtrace_id()

◆ get_subtrace_selector()

◆ is_shift()

◆ process_with_discard()

◆ shift_column()

◆ unshift_column()

Variable Documentation

◆ MAX_MEM_ADDR

◆ SUBTRACE_INFO_MAP