mirror of
https://github.com/arnaucube/ark-curves-cherry-picked.git
synced 2026-01-09 07:21:30 +01:00
Format
This commit is contained in:
Pratyush Mishra
@@ -26,13 +26,25 @@ impl BnParameters for Parameters {
|
||||
|
||||
const TWIST_MUL_BY_Q_X: Fq2 = field_new!(
|
||||
Fq2,
|
||||
field_new!(Fq, "21575463638280843010398324269430826099269044274347216827212613867836435027261"),
|
||||
field_new!(Fq, "10307601595873709700152284273816112264069230130616436755625194854815875713954"),
|
||||
field_new!(
|
||||
Fq,
|
||||
"21575463638280843010398324269430826099269044274347216827212613867836435027261"
|
||||
),
|
||||
field_new!(
|
||||
Fq,
|
||||
"10307601595873709700152284273816112264069230130616436755625194854815875713954"
|
||||
),
|
||||
);
|
||||
const TWIST_MUL_BY_Q_Y: Fq2 = field_new!(
|
||||
Fq2,
|
||||
field_new!(Fq, "2821565182194536844548159561693502659359617185244120367078079554186484126554"),
|
||||
field_new!(Fq, "3505843767911556378687030309984248845540243509899259641013678093033130930403"),
|
||||
field_new!(
|
||||
Fq,
|
||||
"2821565182194536844548159561693502659359617185244120367078079554186484126554"
|
||||
),
|
||||
field_new!(
|
||||
Fq,
|
||||
"3505843767911556378687030309984248845540243509899259641013678093033130930403"
|
||||
),
|
||||
);
|
||||
const TWIST_TYPE: TwistType = TwistType::D;
|
||||
type Fp = Fq;
|
||||
|
||||
@@ -14,62 +14,62 @@ impl Fp12Parameters for Fq12Parameters {
|
||||
#[rustfmt::skip]
|
||||
const FROBENIUS_COEFF_FP12_C1: &'static [Fq2] = &[
|
||||
// Fp2::NONRESIDUE^(((q^0) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "1"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^1) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "8376118865763821496583973867626364092589906065868298776909617916018768340080"),
|
||||
field_new!(Fq, "16469823323077808223889137241176536799009286646108169935659301613961712198316"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^2) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556617"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^3) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "11697423496358154304825782922584725312912383441159505038794027105778954184319"),
|
||||
field_new!(Fq, "303847389135065887422783454877609941456349188919719272345083954437860409601"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^4) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556616"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^5) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "3321304630594332808241809054958361220322477375291206261884409189760185844239"),
|
||||
field_new!(Fq, "5722266937896532885780051958958348231143373700109372999374820235121374419868"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^6) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "-1"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^7) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "13512124006075453725662431877630910996106405091429524885779419978626457868503"),
|
||||
field_new!(Fq, "5418419548761466998357268504080738289687024511189653727029736280683514010267"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^8) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "2203960485148121921418603742825762020974279258880205651966"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^9) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "10190819375481120917420622822672549775783927716138318623895010788866272024264"),
|
||||
field_new!(Fq, "21584395482704209334823622290379665147239961968378104390343953940207365798982"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^10) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "2203960485148121921418603742825762020974279258880205651967"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^11) - 1) / 6)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "18566938241244942414004596690298913868373833782006617400804628704885040364344"),
|
||||
field_new!(Fq, "16165975933942742336466353786298926857552937457188450663314217659523851788715"),
|
||||
),
|
||||
|
||||
@@ -16,32 +16,32 @@ impl Fp6Parameters for Fq6Parameters {
|
||||
#[rustfmt::skip]
|
||||
const FROBENIUS_COEFF_FP6_C1: &'static [Fq2] = &[
|
||||
// Fp2::NONRESIDUE^(((q^0) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "1"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^1) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "21575463638280843010398324269430826099269044274347216827212613867836435027261"),
|
||||
field_new!(Fq, "10307601595873709700152284273816112264069230130616436755625194854815875713954"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^2) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556616"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^3) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "3772000881919853776433695186713858239009073593817195771773381919316419345261"),
|
||||
field_new!(Fq, "2236595495967245188281701248203181795121068902605861227855261137820944008926"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^4) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "2203960485148121921418603742825762020974279258880205651966"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^(((q^5) - 1) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "18429021223477853657660792034369865839114504446431234726392080002137598044644"),
|
||||
field_new!(Fq, "9344045779998320333812420223237981029506012124075525679208581902008406485703"),
|
||||
),
|
||||
@@ -49,32 +49,32 @@ impl Fp6Parameters for Fq6Parameters {
|
||||
#[rustfmt::skip]
|
||||
const FROBENIUS_COEFF_FP6_C2: &'static [Fq2] = &[
|
||||
// Fp2::NONRESIDUE^((2*(q^0) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "1"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^((2*(q^1) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "2581911344467009335267311115468803099551665605076196740867805258568234346338"),
|
||||
field_new!(Fq, "19937756971775647987995932169929341994314640652964949448313374472400716661030"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^((2*(q^2) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "2203960485148121921418603742825762020974279258880205651966"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^((2*(q^3) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "5324479202449903542726783395506214481928257762400643279780343368557297135718"),
|
||||
field_new!(Fq, "16208900380737693084919495127334387981393726419856888799917914180988844123039"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^((2*(q^4) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556616"),
|
||||
field_new!(Fq, "0"),
|
||||
),
|
||||
// Fp2::NONRESIDUE^((2*(q^5) - 2) / 3)
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq2,
|
||||
field_new!(Fq, "13981852324922362344252311234282257507216387789820983642040889267519694726527"),
|
||||
field_new!(Fq, "7629828391165209371577384193250820201684255241773809077146787135900891633097"),
|
||||
),
|
||||
|
||||
Reference in New Issue
Block a user