Public Member Functions
void	process_public_inputs (TraceContainer &trace, const PublicInputs &public_inputs)
	Populate the public inputs trace columns from the given public inputs.

void	process_public_inputs_aux_precomputed (TraceContainer &trace)
	Populate the auxiliary precomputed selector for the public inputs subtrace.

Detailed Description

Definition at line 10 of file public_inputs_trace.hpp.

Member Function Documentation

void bb::avm2::tracegen::PublicInputsTraceBuilder::process_public_inputs	(	TraceContainer &	trace,
		const PublicInputs &	public_inputs
	)

Populate the public inputs trace columns from the given public inputs.

Converts the public inputs into 4 column vectors and writes each element into the corresponding trace columns (public_inputs_cols_0_ through 3).

Parameters

trace	The trace container to populate.
public_inputs	The transaction's public inputs to encode into the trace.

Definition at line 17 of file public_inputs_trace.cpp.

void bb::avm2::tracegen::PublicInputsTraceBuilder::process_public_inputs_aux_precomputed ( TraceContainer & trace )

Populate the auxiliary precomputed selector for the public inputs subtrace.

Note: The precomputed trace size must be >= the public inputs trace size because we use precomputed_idx to lookup into the public inputs trace.

Sets public_inputs_sel to 1 for rows [0, AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH), marking which rows belong to the public inputs region of the trace.

Parameters

trace The trace container to populate.

Definition at line 48 of file public_inputs_trace.cpp.

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