（给Python开发者加星标，提升Python技能） 转自：solidot 程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt，向这个目标迈出了一大步。 https://github.com/project-everest/hacl-star 就像证明毕达哥拉斯定理难以，他们能证明 EverCrypt 可完全避开多种黑客攻击。 EverCrypt 没有采用常见的编程方