ark-r1cs-std/r1cs-std/src/instantiated/mnt6_298/fields.rs
r1cs-std/src/instantiated/mnt6_298/fields.rsRaw
1use algebra::mnt6_298::{Fq, Fq3Parameters, Fq6Parameters};
2
3use crate::fields::{fp::FpGadget, fp3::Fp3Gadget, fp6_2over3::Fp6Gadget};
4
5pub type FqGadget = FpGadget<Fq>;
6pub type Fq3Gadget = Fp3Gadget<Fq3Parameters, Fq>;
7pub type Fq6Gadget = Fp6Gadget<Fq6Parameters, Fq>;
8
9#[test]
10fn mnt6_298_field_gadgets_test() {
11 use super::*;
12 use crate::fields::tests::*;
13 use algebra::mnt6_298::{Fq, Fq3, Fq6};
14
15 field_test::<_, Fq, FqGadget>();
16 frobenius_tests::<Fq, Fq, FqGadget>(13);
17
18 field_test::<_, Fq, Fq3Gadget>();
19 frobenius_tests::<Fq3, Fq, Fq3Gadget>(13);
20
21 field_test::<_, Fq, Fq6Gadget>();
22 frobenius_tests::<Fq6, Fq, Fq6Gadget>(13);
23}