Crate brillig

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

• ForeignCallResult
  Represents the full output of a foreign call.
• HeapArray
  A fixed-sized array starting from a Brillig memory location.
• HeapVector
  A memory-sized vector passed starting from a Brillig memory location and with a memory-held size
• MemoryAddress

Enums

• BinaryFieldOp
  Binary fixed-length field expressions
• BinaryIntOp
  Binary fixed-length integer expressions
• BlackBoxOp
  These opcodes provide an equivalent of ACIR blackbox functions. They are implemented as native functions in the VM.
• ForeignCallParam
  Single output of a foreign call.
• HeapValueType
  Describes the memory layout for an array/vector element
• Opcode
• ValueOrArray
  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.

Type Aliases

• Label