オンチェーンでの信頼できる計算の本質的な課題は、「なぜその結果が信頼できるのか」をいかに確立するかです。暗号学的証明は最高レベルの決定性を提供しますが、証明の生成には専用ハードウェアやハッシュレートが必要となり、効率性が制約されコストも増加します。決定性とパフォーマンスの両立を図るため、Brevis (BREV)はProof-of-Stake(PoS)によるステーキングとスラッシングを用いたcoChain暗号経済的セキュリティモデルを導入し、チャレンジ可能なオプティミスティック結果に対して信頼できる代替ソースを提供します。
この設計において、BREVは支払い、担保、ガバナンス資産として機能します。これらの特性とcoChainの運用フローが組み合わさることで、Brevisの暗号経済的セキュリティの基盤が築かれます。
BREVはBrevisネットワークのネイティブユーティリティおよびガバナンストークンです。単なる取引手数料トークンにとどまらず、証明供給の質とネットワークセキュリティを直接結びつける経済的インストゥルメントです。
Brevisエコシステムでは、BREVが計算リクエスター、ゼロ知識証明を生成するプルーバー、coChainコンセンサスを維持するバリデーターの3つの主要参加者をつなぎます。リクエスターは証明のために支払いを行い、プルーバーとバリデーターはタスク遂行の担保としてBREVをロックし、不履行時にはスラッシングが適用されます。これにより、BREVの流通はネットワーク活動と密接に連動します。
BREVは、支払い、担保、ガバナンスという3つの主要な役割を果たします。これらの役割がBrevisの証明供給経済を支え、「正確な計算の生成と不正行為へのペナルティ付与」を実現します。
| 機能 | 役割 | 説明 |
|---|---|---|
| 証明手数料の支払い | リクエスター | オフチェーン計算や証明生成のためにBREVを使用 |
| プルーバーステーキング担保 | プルーバー | タスク受領のためにBREVを担保としてロック。不履行時にはスラッシング |
| プロトコルガバナンス | ホルダー | 重要なプロトコルパラメーターのガバナンス決定に参加 |
これら3つのユーティリティはクローズドループを形成します。リクエスターは証明手数料をBREVで支払い、プルーバーはタスク受領のためにBREVをステークし、サービスコミットメントを経済的に強制可能な約束に変換します。ホルダーはプロトコルパラメーターの調整に貢献し、ネットワークの安全な進化を可能にします。

図1. BREVトークンの3つの主要ユーティリティ:証明手数料の支払い、プルーバーステーキング担保、プロトコルガバナンス。
coChainはBrevisの暗号経済的セキュリティモデルであり、Ethereum上でのステーキングとスラッシングを備えたPoSブロックチェーンとして、低遅延・低コスト・信頼最小化の検証可能な計算経路を提供します。
coChainは、純粋なZKモデルの制約に対応するために開発されました。純粋なZK構成では、全ての結果にゼロ知識証明が必要となり、決定性は最大化されますが、特に複雑な処理やリアルタイムアプリケーションではハードウェアやハッシュレート、遅延コストが増大します。Pico zkVM汎用実行レイヤーがこの証明生成をサポートします。
coChainは「オプティミスティック提案+チャレンジ」方式を採用し、バリデーターが提出した結果はデフォルトで信頼され、チャレンジが発生した場合のみゼロ知識証明が要求されます。大半のケースで証明生成コストが不要となり、エラー訂正のための暗号学的セーフティネットも維持されます。このモデルはBrevisとオラクルの違いのように、外部データ伝送ではなくオンチェーン検証可能計算を重視し、coChainはステーキングとスラッシングによる信頼の基盤となります。
coChainモデルは、提案、チャレンジ、スラッシングの3段階で運用されます。このプロセスは、オフチェーン計算から始まり、最終的な裁定をEthereum上で実施し、スラッシュ可能な担保によって結果の信頼性を確保します。
BrevisはEigenLayerとの統合も予定しており、デベロッパーが提案段階でセキュリティレベルを動的に調整できるようになります。これにより、暗号経済的インセンティブとゼロ知識証明を組み合わせ、さまざまなユースケースに柔軟なセキュリティとコストのバランスを提供します。

