Enum ACVMStatus

pub enum ACVMStatus<F> {
    Solved,
    InProgress,
    Failure(OpcodeResolutionError<F>),
    RequiresForeignCall(ForeignCallWaitInfo<F>),
    RequiresAcirCall(AcirCallWaitInfo<F>),
}

Variants

Solved

All witnesses have been computed and all opcodes have been successfully resolved. Execution is complete.

InProgress

The ACVM is processing the circuit, i.e solving the opcodes. This status is used to resume execution after it has been paused.

Failure(OpcodeResolutionError<F>)

The ACVM has encountered an irrecoverable error while executing the circuit and can not progress. Most commonly this will be due to an unsatisfied constraint due to invalid inputs to the circuit.

RequiresForeignCall(ForeignCallWaitInfo<F>)

The ACVM has encountered a request for a Brillig [foreign call][brillig_vm::brillig::Opcode::ForeignCall] to retrieve information from outside of the ACVM. The result of the foreign call must be passed back to the ACVM using ACVM::resolve_pending_foreign_call.

Once this is done, the ACVM can be restarted to solve the remaining opcodes.

RequiresAcirCall(AcirCallWaitInfo<F>)

The ACVM has encountered a request for an ACIR [call][acir::circuit::Opcode] to execute a separate ACVM instance. The result of the ACIR call must be passed back to the ACVM.

Once this is done, the ACVM can be restarted to solve the remaining opcodes.

Trait Implementations

impl<F: Clone> Clone for ACVMStatus<F>

fn clone(&self) -> ACVMStatus<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for ACVMStatus<F>

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

Formats the value using the given formatter.

impl<F> Display for ACVMStatus<F>

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

Formats the value using the given formatter.

impl<F: PartialEq> PartialEq for ACVMStatus<F>

fn eq(&self, other: &ACVMStatus<F>) -> 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<F> StructuralPartialEq for ACVMStatus<F>