Brevis: > ZK Data Coprocessor (Historisk on-chain dataåtkomst och beräkning) > Pico zkVM (Lim + koprocessor modulär zkVM) > Pico Prism (realtidsbevis av Ethereum-block) > ProverNet (Decentraliserad bevismarknadsplats)