正好一年前，我加入了 @Ingo_zk。 在这段时间里，我参与了许多项目，但有两个特别：icicle-snark 和 icicle-halo2。 当我第一次了解 zk 时，我试图理解什么是 r1cs，groth16 是如何工作的，如何编写 circom 电路。 今天，我是最快的 groth16 证明者和最快的（我想）halo2 证明者的作者。 icicle-snark 是一个新的 groth16 实现，使用 ICICLE 并用 Rust 编写。它比 snarkjs 快 160 倍，比 rapidsnark 在 5090 上快 30 倍。 icicle-halo2 是 @ezklxyz-halo2 的一个分支，集成了 ICICLE，使用门评估内核提供高达 25 倍的证明提升。 总的来说，这一年是学习、构建和交付的有趣一年。