ark-curves-cherry-picked/mnt4_753/src/constraints/pairing.rs
mnt4_753/src/constraints/pairing.rsRaw
1use crate::Parameters;
2
3/// Specifies the constraints for computing a pairing in the MNT4-753 bilinear
4/// group.
5pub type PairingVar = ark_r1cs_std::pairing::mnt4::PairingVar<Parameters>;
6
7#[test]
8fn test() {
9 use crate::MNT4_753;
10 ark_curve_constraint_tests::pairing::bilinearity_test::<MNT4_753, PairingVar>().unwrap();
11 ark_curve_constraint_tests::pairing::g2_prepare_consistency_test::<MNT4_753, PairingVar>()
12 .unwrap();
13}