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

Test that SQRT_M1 is a square root of -1

Browse source
This commit is contained in:
Henry de Valence 2017-01-08 14:51:00 -05:00
parent a9e3c330a6
commit 3f7d06138a
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/constants.rs
View file

@ -1442,3 +1442,17 @@ pub const base: [[PreComputedPoint; 8]; 32] = [
xy2d: FieldElement([-20430234, 14955537, -24126347, 8124619, -5369288, -5990470, 30468147, -13900640, 18423289, 4177476]),
},
]];
#[cfg(test)]
mod test {
use field::FieldElement;
use constants;
#[test]
/// Test that SQRT_M1 is a square root of -1
fn test_sqrt_minus_one() {
let minus_one = FieldElement([-1,0,0,0,0,0,0,0,0,0]);
let sqrt_m1_sq = &constants::SQRT_M1 * &constants::SQRT_M1;
assert_eq!(minus_one, sqrt_m1_sq);
}
}