sparknacl

SPARKNaCl：一种经过验证的、快速的TweetNaCl重新实现
2022-2-15 0:33
SPARKNaCl是一种基于TweetNaCl分布的新的、经过验证的、快速的NaCl API reefrence实现。它具有全自动、完整且隔音的类型安全性和几个关键的正确性属性。此外，该代码在所有优化级别上以3倍的速度在Ed25519符号操作上快速执行。本讲座将介绍如何"；证明驱动优化"；可以在裸机嵌入式......