Brevisの「オフチェーン計算オンチェーン検証」モデルはどのように異なりますか？

著者：ブルーフォックスノート；出典：X，@lanhubiji

VitalikがBrevisに言及しているのを見て、L1の拡張を非常に重視しているようです。イーサリアムのロードマップには、「オフチェーン計算、オンチェーン検証」という概念があります。Eigenlayer、Succinct、Zksyncも似たような考え方を持っており、業界には合意があります。L1を真に分散化して拡張するためには、オフチェーンの利点を活用することが重要です。Brevisもこのモデルを採用していますが、Brevisは何が違うのでしょうか？

「オフチェーン計算、オンチェーン検証」モデルを簡単に理解するにはどうすればよいでしょうか？より多くの一般ユーザーに理解してもらうために、簡略化した比喩を用いることができます。「オフチェーン計算、オンチェーン検証」は、オフチェーンの事実（計算結果やデータ）を「濃縮」して簡潔な証明または要約にし、それをオンチェーンで検証することと考えられます。ある程度、その考え方はL2ロールアップと抽象的なレベルで似ています。L2ロールアップは複数のトランザクションをパッケージ化して一括でL1に提出し、検証と実行を行います。具体的なメカニズムは異なりますが、これはBrevisのZkVM設計哲学「濃縮と検証」を理解するのに役立ちます。数学を用いて、大量のオフチェーン計算作業を小さな情報の塊に圧縮し、高価でスループットの低いオンチェーンで効率的に処理を行い、ブロックチェーンのスケーラビリティの課題を解決します。

Brevisのコアメカニズムは、オフチェーンで効率的な計算を行い、ZK証明を生成し、その後、オンチェーンで迅速かつ低コストで検証を完了することであり、全体の複雑な計算を再実行する必要はありません。これは新しいことではありませんが、Brevisの違いは次のとおりです：

汎用性と専用最適化の組み合わせ

Brevisのテクノロジースタックはモジュール設計であり、その中でPico zkVMは汎用検証可能計算エンジンで、任意の計算のZK証明生成をサポートしています。開発者はRustでコードを記述し、ZKの専門知識は不要で、プラットフォームは証明生成を自動的に処理し、開発者が複雑な暗号アプリケーションを構築する際のハードルを下げます（技術がZKの複雑さを抽象化し、開発者が通常のコードを書くようにアプリケーションを構築できるようにします）。そのモジュール化アーキテクチャは特定の協処理装置の追加をサポートし、汎用決済に加えて、特定のシナリオにおける複雑な計算を最適化し、よりターゲットを絞った向上を実現します。

それには内蔵プロトコルプロセッサがあり、ZK Data Coprocessorと呼ばれ、ブロックチェーンの履歴データ分析に特化して設計されており、スマートコントラクトの「記憶喪失」問題（履歴データに安価にアクセスできない）を解決できます。それは

オフチェーンでデータを検索および分析し、結果と証明を提供し、データの存在と計算の正確性を保証します。例えば、pancakeswapはユーザーの取引量に基づいて手数料割引を実現するためにBrevisフックを使用できます。uniswapはgasの返金にBrevisを使用します。彼らはzK Data Coprocessorを通じて複雑な機能を実現しながら、大量のコストを節約しました。

イーサリアムL1に「アクセラレーター」を提供

Pico PrismはBrevisの重要な技術の一つであり、マルチサーバーGPUクラスターにおいて突破を果たし、Ethereum L1の「リアルタイム証明」をサポートしています。この「リアルタイム証明」は、Ethereum L1の各ブロック（1ページの取引記録）が数秒内に暗号学的に「スタンプ」され、正確性が確認されることを意味しており、皆が再計算して信頼性を検証する必要がありません。

