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.