再帰的スケーリング

暗号資産における再帰的スケーリングとは？

再帰的スケーリングとは、再帰的な暗号学的証明を使って、多数のトランザクション、計算、証明結果をより小さな最終証明に圧縮するブロックチェーンのスケーリング手法です。

暗号資産分野では、再帰的スケーリングは主にゼロ知識証明、ZKロールアップ、証明の集約、zkVM、簡潔なブロックチェーン、モジュール型ブロックチェーンシステムと関連しています。

基本的な考え方は、ある証明で別の証明を検証し、その新しい証明をさらに別の証明で検証できるというものです。

このように証明を繰り返し合成することで、大量の処理をコンパクトな最終証明で表せます。

再帰的スケーリングを簡単に理解するには、個々の処理を1つずつ確認する代わりに、証明を証明することでスケールさせる仕組みと考えるとよいでしょう。

ブロックチェーンに何千ものトランザクションや複数の証明を直接検証させるのではなく、再帰的なシステムでそれらを1つの検証経路にまとめられます。

EthereumのZKロールアップに関するドキュメントでは、再帰的証明は「証明の証明」と説明されており、ZKロールアップの処理能力を大幅に向上させる可能性があります。

そのため、信頼上の前提を弱めずにトランザクション処理能力を高めたいブロックチェーンにとって、再帰的スケーリングは重要です。

また、重い計算をオフチェーンに移しながら、オンチェーンでの最終検証を安全かつ効率的に保つという、暗号資産分野のより広い目標も支えます。

再帰的スケーリングが重要な理由

パブリックブロックチェーンでは、ブロックスペース、実行能力、検証帯域が限られているため、再帰的スケーリングが重要です。

すべてのノードがすべてのトランザクションを実行し、すべての計算を直接検証しなければならない場合、利用が増えるにつれてネットワークの速度が低下し、コストが上昇します。

Layer 2ロールアップは、実行をベースチェーンから移し、圧縮した結果をベースチェーンに送信することで、この問題に対応します。

再帰的スケーリングは、証明検証そのものをより効率化し、このモデルをさらに改善します。

ロールアップは多数の小規模なバッチの証明を生成し、それらを再帰的に統合して最終証明を作成できます。

ベースチェーンは、個々の小さな証明をすべて検証する代わりに、最終証明を検証できます。

これにより、検証コストの削減、処理能力の向上、大規模な暗号資産アプリケーションの実用化につながる可能性があります。

再帰的スケーリングは、強力な暗号学的保証を維持できる点で特に有用です。

ネットワークは、運営者がトランザクションを正しく処理したと単に信頼する必要はありません。

処理がルールに従って行われたことを示す証明を検証できます。

このため、再帰的スケーリングは、信頼への依存を抑えながらブロックチェーンを成長させるうえで重要な要素として語られています。

再帰的スケーリングの仕組み

再帰的スケーリングは、証明検証を別の証明システムの中に組み込むことで機能します。

まず証明者が、少数のトランザクション、計算、状態変更に対する証明を作成します。

次に別の証明者が、最初の証明を検証する新しい証明を作成します。

この処理は複数の階層にわたって続けられます。

最終的に、以前の多数の証明の正しさを表す1つの証明が生成されます。

この最終証明は、ブロックチェーン、検証コントラクト、ライトクライアント、または別の証明システムに提出できます。

ブロックチェーンは、元の計算をすべて繰り返す必要はありません。

最終的な再帰的証明を検証するだけで済みます。

これにより、証明された処理量が増えても検証を小規模に保てるという、強力な圧縮効果が生まれます。

再帰的スケーリングによって、トランザクションデータ、ユーザー残高、セキュリティ上の前提が消えるわけではありません。

正しさをコンパクトな証明の連鎖を通じて検証できるということです。

再帰的スケーリングとZKロールアップ

ZKロールアップは、再帰的スケーリングの代表的な活用例の1つです。

ZKロールアップは、ベースチェーン以外で多数のトランザクションを処理し、ロールアップの状態遷移が正しいことを示す妥当性証明を提出します。

