Niels Möller <nisse%lysator.liu.se@localhost> writes: >I'm not following the fine details here, but does the verification step >include proving the primality of p (and q)? No (that would make ops incredibly expensive), just things like verifying that g is a generator of order q. Peter.