Trait kimchi::curve::KimchiCurve

pub trait KimchiCurve: CommitmentCurve + EndoCurve {
    const NAME: &'static str;

    // 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;
    fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField);
}

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

Required Associated Constants

const NAME: &'static str

A human readable name.

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.

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

Accessor for the other curve’s prime subgroup generator, as coordinates

Implementations on Foreign Types

impl KimchiCurve for Affine<LegacyVestaParameters>

const NAME: &'static str = "legacy_vesta"

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

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

impl KimchiCurve for Affine<LegacyPallasParameters>

const NAME: &'static str = "legacy_pallas"

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

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

impl KimchiCurve for Affine<PallasParameters>

const NAME: &'static str = "pallas"

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

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

impl KimchiCurve for Affine<Config>

const NAME: &'static str = "bn254"

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

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

impl KimchiCurve for Affine<VestaParameters>

const NAME: &'static str = "vesta"

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

fn other_curve_generator() -> (Self::ScalarField, Self::ScalarField)

Implementors