EthereumのZKロールアップに関するドキュメントでは、ZKロールアップは計算と状態保存をオフチェーンに移し、妥当性証明をベースレイヤーに提出すると説明されています。

再帰的スケーリングは、多数の妥当性証明を1つに集約することで、ZKロールアップの効率を高められます。

たとえば、ロールアップは複数のトランザクションバッチに対して個別の証明を作成することがあります。

再帰的証明でそれらのバッチ証明を検証し、決済用の1つの証明にまとめられます。

これにより、ベースチェーンでの最終検証コストを削減できる可能性があります。

また、複数のマシンや証明者が証明生成を並行して進められるようになります。

ユーザーにとっては、手数料の低減、決済の迅速化、アプリケーションの処理能力向上につながる可能性があります。

開発者にとっては、すべての証明を個別に決済することなく、より多くのトランザクションを処理できるようになります。

再帰的スケーリングと証明の集約

証明の集約とは、多数の証明を、より少数の証明または1つの最終証明にまとめるプロセスです。

再帰的スケーリングは、証明の集約を実現する有力な方法の1つです。

多数の証明を個別に検証する代わりに、以前の証明をすでに検証した証明を検証します。

多くのユーザー、アプリケーション、ロールアップのバッチが同時に証明を生成する場合に有用です。

Starknet SHARPのドキュメントでは、SHARPは証明の再帰を利用してコストを抑え、証明生成の効率を高める証明アグリゲーターと説明されています。

オンチェーンで実行する証明検証の回数を減らせるため、証明の集約は決済コストの低減につながります。

小さな証明を個別に作成し、後から統合できるため、システム設計の改善にも役立ちます。

これにより、並列証明生成、共有証明インフラ、よりスケーラブルなロールアップアーキテクチャを実現できます。

最終検証がボトルネックにならないよう、多数のバッチを処理する必要がある高い処理能力を持つシステムでは、再帰的な証明の集約が特に重要です。

再帰的スケーリングとLayer 3ネットワーク

再帰的スケーリングは、Layer 3ネットワークの設計にも役立ちます。

Layer 2ロールアップがベースチェーンで決済される一方、Layer 3ネットワークはLayer 2で決済される場合があります。

再帰的証明を使うと、あるレイヤーが別のレイヤーに状態遷移を効率よく証明できるため、これらのレイヤーを連携させられます。

たとえば、Layer 3のアプリケーションチェーンが、そのチェーン上の活動に関する証明を生成できます。

その証明をLayer 2の証明に集約できます。

さらに、Layer 2の証明をベースチェーンで決済できます。

このように、各レイヤーが活動を圧縮して上位レイヤーに証明を渡す再帰的な構造が生まれます。

そのメリットは、多数のアプリケーション固有の環境をスケールさせながら、ベースチェーンがすべての操作を直接処理する必要がないことです。

一方で、レイヤーが追加されるたびに設計が複雑になるリスクがあります。

ユーザーや開発者は、データ可用性、出金経路、検証器の安全性、ブリッジの前提条件、アップグレード管理を引き続き理解する必要があります。

再帰的スケーリングと簡潔なブロックチェーン

再帰的スケーリングは、ロールアップだけに役立つものではありません。

チェーンの大規模な履歴をダウンロードして検証する代わりに、チェーンの妥当性を示すコンパクトな証明をユーザーが検証する簡潔なブロックチェーンも支えます。

Minaの再帰に関するドキュメントでは、Minaは線形再帰的証明を使い、無限に増え続けるブロックチェーンを一定のサイズに圧縮すると説明されています。

これは、単に1秒あたりのトランザクション数を増やすこととは異なるスケーリング目標です。

ユーザーや端末が検証をより軽く行えるようにすることを重視しています。

検証に必要な処理が小さく保たれれば、高性能なハードウェアがなくても、より多くの参加者がネットワークを独立して確認できます。

これにより、チェーンが有効かどうかを知るために大規模なインフラプロバイダーだけに頼る必要がなくなり、分散化を支えられる可能性があります。

したがって、再帰的スケーリングは、トランザクションの実行と検証へのアクセスの両方をスケールさせられます。

