Un zk-rollup est un système de mise à l'échelle qui exécute des transactions hors de la blockchain de base, regroupe les résultats et y soumet des preuves cryptographiques de validité. Le vérificateur contrôle que la transition d'état proposée respecte les règles encodées du rollup. Répartir les coûts de publication et de vérification sur un lot peut réduire le coût par transaction.
Des rôles distincts pour les preuves et les données
Un prouveur produit une preuve reliant l'état précédent, les opérations traitées et le nouvel état proposé. Un contrat de règlement la vérifie avant d'accepter la mise à jour. Une confirmation préalable de l'opérateur se distingue du règlement définitif sur la chaîne de base.
Le rollup y publie aussi assez de données pour reconstruire son état, par exemple via les calldata ou les blobs d'Ethereum. Un validium conserve ces données hors de cette couche, avec d'autres hypothèses de disponibilité. Une preuve de validité ne fournit pas à elle seule les données d'état manquantes.
Ce que le nom ne garantit pas
« ZK » ne signifie pas que tous les détails des transactions sont privés. Beaucoup de systèmes utilisent surtout cette technologie pour vérifier les calculs.
Le modèle n'impose pas de délai de contestation optimiste, mais la production des preuves, leur publication et le règlement peuvent retarder les retraits. Circuits incorrects, contrats vulnérables, pouvoirs de mise à niveau et pannes d'opérateur restent des risques. Compatibilité et coûts varient aussi selon l'implémentation.