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