Ecosystem/serai
Ecosystem/serai
1
0
Fork 0
mirror of https://github.com/serai-dex/serai.git synced 2025-03-11 17:06:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge branch 'crypto-audit' into crypto-tweaks

Browse source
This commit is contained in:
Luke Parker 2023-03-07 04:08:34 -05:00
commit adb5f34fda
No known key found for this signature in database
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
crypto/ff-group-tests/src/prime_field.rs
View file

@ -70,6 +70,24 @@ pub fn test_encoding<F: PrimeField>() {
test(F::one(), "1");
test(F::one() + F::one(), "2");
test(-F::one(), "-1");
// Also check if a non-canonical encoding is possible
let mut high = (F::zero() - F::one()).to_repr();
let mut possible_non_canon = false;
for byte in high.as_mut() {
// The fact a bit isn't set in the highest possible value suggests there's unused bits
// If there's unused bits, mark the possibility of a non-canonical encoding and set the bits
if *byte != 255 {
possible_non_canon = true;
*byte = 255;
break;
}
}
// Any non-canonical encoding should fail to be read
if possible_non_canon {
assert!(!bool::from(F::from_repr(high).is_some()));
}
}
/// Run all tests on fields implementing PrimeField.