数十億ドル規模のボトルネックが暗号資産取引を高額にしている | オピニオン

イーサリアム(ETH)からzkSyncなどのZk-rollupに50ドルをブリッジしようとして、数ペニーを支払うつもりだったのに、0.15ドルから0.50ドルの手数料がウォレットに請求される。オプティミスティックロールアップがZk-rollupより3倍安く、デンクンアップグレードがデータコストを90%以上削減したことを考えると、これは受け入れがたい。ボトルネックはネットワークの混雑ではない。証明そのものなのだ。

トランザクションバッチのゼロ知識証明を生成することは集約的なプロセスである。これには、タスク用に設計されていないハードウェア上で実行される、具体的には楕円曲線乗算という数兆回の数学演算が含まれる。L2Beatのデータによると、証明プロセスだけでZK-L2の全手数料の驚異的な60-70%を占めている。

これにより、推定9,700万ドル以上の価値がある「証明ファーム」の中央集権的な市場が生まれた。これが数十億ドルのボトルネックである。これは中央集権的で電力を大量消費するシステムであり、不適合なハードウェアに依存しており、ZKスケーリングが依然として現実というより約束のように感じられる理由である。

解決策は2つある。ドメイン特化ASICとオープンな証明市場が必要だ。これらが整えば、1セント未満のトランザクションが例外ではなくデフォルトになる。これは空想ではない。受け入れられるのを待っているエンジニアリングの現実である。

手数料が実際にどこへ行くのか

Zk-rollupトランザクションにはいくつかのコストがある。L2実行はほぼ無料である。メインネットへのデータ投稿も、blobsのおかげで現在は安価で、トランザクションあたり0.1セントのコストである。本当の難敵は証明である。4,000トランザクションのバッチに対する単一の証明は、ハイエンドのA100 GPU上で生成するのに2分から5分かかることがある。

これは、Brevisのベンチマークに基づくと、クラウドコンピューティング手数料だけで0.04ドルから0.17ドルかかる。そのコストを償却すると、トランザクションあたり約1セントから4セントになる。しかし、高負荷の下では、10セント以上に容易に急騰する可能性がある。

ZK証明はAIで使用される行列計算とは異なる。楕円曲線上のマルチスカラー乗算(MSM)と数論的変換(NTT)に依存している。これらの演算は、並列浮動小数点演算用に設計されたGPUにとって重い負荷である。単一のGroth16証明には約10¹²回のフィールド演算が必要である。

Ingonyamaのテストによると、このプロセス中にGPUサイクルの約80%がアイドル状態である。ハードウェアは単に適合していない。2025年第1四半期、zkSync Eraのレポートは、証明が彼らの230万ドルの収益の65%を占めていることを示した。

つまり、150万ドルが中央集権的なクラスターに直接流れた。一方、ロールアップチームはAWSにリグあたり月額1,000ドルから5,000ドルを支払っており、そのコストは取引量に比例して拡大する。トップZK L2のロックされた総価値が33億ドルで停滞している一方、オプティミスティックロールアップが400億ドルを超えたのも不思議ではない。

しかし、オプティミスティックロールアップ(Base、Arbitrum、Optimismなど)も完全なソリューションではなく、多大なトレードオフを伴う。オプティミスティックロールアップは、警戒バリデーターが無効な状態遷移に異議を唱えることができるように、少なくとも7日間の出金遅延を必要とする。DeFiのペースの速い世界では、この待ち時間はほとんどのユースケースにとって単純に長すぎる。これらのネットワークはまた、ユーザーがこれらの警戒バリデーターを信頼することを要求する。これはweb3ゲームやソーシャルメディアのような低価値トランザクションには問題ないかもしれないが、現実世界の資産やその他の高性能金融ユースケースに関しては多くの課題を残す。

したがって、真にスケーラブルで安価で安全なトランザクションへの道は、証明生成を回避することではなく、それを革新することにある。

これが中核的な非効率性である:非中央集権ネットワークへの信頼を生成するために、コストと中央集権化の両方でweb2プレミアムを支払っている。証明手数料は単なる費用ではない。それはZK採用を妨げる経済的なアンカーである。証明生成が実行と同じくらい安価にならない限り、Zk-rollupは、その最大の強みである暗号セキュリティが最もコストのかかるボトルネックでもあるシステムに閉じ込められたままである。そして、そのコストは手数料を膨らませるだけでなく、私たちが今脱出しなければならない中央集権的な罠を構築する。

