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の3つの技術がBrevisの現在の主要な技術的基盤を構成しています。

スマートコントラクトの境界を越える：ZKデータコプロセッサがもたらす超能力

Brevisの最初の技術的ブレイクスルーはZKデータコプロセッサです。この技術により、スマートコントラクトは任意のチェーン上の履歴データを照会し、チェーン外で計算を実行し、その結果からゼロ知識証明を生成して、コントラクトに信頼できる入力として提供することが可能になります。ZKデータコプロセッサは、チェーン上の履歴取引量やユーザー行動を照会・計算し、コントラクトが検証可能なゼロ知識証明を生成できます。これにより、もともと現在のブロックのみにアクセスできるコントラクトが、長時間にわたるデータやクロスチェーンの状態を活用できるようになります。

Brevis は 2023 年に Coprocessor のプロトタイプを開発し、その後継続的に改良を重ね、2025 年 1 月に v2 をリリースし、メインネットワークをローンチしました。v2 の主な変更点は、証明方式の具体的な名称にとらわれることなく、以下の 3 つの抽象的なポイントにまとめられます。それは、「より速く」（同じタスクをより少ないリソースと短い時間で完了可能に）、「より汎用的」（より多くの種類のデータや計算ニーズをカバー可能に）、そして「より使いやすく」（プロセスを簡略化し、複雑さを内包化することで利用を容易に）という点です。

2025年までのBrevisの技術ロードマップを振り返ってみると、実際には1つのメインテーマがありました。まず、証明システムの性能の限界を明確にし、その後、オフチェーンでの計算とオンチェーンでの検証を実用可能なコプロセッサとして実現し、継続的なエンジニアリングのイテレーションを重ねます。その後、より体系的な運用形態の探求に進んでいきます。さらに貴重なのは、チームの本質的な強みが現れている点です。暗号理論と大規模システムエンジニアリングの両方に精通しており、紙の上での理論的検討に頼るのではなく、プロジェクト初期段階で業界の課題を明確に特定し、技術の大規模な実用化を目指しています。

証明能力がシステムレイヤーへと進化する：Pico zkVM と ProverNet

2025年、Brevisは「三本の柱」のうちの残りの2つを完成させました。1つ目は、より汎用的で、本番環境向けに設計された証明実行エンジン「Pico zkVM」、もう1つ目は、証明生成能力をオープンな供給として提供する「ProverNet」です。これにより、単なる証明可能性から、持続的かつ大規模な証明供給が可能となりました。

Pico zkVM は、Brevis の汎用証明エンジンと理解することができる。これはゼロ知識証明を専用回路や手作業での調整から、よりソフトウェア開発に近い形態へと進化させたものである。開発者は慣れ親しんだ開発方法で論理を記述し、それを基盤層が検証可能な証明結果に変換する。さらに重要なのは、Pico は最初からリアルな業務における処理能力とコストを念頭に設計されており、同一のベンチマーク条件下で Brevis が提示した比較によると、Pico は主要な zkVM と比較して顕著なパフォーマンス優位性を示す。また、プラグ可能なコンポーネントやコプロセッサの形で特定のタイプの計算をより効率的に行うことも可能である。

2025年6月、BrevisはPico-GPUをリリースし、リアルタイム証明生成の速度を業界全体にとって重要な転換点に押し上げました。これはプロトコルにとどまらず、整个業界にとっての画期的な進展です。Pico-GPU は、証明生成のコアプロセスを体系的にGPU並列処理に移行させ、公式に示された性能向上率は10〜20倍に達し、以前のソリューションと比べて質的な飛躍を遂げています。

10月にリリースされたPico Prismは、この方向性を非常に直感的なレベルまで押し進め、消費向けGPUを64台使用する構成で、イーサリアムの45M gasブロックにおいて、99.6%が12秒以内、96.8%が10秒以内に証明を完了し、平均証明時間は約6.9秒となり、イーサリアム財団が掲げる目標にほぼ近づけることに成功しました。リアルタイムでの証明生成速度が、初めてほぼ完全にイーサリアムのブロック生成速度に追いつき、競合製品と比べて少ないリソースで実現しています。

このような進展はイーサリアムコアコミュニティからも直接的な反応を呼んでいます。Vitalik はツイートで直接言及し、Pico Prism がZK-EVM証明分野に参入したことは、証明速度と多様性において重要なステップであると述べました。Justin Drake は以前のツイートで、Pico Prism のリアルタイム証明の進展は非常に画期的であると明確に評価しています。今年5月時点では、SP1 Hypercube は約12秒でL1ブロックの約94％を証明するために160台のRTX 4090が必要でした。このようにリアルタイム証明速度において断崖式の進展を遂げたことで、BrevisのPico Prism は最も注目されているソリューションとなっています。

