メインコンテンツまでスキップ

Cysic Venus が ZK 証明スタックをオープンソース化、Ethereum のリアルタイム検証を経済的に

· 約 17 分
Dora Noda
Dora Noda
Software Engineer

7.4 秒。これは、Cysic の新しい Venus プロバーを実行する 24 枚の GPU クラスターで、Ethereum メインネットのブロック全体のゼロ知識証明を生成するのに現在かかる時間です。1 年前、同じタスクでリアルタイム同期を実現するには、200 枚のハイエンドカードと 10 秒の時間が必要でした。そのギャップの解消 — Ethereum の 12 秒というスロット時間を下回りながら、ハードウェアコストを約 1 桁削減したこと — は、今四半期の暗号資産インフラにおける最も静かな転換点です。そしてそれは、Fusaka の PeerDAS アップグレードがデータ可用性の扉を大きく開き、証明生成が Ethereum と「100 のロールアップ」が共存する未来との間の唯一残されたボトルネックへと変わる、まさにその瞬間に起きています。

2026 年 4 月 8 日、Cysic は、元々 Polygon Hermez によって開発された zkVM である Zisk の上に構築された、ハードウェアに最適化された証明バックエンドである Venus をオープンソース化しました。このリリースは、通常のトークンアンロックの演出を伴って宣伝されたわけではありません。GitHub に公開された技術ノートには、ZisK 0.16.1 に対してエンドツーエンドで 9% の改善がなされたという主張と、コントリビューションへの招待が記されているだけでした。その控えめな表現の裏には、真実が隠されています。ZK 証明は、研究プロジェクトからコモディティ計算へと静かに移行しており、今後 2 年間で勝利するインフラスタックは、現在ほとんどの L2 チームが構築を目指しているものとは異なる姿になるでしょう。

誰も価格に織り込んでいなかったボトルネック​

3 年間、Ethereum のスケーリング論争はデータ可用性に固執してきました。Blob、EIP-4844、PeerDAS、Danksharding — ロードマップのあらゆる議論は、Ethereum がロールアップデータを安価にポストできるようになれば、L2 は自動的にコスト削減の恩恵を受けるという前提に立っていました。その前提は 2025 年後半に静かに崩れました。2025 年 12 月 3 日に Fusaka がリリースされ、それに伴い PeerDAS が登場し、ブロックあたり 48 個の Blob と秒間 12,000 トランザクションへの道が約束されました。Ethereum の歴史の中で初めて、データ可用性がシステムの最大の制約ではなくなったのです。

新たな最大の制約は、証明生成です。ZK ロールアップは、その状態遷移が有効であることを示す暗号学的な証明を必要とします。これらの証明を生成するには、オフチェーンの専用ハードウェアで高価な計算作業を行う必要があります。数学的証明ではなくチャレンジウィンドウを通じて紛争を解決する Optimistic ロールアップは、このコストを完全に回避します。これが、現在の主要な ZK L2 の預かり資産（TVL）が合計で約 33 億ドルにとどまっている一方で、Optimistic ロールアップが 400 億ドルを超えている理由です。この 12 対 1 の格差はナラティブの問題ではありません。プロバーの経済性の問題なのです。

Succinct の内部調査はこの数学的現実を端的に示しています。SP1 Turbo を使用してすべての Ethereum ブロックをリアルタイムで証明するには、160 〜 200 枚の RTX 4090 GPU クラスターが必要であり、これには 1 クラスターあたり 30 万ドルから 40 万ドルの資本支出と、グリッド規模の電力消費が伴います。独自のプロバーを運用したい L2 は、そのスタックを維持できる少数のオペレーターに証明生成を中央集権化するか、ユーザー体験を損なう数分間の証明遅延を受け入れるかの選択を迫られました。どちらの選択肢も、Vitalik が 2021 年から描いてきた「ZK の終着点（ZK endgame）」を実現するものではありませんでした。

Venus は実際にどのように機能するのか​

Venus が興味深いのは、それが何であるかというよりも、何を表しているかという点にあります。Cysic は新しい証明システムを発明したわけではありません。基盤となる暗号技術は、Jordi Baylina と Polygon チームによる長年の成果を継承した Zisk に由来します。Cysic が行ったのは、実行レイヤーを再構築し、証明生成を明示的な計算グラフ（異種混合ハードウェア間でエンドツーエンドでスケジュールできるオペレーションの有向非巡回グラフ）にすることでした。

実際には、これは以前の zkVM で支配的だった CPU と GPU の同期オーバーヘッドがスケジューリングレイヤーで最適化されることを意味します。プロバーは、次の操作をディスパッチする前に GPU カーネルの終了を待機することはありません。グラフが事前に分かっているため、データの移動、メモリ割り当て、カーネルの起動をパイプライン化できます。ZisK 0.16.1 に対する 9% の改善はここから生まれています。多項式の数学における画期的な進歩ではなく、数学がいかにシリコンに触れるかというエンジニアリング上の勝利なのです。

