Verified cryptography for Firefox 57
https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/
» Comments [news.ycombinator.com]