#FirefoxQuantum is definitely fast, but did you know that it has the first formally-verified #crypto algorithm in a browser? Thanks to @beurdouche @_franziskus_ @INRIA and Project Everest! https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ (RT @jamespugjones)