bb::avm2::tracegen::EccTraceBuilder Class Reference

#include <ecc_trace.hpp>

Public Member Functions
void	process_add (const simulation::EventEmitterInterface< simulation::EccAddEvent >::Container &events, TraceContainer &trace)
	Process the ECC add events and populate the relevant columns in the trace. Corresponds to the non-memory aware subtrace ecc.pil.
void	process_scalar_mul (const simulation::EventEmitterInterface< simulation::ScalarMulEvent >::Container &events, TraceContainer &trace)
	Process the ECC scalar multiplication events and populate the relevant columns in the trace. Corresponds to the subtrace scalar_mul.pil.
void	process_add_with_memory (const simulation::EventEmitterInterface< simulation::EccAddMemoryEvent >::Container &events, TraceContainer &trace)
	Process the ECC add memory events and populate the relevant columns in the trace. Corresponds to the memory aware subtrace ecc_mem.pil.

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 12 of file ecc_trace.hpp.

Member Function Documentation

process_add()

void bb::avm2::tracegen::EccTraceBuilder::process_add	(	const simulation::EventEmitterInterface< simulation::EccAddEvent >::Container &	events,
		TraceContainer &	trace
	)

Process the ECC add events and populate the relevant columns in the trace. Corresponds to the non-memory aware subtrace ecc.pil.

Parameters

events	The container of ECC add events to process.
trace	The trace container.

Definition at line 71 of file ecc_trace.cpp.

process_add_with_memory()

void bb::avm2::tracegen::EccTraceBuilder::process_add_with_memory	(	const simulation::EventEmitterInterface< simulation::EccAddMemoryEvent >::Container &	events,
		TraceContainer &	trace
	)

Process the ECC add memory events and populate the relevant columns in the trace. Corresponds to the memory aware subtrace ecc_mem.pil.

Parameters

events	The container of ECC add memory events to process.
trace	The trace container.

Definition at line 260 of file ecc_trace.cpp.

process_scalar_mul()

void bb::avm2::tracegen::EccTraceBuilder::process_scalar_mul	(	const simulation::EventEmitterInterface< simulation::ScalarMulEvent >::Container &	events,
		TraceContainer &	trace
	)

Process the ECC scalar multiplication events and populate the relevant columns in the trace. Corresponds to the subtrace scalar_mul.pil.

Parameters

events	The container of ECC scalar mul events to process.
trace	The trace container.

Definition at line 179 of file ecc_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::EccTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        
        .add<lookup_scalar_mul_double_settings, InteractionType::LookupGeneric>()
        .add<lookup_scalar_mul_add_settings, InteractionType::LookupGeneric>()
        .add<lookup_scalar_mul_to_radix_settings, InteractionType::LookupGeneric>()
        
        
        .add<lookup_ecc_mem_check_dst_addr_in_range_settings, InteractionType::LookupGeneric>(Column::gt_sel)
        
        .add<lookup_ecc_mem_input_output_ecc_add_settings, InteractionType::LookupGeneric>()

Definition at line 22 of file ecc_trace.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/tracegen/ecc_trace.hpp
• src/barretenberg/vm2/tracegen/ecc_trace.cpp