リアルタイム証明

イーサリアムの第2層ネットワーク ZKsync が証明器 Airbender Prime を発表しました。ZKsync は、これが単一の GPU 上でイーサリアムのリアルタイム証明をデモする初の証明器であると述べています。Airbender Prime は後量子安全を目指し、ハッシュベースの STARK を使用し、GKR サムチェック、WHIR 多項式コミットメント、BLAKE2s ハッシュを組み合わせています；その L1 証明は、BN254 ペアリングではなく、Keccak-256 ベースのコミットメントを採用します。この証明器はオープン RISC-V 標準に基づいており、リアルタイム証明と独立した検証者を組み合わせています。単一の GPU 評価では、NVIDIA RTX PRO 6000 Blackwell が連続する 7200 のイーサリアムメインネットブロックの 99% の証明を完了し、各ブロックの処理時間は 10 秒未満で、統計には証拠の準備が含まれています；すべてのブロックは 12 秒以内に完了しました。ZKsync は、Airbender Prime が ETHproofs 公開ランキングで報告された平均証明時間、GPU 効率、コストの面でリードしており、すでに双 GPU および四 GPU のリアルタイム構成があり、証明生成のハードウェア要件を低減しています。

ChainCatcher メッセージ、ビットコインの第二層ネットワーク GOAT Network は BitVM2 テストネット Beta の正式ローンチを発表し、初の生産環境で稼働するリアルタイム証明（Real-Time Proving）システムを実現し、即時出金をサポートする全リンク可視化証明を備えたビットコイン zkRollup プロジェクトの初となりました。紹介によると、このシステムはパイプライン並列アーキテクチャと分散型 GPU prover ネットワークに基づき、ZKM の zkVM "Ziren" を組み合わせて、ブロック証明（2.6s）、集約証明（2.7s）、および Groth16 証明（約 10.4s）の三段階並列処理を実現し、3.4 秒でのブロック生成のリアルタイム証明能力をサポートし、ユーザーは待つことなく出金を開始できます。GOAT Network は、すべての peg-out 操作がデータ化、可視化、チェーン上で検証可能であり、公開 UI ページを通じてリアルタイムで表示されることを示しています。現在のシステムは完全にオープンソースであり、信頼仮定に依存せず、BTC の入金、チェーン上の相互作用から出金までの完全なクローズドループを構築しています。プロジェクトチームは、この能力がビットコイン zkRollup の技術基準を再定義し、BTCFi の実際の利用可能性の基盤を築くと考えています。