現在のEthereum財団のリアルタイム証明フレームワークのベンチマークに基づいて、45Mガス制限の現在のL1ブロックに対して、99.6%のカバレッジ率（<12秒の証明）、96.8%のリアルタイムカバレッジ率（<10秒）；平均証明時間は36Mガスブロックで6.04秒、45Mガスブロックで6.9秒；ハードウェアは64個のRTX 5090 GPU、コストは128Kドル。

上記のデータは非常に専門的に見えますが、一般のユーザーにとっては、これらのデータは無関心かもしれません。

簡単に理解するために、Pico PrismはEthereum L1にアクセラレーターを装備したと考えることができます。以前はEthereumが各ブロックを処理するためにすべてのノードが再計算する必要がありましたが、Pico Prismのような技術によって、“濃縮”（迅速に証明を生成し、超圧縮された要約を作成する）を通じて、ネットワークは数秒で検証でき、各ノードが再計算する必要がなくなります。つまり、これはEthereum L1がより速く、安価で効率的になることを意味し、より複雑な実装を処理することができ、分散化と安全性を犠牲にすることなく実現できます。もし以前のEthereumが古い自転車に似ているとすれば、BrevisのPico Prism技術によってEthereumは自動車にアップグレードされたと言えます。

この加速の効果は、リアルタイムのAI駆動のDeFi貸付、チェーン上のゲーム、匿名投票など、より多くのシーンを解放することができます。

DeFiシーン：以前のEthereum L1上のスマートコントラクトは、残高を確認してお金を借りることしかできず、ユーザーの過去の取引データに基づいてユーザーの安定性を分析することはできませんでした（膨大な過去のデータ分析は実現不可能でした）。このアクセラレーターがあれば、L1はリアルタイムで膨大な過去データを分析でき（数秒の証明）、"AI貸出ロボット"を構築することができます。契約はユーザーのDeFi取引履歴に基づいて信用スコアを導き出し、個別の金利を提示します。さらに、フラッシュローンなどのハイフリークエンシーシーンでは、お金を借りる/投資する/返済することが1つのブロック内で完了し、AIがリアルタイムでパスを最適化して"スリッページ"損失を回避します。分散型のRobinhoodに似ています。また、高頻度オークションも可能で、1分間に数百から数千回の入札を完了できます。

ブロックチェーンゲーム：以前、L1はマルチプレイヤーゲーム（例えば、ブロックチェーン上のAxie Infinity）を構築したいと考えていましたが、ブロック確認は12秒ごとで、プレイヤーはラグが発生し、手数料が急上昇しました。Pico Prismを通じて「リアルタイムシミュレーション」ゲームをサポートし、オフチェーンサーバーでダメージなどの数値を計算し、各ターンでZK証明を使用してL1に決済し、「リアルタイム」ゲームをシミュレートし、より良いゲーム体験を実現します。

匿名チェーン上の投票シナリオ：現在、L1投票は透明であり、追跡や操作が容易で、複雑な統計コストが高く、速度も遅い。Pico Prismを通じて「ゼロ知識プライバシー計算」を実現し、L1上で高頻度プライバシーアプリケーションを実行することで、DAOガバナンスの高頻度匿名投票を実現し、リアルタイムで結果を出すことができます。

上記のシーンは、イーサリアムにとって何を意味するのか、より多くのDeFiやその他のアプリケーションシーンを解放し、より多くの資産をL1に集積し、より多くの取引と流動性をもたらし、より大きな活性化を促します。

未来にどのようなシナリオが生まれるかは、具体的な実践を通じて検証する必要があります。

段階的に実施する

公開資料によると、Brevisは段階的に展開されており、1.475億件のZK証明が生成されました。独立ユーザーは19万人を超え、5つのブロックチェーンをサポートしています。主要なパートナーは20社以上（MetamaskやLineaなど）で、現在稼働中のアプリケーションに統合されています。例えば、Brevis技術を通じて、Incentra Platformは年次報酬を配布し、PancakeSwapは取引量などのデータに基づいて割引を実施しています。Lineaはユーザーの貢献に基づいて10億LINEAトークンを配布しています。