Expand description
The Brillig bytecode is distinct from regular ACIR in that it does not generate constraints.
Modules§
- opcodes 🔒
Structs§
- Represents the full output of a foreign call.
- A fixed-sized array starting from a Brillig memory location.
- A memory-sized vector passed starting from a Brillig memory location and with a memory-held size
Enums§
- Binary fixed-length field expressions
- Binary fixed-length integer expressions
- These opcodes provide an equivalent of ACIR blackbox functions. They are implemented as native functions in the VM.
- Single output of a foreign call.
- Describes the memory layout for an array/vector element
- Represents an address in the VM’s memory. Supports both direct and relative addressing.
- Lays out various ways an external foreign call’s input and output data may be interpreted inside Brillig. This data can either be an individual value or memory.