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][brillig_vm::brillig::Opcode::ForeignCall] 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.