ark-curves-cherry-picked/mnt4_753/src/constraints/curves.rs
mnt4_753/src/constraints/curves.rsRaw
1use crate::Parameters;
2use ark_r1cs_std::groups::mnt4;
3
4/// An element of G1 in the MNT4-753 bilinear group.
5pub type G1Var = mnt4::G1Var<Parameters>;
6/// An element of G2 in the MNT4-753 bilinear group.
7pub type G2Var = mnt4::G2Var<Parameters>;
8
9/// Represents the cached precomputation that can be performed on a G1 element
10/// which enables speeding up pairing computation.
11pub type G1PreparedVar = mnt4::G1PreparedVar<Parameters>;
12/// Represents the cached precomputation that can be performed on a G2 element
13/// which enables speeding up pairing computation.
14pub type G2PreparedVar = mnt4::G2PreparedVar<Parameters>;
15
16#[test]
17fn test() {
18 use ark_ec::models::mnt4::MNT4Parameters;
19 ark_curve_constraint_tests::curves::sw_test::<
20 <Parameters as MNT4Parameters>::G1Parameters,
21 G1Var,
22 >()
23 .unwrap();
24 ark_curve_constraint_tests::curves::sw_test::<
25 <Parameters as MNT4Parameters>::G2Parameters,
26 G2Var,
27 >()
28 .unwrap();
29}