()
| 183 | |
| 184 | #[test] |
| 185 | fn secret_key_validation() { |
| 186 | let mut rng = StdRng::seed_from_u64(0u64); |
| 187 | for base in [2, 4, 8, 16, 32, 64] { |
| 188 | generate_secret_key_for_base::<StdRng, Fr>(&mut rng, base); |
| 189 | } |
| 190 | |
| 191 | // Create secret key as negative of a base |
| 192 | let sk = SecretKey(Fr::from(32).neg()); |
| 193 | |
| 194 | for base in [2, 4, 8, 16] { |
| 195 | assert!(is_secret_key_valid_for_base(&sk, base)); |
| 196 | } |
| 197 | |
| 198 | for base in [33, 64, 128] { |
| 199 | assert!(!is_secret_key_valid_for_base(&sk, base)); |
| 200 | } |
| 201 | } |
| 202 | } |