ark_bn254/curves/
mod.rs

1use ark_ec::{
2    bn,
3    bn::{Bn, BnConfig, TwistType},
4};
5use ark_ff::MontFp;
6
7use crate::*;
8
9pub mod g1;
10pub mod g2;
11
12#[cfg(test)]
13mod tests;
14
15pub struct Config;
16
17impl BnConfig for Config {
18    const X: &'static [u64] = &[4965661367192848881];
19    /// `x` is positive.
20    const X_IS_NEGATIVE: bool = false;
21    const ATE_LOOP_COUNT: &'static [i8] = &[
22        0, 0, 0, 1, 0, 1, 0, -1, 0, 0, -1, 0, 0, 0, 1, 0, 0, -1, 0, -1, 0, 0, 0, 1, 0, -1, 0, 0, 0,
23        0, -1, 0, 0, 1, 0, -1, 0, 0, 1, 0, 0, 0, 0, 0, -1, 0, 0, -1, 0, 1, 0, -1, 0, 0, 0, -1, 0,
24        -1, 0, 0, 0, 1, 0, 1, 1,
25    ];
26
27    const TWIST_MUL_BY_Q_X: Fq2 = Fq2::new(
28        MontFp!("21575463638280843010398324269430826099269044274347216827212613867836435027261"),
29        MontFp!("10307601595873709700152284273816112264069230130616436755625194854815875713954"),
30    );
31    const TWIST_MUL_BY_Q_Y: Fq2 = Fq2::new(
32        MontFp!("2821565182194536844548159561693502659359617185244120367078079554186484126554"),
33        MontFp!("3505843767911556378687030309984248845540243509899259641013678093033130930403"),
34    );
35    const TWIST_TYPE: TwistType = TwistType::D;
36    type Fp = Fq;
37    type Fp2Config = Fq2Config;
38    type Fp6Config = Fq6Config;
39    type Fp12Config = Fq12Config;
40    type G1Config = g1::Config;
41    type G2Config = g2::Config;
42}
43
44pub type Bn254 = Bn<Config>;
45
46pub type G1Affine = bn::G1Affine<Config>;
47pub type G1Projective = bn::G1Projective<Config>;
48pub type G2Affine = bn::G2Affine<Config>;
49pub type G2Projective = bn::G2Projective<Config>;
ark_bn254/curves/mod.rs

ark_bn254/curves/
mod.rs
