SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video] | Heykuki News