Brevis：ブロックチェーン無限計算時代の幕開け

原文タイトル：Brevis：开启区块链无限计算时代

原文作者：律动BlockBeats

原文来源：

転載：火星财经

2025 年 11 月阿根廷 Devconnect 上、イーサリアム財団の研究者Justin Drakeは、異なるブロック検証プロセスをデモンストレーションしました。彼の検証ノードはzkLighthouseクライアントを使用し、BrevisのPico zkVMなどのプロトコルからのゼロ知識証明だけに依存して、ブロックの有効性判定を完了しました。これは、将来のイーサリアムのスケーリング方向性を示唆する可能性が高いです。これは一つの事実を証明しています：ブロックチェーンはすべての計算を繰り返す必要はなく、外部生成の証明を検証できれば良いのです。

Brevisとは何か：プロトコルとイーサリアムコアで使われている検証可能な計算層

Brevisの位置付けは、単なる特定のアプリケーションではなく、検証可能な計算層です。無限計算層（Infinite Compute Layer）として、複雑な計算をオフチェーンで実行し、ゼロ知識証明を通じて結果をオンチェーンに持ち帰り、スマートコントラクトが低コストで検証できる仕組みです。この事が重要なのは、イーサリアムのデフォルトのセキュリティモデルが本質的に全ネットワークの再計算に依存しているためです。新しいブロックを受け取った検証ノードは、しばしばブロック内の取引を再実行し、その結果が正しいことを確認します。正確性は保証されますが、その分計算能力とリソース消費は負荷に応じて増大します。Brevisは、この繰り返し行う重い計算を一度だけ行い、全ネットワークで検証し、オフチェーンで計算と証明を生成し、オンチェーンとノードは小さな証明だけを検証すれば良い仕組みに書き換えています。

多くのプライバシーやスケーリングに焦点を当てたzkアプリケーションと異なり、BrevisはWeb3業界の構造的な問題を実際に解決しています。オンチェーンの計算がますます複雑化・頻繁化する中で、システムは本当に各ノードが繰り返し実行し続ける必要があるのか？という問いに対し、Brevisのアプローチは計算をチェーン外に移し、zkVMで実行し証明を生成、オンチェーンのコントラクトは証明だけを検証することで、歴史データやクロスチェーンの状態、複雑なアルゴリズムの結果を信頼できる形で利用できるようにしつつ、追加の信頼仮定を導入しません。この目標を実現する過程で、ZK Data Coprocessor、Pico zkVM、ProverNetの三つの技術コアが構成されています。

スマートコントラクトの境界突破：ZK Data Coprocessorがもたらす超能力

Brevisの最初の技術的ブレークスルーは、ZK Data Coprocessorです。これにより、スマートコントラクトは任意のオンチェーンの歴史データをクエリし、オフチェーンで計算を行い、ゼロ知識証明を生成し、その計算結果を信頼できる入力としてコントラクトに提供できるようになりました。ZK Data Coprocessorは、オンチェーンの取引量やユーザー行動の履歴をクエリし計算し、ゼロ知識証明を生成してコントラクトの検証に供します。これにより、従来は現在のブロックしかアクセスできなかったコントラクトも、長期のデータやクロスチェーンの状態を利用できるようになったのです。

2023年にBrevisがCoprocessorのプロトタイプを作成し、その後2025年1月にv2をリリースしメインネットに展開しました。v2の重要な変化は、証明体制の具体的な名前にこだわらず、抽象的に三つのポイントにまとめられます：より高速（同じタスクをより少ないリソースと短時間で完了）、より汎用的（より多くのタイプのデータと計算ニーズに対応）、より使いやすく（複雑さを封じ込めて簡素化）。

2025年前のBrevisの技術路線は、実は一つの主線に沿って進んでいます。まず証明システムの性能の限界を把握し、その後、オフチェーンの計算とオンチェーンの検証を実用的なCoprocessorに仕立て、継続的にエンジニアリングとイテレーションを重ね、より体系的な運用形態を模索してきました。さらに、チームの本質的な底力を示しています。暗号学に精通し、大規模システムエンジニアリングも理解しており、理論だけに頼らず、業界の痛点を早期に把握し、技術の大規模採用に取り組んでいます。

証明能力がシステム層に入る：Pico zkVMとProverNet

2025年、Brevisは三本の柱のうち、もう二つも補完しました。一つは、より汎用的で実運用に向いた証明実行エンジンのPico zkVM、もう一つは、証明生成能力をオープンに供給するProverNetです。これにより、証明能力の市場化と、継続的・大規模な証明供給が可能になりました。

