simon-git: putty (main): Simon Tatham

[Commits to Tartarus hosted VCS]

TL;DR:
  47c2bc38 New script contrib/proveprime.py.

Repository:     https://git.tartarus.org/simon/putty.git
On the web:     https://git.tartarus.org/?p=simon/putty.git
Branch updated: main
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2021-06-12 13:59:01

commit 47c2bc38d1c8da3620db7ad6e08d40c989026082
web diff https://git.tartarus.org/?p=simon/putty.git;a=commitdiff;h=47c2bc38d1c8da3620db7ad6e08d40c989026082;hp=9f4bd6c55294ff9bece74f34158c434ed2f20c58
Author: Simon Tatham <anakin at pobox.com>
Date:   Sat Jun 12 10:08:58 2021 +0100

    New script contrib/proveprime.py.
    
    This generates primality certificates for numbers, in the form of
    Python / testcrypt code that calls Pockle methods. It factors p-1 by
    calling out to the 'yafu' utility, which is a moderately sophisticated
    integer factoring tool (including ECC and quadratic sieve methods)
    that runs as a standalone command-line program.
    
    Also added a Pockle test generated as output from this script, which
    verifies the primality of the three NIST curves' moduli and their
    generators' orders. I already had Pockle certificates for the moduli
    and orders used in EdDSA, so this completes the set, and it does it
    without me having had to do a lot of manual work.

 contrib/proveprime.py | 162 ++++++++++++++++++++++++++++++++++++++++++++++++++
 test/cryptsuite.py    |  43 ++++++++++++++
 2 files changed, 205 insertions(+)