Brevis ProverNet è un marketplace decentralizzato che abbina diversi carichi di lavoro a conoscenza zero (ZK), che vanno dai programmi zkVM alle query del coprocessore ZK e alle dimostrazioni di aggregazione, con una fornitura eterogenea di dimostratori. Brevis si distingue per due pilastri. In primo luogo, è progettato fin dal primo giorno per supportare dimostrazioni eterogenee e pipeline di dimostrazione composite e multifase, consentendo alle applicazioni di combinare e abbinare sistemi di dimostrazione e flussi di lavoro senza essere forzatamente inserite in un unico stack.