HACL* implementation of Curve25519, verified in F*, made it into NSS! https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ … Bonus: 20% faster on 64-bit architectures.
-
Show this thread
Replying to @xEFFFFFFF
Would you care to attempt to list the pros/cons of the approach of HACL compared to the approach of MIT's Fiat Crypto?
3:45 PM - 13 Sep 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.