jakiro
著者: ブルーフォックスノート;出典: X、@lanhubiji
ヴィタリクがブレヴィスについて言及しているところを見ると、L1展開を重視しているようだ。イーサリアムのロードマップには、「オフチェーンコンピューティングとオンチェーン検証」モデルという概念があります。Eigenlayer、Succinct、Zksync も同様の考えを持っており、L1 拡張を真に分散化したい場合はオフチェーンの利点を活用できるという業界のコンセンサスがあることを示しています。ブレビスはこのモデルしか使ったことがないのですが、ブレビスはどう違うのでしょうか？
まず、「オフチェーン計算とオンチェーン検証」モデルとは何なのかを簡単に理解しましょう。より一般的なユーザーが理解できるように、簡略化した比喩を使用できます。 「オフチェーンの計算とオンチェーンの検証」は、オフチェーンの事実（計算結果またはデータ）を簡潔な証明または要約に「凝縮」し、それをチェーン上で検証することとみなすことができます。ある程度、その考え方は抽象レベルでは L2 ロールアップに似ています。 L2 ロールアップは、複数のトランザクションを 1 つのバッチにパッケージ化して圧縮し、検証と実行のために L1 に送信します。具体的なメカニズムは異なりますが、「凝縮と検証」という Brevis の ZkVM 設計哲学を理解するのに役立ちます。数学を通じて、大量のオフチェーン コンピューティング作業が小さな情報に圧縮され、高価で低スループットのチェーンでの効率的な処理が可能になり、それによってブロックチェーンのスケーラビリティの問題が解決されます。
Brevis の中核となるメカニズムは、オフチェーンで効率的な計算を実行し、ZK 証明を生成し、複雑な計算全体を再実行することなく、オンチェーンで迅速かつ低コストで検証を完了することです。これは新しいことではありません。Brevis との違いは次のとおりです。
汎用最適化と特殊な最適化の組み合わせ
Brevis のテクノロジー スタックはモジュラー設計であり、Pico zkVM がユニバーサル検証可能な計算エンジンであり、あらゆる計算の ZK プルーフ生成をサポートします。開発者は、ZK の専門知識がなくても Rust でコードを作成できます。このプラットフォームは証明の生成を自動的に処理し、開発者が複雑な暗号化アプリケーションを構築する敷居を下げます (このテクノロジーにより、ZK の複雑さが抽象化され、開発者は通常のコードを書くのと同じようにアプリケーションを構築できます)。そのモジュール式アーキテクチャは、特定のコプロセッサの追加をサポートします。一般的な決済に加えて、特定のシナリオでの複雑な計算を最適化して、より的を絞った改善を達成することもできます。
ZK Data Coprocessorと呼ばれるプロトコルプロセッサが組み込まれており、ブロックチェーン履歴データ分析用に設計されており、スマートコントラクトの「記憶喪失」問題（履歴データに安価にアクセスできない）を解決できます。それは入っています
オフチェーンでデータを取得して分析し、結果と証明を提供し、データの存在と計算精度を保証します。たとえば、pancakeswap は Brevis フックを使用して、ユーザーのトランザクション量に基づいて手数料の割引を実現できます。 uniswap はガスの払い戻しに Brevis を使用します。zK Data Coprocessor を通じて複雑な機能を実現しながら、コストを大幅に節約します。
イーサリアムL1に「アクセラレータ」を提供
Pico Prism はブレビスのキーテクノロジーの 1 つです。マルチサーバー GPU クラスターで画期的な進歩を遂げ、イーサリアム L1 の「リアルタイム証明」をサポートします。この「リアルタイム証明」は、イーサリアム L1 の各ブロック (トランザクション記録の 1 ページ) として理解でき、数秒以内にその正確性を確認するために暗号的に「スタンプ」することができます。信頼できるかどうかを確認するために再計算する必要はありません。
現在のイーサリアム財団のリアルタイム証明フレームワークのベンチマークによると、45M ガス制限のある現在の L1 ブロックでは、99.6% のカバレッジ (<12 秒の証明) と 96.8% のリアルタイム カバレッジ (<10 秒) が達成されています。平均プルーフ時間は、36M ガスブロックで 6.04 秒、45M ガスブロックで 6.9 秒です。ハードウェアは 64 個の RTX 5090 GPU で、価格は 128,000 ドルです。
上記のデータは非常に専門的に見えますが、一般のユーザーにとっては、これらのデータは関係ない可能性があります。
理解しやすいように、このアナロジーは、イーサリアム L1 用のアクセラレータをインストールする Pico Prism として単純化できます。以前は、イーサリアムは各ブロックを処理するときにすべてのノードが各ブロックを再計算する必要がありました。 Pico Prism などのテクノロジーを通じて、「圧縮」（証明、超圧縮された要約を迅速に生成）できることを意味し、各ノードで計算を繰り返す必要がなく、ネットワークがわずか数秒で検証できるようになります。言い換えれば、これは、イーサリアム L1 がより高速、より安価、より効率的になり、分散化とセキュリティを犠牲にすることなくより複雑な実装を処理できることを意味します。以前のイーサリアムが昔ながらの自転車に似ていたとしたら、ブレビスのピコプリズム技術により、イーサリアムは車にアップグレードされました。
この加速効果により、リアルタイムの AI 主導の DeFi レンディング、オンチェーン ゲーム、匿名投票など、より多くのシナリオが可能になります。
DeFiシナリオ：イーサリアムL1上の以前のスマートコントラクトは、残高に基づいてお金を借りることしかできず、ユーザーの過去の取引データに基づいてユーザーの安定性を分析することはできませんでした（大量の過去のデータ分析ができなかったため）。このアクセラレータを使用すると、L1 で大量の履歴データをリアルタイム (数秒の証明) で分析できるようになり、「AI 融資ロボット」を構築できます。この契約では、ユーザーの DeFi 取引履歴に基づいて信用スコアが計算され、パーソナライズされた金利が与えられます。さらに、フラッシュ ローンなどの高頻度シナリオでは、お金の借り入れ/投資/返済がすべて 1 つのブロックで完了し、AI がリアルタイムで経路を最適化して「スリッページ」損失を回避します。分散型ロビンフッドに似ています。1 分間に数百、数千の入札が完了する高頻度のオークションも行われる場合があります。
オンチェーン ゲーム: 以前、L1 はマルチプレイヤー ゲーム (チェーン上の Axie Infinity など) を構築したいと考えていましたが、ブロックの確認に 12 秒かかり、プレイヤーはスタックし、料金は高騰しました。 Pico Prism は「シミュレートされたリアルタイム」ゲームをサポートしており、オフチェーンサーバーがダメージやその他の値を計算し、ZK プルーフを使用して各ラウンドで L1 に決済することで「リアルタイム」ゲームをシミュレートし、より良いゲーム体験を実現します。
匿名のオンチェーン投票シナリオ: 現在、L1 投票は透過的で、追跡や操作が簡単ですが、複雑な統計はコストがかかり、時間がかかります。「ゼロ知識プライバシー コンピューティング」を実現する Pico Prism を通じて、L1 は高頻度のプライバシー アプリケーションを実行できます。これにより、DAO ガバナンスで高頻度の匿名投票を実現し、リアルタイムで結果を生成できます。
上記のシナリオがイーサリアムにとって意味することは、より多くの DeFi やその他のアプリケーション シナリオのロックを解除し、より多くの資産を L1 にもたらし、より多くのトランザクションと流動性をもたらし、より大きなアクティビティをもたらすことができるということです。
将来的にどのようなシナリオを実行できるかについては、具体的な実践でテストする必要があります。
段階的に実装
公開情報によると、Brevis は段階的に展開されており、1 億 4,750 万の ZK 証明書が生成されています。 190,000 人を超える独立ユーザー。 5つのブロックチェーンをサポート。 Incentra Platform は 20 社を超える主要パートナー (Metamask、Linea など) と提携しており、現在、Brevis テクノロジーなどを通じて、すでに実行されているアプリケーションに統合されており、年間特典を発行しています。 PancakeSwap は、取引量やその他のデータに基づいて割引を実装します。 Lineaはユーザーの寄付トークンなどに基づいて10億LINEAを配布します。
