groth16

CoinDesk の報道によると、Cardano の創設者 Charles Hoskinson は、Cardano ネットワークのために新しいプログラミング言語を自ら開発しており、Input Output Global のエンジニア Lucas Rosa と協力していると述べています。Lucas Rosa は Cardano の主要なスマートコントラクト言語の一つである Aiken の共同創設者です。Hoskinson は X プラットフォームで、この言語がユーザーが取引を完了させたい操作と暗号学的証明を組み合わせた初のプログラミング言語になると投稿しました。この言語は、取引意図、証明を持つデータ、および Groth16 証明の三つのツールをサポートすることが紹介されています。取引意図は、ユーザーが達成したい目標を明示することを可能にし、具体的な手順はアプリに処理させることができます。たとえば、取引者は最終価格が設定した条件を満たすときにのみあるトークンを別のトークンに交換するよう要求でき、具体的な経路を示す必要はありません。証明を持つデータは、情報に暗号学的証拠を追加し、特定のルールに準拠していることを証明します。他のアプリは再計算することなく検証できます。Groth16 は広く使用されている証明システムで、小さなサイズで高速に検証できる証明を生成し、プライバシーデータを公開することなく条件が満たされていることを証明します。三者が組み合わさることで、開発者は取引を調整し、複雑な条件をチェックし、サービス間で検証済みの情報を伝達するアプリを構築でき、最終的に Cardano が小型の証明を検証します。現在、Cardano の開発者は主に Haskell ベースの Plutus および Aiken を使用してスマートコントラクトを作成しており、Hoskinson の Input Output Global が構築したプライバシーブロックチェーン Midnight には独自の言語 Compact があります。この新しい言語の名称、公開コード、およびリリース日は現在のところ発表されていません。

据 Cointelegraph 报道，去中心化匿名彩票协议 Foom Cash 在一次安全漏洞利用中损失约 226 万美元资金，但白帽黑客及时介入帮助追回了 184 万美元（约占被盗资金的 81%）このセキュリティ事件は、Foom Cash のデプロイメントプロセスにおける重要なエラーに起因しており、具体的には Groth16 検証器の設定問題が関与しており、攻撃者がプロトコルに偽造された証明を提出できるようになりました。ハンドルネーム Duha のホワイトハッカーは脆弱性を特定し、迅速に Base チェーン上の資金を保護しました。一方、セキュリティ会社 Decurity はイーサリアム上の資金救出作業を担当しました。お礼として、Foom Cash はホワイトハッカーに 32 万ドルの報酬を支払い、Decurity に 10 万ドルのセキュリティ料金を支払いました。

スタンフォード大学の教授であり、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 などの複数のプロジェクトで使用されています。（出典リンク）