arnaucube
arnaucube/ark-r1cs-stdPublic Self-hosted repository
ark-r1cs-std/r1cs-std/src/instantiated/mnt4_753/fields.rs
r1cs-std/src/instantiated/mnt4_753/fields.rsRaw
 1use algebra::mnt4_753::{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_753_field_gadgets_test() {
11    use super::*;
12    use crate::fields::tests::*;
13    use algebra::mnt4_753::{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}