Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.starknet.io/llms.txt

Use this file to discover all available pages before exploring further.

​
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)>