Trait arrabbiata::curve::ArrabbiataCurve

pub trait ArrabbiataCurve: CommitmentCurve + EndoCurve {
    type SpongeConstants: SpongeConstants;

    const NAME: &'static str;
    const SPONGE_CONSTANTS: Self::SpongeConstants;

    // Required methods
    fn sponge_params() -> &'static ArithmeticSpongeParams<Self::ScalarField>;
    fn other_curve_sponge_params(
    ) -> &'static ArithmeticSpongeParams<Self::BaseField>;
    fn endos() -> &'static (Self::BaseField, Self::ScalarField);
    fn other_curve_endo() -> &'static Self::ScalarField;
}

Represents additional information that a curve needs in order to be used with Arrabbiata.

Required Associated Types

type SpongeConstants: SpongeConstants

Required Associated Constants

const NAME: &'static str

A human readable name.

const SPONGE_CONSTANTS: Self::SpongeConstants

Required Methods

fn sponge_params() -> &'static ArithmeticSpongeParams<Self::ScalarField>

Provides the sponge params to be used with this curve.

fn other_curve_sponge_params( ) -> &'static ArithmeticSpongeParams<Self::BaseField>

Provides the sponge params to be used with the other curve.

fn endos() -> &'static (Self::BaseField, Self::ScalarField)

Provides the coefficients for the curve endomorphism, called (q,r) in some places.

fn other_curve_endo() -> &'static Self::ScalarField

Provides the coefficient for the curve endomorphism over the other field, called q in some places.

Implementations on Foreign Types

impl ArrabbiataCurve for Affine<VestaParameters>

const NAME: &'static str = "vesta"

type SpongeConstants = PlonkSpongeConstants

const SPONGE_CONSTANTS: Self::SpongeConstants = _

fn sponge_params() -> &'static ArithmeticSpongeParams<Self::ScalarField>

fn other_curve_sponge_params( ) -> &'static ArithmeticSpongeParams<Self::BaseField>

fn endos() -> &'static (Self::BaseField, Self::ScalarField)

fn other_curve_endo() -> &'static Self::ScalarField

impl ArrabbiataCurve for Affine<PallasParameters>

const NAME: &'static str = "pallas"

type SpongeConstants = PlonkSpongeConstants

const SPONGE_CONSTANTS: Self::SpongeConstants = _

fn sponge_params() -> &'static ArithmeticSpongeParams<Self::ScalarField>

fn other_curve_sponge_params( ) -> &'static ArithmeticSpongeParams<Self::BaseField>

fn endos() -> &'static (Self::BaseField, Self::ScalarField)

fn other_curve_endo() -> &'static Self::ScalarField

Implementors