Brevis ProverNet is a decentralized marketplace that matches diverse zeroknowledge (ZK) workloads—ranging from zkVM programs to ZK coprocessor queries and aggregation proofs—with a heterogeneous supply of provers. Two pillars distinguish Brevis. First, it is designed from day one to support heterogeneous proofs and composite, multistage proving pipelines, allowing applications to mix and match proving systems and workflows without being shoehorned into a single stack.