groth16

スタンフォード大学の教授であり、Babylonの共同創設者であるDavid Tseは、チームが正式にBABE（BAbylon-BErkeley）を発表したことを発表しました。これは、ビットコイン向けの新しいGroth16ゼロ知識証明検証プロトコルです。このソリューションは、初期化およびストレージコストにおいて、既存の最適なソリューションよりも1000倍以上のコスト削減を実現しています。BABEは、2つの重要な暗号学的革新を組み合わせています：線形ペアリングに基づくウィットネス暗号（Witness Encryption on Linear Pairing）により、Groth16検証における複雑な多重ペアリング演算をBN254楕円曲線上の一次スカラー乗算に簡素化しました。最近提案されたArgo MAC混乱原語を利用して、このスカラー乗算をさらにベクトル同態MACに変換し、高効率な計算を実現しました。David Tseは、BABEが2026年2月にBabylon Trustless Bitcoin Vaultのアルファテストネットと共にローンチされる予定であり、ビットコインシステム内でより低コストで、よりスケーラブルなゼロ知識証明検証能力を実現することを目指していると述べました。

ChainCatcher のメッセージ、Vitalik Buterin は X に投稿して次のように述べています："私たちがペースを加速する必要がある多くのことの一つは Groth16 を廃止することです。2020年代において、各アプリケーションの信頼できる設定は実行不可能です。少なくとも一般的な設定が必要で、理想的には設定が全くないことです。これはインフラストラクチャと新しい SNARK アルゴリズムの標準化において重大な改善が必要です。"報告によると、Groth16 アルゴリズムは Jens Groth によって 2016 年に発表されたアルゴリズムです。このアルゴリズムの利点は、提供される証明要素の数が少なく（わずか 3 つ）、等式の検証が簡単で、完全性と多項式計算能力の下での信頼性を保証することです。

ChainCatcher のメッセージによると、Zulu の公式 Twitter によれば、Zulu は Groth16 スクリプトの分割を完了しました。2 つのパブリック入力から、合計 1701 のサブスクリプトが分割され、サイズは 4M 未満、スタック深度は <1000 です。今回の ZKP スクリプトの分割完了は、BitVM が商用化に向けての新たなマイルストーンを迎えたことを示しています。Zulu Network の次のステップは、BitVM2 に基づく ZK ブリッジの開発であり、Bitcoin ネットワークのセキュリティを統合した初のビットコイン L2 になることが期待されています。

ChainCatcher のメッセージによると、公式の発表で Zulu Network はビットコインスクリプトに実装された最初の ZKP 検証コードをオープンソース化し、Groth16/FFlonk の主流アルゴリズムに関わるコードを BitVM リポジトリに提出しました。この成果は、BitVM2 に基づく分散型クロスチェーンブリッジの構築の基礎を築きました。Zulu の次の目標は、クロスチェーン技術と BitVM2 を活用して、信頼最小化されたビットコインクロスチェーンブリッジを立ち上げることです。以前、BitVM の創設者である Robin Linus は、ビットコインスクリプト内の snark 検証器が将来のビットコインの発展における大きなマイルストーンであると述べていました。現在のスクリプトサイズに基づいて、Zulu Network は全体の ZKP スクリプトを 2000 未満のサブスクリプトに分割するだけで済みます。「私たちは、Robin Linus、Weikeng Chen など、BitVM リポジトリのすべての貢献者に非常に感謝しています。また、Andrija Novakov と Liam Eagen にも感謝します。彼らの最新の論文『On Proving pairs』は、全体のスクリプトのサイズを大幅に削減しました。」

ChainCatcher メッセージ Sui Network の共同創設者 Kostas Kryptos がツイートしました：「Sui はゼロ知識証明を歓迎します。ユーザーは現在、取引に Groth16 ZKP 証明を添付できるようになりました。私たちのバックエンドは Arkworks と BLST を組み合わせているため、これにより検証性能が 2 倍向上します。」同時に、Kostas が共有した Sui GitHub インターフェースは、Groth16 に関するモジュールが本日提出されたことを示しています。以前の報道によれば、Groth16 は zkSNARK の典型的なアルゴリズムであり、Groth が 2016 年に発表した論文で提案されたもので、現在このアルゴリズムは ZCash、Filecoin、Coda などの複数のプロジェクトで使用されています。（出典リンク）