Zero-Knowledge : L'Œuvre Parfaite
Une vision qui n'existe que si elle peut être prouvée
La vision de Sindri rencontra l’exigence d’Eitri : chaque exécution devait laisser une preuve vérifiable. Les forgerons connaissaient sa valeur et la nécessité de revoir circuits et contrats. Leur responsabilité était de vérifier chaque pièce avant de lui confier le poids du royaume.
Le 27 mars 2023, Polygon zkEVM lança sa mainnet beta. La compatibilité EVM facilitait la migration, mais des différences documentées et des améliorations subsistaient. Ce n’était pas une équivalence parfaite avec chaque comportement d’Ethereum. Le terme beta rappelait la nécessité des tests et du perfectionnement.
Le lancement est venu après plus de deux ans de développement intensif, trois audits de sécurité externes, un programme de primes aux bugs qui a distribué des centaines de milliers de dollars en récompenses, et la vérification formelle des composants critiques du système de preuve. Jordi Baylina et son équipe n'ont pas lancé quand ils étaient prêts pour le marché. Ils ont lancé quand ils étaient prêts pour la responsabilité d'avoir la valeur réelle de l'utilisateur dépendant de la correction des preuves.
La cryptographie en savoir-zéro permet à un prouveur de démontrer la connaissance d'une information sans révéler l'information elle-même, ou, dans le contexte des zkEVMs, qu'une computation a été exécutée correctement sans que le vérificateur ait besoin de refaire la computation. Cela signifie que Midgard peut vérifier des centaines de transactions avec une seule preuve compacte, au lieu d'exécuter chaque transaction individuellement. L'asymétrie entre le coût de la preuve et le coût de la vérification est ce qui rend le modèle économiquement durable à l'échelle.
Vérifier la preuve évitait de répéter toute l’exécution. Cette force dépendait des hypothèses cryptographiques et de la bonne implémentation. Les forgerons restaient vigilants : audits, corrections et protection des clés de mise à jour gardaient aussi les voyageurs.