According to Mars Finance news on November 17, Brevis has officially released the ProverNet White Paper, proposing a decentralized market mechanism for zk-SNARKs generation, utilizing Truthful Online Double Auction to achieve efficient matching between diversified computing tasks and dedicated proof hardware. ProverNet addresses the core pain points of existing proof infrastructure based on collaboration experiences in projects such as PancakeSwap, Uniswap, Euler, Linea, and MetaMask. It is reported that ProverNet will operate on the dedicated rollup Brevis Chain, with plans for official launch before the end of 2025. Brevis stated that this mechanism will drive the transformation of zk-SNARKs services from a centralized single supplier model to a competitive market, allowing professional proof nodes to deeply optimize for specific tasks, while application parties will no longer be limited to a single supplier when obtaining validation computing services.