ちょうど1年前、私は@Ingo_zkに入社しました。 その間、私は多くのプロジェクトに携わってきました。しかし、2つは特別です:つらら-スナークとつらら-ハロ2です。 初めてZKについて学んだとき、私はR1CSとは何か、Groth16がどのように機能するか、Circom回路の書き方を理解しようとしていました。 現在、私は最速の Groth16 証明者と最速の (おそらく) Halo2 証明者の著者です。 icicle-snark は、ICICLE を使用し、Rust で書かれた新しい groth16 実装です。SNARKJS の 160 倍、5090 の Rapidsnark の 30 倍の高速です。 ICICLE 統合を備えた @ezklxyz-Halo2 のフォークであり、ゲート評価カーネルを使用して最大 25 倍の証明ブーストを提供します。 全体として、今年は学習、構築、出荷の楽しい年でした。