Brevis: > ZK Data Coprocessor (Historiallinen ketjun sisäinen datan käyttö ja laskenta) > Pico zkVM (Glue + coprocessor modular zkVM) > Pico Prism (Reaaliaikainen Ethereum-lohkon todistaminen) > ProverNet (Hajautettu todistusmarkkinapaikka)