Verification of primes in /etc/ssh/moduli file

[Hubert Kario]

Hello everybody!

For the past few years we've used a tool to double-check the security of
the primes shipped in the OpenSSH moduli file:
https://github.com/tomato42/ecpp-verifier

In short, it uses primality certificates to mathematically prove that all 
the 
parameters use safe primes and a bit of simple maths to check if they're 
not
vulnerable to Special Number Field Sieve.

I wrote an article on why it's necessary, a high level overview how it
does it and how you can run it yourself:
https://www.redhat.com/en/blog/understanding-and-verifying-security-diffie-hellman-parameters
-- 
Regards,
Hubert Kario
Senior Quality Engineer, QE BaseOS Security team
Web: www.cz.redhat.com
Red Hat Czech s.r.o., Purkyňova 99/71, 612 45, Brno, Czech Republic