正好一年前，我加入了 @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 倍的證明提升。 總的來說，這一年是學習、建設和交付的有趣一年。