core::circuit::EvalCircuitTrait

Signature

pub trait EvalCircuitTrait

Trait functions

eval

Evaluates the circuit with the given modulus.

Arguments

• modulus - The modulus to use for arithmetic operations

Returns

Result containing either the circuit outputs or a failure indication

Signature

fn eval(
    self: CircuitData, modulus: CircuitModulus,
) -> Result, (CircuitPartialOutputs, CircuitFailureGuarantee)>

eval_ex

Evaluates the circuit with an explicit descriptor and modulus.

Arguments

• descriptor - The circuit descriptor
• modulus - The modulus to use for arithmetic operations

Returns

Result containing either the circuit outputs or a failure indication

Signature

fn eval_ex(
    self: CircuitData, descriptor: CircuitDescriptor, modulus: CircuitModulus,
) -> Result, (CircuitPartialOutputs, CircuitFailureGuarantee)>