SPARKNaCl: A verified, fast re-implementation of TweetNaCl by from Hacker News on 2022-02-13 10:40 (#5W3E0) Comments