5 Commits

Author	SHA1	Message	Date
Rob Dockins	aefc93b9b2	Add some special case handling for ec_twin_mult. ... Previously we were computing incorrect answers for `ec_twin_mult j S k T` in the following 4 special cases: `S == 0`, `T == 0`, `S+T == 0` and `S-T == 0`. In these cases, we must be more careful about performing normalization in the twin multiply procedure.	2020-11-16 09:15:32 -08:00
Rob Dockins	2d88b7b018	Fix typos in PrimeEC.cry	2020-09-29 22:33:06 -07:00
Rob Dockins	6f54f5e1c2	Add tests that validate the NIST prime field curves and exercise some ... test vectors for ECDSA public key generation and signature generation.	2020-09-29 22:00:14 -07:00
Rob Dockins	b6d5044279	Add documentation to the PrimeEC module and do some other minor cleanups.	2020-09-29 22:00:14 -07:00
Rob Dockins	dfd7020a68	Add a new built-in module for prime-field eliptic curves, ... based on the arithemetic routines from: https://github.com/GaloisInc/cryptol-specs/blob/master/Primitive/Asymmetric/Signature/ECDSA/doc/10.1.1.204.9073.pdf	2020-09-29 22:00:14 -07:00