図2. coChain暗号経済的セキュリティフロー:PoS計算結果→提案(集約クォーラム署名付き)→チャレンジウィンドウ→ZKチャレンジによるEthereum上でのスラッシング、または未チャレンジの場合はdAppによる結果採用。
pure-ZKとcoChainの主な違いは信頼メカニズムです。pure-ZKは暗号学的証明だけを根拠とし、coChainはステーキングとスラッシングによる暗号経済的インセンティブのレイヤーを加えます。両モデルは排他的ではなく、決定性やコストの異なる要件に対応します。
| 次元 | pure-ZK | coChain(OPモデル) |
|---|---|---|
| 信頼の根拠 | 暗号学的証明 | ステーキング、スラッシング、オプションのZKチャレンジ |
| 結果の遅延 | 証明待ち | チャレンジウィンドウ後に利用可能 |
| 計算コスト | 毎回証明が必要 | 未チャレンジ時は証明コストなし |
| セキュリティレベル | ZK証明で保証 | EigenLayerで動的に調整可能 |
| ユースケース | 最大決定性 | コスト・遅延重視のシナリオ |
要約すると、pure-ZKはシンプルで最大決定性を提供しますが、コストと遅延が高くなります。coChainはオプティミスティック提案により低遅延・低コストを実現し、セキュリティはチャレンジプロセスとステーキング規模に依存します。Brevis SDKを使うことで、デベロッパーはビジネスロジックを一度記述し、両モデルに展開できます。
BREVステーキングおよびスラッシングメカニズムは、プルーバーが証明を期限内に提供することを保証します。タスクを受けるには、プルーバーはまずBREVを担保としてロックし、納期遵守のコミットメントを経済的に強制可能な義務に変換します。
この仕組みは、Brevisの分散型ZK証明マーケットプレイスであるProverNetで実装されています。ProverNetはメインネットで稼働しており、証明タスクのオークション調整用に専用のBrevis Chainロールアップ上で運用されています。プルーバーはBREVをステークして証明タスクのオークションに参加します。
最大の制約は納期です。プルーバーが納期を守らなかった場合や、適格な証明を期限内に提出できなかった場合、ステークしたBREVはスラッシュされます。これにより、証明供給の信頼性が実際の担保と直結し、プルーバーは確実に遂行可能なタスクのみを受ける動機付けとなり、証明市場の品質が維持されます。
BREVの価値はネットワークユーティリティに根ざしています。証明経済の決済・担保・ガバナンス資産として、その需要はBrevisの検証可能計算の実利用に直接結び付きます。公式Brevisブログ(2025年)によれば、ネットワークは3億4,000万件超の証明を生成し、8以上のブロックチェーンで50以上のプロトコルをカバーする堅牢な運用基盤を持っています。
主な制約はメカニズム設計に内在します。coChainのセキュリティはアクティブなチャレンジャーと十分なバリデーターのステーキングに依存し、チャレンジャーが不在またはステーキングが少ない場合、オプティミスティック提案のエラー訂正能力は弱まります。チャレンジウィンドウの期間やスラッシングレシオなどの重要パラメーターはガバナンスによって設定され、その妥当性がセキュリティに直結します。
リスクとしては、BREVがBrevisエコシステム内での採用や証明需要に依存している点、ProverNetの供給がプルーバー参加に依存している点、スマートコントラクトやSDK統合の実装上の不具合の可能性などが挙げられます。これらは客観的なメカニズム上の制約であり、投資助言や価格予測ではありません。
BREVはBrevisネットワークのネイティブユーティリティおよびガバナンストークンとして、証明供給の質とネットワークセキュリティを、証明手数料の支払い・プルーバーステーキング担保・プロトコルガバナンスという3つの主要機能で結び付けます。coChainはEthereum側のステーキングとスラッシングを備えたPoSブロックチェーンで、「オプティミスティック提案+チャレンジ」経路を提供します。誤った提案はEthereum上でスラッシングされ、未チャレンジの結果は証明コストを回避します。両モデルはBrevis SDKで柔軟に展開でき、決定性と効率性を両立したセキュリティフレームワークを実現します。
BREVはBrevisネットワークのネイティブユーティリティおよびガバナンストークンであり、主に3つの用途があります。リクエスターは証明手数料の支払いにBREVを使用し、プルーバーはタスク受領のためにBREVをステーキング担保としてロックし、違反時にはスラッシングされます。ホルダーはプロトコルガバナンスに参加します。
pure-ZKは信頼の根拠を完全に暗号学的証明に依存し、全ての結果にゼロ知識証明が必要となるため、最大の決定性を提供しますが、コストと遅延が高くなります。coChainはステーキングとスラッシングによるゲーム理論的レイヤーを追加し、オプティミスティック提案とチャレンジメカニズムにより、未チャレンジ時のコストと遅延を削減します。
coChainはバリデーターにEthereum上でステーキングを要求し、計算結果をリクエストチェーンに提案として提出します。これによりチャレンジウィンドウが開始され、誰でも誤った提案に対してゼロ知識証明によるチャレンジを行うことができます。チャレンジが成功した場合、バリデーターのステークはEthereum上でスラッシュされ、不正行為を効果的に抑止します。
プルーバーはProverNetで証明タスクを獲得するためにBREVをステークします。プルーバーが納期を守らなかった場合や、適格なゼロ知識証明を期限内に提出できなかった場合、ステーキングしたBREVがスラッシュされ、分散型証明市場での信頼性ある提供が保証されます。





