Crate brillig_vm 

The Brillig VM is a specialized VM which allows the ACVM to perform custom non-determinism.

Brillig bytecode is distinct from regular ACIR in that it does not generate constraints. This is a generalization over the fixed directives that exists within in the ACVM.

Re-exports

pub use acir::brillig;

Structs

Memory

VM

VM encapsulates the state of the Brillig VM during execution.

Enums

FailureReason

MemoryValue

VMStatus

Constants

MEMORY_ADDRESSING_BIT_SIZE

Type Aliases

ErrorCallStack

The error call stack contains the opcode indexes of the call stack at the time of failure, plus the index of the opcode that failed.