issues
search
mit-plv
/
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717
stars
147
forks
source link
implement and prove Curve25519 scalar clamping
#1845
Closed
andres-erbsen
closed
7 months ago