中央集権化の罠

Zk-rollupの90%以上が少数の「プルーバー・アズ・ア・サービス」企業にアウトソーシングしている。これは大規模な単一障害点を生み出す。2025年3月、Blastオペレーターは攻撃者のトランザクションと12,000人の無実のユーザーを48時間凍結した。中央集権的な証明者は平文バッチを見て、MEVを抽出し、トランザクションを拒否する。dYdXは3-of-5マルチシグを使用しており、3人のインサイダーがチェーンを乗っ取る可能性があることを意味する。これはSolanaのコンセンサスメカニズムのような他のブロックチェーンシステムにおけるハードウェア依存性の問題を反映している。

この中央集権化は脆弱性を生み出す。トップ証明者は99.2%のアップタイムを持っているが、単一のAWS障害がカスケードする可能性がある。2025年第2四半期、Starknetは1つのノード障害により20%のスループットを失った。これらのプロバイダーは80%のマージンを獲得し、ロールアップを賃料で縛る一方、イーサリアムのL1がセキュリティを提供する。これはアーキテクチャ上の矛盾である。Web2データセンターに依存する「非中央集権的な」L2がある。Vitalik ButerinがDevcon 2024で述べたように、「証明をアウトソーシングすれば、何もスケールしていない。新しいオラクルを信頼しただけだ。」

解決策は整っている

この問題を解決するには、ワンツーパンチが必要である。ZK用に構築されたシリコンと、それを配布するマーケットプレイスが必要だ。まず、ハードウェア。GPUは高速道路のレースカーのようなものだ。AIで使用されるテンソル演算には優れているが、ZKで使用される曲線演算には不向きである。ここでドメイン特化ASICの出番である。

2025年ZPrizeコンペティションの勝者は、FPGAでSTARK証明を6-8秒でクロックすることができた。これはGPUよりワットあたり10-100倍速い。なぜなら、MSMとNTTをハードワイヤリングしたからだ。Cysicはすでに、10億ゲート回路の証明を2秒未満で生成できるASICをテープアウトしており、エネルギー消費を50倍削減している。これはビットコイン(BTC)マイニングで見たのと同じ進化である。CPUからASICに移行したが、今回はハッシュではなく真実のためである。

次に、市場。SaaSモデルを捨てて、証明者を商品として扱う必要がある。Succinctの2025年メインネットがこれを例示している。ロールアップはイーサリアムベースのオークションにジョブを投稿し、専用リグが数秒でそれらに入札する。Brevis ProverNetは、怠惰なノードに対するスラッシングを伴うGPUクラスターを介してCPUの20倍の速度を達成した。

結果は40%のコスト削減、公平な価値分配、検閲耐性である。誰でも証明でき、イーサリアムが検証する。ZPrize 2025再帰的集約は、オンチェーンで200ミリ秒未満で証明を検証した。10,000ドルのDeFiボットは、トランザクションあたり1,000分の1セントでL2上でプライベートZK-MLを実行できる。

水門を開く

より安価な証明は、zkSync Atlasロードマップに従って、15,000 TPSで予測可能な0.01ドル未満の手数料をもたらす。これにより、ピクセルごとの支払いNFT、リアルタイムゲーム経済、フロントランニングなしで取引を決済するAIエージェントが解放される。L2は証明者の領地ではなく、中立的なインフラストラクチャになる。

開発者は大規模なサーバーファームを管理する代わりに、VM最適化に集中する。これはアプリのイノベーションを10倍に刺激する。ZK TVLは2025年の280億ドルから1,000億ドル以上に成長する。真の機会は体系的である。

証明が安価で非中央集権化されると、価値提案全体が明確になる。ユーザーはスピードとコストを得る。開発者は少数のオペレーターを信頼する必要のないプラットフォームを得る。イーサリアムは妥協なくセキュリティ保証を維持するスケーリングソリューションを得る。

戦いはここにある

ZK採用への最大の障壁は暗号資産やゲームではなく、エンジニアリング経済学である。中央集権的インフラストラクチャがスケーラブルな真実を窒息させている。戦争はコンセンサスをめぐるものではない。それは検証可能なコンピューティングのためのハードウェアと市場にある。非中央集権的で加速された証明者を提供すれば、数十億人に安価でトラストレスなトランザクションを提供できる。

証明者の支配者は必要ない。誰もが貢献し、全員が検証し、オープンウェブが安全である証明のグローバルなバザールが必要だ。