ark-curves-cherry-picked/pallas/src/curves/tests.rs
pallas/src/curves/tests.rsRaw
1use ark_algebra_test_templates::{
2 curves::{curve_tests, sw_tests},
3 groups::group_test,
4};
5use ark_ec::AffineCurve;
6use ark_std::{rand::Rng, test_rng};
7
8use crate::{Affine, PallasParameters, Projective};
9
10#[test]
11fn test_projective_curve() {
12 curve_tests::<Projective>();
13 sw_tests::<PallasParameters>();
14}
15
16#[test]
17fn test_projective_group() {
18 let mut rng = test_rng();
19 let a: Projective = rng.gen();
20 let b: Projective = rng.gen();
21 group_test(a, b);
22}
23
24#[test]
25fn test_generator() {
26 let generator = Affine::prime_subgroup_generator();
27 assert!(generator.is_on_curve());
28 assert!(generator.is_in_correct_subgroup_assuming_on_curve());
29}