現在、業界の核心的な課題の一つは、その固有の計算能力の制限です。分散化と安全性を保証するために、すべてのネットワークノードは同じ計算を繰り返し実行する必要があり、これが高コストで低効率につながっています。

—————————————————————————

この矛盾を解決するために、@brevis_zk は自らを無限計算層として位置づけ、"オフチェーン計算、オンチェーン検証"の検証可能な計算方法を通じて計算能力を提供し、同時にその信頼不要の安全性を維持することを目指しています。

Brevisのコアは「検証可能な計算」であり、計算プロセスと検証プロセスを分離します。重い計算タスクはチェーン外で実行され、簡潔なZK証明を生成し、チェーン上のスマートコントラクトは非常に低コストでその証明の正しさを検証するだけで、全体の計算プロセスを繰り返す必要はありません。

実装の過程で、Brevisは主に独自のハイブリッドアーキテクチャを採用しており、Pico zkVMとzkCoprocessorの2つのコアモジュールが含まれています。

Pico zkVM（汎用ゼロ知識バーチャルマシン）

汎用的な計算エンジンで、任意のプログラムの実行過程に対してZK証明を生成できます。開発者は暗号学に詳しくなくても、ZKアプリケーションの環境を構築できます。Pico zkVMは高度にモジュール化された設計を採用しており、特定のタスクを加速するために外部コプロセッサを接続することができます。

zkCoprocessor(ZKデータコプロセッサ)

ブロックチェーンデータシーン用に特化したコプロセッサ。スマートコントラクト自体は、履歴の状態に直接アクセスしたり計算したりすることはできません。zkCoprocessorは、オフチェーンで履歴データ（ユーザーの取引、残高、ポジションなど）を読み取り、集約し、これらのデータの真実性を証明するための証明を生成します。

「汎用zkVM + 専用コプロセッサ」のアーキテクチャは、柔軟性と高性能を組み合わせることで、@brevis_zk がDeFiデータ分析から複雑なアルゴリズム検証までのさまざまなタスクを効率的に処理できるようにします。

Pico zkVMの性能が向上し続け、zkCoprocessorの適用シーンが拡大する中、Brevisはスケーラブルから検証可能へと進化しています。