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 は三本の矢のうち残りの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 はL1ブロックの約94％を12秒で証明するために160枚のRTX 4090が必要でした。このようなリアルタイムプルーフの速度で急激なリードを築いたことで、BrevisのPico Prismは最も注目されるソリューションとなりました。

一般的なzkVMとリアルタイムプルーフ技術の開発に成功した後、Brevisはプルーフ供給の問題に取り組み始めました。2025年11月、BrevisはProverNetビジョンを発表し、プルーフ能力をマーケット化し、任意のアプリケーションがプルーフタスクを提出し、オークションメカニズムを使用してプルーバーノードにマッチングすることができるようにしました。12月にはメインネットベータがローンチされ、市場は引き続き稼働し、プルーフ要求は直接提出でき、プルーバーも登録して入札を開始し、アプリケーションはもはやプルーフインフラを自前で構築する必要がありません。

この3つの柱を通じて、Brevisはプルーフ能力をツールからインフラストラクチャに変え、スケーラブルなプルーフエンジンとオープンなプルーフ供給ネットワークの両方を持ち、アプリケーションが必要に応じて検証可能な計算を取得できるようにしました。その意義はイーサリアムにとどまらず、このようなオンチェーン計算とオンチェーン検証のパラダイムは、Web3全体、AIやゲームなどの他の業界にも波及するでしょう。

プロトコルは嘘をつかない：使用できることが重要

Brevisの技術的価値は最終的に実際のアプリケーションで示されます。それは宣伝資料に表示される概念ではなく、プロトコルの日常運用に組み込まれるものです。データの取り扱い、メトリクスの算出、報酬の配布、手数料の調整などは、従来、実現不可能であったか、中央集権化されたスクリプトによって無理やり実現されていたことですが、今日では、よりプロトコル志向の進路が現れつつあり、その過程でBrevisはユーザーに2億8000万以上のプルーフを生成し、2億3000万ドル以上の報酬を分配し、25億ドルのTVL成長を安全に推進しています。

Brevisの最も直感的な入り口は、ユーザーが最もよく知っている取引から入ることができます。Brevisは、データのプライバシーと実在性を確保しつつ、DEXにCEX並みの機能を提供することで、DEXユーザーの取引体験を向上させることができます。PancakeSwap Infinityは、フックを使用して手数料を段階的に設定することができ、所有通貨や取引量などの過去の行動がこの取引の手数料に影響を与えます。しかし、これらの判断は過去データの集約に依存する必要があり、オンチェーンに置くとコストがかかりすぎるし、オフチェーンに置くと信頼性の問題が生じます。Brevisが行っていることは、過去の行動をオフチェーンで明確に処理し、その後プルーフを使用してデータをオンチェーンに持ち込み、ディファレンシェイティドレートをスマートコントラクトに組み込むことです。CEXのようにバックエンドスクリプトに記述するのではなく、歴史的な行動をオフチェーンできちんと処理し、その違いをチェーンに戻すことで、異なる料金をスマートコントラクトに記載できるようにしています。

もし PancakeSwap がある種の CEX に似ているカスタマイズされた体験に対応しているとすれば、Usual が提示しているのはより長期的な成長メカニズムであり、インセンティブを一度きりのエアドロップから継続的なCPIに変えています。報酬は保有や取引などの行動と長期的に結び付けられ、Brevis はこれらの指標を検証可能な入力に変換し、配布を自動化し、監査可能にし、コミュニティが特定のオペレーションシートや中央集権的な配布者を信頼する必要がないようにしています。報酬の発行を標準化する能力を持つ Incentra を通じて、プロトコルはLP、レンディング、または保有報酬を発行することができます。中心となるのはオンチェーンによる証明に従ったオフチェーンの指標、およびオンチェーンでの決済です。Euler は Arbitrum での活動を代表しており、報酬は人為的な統計やマルチシグに依存せず、ルールと証明に基づいた継続的な配布です。

