ブレヴィス: > ZKデータコプロセッサ(過去のオンチェーンデータアクセスおよび計算) > Pico zkVM(Glue + コプロセッサ モジュラー zkVM) > ピコプリズム(リアルタイムイーサリアムブロック証明) > ProverNet(分散型証明マーケットプレイス)