Trait CommitmentCurve

pub trait CommitmentCurve: AffineRepr + Sub<Output = Self::Group> {
    type Params: SWCurveConfig;
    type Map: GroupMap<Self::BaseField>;

    // Required methods
    fn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>;
    fn of_coordinates(x: Self::BaseField, y: Self::BaseField) -> Self;
}

A useful trait extending AffineRepr for commitments. Unfortunately, we can’t specify that AffineRepr<BaseField : PrimeField>, so usage of this traits must manually bind G::BaseField: PrimeField.

Required Associated Types

type Params: SWCurveConfig

type Map: GroupMap<Self::BaseField>

Required Methods

fn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>

fn of_coordinates(x: Self::BaseField, y: Self::BaseField) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<P: SWCurveConfig + Clone> CommitmentCurve for Affine<P>

type Params = P

type Map = BWParameters<P>

fn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>

fn of_coordinates(x: P::BaseField, y: P::BaseField) -> SWJAffine<P>

Implementors