Brevis: > ZK Data Coprocessor (Akses dan komputasi data on-chain historis) > Pico zkVM (Lem + koprosesor modular zkVM) > Pico Prism (Pembuktian blok Ethereum waktu nyata) > ProverNet (Pasar pembuktian terdesentralisasi)