đúng một năm trước, tôi đã tham gia @Ingo_zk. trong thời gian đó, tôi đã làm việc trên nhiều dự án. nhưng hai dự án đặc biệt: icicle-snark và icicle-halo2. khi tôi lần đầu tiên tìm hiểu về zk, tôi đã cố gắng hiểu r1cs là gì, cách hoạt động của groth16, cách viết các mạch circom. today tôi là tác giả của prover groth16 nhanh nhất và prover halo2 nhanh nhất (tôi đoán vậy). icicle-snark là một triển khai groth16 mới sử dụng ICICLE và được viết bằng Rust. nó nhanh hơn snarkjs 160 lần và nhanh hơn rapidsnark 30 lần trên 5090. icicle-halo2 là nhánh của @ezklxyz-halo2 với tích hợp ICICLE, mang lại tăng tốc chứng minh lên đến 25 lần bằng cách sử dụng các kernel đánh giá cổng. tổng thể, đó là một năm thú vị của việc học hỏi, xây dựng và phát hành.