Struct R1CSMatricesVar 

pub struct R1CSMatricesVar<FVar> { /* private fields */ }

R1CSMatricesVar is the in-circuit variable of a given R1CS structure.

Only the matrices are represented, while the remaining R1CS parameters are constants to the circuit.

The naming is chosen to distinguish from arkworks’ (G)R1CSVar.

Implementations

impl<FVar> R1CSMatricesVar<FVar>

where SparseMatrixVar<FVar>: MatrixGadget<FVar>, [FVar]: VectorGadget<FVar>, for<'a> &'a FVar: Mul<&'a FVar, Output = FVar>,

pub fn evaluate_r1cs( &self, z: Assignments<FVar, impl AsRef<[FVar]>>, ) -> Result<Vec<FVar>, SynthesisError>

R1CSMatricesVar::evaluate_r1cs is the in-circuit version of R1CS::evaluate_r1cs that evaluates the R1CS variable at a given vector of assignments z.

Trait Implementations

impl<F: PrimeField, ConstraintF: PrimeField, FVar: AllocVar<F, ConstraintF>> AllocVar<R1CS<F>, ConstraintF> for R1CSMatricesVar<FVar>

fn new_variable<T: Borrow<R1CS<F>>>( cs: impl Into<Namespace<ConstraintF>>, f: impl FnOnce() -> Result<T, SynthesisError>, mode: AllocationMode, ) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant( cs: impl Into<Namespace<F>>, t: impl Borrow<V>, ) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new private witness of type Self in the ConstraintSystem cs.

fn new_variable_with_inferred_mode<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new constant or private witness of type Self in the ConstraintSystem cs with the allocation mode inferred from cs. A constant is allocated if cs is None, and a private witness is allocated otherwise.

impl<FVar, WVar: AsRef<[FVar]>, UVar: AsRef<[FVar]>> ArithRelationGadget<WVar, UVar> for R1CSMatricesVar<FVar>

where SparseMatrixVar<FVar>: MatrixGadget<FVar>, [FVar]: VectorGadget<FVar> + EquivalenceGadget<[FVar]>, FVar: Clone + Zero + One, for<'a> &'a FVar: Mul<&'a FVar, Output = FVar>,

type Evaluation = Vec<FVar>

ArithRelationGadget::Evaluation defines the type of the evaluation result returned by ArithRelationGadget::eval_relation, and consumed by ArithRelationGadget::check_evaluation.

fn eval_relation( &self, w: &WVar, u: &UVar, ) -> Result<Self::Evaluation, SynthesisError>

ArithRelationGadget::eval_relation evaluates the constraint system at witness w and instance u. It returns the evaluation result.

fn check_evaluation( _w: &WVar, _u: &UVar, e: Self::Evaluation, ) -> Result<(), SynthesisError>

ArithRelationGadget::check_evaluation checks if the evaluation result is valid under the help of the witness w and instance u.

impl<FVar: Clone> Clone for R1CSMatricesVar<FVar>

fn clone(&self) -> R1CSMatricesVar<FVar>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<FVar: Debug> Debug for R1CSMatricesVar<FVar>

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

Formats the value using the given formatter.