Trait r1cs::EdwardsCurve

pub trait EdwardsCurve<F: Field> {
    fn a() -> Element<F>;
    fn d() -> Element<F>;
    fn subgroup_generator() -> (Element<F>, Element<F>);
}

An embedded twisted Edwards curve defined over the same base field as the field used in the constraint system

Required methods

fn a() -> Element<F>

fn d() -> Element<F>

fn subgroup_generator() -> (Element<F>, Element<F>)

Loading content...

Implementors

impl EdwardsCurve<Bls12_381> for JubJub

fn a() -> Element<Bls12_381>

fn d() -> Element<Bls12_381>

fn subgroup_generator() -> (Element<Bls12_381>, Element<Bls12_381>)

Loading content...