Ho visto che la rete Prover di succinct è stata lanciata sulla mainnet. Come si può comprendere semplicemente la rete Prover? È una rete decentralizzata di provatori che supporta la generazione di prove a conoscenza zero (zk proofs) per qualsiasi software, consentendo agli sviluppatori di richiedere e verificare le prove ZK come se stessero chiamando un'API. Supporta la generazione diretta di prove ZK da codice scritto in linguaggi di programmazione standard come Rust, senza la necessità di progettazione di circuiti complessi o conoscenze crittografiche specialistiche. L'obiettivo finale è diventare un'infrastruttura per il calcolo verificabile. La parte centrale della rete Prover è il suo mercato decentralizzato delle prove, dove una parte è rappresentata dai richiedenti di prove (protocollo blockchain, oracoli, agenti AI, bridge, ecc.) che inviano richieste di prova; dall'altra parte ci sono fornitori di prove indipendenti che partecipano a "competizioni di prova (Proof Contests)" per competere nella generazione di prove. Le "competizioni di prova" sono un meccanismo d'asta a pagamento totale, in cui i provatori utilizzano hardware ad alte prestazioni (come cluster GPU) per partecipare alla competizione. Attualmente, diversi fornitori di hardware come ZAN, Cysic e A41 hanno aderito al gruppo di provatori, offrendo accelerazione FPGA/GPU. Attraverso questo mercato bilaterale delle prove, si mira a realizzare costi ridotti e alta efficienza, oltre a decentralizzazione. In questo mercato bilaterale, il token nativo PROVE viene utilizzato per pagare le spese di prova, garantire la sicurezza della rete tramite staking e per la governance dei detentori.