ブロックチェーンを検証できる運営者が少数に限られるなら、ユーザーの力を本当に高めるものとは言えないため、後者のスケーリングも重要です。

再帰的スケーリングとzkVM

zkVMとは、プログラムが正しく実行されたことを証明するゼロ知識仮想マシンです。

再帰的スケーリングを使うと、実行を小さなセグメントに分け、zkVMで大規模なプログラムを処理できます。

各セグメントは個別の証明を生成できます。

その後、システムはそれらのセグメント証明を再帰的に統合し、プログラム全体の実行を示す最終証明を作成できます。

これにより、大規模な計算を一度に巨大な証明にすることなく証明できます。

また、複数のマシンや証明者に証明生成作業を分散させることもできます。

暗号資産分野では、ロールアップの実行、検証可能なゲーム、オフチェーン計算、プライベートアプリケーション、ブロックチェーンのコプロセッサなどを支えられます。

コプロセッサとは、重い計算をオフチェーンで実行し、結果が正しいことを示す証明を返すシステムです。

再帰的スケーリングを使うと、多数の証明の断片を最終証明にまとめられるため、このモデルをより実用的にできます。

再帰的スケーリングと再帰的ZK証明の違い

再帰的スケーリングと再帰的ZK証明には密接な関係がありますが、まったく同じ概念ではありません。

再帰的ZK証明は、ある証明で別の証明を検証できるようにする暗号学的なツールです。

再帰的スケーリングは、このツールを使ってブロックチェーンの処理能力を高めたり、検証コストを抑えたりする、より広いスケーリング戦略です。

つまり、再帰的ZK証明は仕組みであり、再帰的スケーリングはシステム設計上の目標です。

再帰的ZK証明の用語解説では、暗号学的なオブジェクトについて説明します。

再帰的スケーリングの用語解説では、ブロックチェーンがそのオブジェクトを使って、トランザクション処理、証明の集約、ロールアップ、ライトクライアント、検証可能な計算をどのようにスケールさせるかを説明します。

両者には重なる部分がありますが、同じ用語ではありません。

再帰的スケーリングはインフラ上の成果に重点を置き、再帰的ZK証明は証明の構築に重点を置いています。

再帰的スケーリングと水平スケーリングの違い

水平スケーリングとは、処理量を増やすために、マシン、ノード、チェーン、実行環境を追加することです。

再帰的スケーリングとは、証明検証を圧縮し、より少ない最終検証でより多くの処理を検証できるようにすることです。

この2つの方法は併用できます。

ロールアップネットワークが複数の証明者を使って証明を並列生成するのは、水平スケーリングの一例です。

その証明を再帰的に集約するのは、再帰的スケーリングです。

処理を分散しながら、最終決済をコンパクトに保てるため、この組み合わせは有効です。

水平スケーリングは、より多くの証明を生成するのに役立ちます。

再帰的スケーリングは、より多くの証明を効率的に検証するのに役立ちます。

多くのユーザーにサービスを提供するには、優れたブロックチェーンアーキテクチャで両方の手法が必要になる場合があります。

再帰的スケーリングとシャーディングの違い

シャーディングとは、ネットワークの処理やデータをシャードと呼ばれる複数の部分に分割するスケーリング手法です。

再帰的スケーリングは、主にブロックチェーンをシャードに分割する手法ではありません。

再帰的証明によって処理の検証を圧縮します。

ただし、再帰的スケーリングとシャーディングは相互に補完できます。

異なるシャード、ロールアップ、アプリケーションチェーンが、それぞれ独自の証明を生成できます。

その後、再帰的な集約によって証明をまとめ、効率的な決済や検証を実現できます。

つまり、再帰的スケーリングは、多数の実行環境と1つの最終検証レイヤーをつなぐ役割を果たせます。

実行、決済、コンセンサス、データ可用性を異なるレイヤーが担うモジュール型ブロックチェーンの設計で、特に有用です。

再帰的スケーリングとデータ可用性

再帰的スケーリングを導入しても、データ可用性は引き続き必要です。

