Pourquoi les Rollups Ont Besoin de Couches de Disponibilité des Données

La saga de la mise à l’échelle d’Ethereum ressemble à une version cryptographique du ‘Conte sans fin’. Après des années de débats, la communauté a choisi les rollups comme solution au trilemme blockchain. Mais voici le piège : la plupart des rollups ont surtout besoin qu’Ethereum fasse une chose très bien – servir de couche fiable de disponibilité des données (DA).

L’illusion de l’Intégrité d’Exécution

Les rollups ZK et optimistes promettent une intégrité d’exécution (vos smart contracts ne tricheront pas). Mais il y a un petit secret : les preuves d’exécution seules ne garantissent pas que vous pourrez récupérer vos fonds si les opérateurs agissent mal. Pour cela, nous avons besoin que l’historique complet soit disponible – d’où la nécessité de la DA.

Les rollups optimistes sont comme cet ami qui dit ‘fais-moi confiance’ en suant nerveusement. Ils ont besoin d’observateurs pour détecter les fraudes, ce qui nécessite une disponibilité complète des données. Les rollups ZK ? Plutôt comme votre prof de maths – ils prouvent la validité cryptographiquement mais ont toujours besoin de la DA pour une récupération pratique.

EIP-4844 : L’Amélioration de la DA sur Ethereum

Actuellement, les rollups utilisent des calldata coûteux pour la DA. EIP-4844 introduit des ‘transactions avec blobs’ – des unités de stockage bon marché dédiées à la DA. Voici pourquoi c’est important :

• Économies : Les blobs coûtent environ 80 % moins cher que les calldata.
• Marché du Gas Séparé : Les blobs ont leur propre marché de fees style EIP-1559.
• Préparation pour le Futur : Infrastructure prête pour le Danksharding complet.

Chaque blob contient ~125 Ko de données, avec un objectif de 3 blobs par bloc (380 Ko au total). Pas encore suffisant pour résoudre tous les problèmes, mais un grand pas en avant.

L’Implémentation de Scroll : Vérification des Blobs en Circuit

Dans notre zkEVM chez Scroll, nous avons construit un prototype pour vérifier les engagements de blobs en circuit. Le défi ? Ethereum utilise des courbes BLS12-381 pour les blobs tandis que nos circuits fonctionnent avec BN254. Notre solution :

1. Échantillonner des points aléatoires sur le polynôme du blob.
2. Vérifier la cohérence avec le lemme Schwartz-Zippel.
3. Accepter le coût calculatoire (~28M cellules advice). Résultat ? Environ 139 secondes par preuve sur un M1 MacBook – pas mal pour garantir mathématiquement votre DA.

La Suite

EIP-4844 est actif avec la mise à jour Cancun-Deneb, mais le nirvana nécessitera le Danksharding. D’ici là, les rollups jongleront entre blobs et calldata – ou feront des compromis avec d’autres couches DA. En tant qu’auditeur nocturne de smart contracts, j’accueille toute amélioration rendant les L2 moins chers et plus sûrs. Même si cela signifie expliquer les engagements polynomiaux à 2 heures du matin.