Pico zkVMは、Brevisの汎用証明エンジンと理解できます。ゼロ知識証明を専用回路や手作業の適応から、よりソフトウェアエンジニアリングに近い形態に進化させたもので、開発者は馴染みのある開発手法でロジックを書き、底層がそれを検証可能な証明結果に変換します。さらに重要なのは、Picoは最初から実ビジネスのスループットとコストを意識して設計されており、同じ基準下で比較すると、BrevisのPicoは主流のzkVMと比べて明らかに性能優位を示し、プラグイン可能なコンポーネントやコプロセッサを通じて特定の計算タイプをより効率的に行える点です。

2025年6月、BrevisはPico-GPUをリリースし、リアルタイム証明生成速度を重要な転換点に引き上げました。これは、プロトコルだけでなく、業界全体にとっても大きな進歩です。Pico-GPUは、証明生成のコアプロセスをGPU並列化し、公式発表によると、性能は10〜20倍向上し、従来の解決策と比べて飛躍的な進歩を遂げました。

10月にリリースされたPico Prismは、この方向性を非常に直感的なハードルに押し上げました。64枚の消費者向けGPU構成で、イーサリアムの45Mガスブロックの99.6%を12秒以内に証明、96.8%を10秒以内に証明し、平均証明時間は約6.9秒と、イーサリアム財団の目標にほぼ到達しています。リアルタイム証明生成速度は、初めてほぼ完璧にイーサリアムのブロック生成速度に追いつき、競合製品と比べて少ないリソースで実現しています。

こうした進展には、イーサリアムのコアコミュニティからも直接反応がありました。Vitalikはツイートで、Pico PrismのZK-EVM証明レースへの進出は、証明速度と多様性の重要な一歩だと述べています。Justin Drakeも以前のツイートで、リアルタイム証明の進展は非常に異例であると高く評価しています。ちなみに、今年5月にはSP1 Hypercubeが160枚のRTX 4090を使って、12秒以内に約94%のL1ブロックを証明する必要がありました。リアルタイム証明速度のこの飛躍的なリードは、BrevisのPico Prismを最も注目されるソリューションにしています。

汎用zkVMとリアルタイム証明技術の開発に成功した後、Brevisは証明供給の課題に取り組み始めました。2025年11月、BrevisはProverNetのビジョンを発表し、証明能力の市場化を推進。どんなアプリも証明タスクを提出でき、市場のオークションメカニズムを通じてproverノードとマッチングします。12月にローンチされたメインネットのベータ版は、実用的な製品形態に落とし込み、市場は継続的に運用され、証明リクエストは直接提出可能となり、proverも登録・入札を開始し、アプリは証明基盤のインフラを自前で構築する必要がなくなりました。

この三本の柱により、Brevisは証明能力をツールからインフラへと変革しています。スケーラブルな証明エンジンとオープンな証明供給ネットワークを備え、アプリは必要に応じて検証可能な計算を得ることができます。その意義はイーサリアムだけにとどまらず、このチェーン外計算・オンチェーン検証のパラダイムは、Web3全体に波及し、さらにはAIやゲームなど他の業界にも影響を与えるでしょう。

プロトコルは嘘をつかない：使ってこそ価値がある

Brevisの技術的価値は、最終的に実際のアプリケーションに現れます。これは宣伝用の概念ではなく、プロトコルの運用の中に組み込まれ、データの取得方法、指標の計算、報酬の配布、手数料の調整など、従来はできなかったり、中央集権的なスクリプトに頼るしかなかった事柄に、新たなプロトコル化の道筋を示しています。この過程で、Brevisは2.8億以上の証明を生成し、2.3億ドル超の報酬を分配し、安全に250億ドルのTVL増加を促進しています。

Brevisを理解する最も直感的な入り口は、最も馴染みのある取引から始めることです。Brevisは、データのプライバシーと真実性を確保しつつ、DEXにCEX並みの機能を持たせ、取引体験を向上させることが可能です。PancakeSwap Infinityはhooksを使い、手数料の階層化を可能にし、保有、取引量などの履歴行動が手数料に影響します。ただし、これらの判断は履歴データの集約に依存しており、オンチェーンでは高コスト、オフチェーンでは信頼問題が生じます。Brevisは、履歴行動をチェーン外で計算し、そのデータを証明で持ち帰ることで、差別化された手数料をコントラクトに書き込み、CEXのようなバックエンドスクリプトに書くのではなく、信頼性のある仕組みを実現しています。

