diff options
| author | Jack Lloyd <[email protected]> | 2018-07-03 12:14:53 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-07-31 16:15:08 -0400 |
| commit | 6f86811b1deec35c96fb97bac2d5ec60630a28d7 (patch) | |
| tree | 6f53f6020473c567e95f623ca89b95a72e0edd7f /src/tests/data/bn/perfect_square.vec | |
| parent | c1a423591da7c48bbe9357a8ca5b2361c6f33c40 (diff) | |
Add Lucas test from FIPS 186-4
This eliminates an issue identified in the paper
"Prime and Prejudice: Primality Testing Under Adversarial Conditions"
by Albrecht, Massimo, Paterson and Somorovsky
where DL_Group::verify_group with strong=false would accept a composite
q with probability 1/4096, which is exactly as the error bound is
documented, but still unfortunate.
Diffstat (limited to 'src/tests/data/bn/perfect_square.vec')
| -rw-r--r-- | src/tests/data/bn/perfect_square.vec | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/tests/data/bn/perfect_square.vec b/src/tests/data/bn/perfect_square.vec new file mode 100644 index 000000000..b9821218d --- /dev/null +++ b/src/tests/data/bn/perfect_square.vec @@ -0,0 +1,21 @@ + +X = 2 +R = 0 + +X = 4 +R = 2 + +X = 8 +R = 0 + +X = 9 +R = 3 + +X = 16440582869613492769 +R = 4054698863 + +X = 16440582861504095043 +R = 0 + +X = 371930958274059827465211239444089 +R = 0 |