tree c0fea73bdc46407841c0cba62f51182073aea49b
parent 6dfb479755a4a22960dc68efb65e9d061ce1f65f
author David Benjamin <davidben@google.com> 1568481815 -0400
committer Adam Langley <agl@google.com> 1569866630 +0000

Test some Euler pseudoprimes.

The Miller-Rabin test is an extension of the Fermat test (in addition to
looking for a^(n-1) != 1, it also looks for a non-trivial square root of
unity). It thus seems prudent to sanity-check we indeed reject Fermat
pseudoprimes. Euler pseudoprimes are a stronger constraint, so test
those.

Change-Id: I959769de2da3f8579403621bcf893e7c9247ca33
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/37785
Reviewed-by: Adam Langley <agl@google.com>