Brevisは、Web3の古くからある問題—オンチェーンの計算コストが高すぎる—を面白いアプローチで解決しようとしています。

このプロジェクトは「Web3無限計算層」と位置付けられ、核心的なアイデアは非常にシンプルです：計算をチェーン外に移し、ゼロ知識証明を用いて結果をチェーンに検証させる。これによりコストを削減しつつ、安全性も犠牲にしない。

具体的に言えば、Brevisが解決しようとしている痛点は三つあります。第一に、オンチェーンで複雑なロジックを実行するにはGasを消費し、そのコストが非常に高いこと。第二に、スマートコントラクトが過去のデータやクロスチェーンのデータにアクセスするのは困難で、基本的にはオラクルや中央集権的なインデックスサービスに依存しており、これが信頼リスクを生むこと。第三に、既存のソリューションは柔軟性に欠け、データ駆動型のDeFiアプリケーションやクロスチェーン検証、検証可能なAIといった高度なシナリオをサポートしにくい点。

技術的に見ると、Brevisの基盤は二つのコアコンポーネントから成ります。一つはPico zkVM、これは汎用のゼロ知識仮想マシンで、「接着剤コプロセッサ」のアーキテクチャ設計を採用しています。これにより、一般的なワークフローで通常の計算を処理できる一方、特定のシナリオ向けに専用の高速回路を内蔵し、主流のプログラミング言語で開発可能です。特に面白いのは、彼らがPico-GPUをリリースしており、証明生成速度を10倍から20倍に高速化できる点です。これは、実運用環境でのスループットやコスト管理にとって非常に重要です。

もう一つはProverNet、これは分散型の証明者ネットワークです。このネットワークはTODAオークションメカニズムを用いて計算リクエストを配分し、スケール可能な証明計算能力を提供します。特にマルチチェーン環境や高並行性のニーズに適しています。

開発者にとっての使いやすさを考えると、Brevisはプログラム可能なSDKを設計しており、統合の流れは「データアクセス→チェーン外計算→チェーン上検証」の三ステップだけです。これにより、深い暗号学の知識がなくても、素早くZKの機能を自分のアプリに組み込めるようになっています。

このプロジェクト自体もいくつかの明確な優位性を示しています。技術面では、Pico zkVMのパフォーマンスは同類の主流製品より優れており、コンポーネントのプラグイン性によりさまざまなビジネスニーズに適応可能です。機能面では、開発者は安全に複数のチェーンの完全な履歴データにアクセスでき、複雑な計算やクロスチェーン検証もサポートします。これにより、以前は実現が難しかった多くのアプリケーションシナリオが解放されます。実装面では、簡素化された開発体験により、ZKアプリのコストとハードルが大幅に低減されます。

もしこのアプローチがスムーズに実現すれば、DeFi、クロスチェーンエコシステム、オンチェーンAI推論において多くの可能性をもたらすと考えられます。