1use ark_r1cs_std::groups::curves::twisted_edwards::{AffineVar, MontgomeryAffineVar};
 2
 3use crate::{constraints::FqVar, *};
 4
 5/// A variable that is the R1CS equivalent of `crate::EdwardsAffine`.
 6pub type EdwardsVar = AffineVar<Curve25519Config, FqVar>;
 7
 8/// A variable that is the R1CS equivalent of `crate::NonZeroMontgomeryAffine`.
 9pub type NonZeroMontgomeryVar = MontgomeryAffineVar<Curve25519Config, FqVar>;
10
11#[test]
12fn test() {
13    ark_curve_constraint_tests::curves::te_test::<Curve25519Config, EdwardsVar>().unwrap();
14}