Struct PassthroughVM 

pub struct PassthroughVM {
    pub max_steps: u64,
}

PassthroughVM: a stub implementation that passes inputs through as outputs.

This is used for testing the proof pipeline without a full VM. It validates that total input value >= total output value for each type ID (conservation of supply).

Fields

max_steps: u64

Maximum execution steps before loop detection triggers

Implementations

impl PassthroughVM

pub fn new(max_steps: u64) -> Self

Create a new PassthroughVM with the given step limit

Trait Implementations

impl Default for PassthroughVM

fn default() -> Self

Returns the “default value” for a type.

impl DeterministicVM for PassthroughVM

fn execute( &self, _bytecode: &[u8], inputs: VMInputs, _signatures: &[Vec<u8>], ) -> Result<VMOutputs, VMError>

Execute a transition’s bytecode with the given inputs.

fn validate_outputs( &self, inputs: &VMInputs, outputs: &VMOutputs, ) -> Result<(), VMError>

Validate that outputs are consistent with the schema.