Algorithm 4.16 IsProbablePrime is incorrect for input 19
Dear Swiss Post,
I have noticed that Algorithm 4.16 IsProbablePrime
, as specified in the version 1.0.1 of the Cryptographic Primitives of the Swiss Post Voting System - Pseudo-code Specification document is buggy for n=19
. It should return True
instead of False
, since 19 is a prime number, if I am not mistaken.
This bug can easily be fixed by replacing the constant s_p = 8530092
by s_p = 9054380
.