Module brillig

Structs

• BrilligSolver
  Specific solver for Brillig opcodes It maintains a Brillig VM that can execute the bytecode of the called brillig function
• ForeignCallWaitInfo
  Encapsulates a request from a Brillig VM process that encounters a foreign call opcode where the result of the foreign call has not yet been provided.

Enums

• BrilligSolverStatus

Functions

• extract_failure_payload_from_memory 🔒
  Extracts a ResolvedAssertionPayload from a block of memory of a Brillig VM instance.