mirror of
https://github.com/arnaucube/ark-curves-cherry-picked.git
synced 2026-01-27 14:13:46 +01:00
17 lines
646 B
Rust
17 lines
646 B
Rust
use ark_r1cs_std::groups::curves::{short_weierstrass::ProjectiveVar, twisted_edwards::AffineVar};
|
|
|
|
use crate::{constraints::FqVar, *};
|
|
|
|
/// A variable that is the R1CS equivalent of `crate::EdwardsAffine`.
|
|
pub type EdwardsVar = AffineVar<JubjubParameters, FqVar>;
|
|
|
|
/// A variable that is the R1CS equivalent of `crate::SWProjective`
|
|
pub type SWVar = ProjectiveVar<JubjubParameters, FqVar>;
|
|
|
|
#[test]
|
|
fn test() {
|
|
ark_curve_constraint_tests::curves::te_test::<_, EdwardsVar>().unwrap();
|
|
ark_curve_constraint_tests::curves::sw_test::<_, SWVar>().unwrap();
|
|
ark_curve_constraint_tests::curves::group_test::<_, Fq, EdwardsVar>().unwrap();
|
|
}
|