Brevis ProverNet to zdecentralizowany rynek, który łączy zróżnicowane obciążenia zeroknowledge (ZK) – od programów zkVM po zapytania koprocesora ZK i dowody agregacji – z heterogenicznym zasobem prooferów. Brevis wyróżnia się dwoma filarami. Po pierwsze, został zaprojektowany od samego początku z myślą o obsłudze heterogenicznych proofów i złożonych, wieloetapowych potoków dowodzenia, umożliwiając aplikacjom łączenie i dopasowywanie systemów dowodzenia i przepływów pracy bez konieczności wtłaczania ich do jednego stosu.