Struct AssignedNativePoint 

pub struct AssignedNativePoint<C: CircuitCurve> { /* private fields */ }

A twisted Edwards curve point represented in affine (x, y) coordinates, the identity represented as (0, 1). The represented point may or may not lie in the prime order subgroup. If in_subgroup is true, then the point has been constrained to be in the prime order subgroup. Since in most use cases we want to ensure the point is in the subgroup, the implementation of InnerValue and AssignmentInstructions require subgroup membership. To use arbitrary points of the curve there are equivalent functions that explicitly state the absence of this subgroup membership check.

Trait Implementations

impl<C: EdwardsCurve> AssertionInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn assert_equal( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, q: &AssignedNativePoint<C>, ) -> Result<(), Error>

Ensures that the given assigned elements are the same.

fn assert_not_equal( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, q: &AssignedNativePoint<C>, ) -> Result<(), Error>

Ensures that the given assigned elements are different.

fn assert_equal_to_fixed( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, constant: C::CryptographicGroup, ) -> Result<(), Error>

Ensures that the given assigned element is equal to the given constant.

fn assert_not_equal_to_fixed( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, constant: C::CryptographicGroup, ) -> Result<(), Error>

Ensures that the given assigned element is different from the given constant.

impl<C: EdwardsCurve> AssignmentInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn assign( &self, layouter: &mut impl Layouter<C::Base>, value: Value<C::CryptographicGroup>, ) -> Result<AssignedNativePoint<C>, Error>

Assigns an element as a private input to the circuit.

fn assign_fixed( &self, layouter: &mut impl Layouter<C::Base>, constant: C::CryptographicGroup, ) -> Result<AssignedNativePoint<C>, Error>

Assigns a fixed (constant) element.

fn assign_many( &self, layouter: &mut impl Layouter<F>, values: &[Value<Assigned::Element>], ) -> Result<Vec<Assigned>, Error>

Assigns several elements as private inputs to the circuit.

fn assign_many_fixed( &self, layouter: &mut impl Layouter<F>, values: &[Assigned::Element], ) -> Result<Vec<Assigned>, Error>

Assigns several elements fixed values to the circuit.

impl<C: Clone + CircuitCurve> Clone for AssignedNativePoint<C>

where C::Base: Clone,

fn clone(&self) -> AssignedNativePoint<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: EdwardsCurve> ControlFlowInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn select( &self, layouter: &mut impl Layouter<C::Base>, cond: &AssignedBit<C::Base>, a: &AssignedNativePoint<C>, b: &AssignedNativePoint<C>, ) -> Result<AssignedNativePoint<C>, Error>

Returns x if cond = true and y otherwise.

fn cond_assert_equal( &self, layouter: &mut impl Layouter<F>, cond: &AssignedBit<F>, x: &Assigned, y: &Assigned, ) -> Result<(), Error>

Equality assertion only if cond is set to 1.

fn cond_swap( &self, layouter: &mut impl Layouter<F>, cond: &AssignedBit<F>, x: &Assigned, y: &Assigned, ) -> Result<(Assigned, Assigned), Error>

Swaps two elements x and y only if cond is set to 1.

impl<C: Debug + CircuitCurve> Debug for AssignedNativePoint<C>

where C::Base: Debug,

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

Formats the value using the given formatter.

impl<C: EdwardsCurve> EqualityInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn is_equal( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, q: &AssignedNativePoint<C>, ) -> Result<AssignedBit<C::Base>, Error>

Returns 1 if the elements are equal, returns 0 otherwise.

fn is_not_equal( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, q: &AssignedNativePoint<C>, ) -> Result<AssignedBit<C::Base>, Error>

Returns 0 if the elements are equal, returns 1 otherwise.

fn is_equal_to_fixed( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, constant: C::CryptographicGroup, ) -> Result<AssignedBit<C::Base>, Error>

Returns 1 iff the given element equals the given constant.

fn is_not_equal_to_fixed( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, constant: C::CryptographicGroup, ) -> Result<AssignedBit<C::Base>, Error>

Returns 1 iff the given element is not equal to the given constant.

impl<C: EdwardsCurve> InnerConstants for AssignedNativePoint<C>

fn inner_zero() -> C::CryptographicGroup

The zero of Self::Element (additive identity).

fn inner_one() -> Self::Element

The unit of Self::Element (multiplicative identity and/or additive generator).

impl<C: CircuitCurve> InnerValue for AssignedNativePoint<C>

type Element = <C as CircuitCurve>::CryptographicGroup

Represents the unassigned type corresponding to the InnerValue

fn value(&self) -> Value<Self::Element>

Returns the value of the assigned element.

impl<C: CircuitCurve> Instantiable<<C as CircuitCurve>::Base> for AssignedNativePoint<C>

fn as_public_input(p: &C::CryptographicGroup) -> Vec<C::Base>

This function is the off-circuit analog of crate::instructions::PublicInputInstructions::as_public_input.

fn from_public_input(fields: &[C::Base]) -> Option<C::CryptographicGroup>

Inverse of Self::as_public_input: reconstructs the element from its public input representation. Returns None if fields does not encode a valid element.

impl<C: EdwardsCurve> PublicInputInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn as_public_input( &self, _layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, ) -> Result<Vec<AssignedNative<C::Base>>, Error>

Returns the cells associated with the given assigned value with the same format as a public input. This function is the in-circuit analog of Instantiable::as_public_input.

fn constrain_as_public_input( &self, layouter: &mut impl Layouter<C::Base>, p: &AssignedNativePoint<C>, ) -> Result<(), Error>

Constrains the given assigned value as a public input to the circuit.

fn assign_as_public_input( &self, layouter: &mut impl Layouter<C::Base>, p: Value<C::CryptographicGroup>, ) -> Result<AssignedNativePoint<C>, Error>

Same as assign, but it immediately constrains the assigned value as a public input. This allows the implementer of this function to skip some in-circuit checks on the structure of the assigned value, which will be guaranteed to hold through the public input bind.

impl<C: EdwardsCurve> ZeroInstructions<<C as CircuitCurve>::Base, AssignedNativePoint<C>> for EccChip<C>

fn assert_zero( &self, layouter: &mut impl Layouter<F>, x: &Assigned, ) -> Result<(), Error>

Enforces that the given assigned element is zero.

fn assert_non_zero( &self, layouter: &mut impl Layouter<F>, x: &Assigned, ) -> Result<(), Error>

Asserts that the given element is non-zero.

fn is_zero( &self, layouter: &mut impl Layouter<F>, x: &Assigned, ) -> Result<AssignedBit<F>, Error>

Returns 1 iff the given element equals zero (the additive identity).