EvalCircuitTrait

Fully qualified path: core::circuit::EvalCircuitTrait

pub trait EvalCircuitTrait<C>

Trait functions

eval

Evaluates the circuit with the given modulus. # Argumentsmodulus - The modulus to use for arithmetic operations # ReturnsResult containing either the circuit outputs or a failure indication

Fully qualified path: core::circuit::EvalCircuitTrait::eval

fn eval(self: CircuitData<C>, modulus: CircuitModulus) -> crate::circuit::EvalCircuitResult<C>

eval_ex

Evaluates the circuit with an explicit descriptor and modulus. # Argumentsdescriptor - The circuit descriptor * modulus - The modulus to use for arithmetic operations # ReturnsResult containing either the circuit outputs or a failure indication

Fully qualified path: core::circuit::EvalCircuitTrait::eval_ex

fn eval_ex(
    self: CircuitData<C>, descriptor: CircuitDescriptor<C>, modulus: CircuitModulus,
) -> crate::circuit::EvalCircuitResult<C>