On constate que le réseau Prover succinct est désormais en ligne sur le réseau principal. Comment comprendre simplement le réseau Prover ? C'est un réseau de prouveurs décentralisé qui prend en charge la génération de preuves à connaissance nulle (zk proofs) pour n'importe quel logiciel, permettant aux développeurs de demander et de vérifier des preuves ZK comme s'ils appelaient une API. Il prend également en charge la génération directe de preuves ZK à partir de code écrit dans des langages de programmation standards comme Rust, sans nécessiter de conception de circuits complexe ou de connaissances cryptographiques spécialisées. Son objectif final est de devenir une infrastructure de calcul vérifiable. La partie centrale du réseau Prover est son marché de preuves décentralisé, où une partie est constituée des demandeurs de preuves (protocoles blockchain, oracles, agents IA, ponts, etc.) qui soumettent des demandes de preuves ; l'autre partie est constituée de fournisseurs de preuves indépendants qui participent à des "concours de preuves" pour générer des preuves. Les "concours de preuves" sont un mécanisme d'enchères entièrement rémunéré, où les prouveurs utilisent du matériel haute performance (comme des clusters GPU) pour participer à la compétition. Actuellement, plusieurs fournisseurs de matériel tels que ZAN, Cysic et A41 ont rejoint le groupe de prouveurs, offrant un accélérateur FPGA/GPU. Grâce à ce marché bilatéral de preuves, l'objectif est d'atteindre des coûts bas et une grande efficacité, tout en restant décentralisé. Dans ce marché bilatéral, le jeton natif PROVE est utilisé pour payer les frais de preuve, garantir la sécurité du réseau par le biais de mises, et pour la gouvernance des détenteurs.