Follow

friday evening 22:00, and I finally have NIST P-256 ECDSA sign and verify up and running with test vectors in using no gmp (or other bignum libraries), but only proven (with Coq) code that does computations over p and n in constant time (using github.com/mit-plv/fiat-crypto) \o/

· · Web · 0 · 7 · 6
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!