数読 ZK：L2 の ZKP に対する支出は 6000 万ドルを超え、zkRollup が徐々に台頭しています。
この記事では、ゼロ知識の成長、採用状況、ネットワークの健全性、そしてアプリケーションとインフラストラクチャのレベルでの競争のダイナミクスについて探討します。元のタイトル：《Zoomed-in on ZK Proofs》
著者：OurNetwork
編訳：深潮TechFlow
本号では、ゼロ知識証明（Zero-Knowledge Proofs）に焦点を当てます------これは私たちの業界で最も重要でありながら、最も理解されていない技術的突破口の一つです。本号では、ゼロ知識の成長、採用状況、ネットワークの健全性、そしてアプリケーションとインフラストラクチャの競争ダイナミクスについて探ります。
これが重要な理由：
暗号アプリケーションが世界的に真の主流採用を実現するためには、それらが依存するブロックチェーンがよりスケーラブルで効率的である必要があります。世界最大の第一層ブロックチェーンであるイーサリアムとそのコミュニティにとって、これは第二層拡張ソリューションを積極的に受け入れる戦略を促しました。Optimism、Arbitrum、BaseのようなL2はこの分野の最初の革新であり、現在では暗号ユーザーとアプリケーションの主要なプラットフォームとなり、数十億ドルの価値をロックし、数百万のアクティブアドレスを持っています。
同時に、ゼロ知識証明（ZKPs）は、理論的には既存のインフラストラクチャを大きく超える性能を持ち、さまざまな新しいアプリケーションをサポートする別の重要な拡張ソリューションの突破口を示しています。この分野はまだ始まったばかりですが、短期間での急速な進展により、私たちは注目に値すると考えています。
今はまだ早いですが、オンチェーンデータはこの主張を支持しています------暗号通貨はゼロ知識証明（ZKPs）への大きなシフトを経験しており、まずはZKPアプリケーション、次にZKPをサポートするインフラストラクチャ（例えばRollups）です。特にNEBRAとOurNetworkチーム、そしてコアデータの貢献者であるJackie（Dune）とBrandyn（OurNetwork）に特別な感謝を申し上げます。彼らの支援がなければ、これらは実現できませんでした。私たちは今、データを通じてこの変化を示しています。
① ZKP：業界の健康
Layer 2ソリューションのゼロ知識証明（Zero-Knowledge Proofs）への総支出は6000万ドルを超えました。
- ZKPプロジェクトがイーサリアムL1に支払った総決済費用（Total Settlement Fees, TSF）は6040万ドルを超え、時間の経過とともに顕著な採用状況を示しています。2023年12月には、TSFが1500万ドルのピークに達しました。過去30日間におけるZKP検証のためのイーサリアムL1のTSFはわずか15万ドルであり、この分野における技術最適化コストの進展を反映しています。
- 2023年と2024年には、ZKPを使用するアクティブアドレスが継続的に増加し、今年3月には760万のピークに達しました。2024年7月にはアクティブアドレスが480万に減少し、年間の最低値を記録しましたが、年間平均アクティブアドレスは640万で、2023年の月平均320万アクティブアドレスの2倍以上となっています。市場全体が夏の低迷期にあるにもかかわらずです。
- 先月は150万以上の証明が累積されましたが、2024年にL1ブロックに決済されたZK証明の数は減少しました。2023年12月にはL1に決済された証明の数が189,280のピークに達しました。
- この傾向は、需要（アクティブユーザー）のわずかな減少によるものですが、より重要なのは技術の進歩であり、zkRollupsは証明の数とTSFを減少させるために新技術（例えば証明の集約）を採用しています。
② ZKP：プロジェクトのトレンド
Lineaは2320万のZKPトランザクションを生成し、550万のユーザーからのものです。
- ZKPユーザーの採用において、Lineaは「成功した」チェーンになりつつあります。過去30日間で、このL2は177万の独立したアクティブアドレスで首位に立ち、次いでzkSyncの130万、Scrollの95万が続いています。
- 2023年12月、LineaのZKPに対するL1支出は1280万ドルに急増し、当月のすべてのプロジェクトのZKP支出の約85%を占め、支払い費用の歴史的最高記録を更新しました。これは主にLineaのVoyage XPプログラムによるものです。最近、2024年にはScrollがL1へのTSFの支払いを主導し、8月21日の予定アップグレードでコストがさらに削減される見込みです。
③ ZKP：インフラとアプリケーション
インフラストラクチャでZKPを使用するアドレスの数は、アプリケーションで使用するアドレスの250倍以上です。
- 現在までに、1660万のアドレスがインフラストラクチャ、特にzkRollupsを通じてZKPトランザクションを引き起こしていますが、アプリケーションを通じてZKPトランザクションを引き起こすアドレスはわずか62,780です。
- この明らかな対比にはいくつかの重要な理由があります。まず、2022年8月にOFACがTornado Cashに制裁を課しました。Tornado CashはZKPを使用してプライバシーを保護する重要なアプリケーションです。これにより、アメリカ市民がTornado Cashを使用することが違法となり、アプリケーションでのZKPの使用が減少しました。次に、インフラストラクチャ層の各ZKPトランザクションのコストは、アプリケーション層よりも大幅に低く、Lineaの30日間の平均トランザクションコストは0.00034ドルです。相対的に最も高価なZKPインフラストラクチャであるPolygon zkEVMの平均トランザクションコストが0.03ドルであるのに対し、これは依然としてトップZKPアプリケーションのトランザクションコストよりもはるかに低いです。
- OFACの制裁が落ち着くにつれて、ZKPアプリケーションの使用が回復しました。Tornado Cashはトランザクションコストの面で依然として比較的安価なZKアプリケーションであり、30日間の平均は1.0ドルです。L1の費用が高いため、これは完全に比較可能な比較ではありませんが、TornadoトランザクションのコストはPolygon zkEVMよりも約33倍高く、Lineaよりも約3300倍高いです。
④ ZKP：マクロトレンド
上位5つのOptimistic Rollupsはアクティブアドレスにおいて依然としてzkRollupsを支配しており、その比率は4です。しかし、zkRollupsは今年、イーサリアムL1のアクティブアドレス数とほぼ均衡しています。
- 上位5つのOptimistic Rollupsのアクティブアドレスは今年増加し、2024年1月の380万（実際にはzkRollupsの480万を下回る）から1780万を超えました。多くのzkRollupチェーンがまだ立ち上がっていないにもかかわらず、これらのソリューションは各完全月においてイーサリアムL1のアドレスの半分以上を引き付けていることは注目に値します------7月時点で、zkRollupsのアクティブアドレスはイーサリアムL1と上位5つのOptimistic Rollupsの市場シェアの13%を占めています。
- 先月、zkRollupのLineaはL2で3位にランクインし、アクティブアドレスは180万でした。Baseは1150万のアクティブアドレスで全てのL2をリードし、Arbitrumは580万で続いています。
- L2がより効率的なZKP関連技術を採用するにつれて、ZKPコントラクト呼び出しが占めるガス費用の割合は実際に30日間の移動平均の0.14%に低下しました。これは、記録上の最大ピークの約100倍であり、これらはすべて2023年12月に発生し、その時ZKPトランザクションはイーサリアムの総ガス費用の14%以上を占めていました。
ZK証明：NEBRAがもたらす証明の奇点の未来
ゼロ知識証明（ZKP）ブロックスペースを拡張するための重要な技術は証明の集約であり、異なるソースからの複数の証明を統合して1つの再帰的証明を生成し、これらの証明の有効性を証明します（すなわち、集約証明）。
Nebra
NEBRA UPAのような証明集約プロトコルは、帯域幅を大幅に向上させ、オンチェーンのゼロ知識証明のコストを削減します。例えば、現在のバージョンのNEBRA UPAでは、Groth16証明の検証コストが300,000ガスから18,000ガスに削減され、コストが15倍以上低下しました。これは、データ可用性プロトコル（4844、Celestia、EigenDA、Availなど）がデータ可用性コストを削減する方法に似ています。
さらに、証明の集約は、ビタリック・ブテリンが「証明の奇点」と呼ぶものを実現することができます。すなわち、各ブロックには1つの集約証明のみが含まれます。証明の集約は、オンチェーンのZKP検証コストを削減するだけでなく、zkRollups間のネイティブ相互運用性と共有決済を実現します。
NEBRAはイーサリアムメインネットでUPAとその将来のRollupオペレーティングシステムを立ち上げ、ZK分野全体における重要な突破口を示しています。証明の奇点が到来することで、ZKとブロックチェーンの未来はさらに明るくなります。もし証明が集約できるなら、イーサリアムは3900万ドル以上のコストを節約できることを想像してみてください！
概念：
ゼロ知識証明（Zero Knowledge Proofs）は、小型の暗号学的証明を使用して任意の計算を検証し、プライバシーを保護します。アプリケーションとインフラストラクチャは、通常、ゼロ知識証明を使用する2つの方法があります：
プライバシーの保護
検証可能な計算と拡張能力
Nebra
これらのケースでは、ゼロ知識証明はユーザー特定のデータと公開チェーン上のデータの組み合わせによって生成されます。その後、これらの証明はチェーン上で検証され、特定のビジネスロジックを実行するために使用されます。
プライバシー保護アプリケーション：
データフローの観点から、ゼロ知識証明がプライバシー保護アプリケーションに使用される場合、証明の生成はクライアント側で行う必要があります。これは、敏感なユーザー情報（例えば、秘密鍵）の漏洩を避けるためです。これらのアプリケーションでは、ユーザーが制御するクライアント（ブラウザまたは携帯電話上で動作するアプリ）が直接ブロックチェーンに証明を提出します。
例：
ZKに基づくアイデンティティソリューション（例：Worldcoin）
プライバシー保護の金融アプリ（例：tornado.cash、railgun）
拡張ソリューション：
ゼロ知識証明が拡張に使用される場合、証明の生成には通常、ユーザーの敏感なデータは必要ありません。したがって、証明生成はより強力なサーバーまたは公共クラウドに委託できます。一部の拡張ソリューションは、GPU加速を利用して証明生成のスループットと遅延を向上させています。
例：
zkRollups（例：zkSync、Polygon zkEVM、Scroll、Starkware、Linea）
zkコプロセッサ（例：Succinct、RISC Zero、Axiom、Brevis、Lagrange）
方法論：
このダッシュボードを通じて、私たちは3つの重要な指標を測定しています：
証明の総決済費用（Total Settlement Fees, TSF）：ユーザーまたは拡張ソリューションがチェーン上でゼロ知識証明を検証するために支払ったETHの総額を指します。これらの費用は通常、EVMを呼び出す暗号関連の事前コンパイルに分解できます（後で詳しく説明します）。
オンチェーントランザクション数：ゼロ知識証明を検証するトランザクションの数。
アクティブユーザー数：ZK証明を使用するユーザーの数。
私たちはどのように測定するのか？
私たちはイーサリアムのDuneインデックスデータにクエリを実装し、ZKP検証のガス支出を取得しました。正しいコントラクトとトランザクション呼び出し方法を特定することで、関連する内部呼び出しを特定しました（詳細はこのセクションの注釈付きデータ方法論を参照してください）。これらの支出は主に以下の事前コンパイルの呼び出しから来ています：
