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>) -> Self

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 + Debug>( &mut self, program: &RedeemNode<J>, env: &J::Environment, ) -> Result<Value, ExecutionError>

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

Make sure the Bit Machine has enough space by constructing it via Self::for_program().