Struct AcvmExecutionOutput 

pub struct AcvmExecutionOutput {
    pub return_values: Vec<Fr>,
    pub witness: WitnessMap<FieldElement>,
    pub acir_bytecode: Vec<u8>,
    pub first_acir_call_return_values: Vec<Fr>,
}

Raw ACVM execution output before structuring into kernel types.

This contains the solved witness and return values from a single ACVM run. The oracle is responsible for collecting side effects (notes, nullifiers, logs) into the proper PrivateCallExecutionResult structure.

Fields

return_values: Vec<Fr>

Return values from the function.

witness: WitnessMap<FieldElement>

The full solved witness map (for kernel circuit input).

acir_bytecode: Vec<u8>

The ACIR bytecode used (for kernel proving).

first_acir_call_return_values: Vec<Fr>

Return values from the first ACIR sub-circuit call (if any). Used to extract the inner function’s return value from an entrypoint wrapper.

Trait Implementations

impl Clone for AcvmExecutionOutput

fn clone(&self) -> AcvmExecutionOutput

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AcvmExecutionOutput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.