halo2_ecc/bn254/
mod.rs

1use crate::bigint::ProperCrtUint;
2use crate::fields::vector::FieldVector;
3use crate::fields::{fp, fp12, fp2};
4use crate::halo2_proofs::halo2curves::bn256::{Fq, Fq12, Fq2};
5
6pub mod final_exp;
7pub mod pairing;
8
9pub type FpChip<'range, F> = fp::FpChip<'range, F, Fq>;
10pub type FpPoint<F> = ProperCrtUint<F>;
11pub type FqPoint<F> = FieldVector<FpPoint<F>>;
12pub type Fp2Chip<'chip, F> = fp2::Fp2Chip<'chip, F, FpChip<'chip, F>, Fq2>;
13pub type Fp12Chip<'chip, F> = fp12::Fp12Chip<'chip, F, FpChip<'chip, F>, Fq12, 9>;
14
15#[cfg(test)]
16pub(crate) mod tests;