彼らは「ゼロ知識」を万能キーに鍛え上げ、すべてのオンチェーンロックを開けられると豪語したが、キーは磨くほどに大きくなり、穴はどんどん小さくなっていった——万能なのか、それとも万難なのか？

しかし、実践が示すように、この「大きくて全てを含む」という考え方は、しばしば非効率で拡張が難しい問題をもたらします。そこで、新しい方向性が生まれています——モジュール化された zkVMです。そして、Brevis @brevis_zk が提供する Pico v1.0 は、このトレンドを代表するものです。
簡単に言うと、Pico は「万能マシン」ではなく、「組み立て工房」のセットです。
それは zkVM を複数の独立したモジュールに分割し、開発者がブロックを積み上げるように必要な機能を自由に選択し、不要な部分を取り除くことを可能にします。

➤Pico のコアコンセプト：zkVM を分解して再構築する
Picoのデザイン哲学は非常に直接的です——「すべてはモジュール化可能です」。
それは主に三層構造に分かれています：

1）実行モジュール：さまざまな証明システムをサポートしています。例えば、STARK、SNARK、またはその両方の混合です。開発者はパフォーマンスとセキュリティの要件に応じて自由に切り替えることができます。

2）コンテキスト環境モジュール：データ構造、状態管理、およびオンチェーンとのインタラクションのロジックを定義します。システムの「脳」に相当し、外界とのコミュニケーション方法を決定します。

3）拡張プラグイン層：開発者がカスタムオペレーターを作成したり、ゲームロジック、AI計算、またはオフチェーンデータ証明の加速を行うための特別なプロトコルを接続することをサポートします。
例えば、あるDEXは状態更新と価格計算の証明モジュールだけを必要とするかもしれませんが、あるチェーンゲームは並行実行効率と複雑なロジックのサポートをより重視します。

➤主流の zkVM とは異なる路線
現在市場に出回っている zkVM はそれぞれ利点と欠点があります：
Risc Zero：汎用CPUアーキテクチャに基づいており、互換性が高いですが、システムが大きく、起動が遅い。

SP1（Succinct）：デザインは極めてシンプルで、再帰的な証明に適しているが、柔軟性には欠ける。

ZKWasm：WebAssemblyエコシステムを再利用し、機能は充実しているが学習コストが高く、リソースを多く消費する。

そして、Pico は中間のルートを選びました：汎用性を追求するのではなく、構造化された「ビルディングテンプレート」を提供します。
開発者は、証明バックエンド、アクセラレーション回路、およびワークフローを選択して、自分のビジネスのためだけにサービスを提供するzkVMをカスタマイズできます。

➤モジュール化がもたらす現実的な価値

汎用 zkVM は強力に聞こえますが、実際の導入ではしばしばペースを遅くします。
それは、より長い適応サイクル、より複雑な展開、そしてより多くの計算リソースを必要とするからです。
そして、Picoのようなモジュール化されたzkVMは、3つのレベルで明らかな利点をもたらします。
>> コストのコントロールが容易：開発者は必要に応じてモジュールを利用し、計算と展開リソースを節約します。
>> より迅速に開発：全体の証明システムを再構築する必要はなく、数日で実行可能な環境を組み立てることができます。
>>メンテナンスが容易：モジュールは個別にアップグレードまたは交換可能で、システム全体のクラッシュを回避します。
>>エコシステムがよりオープン：プラグイン構造により、外部プロトコル、オンチェーン計算、またはAIモジュールの統合が容易になります。
これは、迅速にオフチェーンデータを検証する必要があるDAppにとって、特に親しみやすいです。例えば、オンチェーンのアイデンティティ検証、クロスチェーン決済、AI推論結果のオンチェーン化など、Picoは軽量かつカスタマイズ可能な証明サポートを提供できます。

➤「小コンポーネント」から「新しいパラダイム」へ
PicoはZKの世界では「小さなコンポーネント」かもしれませんが、その背後にある意味は非常に大きいです。
それは zkVM を「閉じたブラックボックス」から「オープンなブロック」に変え、開発者が本当に主導権を握ることを可能にします。
未来の zk 実行環境は、大規模である必要はなく、各アプリケーションの種類に対してちょうど良い計算能力を提供します。
@brevis_zk の Pico がこの事を現実にしています。
汎用 zkVM の時代の後、モジュール式 zkVM こそが ZK 技術の本当の成熟した形態かもしれません。
それはすべてをカバーすることを求めているわけではなく、各アプリケーションが最適な計算エンジンを持つことを求めています。

これが、Picoの背後にあるデザイン哲学です：
複雑さを組み立て可能にし、ゼロ知識証明を実用的にする。
#Brevis #KAITO

@brevis_zk

@KaitoAI