Struct 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 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 Debug for ElementVar

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

Formats the value using the given formatter.

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<'a> GroupOpsBounds<'a, Element, ElementVar> for ElementVar