saymrwulf/risc0-curve25519-dalek-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/risc0-curve25519-dalek-source.git synced 2026-09-06 20:20:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add test for behavior of Scalar::batch_invert().

Browse source
This commit is contained in:
Sean Bowe 2018-06-30 09:49:54 -06:00
parent 3a5aef7eea
commit 11b1dc142f
No known key found for this signature in database
GPG key ID: 95684257D8F8B031
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/scalar.rs
View file

@ -1138,4 +1138,20 @@ mod test {
// This should panic in debug mode. // This should panic in debug mode.
Scalar::batch_invert(&mut xs); Scalar::batch_invert(&mut xs);
} }
#[test]
fn batch_invert_consistency() {
let mut x = Scalar::from_u64(1);
let mut v1: Vec<_> = (0..16).map(|_| {let tmp = x; x = x + x; tmp}).collect();
let v2 = v1.clone();
let expected: Scalar = v1.iter().product();
let expected = expected.invert();
let ret = Scalar::batch_invert(&mut v1);
assert_eq!(ret, expected);
for (a, b) in v1.iter().zip(v2.iter()) {
assert_eq!(a * b, Scalar::one());
}
}
} }