証明で状態遷移の妥当性を示せても、ユーザーが残高の再構築、出金の検証、システムの独立した追跡を行うには、トランザクションデータへのアクセスが必要な場合があります。

Ethereumのデータ可用性に関するドキュメントでは、ロールアップはトランザクションをオフチェーンで処理し、圧縮したトランザクションデータをバッチ単位で投稿することでコストを抑えると説明されています。

妥当性とデータ可用性は、それぞれ異なる問題に対応するため、これは重要です。

妥当性証明は、計算がルールに従って行われたことを示します。

データ可用性は、状態の確認や再構築に必要な情報が公開されたことを示します。

再帰的証明によって検証コストを抑えられても、必要なデータが隠されていれば、ユーザーによる状態の復旧には役立ちません。

このため、再帰的スケーリングには適切なデータ可用性計画を組み合わせる必要があります。

データ可用性を考慮しないシステムは、理論上はスケーラブルでも、実際には安全でない可能性があります。

再帰的スケーリングとオンチェーン検証

オンチェーン検証とは、ブロックチェーンやスマートコントラクト内で直接証明を検証することです。

再帰的スケーリングでは、多数の証明を1つの最終証明に圧縮することで、オンチェーンでの検証作業を減らせます。

これにより、ガス代を抑え、ベースレイヤーが実行する計算量を減らせる可能性があります。

複数のアプリケーションが証明の集約パイプラインを共有しやすくなる場合もあります。

ただし、最終検証器は正確かつ効率的でなければなりません。

検証コントラクトにバグがあると、再帰的証明システム全体がリスクにさらされる可能性があります。

検証器のコストが高すぎると、スケーリングのメリットが小さくなる可能性があります。

安全策がないまま少数のグループが検証器をアップグレードできる場合、ユーザーはガバナンスや管理者キーに関するリスクに直面する可能性があります。

再帰的スケーリングは、証明の数学だけでなく、安全なスマートコントラクト設計にも依存します。

再帰的スケーリングと証明者ネットワーク

再帰的スケーリングでは、トランザクション、バッチ、プログラム、以前の証明に対する証明を生成する証明者が必要となることがよくあります。

証明者ネットワークには、中央集権型、許可型、パーミッションレス型、コミュニティ型の証明者や、専用ハードウェアのプロバイダーが含まれる場合があります。

再帰的な集約によって、異なる証明者が小さな証明タスクを担当できるため、証明者ネットワークの効率が高まる可能性があります。

その結果を後から統合し、より大きな証明を作成できます。

これにより、ボトルネックを減らし、処理能力を高められる可能性があります。

ただし、証明者の分散化が自動的に実現するわけではありません。

証明生成に高価なハードウェアや閉鎖的なインフラが必要であれば、参加できる主体が少数に限られる可能性があります。

主要な証明者が障害を起こしたり、検閲されたりすると、運用上のリスクが生じる可能性があります。

優れた再帰的スケーリングシステムでは、代替証明者、オープンな参加、監視、明確な復旧経路を検討する必要があります。

再帰的スケーリングのメリット

再帰的スケーリングの第1の大きなメリットは、処理能力の向上です。

より多くのトランザクションや計算を、より少数の最終証明で表せます。

第2のメリットは、検証コストの低減です。

ベースチェーンは、多数の個別証明ではなく、集約された1つの証明を検証できます。

第3のメリットは、並列化の改善です。

異なる証明者が作業の別々の部分を担当し、結果を後から統合できます。

第4のメリットは、ユーザーにとって検証が軽量になることです。

簡潔な証明システムを使うと、小さな証明で大規模な履歴や複雑なシステムを検証できる場合があります。

第5のメリットは、モジュール性の向上です。

ロールアップ、アプリケーションチェーン、zkVM、ブリッジ、証明サービスは、共有の証明集約を通じて連携できます。

第6のメリットは、信頼への依存のさらなる低減です。

ユーザーは、運営者が正しい結果を報告すると信頼するだけでなく、暗号学的な証明検証に基づいて確認できます。

再帰的スケーリングの限界

再帰的スケーリングは強力ですが、技術的に複雑です。

再帰的証明システムは、設計、実装、監査、保守が難しい場合があります。

