ark-r1cs-std/r1cs-std/src/instantiated/mnt4_298/fields.rs
r1cs-std/src/instantiated/mnt4_298/fields.rsRaw
1use algebra::mnt4_298::{Fq, Fq2Parameters, Fq4Parameters};
2
3use crate::fields::{fp::FpGadget, fp2::Fp2Gadget, fp4::Fp4Gadget};
4
5pub type FqGadget = FpGadget<Fq>;
6pub type Fq2Gadget = Fp2Gadget<Fq2Parameters, Fq>;
7pub type Fq4Gadget = Fp4Gadget<Fq4Parameters, Fq>;
8
9#[test]
10fn mnt4_298_field_gadgets_test() {
11 use super::*;
12 use crate::fields::tests::*;
13 use algebra::mnt4_298::{Fq, Fq2, Fq4};
14
15 field_test::<_, Fq, FqGadget>();
16 frobenius_tests::<Fq, Fq, FqGadget>(13);
17
18 field_test::<_, Fq, Fq2Gadget>();
19 frobenius_tests::<Fq2, Fq, Fq2Gadget>(13);
20
21 field_test::<_, Fq, Fq4Gadget>();
22 frobenius_tests::<Fq4, Fq, Fq4Gadget>(13);
23}