arnaucube/ark-curves-cherry-picked
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-curves-cherry-picked.git synced 2026-01-09 23:41:30 +01:00
Code Issues Projects Releases Wiki Activity

Update ed_on_bls12_381

Browse Source
This commit is contained in:
Pratyush Mishra
2020-11-29 18:56:19 -08:00
parent 23a25faccf
commit 128f0f5b65
1 changed files with 13 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
ed_on_bls12_381/src/curves/mod.rs
View File

@@ -3,7 +3,7 @@ use ark_ec::{
models::{ModelParameters, MontgomeryModelParameters, TEModelParameters}, models::{ModelParameters, MontgomeryModelParameters, TEModelParameters},
twisted_edwards_extended::{GroupAffine, GroupProjective}, twisted_edwards_extended::{GroupAffine, GroupProjective},
}; };
use ark_ff::{biginteger::BigInteger256, field_new}; use ark_ff::field_new;
#[cfg(test)] #[cfg(test)]
mod tests; mod tests;
@@ -11,21 +11,6 @@ mod tests;
pub type EdwardsAffine = GroupAffine<EdwardsParameters>; pub type EdwardsAffine = GroupAffine<EdwardsParameters>;
pub type EdwardsProjective = GroupProjective<EdwardsParameters>; pub type EdwardsProjective = GroupProjective<EdwardsParameters>;
#[rustfmt::skip]
const GENERATOR_X: Fq = field_new!(Fq, BigInteger256([
14080349899812819339,
4104857150246327429,
8293216003873356624,
7400363483732984990,
]));
#[rustfmt::skip]
const GENERATOR_Y: Fq = field_new!(Fq, BigInteger256([
13388310974700241893,
7654361511478576605,
8037907163910805792,
5188938133920569885,
]));
/// `JubJub` is a twisted Edwards curve. These curves have equations of the /// `JubJub` is a twisted Edwards curve. These curves have equations of the
/// form: ax² + y² = 1 - dx²y². /// form: ax² + y² = 1 - dx²y².
/// over some base finite field Fq. /// over some base finite field Fq.
@@ -58,21 +43,11 @@ impl ModelParameters for EdwardsParameters {
impl TEModelParameters for EdwardsParameters { impl TEModelParameters for EdwardsParameters {
/// COEFF_A = -1 /// COEFF_A = -1
#[rustfmt::skip] #[rustfmt::skip]
const COEFF_A: Fq = field_new!(Fq, BigInteger256([ const COEFF_A: Fq = field_new!(Fq, "-1");
18446744060824649731,
18102478225614246908,
11073656695919314959,
6613806504683796440,
]));
/// COEFF_D = (10240/10241) mod q /// COEFF_D = (10240/10241) mod q
#[rustfmt::skip] #[rustfmt::skip]
const COEFF_D: Fq = field_new!(Fq, BigInteger256([ const COEFF_D: Fq = field_new!(Fq, "19257038036680949359750312669786877991949435402254120286184196891950884077233");
3049539848285517488,
18189135023605205683,
8793554888777148625,
6339087681201251886,
]));
/// COFACTOR = 8 /// COFACTOR = 8
const COFACTOR: &'static [u64] = &[8]; const COFACTOR: &'static [u64] = &[8];
@@ -80,12 +55,7 @@ impl TEModelParameters for EdwardsParameters {
/// COFACTOR^(-1) mod r = /// COFACTOR^(-1) mod r =
/// 819310549611346726241370945440405716213240158234039660170669895299022906775 /// 819310549611346726241370945440405716213240158234039660170669895299022906775
#[rustfmt::skip] #[rustfmt::skip]
const COFACTOR_INV: Fr = field_new!(Fr, BigInteger256([ const COFACTOR_INV: Fr = field_new!(Fr, "819310549611346726241370945440405716213240158234039660170669895299022906775");
6832491983681988242,
12911748493335322362,
17523939349049608702,
217463794347581613,
]));
/// AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y) /// AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)
const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) = (GENERATOR_X, GENERATOR_Y); const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) = (GENERATOR_X, GENERATOR_Y);
@@ -100,22 +70,17 @@ impl TEModelParameters for EdwardsParameters {
} }
impl MontgomeryModelParameters for EdwardsParameters { impl MontgomeryModelParameters for EdwardsParameters {
/// COEFF_A = 0xA002 /// COEFF_A = 40962
#[rustfmt::skip] #[rustfmt::skip]
const COEFF_A: Fq = field_new!(Fq, BigInteger256([ const COEFF_A: Fq = field_new!(Fq, "40962");
388496971701930u64, /// COEFF_B = -40964
6855257088226130262u64,
553476580979119549u64,
6516741293351590684u64,
]));
/// COEFF_B = 0x73EDA753299D7D483339D80809A1D80553BDA402FFFE5BFEFFFFFFFEFFFF5FFD
#[rustfmt::skip] #[rustfmt::skip]
const COEFF_B: Fq = field_new!(Fq, BigInteger256([ const COEFF_B: Fq = field_new!(Fq, "-40964");
18446355550968045916u64,
10902955289292811939u64,
3147092737149958754u64,
6710871716016002197u64,
]));
type TEModelParameters = EdwardsParameters; type TEModelParameters = EdwardsParameters;
} }
#[rustfmt::skip]
const GENERATOR_X: Fq = field_new!(Fq, "8076246640662884909881801758704306714034609987455869804520522091855516602923");
#[rustfmt::skip]
const GENERATOR_Y: Fq = field_new!(Fq, "13262374693698910701929044844600465831413122818447359594527400194675274060458");