Struct decaf377::r1cs::element::ElementVar

pub struct ElementVar { /* private fields */ }

Represents the R1CS equivalent of a decaf377::Element

Generally the suffix -Var will indicate that the type or variable represents in R1CS.

Implementations

impl ElementVar

pub fn compress_to_field(&self) -> Result<FqVar, SynthesisError>

R1CS equivalent of Element::vartime_compress_to_field

pub fn decompress_from_field(s_var: FqVar) -> Result<ElementVar, SynthesisError>

R1CS equivalent of Encoding::vartime_decompress

pub fn encode_to_curve(r_var: &FqVar) -> Result<ElementVar, SynthesisError>

Maps a field element to a decaf377 ElementVar suitable for CDH challenges.

Trait Implementations

impl<'a> Add<&'a ElementVar> for ElementVar

type Output = ElementVar

The resulting type after applying the + operator.

fn add(self, other: &'a ElementVar) -> Self::Output

Performs the + operation.

impl Add<Element> for ElementVar

type Output = ElementVar

The resulting type after applying the + operator.

fn add(self, other: Element) -> Self::Output

Performs the + operation.

impl Add for ElementVar

type Output = ElementVar

The resulting type after applying the + operator.

fn add(self, other: ElementVar) -> Self::Output

Performs the + operation.

impl<'a> AddAssign<&'a ElementVar> for ElementVar

fn add_assign(&mut self, rhs: &'a ElementVar)

Performs the += operation.

impl AddAssign<Element> for ElementVar

fn add_assign(&mut self, rhs: Element)

Performs the += operation.

impl AddAssign for ElementVar

fn add_assign(&mut self, rhs: ElementVar)

Performs the += operation.

impl AllocVar<AffineElement, Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn new_variable<T: Borrow<AffineElement>>( cs: impl Into<Namespace<Fq>>, 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.

impl AllocVar<Element, Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn new_variable<T: Borrow<Element>>( cs: impl Into<Namespace<Fq>>, 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.

impl AllocVar<Fp<MontBackend<FrConfig, 4>, 4>, Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn new_variable<T: Borrow<Fq>>( cs: impl Into<Namespace<Fq>>, 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.

impl Clone for ElementVar

fn clone(&self) -> ElementVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CondSelectGadget<Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn conditionally_select( cond: &Boolean<Fq>, true_value: &Self, false_value: &Self ) -> Result<Self, SynthesisError>

If cond == &Boolean::TRUE, then this returns true_value; else, returns false_value.

fn conditionally_select_power_of_two_vector( position: &[Boolean<ConstraintF>], values: &[Self] ) -> Result<Self, SynthesisError>

Returns an element of values whose index in represented by position. position is an array of boolean that represents an unsigned integer in big endian order.

impl CurveVar<Element, Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn zero() -> Self

Returns the constant F::zero(). This is the identity of the group.

fn constant(other: Element) -> Self

Returns a constant with value v.

fn new_variable_omit_prime_order_check( cs: impl Into<Namespace<Fq>>, f: impl FnOnce() -> Result<Element, SynthesisError>, mode: AllocationMode ) -> Result<Self, SynthesisError>

Allocates a variable in the subgroup without checking if it’s in the prime-order subgroup.

fn enforce_prime_order(&self) -> Result<(), SynthesisError>

Enforce that self is in the prime-order subgroup.

fn double_in_place(&mut self) -> Result<(), SynthesisError>

Sets self = self + self.

fn negate(&self) -> Result<Self, SynthesisError>

Coputes -self.

fn is_zero(&self) -> Result<Boolean<ConstraintF>, SynthesisError>

Returns a Boolean representing whether self == Self::zero().

fn double(&self) -> Result<Self, SynthesisError>

Computes self + self.

fn scalar_mul_le<'a>( &self, bits: impl Iterator<Item = &'a Boolean<ConstraintF>> ) -> Result<Self, SynthesisError>

Computes bits * self, where bits is a little-endian Boolean representation of a scalar.

fn precomputed_base_scalar_mul_le<'a, I, B>( &mut self, scalar_bits_with_bases: I ) -> Result<(), SynthesisError>

where I: Iterator<Item = (B, &'a C)>, B: Borrow<Boolean<ConstraintF>>, C: 'a,

Computes a I * self in place, where I is a Boolean little-endian representation of the scalar.

fn precomputed_base_multiscalar_mul_le<'a, T, I, B>( bases: &[B], scalars: I ) -> Result<Self, SynthesisError>

where T: 'a + ToBitsGadget<ConstraintF> + ?Sized, I: Iterator<Item = &'a T>, B: Borrow<[C]>,

Computes Σⱼ(scalarⱼ * baseⱼ) for all j, where scalarⱼ is a Boolean little-endian representation of the j-th scalar.

impl Debug for ElementVar

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

Formats the value using the given formatter.

impl EqGadget<Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn is_eq(&self, other: &Self) -> Result<Boolean<Fq>, SynthesisError>

Output a Boolean value representing whether self.value() == other.value().

fn conditional_enforce_equal( &self, other: &Self, should_enforce: &Boolean<Fq> ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are equal; else, enforce a vacuously true statement.

fn conditional_enforce_not_equal( &self, other: &Self, should_enforce: &Boolean<Fq> ) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are not equal; else, enforce a vacuously true statement.

fn is_neq(&self, other: &Self) -> Result<Boolean<F>, SynthesisError>

Output a Boolean value representing whether self.value() != other.value().

fn enforce_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are equal.

fn enforce_not_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are not equal.

impl R1CSVar<Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

type Value = Element

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

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

Returns the underlying ConstraintSystemRef.

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

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

fn is_constant(&self) -> bool

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

impl<'a> Sub<&'a ElementVar> for ElementVar

type Output = ElementVar

The resulting type after applying the - operator.

fn sub(self, other: &'a ElementVar) -> Self::Output

Performs the - operation.

impl Sub<Element> for ElementVar

type Output = ElementVar

The resulting type after applying the - operator.

fn sub(self, other: Element) -> Self::Output

Performs the - operation.

impl Sub for ElementVar

type Output = ElementVar

The resulting type after applying the - operator.

fn sub(self, other: ElementVar) -> Self::Output

Performs the - operation.

impl<'a> SubAssign<&'a ElementVar> for ElementVar

fn sub_assign(&mut self, rhs: &'a ElementVar)

Performs the -= operation.

impl SubAssign<Element> for ElementVar

fn sub_assign(&mut self, rhs: Element)

Performs the -= operation.

impl SubAssign for ElementVar

fn sub_assign(&mut self, rhs: ElementVar)

Performs the -= operation.

impl ToBitsGadget<Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn to_bits_le(&self) -> Result<Vec<Boolean<Fq>>, SynthesisError>

Outputs the canonical little-endian bit-wise representation of self.

fn to_non_unique_bits_le(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs a possibly non-unique little-endian bit-wise representation of self.

fn to_bits_be(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs the canonical big-endian bit-wise representation of self.

fn to_non_unique_bits_be(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs a possibly non-unique big-endian bit-wise representation of self.

impl ToBytesGadget<Fp<MontBackend<FrConfig, 4>, 4>> for ElementVar

fn to_bytes(&self) -> Result<Vec<UInt8<Fq>>, SynthesisError>

Outputs a canonical, little-endian, byte decomposition of self.

fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

Outputs a possibly non-unique byte decomposition of self.

impl<'a> GroupOpsBounds<'a, Element, ElementVar> for ElementVar