汎用型zkVMとリアルタイム証明技術の開発に成功した後、Brevisは次に証明供給の問題に取り組み始めました。2025年11月、Brevisは証明能力を市場化し、あらゆるアプリケーションが証明タスクを提出し、オークションメカニズムを通じて市場でプロヴァー（証明者）ノードとマッチングできるProverNetのビジョンを発表しました。12月にローンチされたメインネットBeta版によって、このビジョンは実際に利用可能な製品形態として実現され、市場は継続的に運用され、証明リクエストを直接送信することが可能となり、プロヴァーは登録して入札や受注を開始できます。これにより、アプリケーションは証明インフラを自前で構築する必要がなくなりました。

Brevis は「三本の柱」を通じて、証明能力を単なるツールからインフラに昇華させました。それは、スケーラブルな証明エンジンと、オープンな証明供給ネットワークを備え、アプリケーションがニーズに応じて検証可能な計算を獲得できるようにします。その意義はイーサリアムだけにとどまりません。この「オフチェーンでの計算、オンチェーンでの検証」のパラダイムは、Web3 全体に広がり、AI やゲームなどの業界にも波及していくでしょう。

プロトコルは嘘をつきません。実際に使ってみるまでです。

Brevis の技術的価値は最終的に現実の応用に現れています。これは、宣伝資料に掲載されるだけの概念ではなく、プロトコルの日常的な運用の中に組み込まれています。データの取得方法、指標の計算方法、報酬の配布方法、手数料率の調整方法——これらはかつては実現不可能だったか、あるいは中央集権的なスクリプトで無理やり対応せざるを得なかったものです。しかし今や、よりプロトコルに沿った新たなアプローチが現れ始めています。この過程で、Brevis はユーザーに対して既に2億8,000万件以上の証明を生成し、2億3,000万ドル以上の報酬を配布し、安全に25億ドルのTVL（総流動性）の成長を支えてきました。

Brevis の最も直感的な入り口は、ユーザーが最も慣れ親しんでいる「トレード」から始まります。Brevis は、データプライバシーや真実性を確保したまま、DEX に CEX と同等の機能を持たせ、DEX ユーザーのトレード体験を改善します。PancakeSwap Infinity は hooks を通じて、トランザクション手数料の階層化を実現しています。所持トークンや取引履歴などの過去の行動が、その取引の手数料に影響を与えるのです。しかし、こうした判断には履歴データの集約が必要であり、チェーン上に保存するとコストが高くなり、チェーン外に保存すると信頼性の問題が生じます。Brevis が行っているのは、過去の行動をチェーン外で正確に計算し、証明によってそのデータをチェーン上に戻すことで、差別化された手数料をスマートコントラクトに組み込むことが可能になります。これは、CEX がバックエンドスクリプトに手数料を設定するのとは異なります。

PancakeSwap は、よりCEX（中央集権型取引所）に近い個別体験を提供するものであるのに対し、Usual はより長期的な成長メカニズムを示しています。これは、一時的なエ因空投から継続的なCPI（継続的報酬インセンティブ）へとインセンティブを変化させます。報酬は、保有やインタラクションなどの行動と長期的に結びつけられ、Brevis によりこれらの指標が検証可能な入力となり、報酬の配分を自動化・監査可能にします。コミュニティが特定の運用表や中央集権的な配布者を信じる必要がなくなるのです。Incentra を通じて報酬の発行を標準化された能力として実現することで、プロトコルがLP報酬、貸付報酬、または保有報酬を発行する際、指標の計算はオフチェーンで行われ、証明に従ってオンチェーンで決済されます。Arbitrum 上の Euler の活動がその代表例です。この活動では、報酬は人為的な統計処理やマルチシグによる配布に依存せず、ルールと証明によって支えられた継続的な配分が行われます。

シーンがエコシステムレベルに拡大すると、Lineaのイグニッションプログラムがより明確にその価値を発揮します。ここでの課題はインセンティブを発行することではなく、どのようにして発行するかという点です。Brevisは大規模なインセンティブ計算をオフチェーンで行い、信頼性をチェーン上での検証に戻すことで、インセンティブを中央集権的な運用作業から、再利用可能なシステム能力へと進化させます。同様にシステム志向なのがUniswap v4のルーティング報酬プログラムです。ルーティングが発生したかどうか、ガス消費の統計、返還額の計算など、これらはすべてデーター計算ー決済の連鎖です。Brevisはここではオフチェーンでの計算と証明生成を担い、報酬システムをルール＋検証に基づくものにし、特定の統計提供者への信頼に頼らないものにしています。

