Enum Opcode 

pub enum Opcode {
    AssertZero(Expression),
    BlackBoxFuncCall(BlackBoxFuncCall),
    Directive(Directive),
    MemoryOp {
        block_id: BlockId,
        op: MemOp,
        predicate: Option<Expression>,
    },
    MemoryInit {
        block_id: BlockId,
        init: Vec<Witness>,
    },
    BrilligCall {
        id: u32,
        inputs: Vec<BrilligInputs>,
        outputs: Vec<BrilligOutputs>,
        predicate: Option<Expression>,
    },
    Call {
        id: u32,
        inputs: Vec<Witness>,
        outputs: Vec<Witness>,
        predicate: Option<Expression>,
    },
}

Variants

AssertZero(Expression)

BlackBoxFuncCall(BlackBoxFuncCall)

Calls to “gadgets” which rely on backends implementing support for specialized constraints.

Often used for exposing more efficient implementations of SNARK-unfriendly computations.

Directive(Directive)

MemoryOp

Atomic operation on a block of memory

Fields

block_id: BlockId

op: MemOp

predicate: Option<Expression>

Predicate of the memory operation - indicates if it should be skipped

MemoryInit

Fields

block_id: BlockId

init: Vec<Witness>

BrilligCall

Calls to unconstrained functions

Fields

id: u32

Id for the function being called. It is the responsibility of the executor to fetch the appropriate Brillig bytecode from this id.

inputs: Vec<BrilligInputs>

Inputs to the function call

outputs: Vec<BrilligOutputs>

Outputs to the function call

predicate: Option<Expression>

Predicate of the Brillig execution - indicates if it should be skipped

Call

Calls to functions represented as a separate circuit. A call opcode allows us to build a call stack when executing the outer-most circuit.

Fields

id: u32

Id for the function being called. It is the responsibility of the executor to fetch the appropriate circuit from this id.

inputs: Vec<Witness>

Inputs to the function call

outputs: Vec<Witness>

Outputs of the function call

predicate: Option<Expression>

Predicate of the circuit execution - indicates if it should be skipped

Trait Implementations

impl Clone for Opcode

fn clone(&self) -> Opcode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Opcode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Opcode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Opcode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Opcode

fn eq(&self, other: &Opcode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Opcode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Opcode

impl StructuralPartialEq for Opcode