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.

Required Associated Types

type Value: Debug + Eq + Clone

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

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.

Provided Methods

fn is_constant(&self) -> bool

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

Implementations on Foreign Types

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

type Value = Vec<<T as R1CSVar<F>>::Value, Global>

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 as R1CSVar<F>>::Value

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

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

Implementors

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

type Value = CubicExtField<P>

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

type Value = QuadExtField<P>

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

type Value = F

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

type Value = bool

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

type Value = u8

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

type Value = u16

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

type Value = u32

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

type Value = u64

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

type Value = u128

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

type Value = Affine<P>

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

type Value = Projective<P>

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

type Value = Projective<P>

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

type Value = (<P as CurveConfig>::BaseField, <P as CurveConfig>::BaseField)

impl<TargetField: PrimeField, BaseField: PrimeField> R1CSVar<BaseField> for NonNativeFieldVar<TargetField, BaseField>

type Value = TargetField