Cysic Venus が ZK 証明スタックをオープンソース化、Ethereum のリアルタイム検 証を経済的に
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 年の大きな焦点となります。