さらに重要なことに、同じ計算グラフが FPGA や、最終的には Cysic 専用の ZK ASIC 上でも動作します。同社は、自社の ASIC が毎秒 133 万回の Keccak ハッシュ関数評価を実行できると公言しています。これは一般的な GPU ワークロードの 100 倍の向上であり、エネルギー効率は約 50 倍優れています。内部の見積もりでは、1 台の専用 ZK Pro ユニットが、わずかな電力消費で約 50 枚の GPU を置き換えられることを示唆しています。これらの数値が本番環境でも維持されれば、証明の経済性は RTX カードが詰まった倉庫を借りることから、専用チップのコンパクトなラックを運用することへとシフトします。

12 秒未満の証明を巡る競争​

Venus は突然現れたわけではありません。過去 12 か月間にわたり、3 つ의 チームが同じマイルストーンに収束してきました。それは、リアルタイム検証を定義する 12 秒のスロット時間未満で Ethereum ブロックを証明することです。

Succinct が公に最初にそれを達成しました。2025 年 5 月に発表された SP1 Hypercube は、200 枚の RTX 4090 クラスターを使用して、10,000 ブロックのメインネットサンプルの 93% をリアルタイムで証明しました。2025 年 11 月の改訂版では、わずか 16 枚の RTX 5090 GPU を使用して成功率を 99.7% まで高めました。これは 6 か月でハードウェアコストを約 90% 削減したことになります。このシステムは現在 Ethereum メインネットで稼働しており、採掘されるすべてのブロックに対して証明を生成しています。

Cysic の数値はコスト面でさらに際立っています。24 枚の GPU で 7.4 秒という記録は、汎用ハードウェアでエンドツーエンドの証明をスロット時間内に余裕を持って収めるものです。現在の Venus リリースはオープンソースであり、本番用の監査は受けておらず、現在も活発に開発が進められています。しかし、エンジニアリングの軌跡は、コンシューマーグレードのクラスターで 10 秒未満の証明を実現することは、もはや根本的なアーキテクチャの問題ではなく、ソフトウェアのチューニングの問題であることを示唆しています。

証明あたりのコストも一斉に暴落しています。業界のベンチマークによると、16 枚の RTX 5090 ハードウェアを使用した Ethereum ブロック証明の現在の最良ケースのコストは約 2 セントです。大量採用のための目標は 1 セント未満です。1 年前、同じ証明には 1 ドル近いコストがかかっていました。3 年前、それは文字通り非経済的でした。決済されたロールアップのガス代では、プロバーの電気代さえ賄えなかったのです。これは、製品カテゴリー全体を静かに駆逐する種類のコスト曲線であり、そのスピードは加速しています。

マーケットプレイス戦争はすでに始まっている​

安価で高速な証明（Proving）は、自動的にアクセス可能になるわけではありません。誰かがハードウェアを運用し、需要をマッチングさせ、証明ジョブの価格を決定し、支払いを決済する必要があります。現在、そのミドルウェア層をめぐって 3 つの異なるアーキテクチャが競い合っています。

2025 年 9 月に RISC Zero によってメインネットでローンチされた Boundless は、オークション形式のマーケットプレイスを運営しています。GPU オペレーターが証明の生成に入札し、システムは最も低コストで適格なプルーバーに作業をルーティングします。このモデルは AWS Spot Instances のようなスポット・コンピューティング・マーケットから着想を得ており、証明コストをハードウェアの限界費用まで引き下げることを約束しています。Boundless は最近 Bitcoin 決済を追加しました。これにより、Ethereum や Base の証明を Bitcoin のベースレイヤーで検証できるようになりました。これは ZK アテステーション（証明）が機能できる場所の、ニッチながらも重要な拡張です。

Succinct の Prover Network は異なる戦略をとっています。純粋なオークションではなく、特定のワークロードを処理する承認済みの高性能プルーバーを備えたルーティング・プロトコルを運営しています。Cysic は、SP1 Hypercube のプロダクション・トラフィック向けに調整された GPU クラスターを運用するマルチノード・プルーバー・オペレーターとしてネットワークに参加しました。この提携は、Succinct が、純粋なスポット市場では消費者向けのロールアップに提供できない信頼性とレイテンシの保証に価値を見出していることを示唆しています。

Cysic 自体は 2025 年 12 月 11 日にメインネットと CYS トークンをローンチし、それ以来 Scroll、Aleo、Succinct、ETHProof などと統合され、1,000 万件以上の ZK 証明を処理してきました。このネットワークの売り文句は「ComputeFi」です。これは証明能力を、オペレーターがトークン化やステーキングができる流動的なオンチェーン資産に変えるというものです。これが第 3 の主要マーケットプレイスになるのか、あるいは 2 つのより大きなネットワークのサプライヤーとしての役割に落ち着くのかが、2026 年の大きな焦点となります。

なぜこれがロールアップの経済性において重要なのか​

