O Prover Network, que é sucinto, já está online na mainnet. Como entender de forma simples a rede Prover? É uma rede de provadores descentralizada que suporta a geração de provas de conhecimento zero (zk proofs) para qualquer software, permitindo que os desenvolvedores solicitem e verifiquem provas ZK como se estivessem chamando uma API, e suporta a geração direta de provas ZK a partir de códigos escritos em linguagens de programação padrão como Rust, sem a necessidade de design de circuitos complexos ou conhecimento especializado em criptografia. O objetivo final é se tornar a infraestrutura para computação verificável. A parte central da rede Prover é seu mercado de provas descentralizado, onde uma parte é o demandante de provas (protocolos de blockchain, oráculos, agentes de IA, pontes, etc.) que envia solicitações de prova; a outra parte são os provedores de prova independentes, que participam de "Concursos de Prova" para competir na geração de provas. Os "Concursos de Prova" são um mecanismo de leilão totalmente pago, onde os provadores utilizam hardware de alto desempenho (como clusters de GPU) para competir. Atualmente, várias empresas fornecedoras de hardware, como ZAN, Cysic e A41, se juntaram ao grupo de provadores, oferecendo aceleração FPGA/GPU. Através deste mercado de provas bilateral, busca-se alcançar baixo custo e alta eficiência, além de descentralização. Neste mercado bilateral, o token nativo PROVE é utilizado para pagar taxas de prova, garantir a segurança da rede através de staking, e para governança pelos detentores.