用 Rust 编写的库
reverie
针对任意环的 IKOS 风格 KKW 证明系统 (https://eprint.iacr.org/2018/475) 的高效且通用的实现。 (通过 Trailofbits)。
- 51
- GNU Affero General Public License v3.0
java-2-times-faster-than-c
对非教条软件开发的探究。一项实验显示,与同等的本机 C 代码相比,在 JVM 上运行的代码性能提高了一倍。
- 51
- GNU General Public License v3.0 only