BlockPulseNews
Une validity proof, ou preuve de validité, est une preuve cryptographique qui atteste qu'un lot de transactions a été exécuté correctement. Vérifiée par un smart contract sur la couche 1, elle permet à un ZK-rollup de faire accepter son nouvel état sans tout réexécuter.
Thème : Layer 2 et scalabilité
Un rollup exécute des transactions en dehors de la blockchain principale puis doit convaincre celle-ci que le nouvel état qu'il annonce est correct. Avec une preuve de validité, un acteur appelé prover produit, à partir du lot de transactions, une preuve mathématique compacte. Un contrat vérificateur sur la couche 1 la contrôle en une fraction du coût qu'aurait demandé la réexécution complète. Si la preuve est valide, l'état est accepté ; sinon, il est rejeté.
Ces preuves s'appuient sur des systèmes comme les zk-SNARK ou les zk-STARK. Bien qu'elles soient souvent appelées preuves zk, leur rôle principal dans un rollup est la vérification succincte et non la confidentialité. Leur grand avantage est qu'il n'est pas nécessaire d'attendre une période de contestation : dès que la preuve est vérifiée sur la couche 1, le lot est considéré comme final. La contrepartie est un calcul de preuve coûteux.
Imaginons un rollup qui regroupe dix mille transferts. Le prover calcule pendant quelques minutes une preuve de quelques centaines d'octets attestant que tous les soldes ont été mis à jour selon les règles. Le contrat sur Ethereum vérifie cette preuve en une seule transaction et valide le nouvel état.
La sécurité dépend de l'exactitude du circuit qui encode les règles : un bug dans ce circuit peut permettre de prouver un état incorrect. Certains systèmes reposent aussi sur une configuration initiale de confiance. La production de preuves reste souvent centralisée chez un petit nombre d'opérateurs.
La validity proof prouve systématiquement que chaque lot est correct. La fraud proof n'intervient qu'en cas de litige, ce qui impose une période d'attente pour laisser le temps de contester.
Pas nécessairement. Dans la plupart des ZK-rollups, les données des transactions restent publiques ; la preuve sert à garantir l'exactitude du calcul, pas à le rendre confidentiel.
Les derniers articles de BlockPulseNews sur ce sujet.