ZK Rollups

Les blockchains grandissent comme des villes et elles font face au même problème de rues encombrées et de services lents. Le trilemme de la blockchain désigne la contrainte : la scalabilité, la sécurité et la décentralisation sont difficiles à avoir toutes en même temps. Les solutions de Layer 2 interviennent comme une infrastructure de soutien qui décharge le trafic de la chaîne principale. Les ZK-Rollups sont une approche de Layer 2 qui regroupe de nombreuses transactions en un seul paquet. Elles déplacent la plupart des calculs et du stockage hors chaîne et produisent un certificat cryptographique qui prouve que le paquet est correct. Ce certificat est une preuve à connaissance nulle qui permet à la chaîne principale de vérifier l'exactitude sans voir chaque détail de chaque transaction. Les ZK-Rollups utilisent des structures de données compactes comme les arbres de Merkle pour résumer de nombreux états en une racine. Seule cette racine et la preuve vont sur la chaîne, ce qui permet d'économiser de l'espace et des coûts. Le résultat est un débit plus élevé, une finalité plus rapide et un coût par transaction beaucoup plus bas tout en s'appuyant sur la chaîne principale pour la sécurité. Il existe différents systèmes de preuve sous l'ombrelle ZK. Certaines preuves sont très petites et rapides à vérifier mais nécessitent une configuration initiale de confiance. D'autres preuves évitent la configuration de confiance et offrent de la transparence, mais elles produisent des preuves plus grandes qui coûtent plus cher à publier sur la chaîne. Les rollups diffèrent également dans la façon dont ils modélisent les comptes et le calcul. Certains imitent les livres de comptes basés sur des comptes afin que les développeurs puissent construire comme ils le font sur la chaîne principale. D'autres utilisent des modèles de sorties non dépensées pour la confidentialité et la simplicité. Une troisième approche est une machine virtuelle à connaissance nulle qui permet à des programmes complexes de s'exécuter en privé avec des preuves d'exécution correcte. La disponibilité des données est un autre axe de conception. Les données hors chaîne peuvent être publiées sur un stockage décentralisé, tenues par un large ensemble de nœuds, ou stockées par un petit comité qui promet de les servir. Chaque choix modifie les compromis entre coût, vitesse et décentralisation. Par rapport aux systèmes de preuve de fraude qui supposent l'honnêteté jusqu'à contestation, les ZK-Rollups offrent une finalité cryptographique immédiate et permettent généralement des retraits sans longs délais de contestation. Ils réduisent également la quantité de données qui doivent être sur la chaîne principale, ce qui aide à la confidentialité et à l'efficacité. Cependant, les ZK-Rollups apportent des défis. Créer des circuits et des preuves pour des contrats intelligents à usage général est complexe et demande des ressources. Les configurations de confiance, lorsqu'elles sont utilisées, nécessitent une attention particulière pour éviter les points uniques de défaillance. De grandes preuves et les coûts des preuveurs peuvent être limitants jusqu'à ce que les outils et le matériel s'améliorent. Dans le chœur des utilisateurs, des développeurs et des nœuds, les ZK-Rollups offrent une harmonie convaincante : ils augmentent le débit, maintiennent une sécurité forte et préservent la décentralisation lorsqu'ils sont conçus avec le bon équilibre entre le schéma de preuve, le modèle d'exécution et la disponibilité des données.