回路は内部証明を正しく検証しなければなりません。

公開入力と出力を、証明レイヤー間で安全に接続する必要があります。

証明システムでは、安全な前提条件と信頼性の高い実装上の選択が求められます。

最終決済の前に複数の証明レイヤーを待つ必要がある場合、再帰的な証明生成によってレイテンシーが増加する可能性もあります。

証明の生成には、専用ハードウェアや最適化されたソフトウェアが必要となる場合があります。

データ可用性にも別途対応する必要があります。

再帰的証明を使っているという理由だけで、システムが安全だと想定すべきではありません。

コントラクト、証明者、シーケンサー、データレイヤー、ブリッジ、アップグレード管理を含むアーキテクチャ全体をレビューする必要があります。

再帰的スケーリングのセキュリティリスク

最大のセキュリティリスクは、誤った主張を証明してしまうことです。

再帰的証明が内部証明を検証しても、その内部証明を正しい公開状態に適切に結び付けていなければ、最終証明が誤解を招く可能性があります。

検証器のバグもリスクです。

検証器のバグは、それに依存するすべての証明に影響する可能性があります。

データ可用性が不十分であることもリスクです。

システムの状態を再構築するために必要なデータへユーザーがアクセスできなければ、有効な証明があっても役に立ちません。

証明者の中央集権化もリスクです。

証明を生成できる主体が1者しかいない場合、システムの稼働継続性がその主体に過度に依存する可能性があります。

安全でないアップグレード機能もリスクです。

検証器、ロールアップコントラクト、証明システムを簡単に変更できる場合、ユーザーが見えにくいガバナンスリスクに直面する可能性があります。

再帰的スケーリングは検証の負担を軽減しますが、慎重なセキュリティエンジニアリングの必要性をなくすものではありません。

再帰的スケーリングの主なユースケース

再帰的スケーリングは、最終決済の前に証明を集約するため、ZKロールアップで使われます。

チェーンの履歴が増えても検証を小規模に保つ、簡潔なブロックチェーンで使われます。

小さな証明セグメントを使って大規模なプログラム実行を証明するzkVMで使われます。

複数の証明者が大規模な証明処理の一部を生成する証明マーケットで使われます。

一方のチェーンが別のチェーンの状態を示すコンパクトな証拠を必要とするブリッジの設計で使われます。

機密データを明かさずに多数の非公開の操作を検証するプライバシーシステムで使われます。

また、IDシステム、ゲームシステム、オークション、コンプライアンス証明、検証可能なオフチェーン計算にも利用できます。

暗号資産インフラのモジュール化が進むにつれて、異なる多くのシステムが検証を圧縮する共通の方法を必要とするため、再帰的スケーリングの有用性は高まります。

開発者向けのベストプラクティス

開発者は、それぞれの再帰的証明が何を証明するのかを正確に定義してください。

公開入力、状態ルート、バッチデータ、証明の出力、検証器に関する前提条件を慎重に結び付けてください。

十分にレビューされた証明システムを利用し、深い専門知識がない限り、独自の暗号技術を避けてください。

無効な証明、不正な形式の入力、境界条件、破損した状態遷移をテストしてください。

システム設計では、証明の妥当性とデータ可用性を分けて扱ってください。

証明者の要件、検証コントラクト、アップグレード管理、信頼できるセットアップに関する前提、復旧手順を文書化してください。

証明生成時間、証明の失敗率、決済のレイテンシー、証明者の集中度を監視してください。

スマートコントラクトとゼロ知識証明システムの両方に詳しいチームから、独立した監査を受けてください。

何が信頼の前提となっているのかをユーザーが理解できるよう、セキュリティモデルを平易な言葉で説明してください。

ユーザー向けのベストプラクティス

再帰的スケーリングは効率を高める可能性がありますが、プロトコルをリスクフリーにするものではありません。

プロジェクトが証明システム、データ可用性モデル、検証コントラクト、出金手順を説明しているか確認してください。

監査、オープンソースコード、公開ドキュメント、明確なアップグレード方針を確認してください。

