著者：ブルーフォックスノート；出典：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はBrevisを使用してガスの返金を行います。これらはzK Data Coprocessorを通じて複雑な機能を実現しつつ、大量のコストを節約しています。
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取引履歴に基づいて信用スコアを算出し、個別の金利を提供します。さらに、高頻度シーン、例えばフラッシュローンでは、借入/投資/返済が一つのブロック内で完了し、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トークンを配布しています。
