Expand description
Deterministic VM trait for CSV contract execution
This trait defines the interface that any deterministic VM must implement to serve as the execution engine for CSV contract transitions.
The core invariant: the same bytecode + inputs must always produce the same outputs, regardless of the executing environment.
Structs§
- PassthroughVM
- PassthroughVM: a stub implementation that passes inputs through as outputs.
- VMInputs
- Input state for VM execution
- VMOutputs
- Output state from VM execution
Enums§
- VMError
- Errors that can occur during VM execution
Traits§
- DeterministicVM
- The DeterministicVM trait defines the interface for CSV contract execution.
Functions§
- execute_
transition - Execute a transition through the VM and validate