システムが1人の証明者、少数の証明者グループ、より広範な証明者ネットワークのいずれに依存しているかを理解してください。

高度なZK技術を使っていても、実際のリスクを説明していないプロジェクトには注意してください。

ストレスがかかる局面でも安全かつ利用可能な状態を保てなければ、低い手数料や高い処理能力の価値は限られることを理解してください。

再帰的スケーリングは強力な技術的ツールですが、ユーザーの安全性はプロトコル全体の設計に依存します。

FAQ

暗号資産における再帰的スケーリングとは何ですか？

再帰的スケーリングとは、再帰的証明を使って多数のトランザクション、計算、証明をより小さな最終証明に圧縮し、検証を容易にすることです。

再帰的スケーリングは再帰的ZK証明と同じですか？

いいえ。再帰的ZK証明は暗号学的なツールであり、再帰的スケーリングはそのツールを使う、より広範なブロックチェーンのスケーリング戦略です。

ZKロールアップで再帰的スケーリングが役立つのはなぜですか？

多数のバッチ証明を1つの最終証明に集約できるため、ZKロールアップの検証コストを抑え、処理能力を高められます。

再帰的スケーリングによってトランザクションは非公開になりますか？

自動的に非公開になるわけではありません。再帰的スケーリングはプライバシーシステムを支えられますが、証明システムとアプリケーションがプライバシーを確保するよう設計されていない限り、データを隠すものではありません。

再帰的スケーリングによってデータ可用性は不要になりますか？

いいえ。再帰的スケーリングは証明検証を効率化し、データ可用性は状態の再構築や検証に必要な情報へユーザーがアクセスできるようにします。

再帰的スケーリングによってブロックチェーンの手数料を抑えられますか？

検証コストや決済コストの削減に役立つ可能性がありますが、実際の手数料は需要、データ可用性コスト、証明者のコスト、プロトコル設計にも左右されます。

証明の集約とは何ですか？

証明の集約とは、効率的に検証するために、多数の証明をより少数の証明または1つの最終証明にまとめることです。

再帰的スケーリングはロールアップ以外でも使えますか？

はい。簡潔なブロックチェーン、zkVM、ブリッジ、証明マーケット、プライバシーシステム、IDシステム、検証可能な計算などで使えます。

再帰的スケーリングの主なリスクは何ですか？

複雑な証明システム、検証器、公開入力の接続、データ可用性設計に、バグや安全でない前提が含まれる可能性があることです。

モジュール型ブロックチェーンにとって再帰的スケーリングが重要なのはなぜですか？

さまざまな実行環境、ロールアップ、アプリケーションチェーン、証明システムが、それぞれの処理を効率的な最終検証レイヤーに圧縮するのに役立つためです。

まとめ

再帰的スケーリングとは、再帰的証明を使って検証をより効率化する、暗号資産分野のスケーリング戦略です。

多数のトランザクション、計算、証明を、コンパクトな最終証明で表せます。

そのため、ZKロールアップ、証明の集約、zkVM、簡潔なブロックチェーン、ライトクライアント、ブリッジ、モジュール型ブロックチェーンシステムにとって特に重要です。

主なメリットは、ブロックチェーンがあらゆる処理をオンチェーンで直接実行または検証せずに、より多くの作業を検証できることです。

これにより、処理能力の向上、検証コストの低減、並列証明生成、信頼への依存を抑えたインフラの強化につながる可能性があります。

再帰的スケーリングは、単にブロックを大きくしたり、サーバーを増やしたりすることとは異なります。

証明の階層を通じて正しさを圧縮することでスケールさせます。

ただし、再帰的スケーリングは、安全な回路、正確な検証器、信頼性の高いデータ可用性、健全なアップグレード管理、実用的な証明者インフラに依存します。

再帰的スケーリングは、あらゆる処理を個別に検証する代わりに、「証明の証明」を検証することで暗号資産システムを成長させる手法と捉えると理解しやすいでしょう。

ゼロ知識インフラの成熟が進むなか、再帰的スケーリングは、より高速で低コストかつ検証可能なブロックチェーンアプリケーションを実現する重要な道筋であり続けるでしょう。