このインフラニュースの本質は、3 層下の実際の L2 のユニットエコノミクス（1 単位あたりの経済性）にあります。現在、zkEVM ロールアップは、トランザクションあたりのコストのかなりの割合を証明生成に費やしています。それらのコストはガス代としてユーザーに転嫁されるか、ロールアップ・オペレーターが利益を削って負担しています。いずれにせよ、これによって ZK ロールアップが請求できる料金と、同じトランザクションに対してオプティミスティック・ロールアップが請求する料金との間に差が生じています。

もし証明コストが 1 セント未満のレベルまで下がり、証明のレイテンシが Ethereum のスロット時間内に収まれば、その差は解消されます。ZK ロールアップは「セキュリティ・プレミアム」を課す必要がなくなります。ユーザー体験はオプティミスティック・ロールアップと区別がつかなくなりますが、唯一の違いは、すべてのオプティミスティック・ブリッジに依然として摩擦コストを課している 7 日間のチャレンジ期間ではなく、数分で出金が完了するという点です。

この転換は構造的に重要です。なぜなら、機関投資家の最大の流動性プールは、依然として L1 に留まる理由としてオプティミスティック・ロールアップの出金遅延を挙げているからです。マーケットプレイス主導の価格設定によるリアルタイムの ZK 証明は、ZK ファーストのロールアップ・アーキテクチャに反対する最後の機能的な議論を取り除きます。現在オプティミスティック・スタックを運用しているすべての L2 チームは、2026 年に深刻な技術的再検討を迫られるでしょう。いくつかは移行するか、少なくともシーケンサーの ZK フォークをリリースすることになるでしょう。

まだ壊れる可能性があるもの​

Venus リリースはその限界についても正直に述べています。コードは本番環境での使用のための監査を受けていません。監査されていないプルーバー・ソフトウェアを稼働中のロールアップで実行することは、健全性のバグによって検証者が受け入れてしまう無効な証明が作成された場合、キャリアを台無しにするような決断となります。本番環境への導入は、オープンソース・リリースから数週間ではなく、数ヶ月遅れることが予想されます。

ハードウェアの側面もリスクを集中させます。もし ASIC ベースの証明が約束通り 50 倍の効率向上を実現すれば、Bitmain が Bitcoin マイニングを支配したのと同じように、一握りの製造業者がプルーバー・ハードウェアを支配することになります。そのダイナミクスは、そもそも ZK ロールアップを正当化していた分散化のナラティブに逆行します。Cysic の ASIC ロードマップはコンピューティング問題への回答ですが、世界最大のスマートコントラクト・プラットフォームを保護するチップを誰が所有するのかという、新たな問いを投げかけています。

最後に、リアルタイムの証明は、スタックの他の部分が追いついて初めて意味を持ちます。PeerDAS によるデータ・アベイラビリティ・サンプリングは、テストネットのベンチマークだけでなく、実際のプロダクション・スケールで機能する必要があります。シーケンサーの分散化は、すべての主要な L2 において未解決の問題のままです。証明はエンドゲームにとって必要条件ですが十分条件ではなく、業界にはある層での勝利を宣言しながら、隣接する層での不具合を静かに隠蔽してきた歴史があります。

短期的な変曲点​

俯瞰してみれば、パターンは明らかです。2025 年 5 月当時、Ethereum のリアルタイム証明には 40 万ドルの GPU クラスターと 9 桁（数億ドル）の研究予算が必要でした。2026 年 4 月には、オープンソース・ソフトウェアを搭載した 24 枚の汎用カードで動作します。次の 18 ヶ月で、コスト曲線はさらに圧縮されます。ASIC エコノミクスへ、1 証明あたりセント単位の価格設定へ、そして特注のインフラ・プロジェクトではなく、ユーティリティ・サービスとしての証明生成へと向かっていきます。

ビルダーにとっての実践的な意味合いは、2024 年には非経済的だった ZK ベースのアーキテクチャが、今や再評価に値するということです。プライバシーを保護するトランザクション・プロトコル、検証可能な AI 推論、マルチシグではなく数学的セキュリティによるクロスチェーン・メッセージング、ゼロ知識証明による資格開示を備えたオンチェーン・アイデンティティ ―― これらすべては、もはや存在しないプルーバー・コストの壁の向こう側にあったものです。

Cysic Venus のリリースは、単体で見ればオープンソースの証明バックエンドに対する控えめなエンジニアリング・アップデートです。しかし、Succinct の Hypercube がメインネットにデプロイされ、Boundless がライブで証明オークションを実行し、Fusaka の PeerDAS がデータ・アベイラビリティのボトルネックを解消しているという文脈で捉えれば、それは ZK インフラが制約であることをやめ、基盤（サブストレート）になり始める地点なのです。その移行期以前に書かれたすべてのロールアップに関する論文は、書き直しが必要になります。

BlockEden.xyz は、Ethereum L2、Scroll、Aptos を含む 27 以上のチェーンにわたってエンタープライズ・グレードの RPC およびデータ・インフラストラクチャを提供しています。リアルタイム証明が L2 の展望を再構築する中、当社の API マーケットプレイス を探索し、ZK ネイティブ時代に向けた信頼できる基盤を構築してください。

ソース:

Share on Twitter