Prover が現実的なコストに収まった
2024 年時点で「ZK ロールアップは数十秒〜数分の証明生成コストが現実」という認識だったが、2026 年には主要 ZK チェーンの大半が 1 秒未満の証明生成を達成している。原動力は GPU クラスタを使った並列 Proving と、回路の標準化である。
結果として、Optimistic ロールアップとの最大の差別化点だった「7 日の challenge period」がほぼ消え、引き出しに要する時間は分単位になった。資金効率の観点で、ZK 側に明確な優位が生まれた。
それでも残る論点
回路のバグは Optimistic 側の Fraud Proof で吸収できない種類の脆弱性であり、形式検証の整備が引き続きクリティカルな投資対象である。Prover の中央集権リスクも、まだ業界横断の合意には至っていない。