シナリオがエコシステムレベルに拡大すると、Linea の Ignition Program が問題をよりよく説明しています。難しいのはインセンティブを発行することではなく、どのように発行するかです。Brevis は大規模なインセンティブ計算をオンチェーンで完了し、信頼性をオンチェーンで検証し、インセンティブを中央集権的なオペレーションから再利用可能なシステム能力に押し上げています。システム志向なものには、Uniswap v4 のルーティングリベートプログラムも含まれます。ルートが発生するかどうか、ガス消費がどのように統計され、返金額がどのように計算されるかは、データ、計算、決済の連鎖です。Brevis はここでオフチェーン計算と証明生成を担当し、返金システムをルールと検証に基づいて構築し、ある特定の統計者を信頼するのではなく、信頼できるシステムを実装しています。

これらのケースを繋げて考えると、Brevis のデータ取得、指標計算、および証明生成は、プロトコルが分権化を犠牲にすることなく、従来は中央集権的なバックエンドに依存していた論理をオンチェーンに書き戻すことで、暗号資産業界全体のプロトコルが実行できることが増え、その設計空間が再び広がっています。

誰が長期主義の技術を支援していますか？

Brevis のコアチームは、一級の学術的背景を持つ研究者と一線のシステムエンジニアで構成される特徴的なチームです。彼らはプルーフシステムとアルゴリズムのレベルでの長期的な開発を行うだけでなく、複雑な技術を実際のプロダクション環境に組み込み、パフォーマンス、安定性、コストのすべてが展開可能な基準に達するまで何度も改善しています。さらに重要なのは、彼らが技術だけを知っている実験室のチームではないことです。彼らは暗号資産業界の運営方法にも精通しており、プロトコル提供側の実際のニーズやエコシステムの推進ペースを理解しており、資本とコミュニティのレベルでの長期的な蓄積を持っており、エンジニアリングのロードマップに基づき、持続的な展開を可能にするパートナーシップとデベロッパーエネルギーに変える能力を持っています。

この点は、Brevis に対する資本とコミュニティからの長期的な支援によって明らかです。Brevis は2024年11月にシードラウンドファイナンスを完了し、Polychain や Yzi Labs などの一線機関が主導し、zkVM、プルーフネットワーク、およびプロダクト化の展開を持続的に推進するための資金支援を受けました。同時に、Brevis のコミュニティは2025年に大幅に成長し、Proving Grounds、ロールシステム、タスクメカニズムを活用して開発者とユーザーを継続的に関与させています。また、Vitalik の公式な賞賛とイーサリアム財団の Justin Drake による実験と議論への関心も加えると、これらすべてが Brevis が基盤となるインフラストラクチャの拡大を継続する外部からの支援と信頼基盤を形成しています。

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

イーサリアムのスケーリングは長年、構造的なジレンマに阻まれてきました。すべてのノードに再計算を求めてセキュリティと信頼性を得るか、しかしスループットとコストは全体の再計算の制約を受けるか；あるいは計算を外部にアウトソーシングして効率を向上させるが、ある特定の計算者を信頼する必要があります。Brevis は第三の道を提供しようとしています——複雑な計算をオフチェーンで完了し、その後証明を使用して信頼性をチェーン上で検証し、システムを再計算から検証結果の分業モデルに進化させます。その価値は、単一の製品点にあるわけではなく、検証可能な計算の完全なセットを接続することにあります。

Brevis はイーサリアムのスケーリング問題を解決する唯一の解決策ではありませんが、それは検証可能な計算層の重要性を示しており、計算と検証を分離することで、セキュリティと分散化を守りながら、チェーン上の実行プレッシャーを解放しています。さらに重要なのは、無限計算層のメリットがイーサリアムだけでなく起こる可能性があることです。暗号業界全体にとって、これはより多くのオンチェーンアプリケーションがセキュリティを犠牲にすることなく、Web2 に近い複雑さと体験を得ることを意味します。そして、より広範囲な伝統的な世界において、先算後証の検証可能な計算は、複数の当事者が結果を共有する必要があり、しかし信頼を共有することができない場合に、証明が新たな共通言語となります。ProverNet のようなオープンプルーフネットワークが成熟すれば、Brevis が構築するものは、単なる特定チェーンの能力向上だけでなく、異なるエコシステムや業界で利用できる信頼できる計算の供給です。

BlockBeats の公式コミュニティに参加しよう：

Telegram 公式チャンネル：https://t.me/theblockbeats

Telegram 交流グループ：https://t.me/BlockBeats_App

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