Trait ark_r1cs_std::R1CSVar

pub trait R1CSVar<F: Field> {
    type Value: Debug + Eq + Clone;
    fn cs(&self) -> ConstraintSystemRef<F>;
    fn value(&self) -> Result<Self::Value, SynthesisError>;

    fn is_constant(&self) -> bool { ... }
}

This trait describes some core functionality that is common to high-level variables, such as Booleans, FieldVars, GroupVars, etc.

Associated Types

type Value: Debug + Eq + Clone

The type of the “native” value that Self represents in the constraint system.

Loading content...

Required methods

fn cs(&self) -> ConstraintSystemRef<F>

Returns the underlying ConstraintSystemRef.

If self is a constant value, then this must return ark_relations::r1cs::ConstraintSystemRef::None.

fn value(&self) -> Result<Self::Value, SynthesisError>

Returns the value that is assigned to self in the underlying ConstraintSystem.

Loading content...

Provided methods

fn is_constant(&self) -> bool

Returns true if self is a circuit-generation-time constant.

Loading content...

Implementations on Foreign Types

impl<F: Field, T: R1CSVar<F>> R1CSVar<F> for [T]

type Value = Vec<T::Value>

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<'a, F: Field, T: 'a + R1CSVar<F>> R1CSVar<F> for &'a T

type Value = T::Value

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

Loading content...

Implementors

impl<BF, P> R1CSVar<<P as CubicExtParameters>::BasePrimeField> for CubicExtVar<BF, P> where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: CubicExtVarParams<BF>, 

type Value = CubicExtField<P>

fn cs(&self) -> ConstraintSystemRef<P::BasePrimeField>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<BF, P> R1CSVar<<P as QuadExtParameters>::BasePrimeField> for QuadExtVar<BF, P> where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: QuadExtVarParams<BF>, 

type Value = QuadExtField<P>

fn cs(&self) -> ConstraintSystemRef<P::BasePrimeField>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for Boolean<F>

type Value = bool

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for UInt8<F>

type Value = u8

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for UInt16<F>

type Value = u16

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for UInt32<F>

type Value = u32

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for UInt64<F>

type Value = u64

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: Field> R1CSVar<F> for UInt128<F>

type Value = u128

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<F: PrimeField> R1CSVar<F> for FpVar<F>

type Value = F

fn cs(&self) -> ConstraintSystemRef<F>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<P, F> R1CSVar<<<P as ModelParameters>::BaseField as Field>::BasePrimeField> for ProjectiveVar<P, F> where
    P: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    &'a F: FieldOpsBounds<'a, P::BaseField, F>, 

type Value = SWProjective<P>

fn cs(&self) -> ConstraintSystemRef<<P::BaseField as Field>::BasePrimeField>

fn value(&self) -> Result<Self::Value, SynthesisError>

impl<P, F> R1CSVar<<<P as ModelParameters>::BaseField as Field>::BasePrimeField> for AffineVar<P, F> where
    P: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    &'a F: FieldOpsBounds<'a, P::BaseField, F>, 

type Value = TEProjective<P>

fn cs(&self) -> ConstraintSystemRef<<P::BaseField as Field>::BasePrimeField>

fn value(&self) -> Result<TEProjective<P>, SynthesisError>

impl<P, F> R1CSVar<<<P as ModelParameters>::BaseField as Field>::BasePrimeField> for MontgomeryAffineVar<P, F> where
    P: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    &'a F: FieldOpsBounds<'a, P::BaseField, F>, 

type Value = (P::BaseField, P::BaseField)

fn cs(&self) -> ConstraintSystemRef<<P::BaseField as Field>::BasePrimeField>

fn value(&self) -> Result<Self::Value, SynthesisError>

Loading content...