EverCrypt cryptographic provider offers developers greater security assurances | Hacker News Reader