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

Add test for Montgomery ladder with a scalar with high bit set.

Browse source
This commit is contained in:
Isis Lovecruft 2017-10-05 02:15:28 +00:00
parent ca5b58c2b7
commit 9da24d8afa
Failed to extract signature
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
src/montgomery.rs
View file

@ -545,6 +545,19 @@ mod test {
assert_eq!(result.compress(), expected.to_montgomery().compress());
}
#[test]
#[should_panic(expected = "assertion failed: self[31] <= 127")]
fn ladder_matches_scalarmult_with_scalar_high_bit_set() {
let mut s: Scalar = Scalar::one();
s[31] = 255;
let result: MontgomeryPoint = &BASE_COMPRESSED_MONTGOMERY.decompress() * &s;
let expected: ExtendedPoint = &constants::ED25519_BASEPOINT_TABLE * &s;
assert_eq!(result.compress(), expected.to_montgomery().compress())
}
}
#[cfg(all(test, feature = "bench"))]