Parsed private execution steps ready for Chonk accumulation. More...

#include <private_execution_steps.hpp>

Public Member Functions
std::shared_ptr< Chonk >	accumulate ()
	Creates a Chonk instance and accumulates each circuit in the folding stack. Uses precomputed VKs when available for performance. The returned Chonk instance is ready to call prove() to generate the final IVC proof.

void	parse (std::vector< PrivateExecutionStepRaw > &&steps)
	Converts PrivateExecutionStepRaw entries (which contain raw bytecode/witness bytes) into structured AcirProgram objects ready for circuit construction.

Public Attributes
std::vector< acir_format::AcirProgram >	folding_stack
	ACIR programs with witnesses.

std::vector< std::string >	function_names
	Function names for logging.

std::vector< std::shared_ptr< Chonk::MegaVerificationKey > >	precomputed_vks
	Precomputed VKs (performance)

Detailed Description

Parsed private execution steps ready for Chonk accumulation.

After deserializing from msgpack, this struct holds the decoded ACIR programs, their witnesses, precomputed VKs, and function names. The accumulate() method runs the complete IVC accumulation over all steps.

Data flow: TypeScript (Aztec client) → msgpack encode → ivc-inputs.msgpack → PrivateExecutionStepRaw::load_and_decompress() → PrivateExecutionSteps::parse() → PrivateExecutionSteps::accumulate() → Chonk IVC proof

Definition at line 65 of file private_execution_steps.hpp.

Member Function Documentation

◆ accumulate()

std::shared_ptr< Chonk > bb::PrivateExecutionSteps::accumulate ( )

Creates a Chonk instance and accumulates each circuit in the folding stack. Uses precomputed VKs when available for performance. The returned Chonk instance is ready to call prove() to generate the final IVC proof.

Returns: Shared pointer to Chonk instance with accumulated state

Definition at line 157 of file private_execution_steps.cpp.

◆ parse()

void bb::PrivateExecutionSteps::parse ( std::vector< PrivateExecutionStepRaw > && steps )

Converts PrivateExecutionStepRaw entries (which contain raw bytecode/witness bytes) into structured AcirProgram objects ready for circuit construction.

Parameters

steps Raw execution steps (will be moved from)

Definition at line 128 of file private_execution_steps.cpp.