diff options
Diffstat (limited to 'crypto/bn/bntest.c')
| -rw-r--r-- | crypto/bn/bntest.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/crypto/bn/bntest.c b/crypto/bn/bntest.c index 37631e439b..866ac1d0a0 100644 --- a/crypto/bn/bntest.c +++ b/crypto/bn/bntest.c @@ -902,7 +902,17 @@ int test_exp(BIO *bp, BN_CTX *ctx) int test_kron(BIO *bp, BN_CTX *ctx) { + /* We test BN_kronecker(a, b, ctx) just for b odd (Jacobi symbol). + * In this case we know that if b is prime, then BN_kronecker(a, b, ctx) + * is congruent to $a^{(b-1)/2}$, modulo $b$ (Legendre symbol). + * So we generate a random prime b and compare these values + * for a number of random a's. (That is, we run the Solovay-Strassen + * primality test to confirm that b is prime, except that we + * don't want to test whether b is prime but whether BN_kronecker + * works.) */ + /* XXX */ + return(1); } |