PancakeSwapがCEXに近いパーソナライズ体験を提供しているのに対し、Usualはより長期的な成長メカニズムを示し、一時的なエアドロップから継続的なCPIへとインセンティブを変化させています。報酬や保有、インタラクションなどの行動を長期的に結びつけ、Brevisはこれらの指標を検証可能な入力に変換し、配分を自動化・監査可能にします。コミュニティが特定の運用表や中央集権的な配布者を信頼する必要はありません。Incentraを通じて報酬発行を標準化し、LPや借入、保有報酬を発行する際には、オフチェーンの指標計算とオンチェーンの証明による決済を行います。EulerのArbitrumでの活動は、その代表例です。報酬は手動の統計やマルチシグによる配布ではなく、ルールと証明に基づく継続的な配分です。

エコシステムレベルに拡大したシナリオでは、LineaのIgnition Programがその問題をより明確に示しています。難点はインセンティブの発行方法ではなく、どうやって発行するかです。Brevisは、大規模なインセンティブ計算をチェーン外で完結させ、その信頼性をオンチェーン検証に持ち込み、中心化された運用から再利用可能なシステム能力へと推進しています。同様にシステム寄りの例として、Uniswap v4のRouting Rebate Programもあります。ルーティングの有無、ガス消費の統計、返還額の計算は、すべてデータ・計算・決済のチェーンです。Brevisは、これらの計算と証明生成をオフチェーンで担い、返還システムはルールと検証に基づいて動作し、信頼できる統計や計算に頼ることなく運用されます。

これらの事例を総合的に見ると、Brevisのデータ取得、指標計算、証明生成は、分散性を損なうことなく、従来は中央集権的なバックエンドに頼っていたロジックをオンチェーンに戻すことを可能にし、暗号業界のプロトコルの設計空間も再び広がっています。

長期志向の技術を支えるのは誰か？

Brevisのコアチームは、トップクラスの大学出身の研究者と一線のシステムエンジニアから構成されており、特徴的です。証明システムやアルゴリズムの長期的な研究と、実運用環境への技術の落とし込み、性能・安定性・コストの面でスケール可能な標準に到達させることの両方を実現しています。さらに重要なのは、彼らは単なる技術者の実験室チームではなく、暗号業界の運営方法も理解している点です。プロトコルの実需要を理解し、エコシステムの協力のペースを把握し、資本やコミュニティの長期的な蓄積も持ち合わせており、エンジニアリングのロードマップを継続的なパートナーシップや開発者の推進力に変えています。

この点は、資本とコミュニティの長期的な支援からも明らかです。Brevisは2024年11月にシードラウンドの資金調達を完了し、PolychainやYzi Labsなどの一線の機関がリードしました。これにより、zkVMや証明ネットワーク、プロダクト化の推進に必要な資金を確保しています。同時に、2025年にはコミュニティも著しく拡大し、Proving Groundsやロールシステム、タスクメカニズムと連携し、開発者やユーザーの継続的な参加を促しています。Vitalikの公の評価や、イーサリアム財団のJustin Drakeの研究・議論への関心も、Brevisのインフラとしての継続的な拡大の外部的裏付けと信頼資本となっています。

イーサリアムからより広い世界へ

イーサリアムのスケーリングは長らく構造的なジレンマに直面してきました。すなわち、安全性と信頼性を確保するためにすべてのノードが繰り返し計算を行う必要があり、そのためスループットとコストが全ネットワークの再計算に制約されるのか、それとも計算を外部に委託して効率化を図るが、その代わりに信頼できる計算者を追加で信頼しなければならないのか、という問題です。Brevisは、その第三の道を提案します。複雑な計算をチェーン外で完結させ、その証明を用いて信頼性をオンチェーンで検証し、システムを繰り返し計算から結果の検証へと分業させるのです。その価値は、特定の製品にとどまらず、検証可能な計算の一連の流れをつなぐことにあります。

Brevisは、イーサリアムのスケーリング問題を解決する唯一の解ではありませんが、検証可能な計算層の重要性を示しています。計算と検証を切り離すことで、安全性と分散性を確保しつつ、オンチェーンの負荷を軽減します。さらに重要なのは、無限計算層の効果はイーサリアムだけにとどまらず、暗号業界全体に波及します。これにより、多くのオンチェーンアプリケーションが安全性を犠牲にせずに、Web2に近い複雑さと体験を得られるようになります。より広い伝統的な世界に目を向けると、事前計算と証明による検証可能な計算は、新たな協力の形態も提供します。複数の当事者が結果を共有したいが信頼を共有できない場合、証明は新たな共通言語となり得るのです。ProverNetのようなオープンな証明ネットワークが成熟するにつれ、Brevisが構築する仕組みは、単なる特定のチェーンの能力向上にとどまらず、エコシステムや業界を横断した信頼できる計算の供給へと進化していきます。