これらのケースをつなぎ合わせてみると、Brevis によるデータの取得、指標の計算、および証明の生成により、プロトコルは分散性を犠牲にすることなく、本来は中央集権的なバックエンドでのみ実現可能だったロジックをチェーン上に書き戻すことが可能になります。これにより、暗号資産業界全体のプロトコルが実行できる機能が増加し、設計の可能性も再び広がるのです。

長期主義技術を支持しているのは誰ですか？

Brevisのコアチームは、トップクラスの大学を背景とする研究者と、現場のシステムエンジニアから構成されており、非常に明確な特徴を持っています。長期的な証明システムやアルゴリズムレベルの研究開発に取り組む一方で、複雑な技術を現実の生産環境に投入し、性能、安定性、コストのすべてがスケーラブルな展開基準に達するまで丁寧に調整してきました。さらに重要なのは、彼らが単に技術に精通したラボチームではなく、暗号資産業界の運営方法にも精通している点です。プロトコル側の真のニーズを理解し、エコシステムの協力関係を推進するペースを把握しており、資本とコミュニティの面で長年の蓄積を持っています。これにより、エンジニアリングのルートを継続的な実装パートナーシップや開発者コミュニティの動力に変換する能力があります。

これは、資本とコミュニティがBrevisに対して長期的に支持を寄せていることからも明らかです。Brevisは2024年11月に種子ラウンドの資金調達を完了し、PolychainやYzi Labsなどの一流機関が主導しました。これにより、zkVMや証明ネットワーク、製品化の実現に向けて継続的な資金支援が得られました。一方で、Brevisのコミュニティは2025年に顕著な成長を遂げ、Proving Grounds、ロールシステム、タスクメカニズムを通じて、開発者やユーザーの継続的な参加を促進しています。さらに、Vitalikの公的な称賛と、イーサリアム財団のJustin Drakeが関連する進展に実験や議論を通じて注目していることと相まって、Brevisがインフラとして更に拡大を遂げるための外部的な保証と信頼資本を築いています。

イーサリアムから広がる世界へ

イーサリアムのスケーラビリティは長期的に構造的なジレンマに直面しています。すべてのノードが再計算を繰り返すことでセキュリティとトラストレスを確保するか、それによってトランザクションの処理能力とコストがネットワーク全体の再計算に制約されるか、あるいは計算を外部委託して効率を高めると、計算を実行する側に追加の信頼を求める必要があるというジレンマです。Brevis は、このジレンマを突破する第三の道を模索しています。それは、複雑な計算をチェーン外で実行し、その結果を証明によってチェーン上に戻して信頼性を検証する仕組みです。これにより、システムは単純な再計算から、結果の検証という役割分担型のモデルへと進化します。Brevis の価値は、特定の製品の機能にではなく、一連の「検証可能な計算」を実現するためのプロセス全体を構築することにあるのです。

Brevis はイーサリアムのスケーラビリティ問題を解決する唯一の手段ではありませんが、検証可能な計算層の重要性を示しています。このアプローチは計算と検証を分離し、セキュリティと分散性を維持しながら、チェーン上での実行にかかる負荷を軽減します。さらに重要なのは、無限の計算層の効果はイーサリアムに限らず、幅広く適用可能だということです。暗号資産業界全体にとっては、セキュリティを犠牲にすることなく、Web2に近い複雑さと体験を備えたより多くのチェーン上アプリケーションが実現可能になります。また、広範な伝統的な世界においても、先に計算して後に検証する検証可能な計算は、新たな協働の方法を提供します。複数の当事者が結果を共有する必要があるが、信頼を共有できないような場面において、証明は新たな共通言語となるのです。ProverNetのようなオープンな証明ネットワークが成熟するにつれて、Brevisが構築するものは単なるある1つのチェーンの能力向上にとどまらず、エコシステムや業界を越えて呼び出せる信頼できる計算供給基盤となるでしょう。

クリックして律動BlockBeatsの採用情報を確認してください。

律動BlockBeats公式コミュニティへようこそ：

テレグラム購読グループ：https://t.me/theblockbeats

Telegram チャットルーム：https://t.me/BlockBeats_App

Twitter 公式アカウント：https://twitter.com/BlockBeatsAsia