Struct BitMachine

pub struct BitMachine { /* private fields */ }

An execution context for a Simplicity program

Implementations

impl BitMachine

pub fn for_program<J: Jet>(program: &RedeemNode<J>) -> Result<Self, LimitError>

Construct a Bit Machine with enough space to execute the given program.

pub fn input(&mut self, input: &Value) -> Result<(), ExecutionError>

Add a read frame with some given value in it, as input to the program

pub fn exec<J: Jet>( &mut self, program: &RedeemNode<J>, env: &J::Environment, ) -> Result<Value, ExecutionError>

Execute the given program on the Bit Machine, using the given environment.

Precondition

The Bit Machine is constructed via Self::for_program() to ensure enough space.