Expand description
The 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.
Structs§
- Foreign
Call Result - Represents the full output of a foreign call.
- Heap
Array - A fixed-sized array starting from a Brillig memory location.
- Heap
Vector - A memory-sized vector passed starting from a Brillig memory location and with a memory-held size
- Memory
Address
Enums§
- Binary
Field Op - Binary fixed-length field expressions
- Binary
IntOp - Binary fixed-length integer expressions
- Black
BoxOp - These opcodes provide an equivalent of ACIR blackbox functions. They are implemented as native functions in the VM.
- Foreign
Call Param - Single output of a foreign call.
- Heap
Value Type - Describes the memory layout for an array/vector element
- Opcode
- Value
OrArray - 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.