Trait snarkvm_console_program::environment::prelude::MontgomeryParameters

pub trait MontgomeryParameters: ModelParameters {
    type TwistedEdwardsParameters: TwistedEdwardsParameters<BaseField = Self::BaseField>;

    const MONTGOMERY_A: <Self as ModelParameters>::BaseField;
    const MONTGOMERY_B: <Self as ModelParameters>::BaseField;
}

Required Associated Types

type TwistedEdwardsParameters: TwistedEdwardsParameters<BaseField = Self::BaseField>

Required Associated Constants

const MONTGOMERY_A: <Self as ModelParameters>::BaseField

The coefficient A of the Montgomery curve.

const MONTGOMERY_B: <Self as ModelParameters>::BaseField

The coefficient B of the Montgomery curve.

Implementors

impl MontgomeryParameters for EdwardsParameters

type TwistedEdwardsParameters = EdwardsParameters

const MONTGOMERY_A: Fp256<FrParameters> = Fq{ 0: BigInteger256([13800168384327121454u64, 6841573379969807446u64, 12529593083398462246u64, 853978956621483129u64]), 1: std::marker::PhantomData,}

const MONTGOMERY_B: Fp256<FrParameters> = Fq{ 0: BigInteger256([7239382437352637935u64, 14509846070439283655u64, 5083066350480839936u64, 1265663645916442191u64]), 1: std::marker::PhantomData,}