Ed Felten, co-fondateur d’OffChain Labs, développeur du rollup pour Ethereum Arbitrum, a présenté une proposition pour accélérer les retraits en utilisant des rollups de type optimiste. À son avis, la « période de contestation » de sept jours qu’il régit actuellement ne pourrait être utilisée que dans les cas où il n’y a aucune certitude quant aux transactions.
Avec la preuve d’enjeu (Proof of Stake ou PoS), « certains types de censure sont plus détectables qu’auparavant», dit Felten dans sa proposition. De cette façon, en détectant plus facilement les actions malhonnêtes dans les cumuls, il est possible de contourner la période de vérification des transactions dans de nombreux cas, fait-il valoir.
Cette période consiste à exécuter la transaction sur le réseau Ethereum principal (et non sur le rollup) pour confirmer de manière fiable qu’elle est valide avant de l’inclure dans un cumul.
A cela, il ajoute une explication de son idée de « construire un ‘oracle de censure’ dans un contrat, qui dira si : (a) il n’y a pas eu de censure dans les N derniers blocs de manière fiable ; ou b) aucune conclusion ne peut être tirée».
Ce n’est qu’en cas d’absence de conclusions que la période de contestation actuelle doit être appliquée, soit sept jours. Mais si l’une des principales censures que les rollups peuvent appliquer n’est pas détectée, les fonds du rollup peuvent être débloqués sans problème.
Comme expliqué dans les publications précédentes de CriptoNoticias, les cumuls de type optimiste sont basés sur la présomption que les transactions qu’ils incluent sont valides. Sinon, vous devez le prouver, et pour cela ils laissent une période d’essai dans laquelle il est possible de créer une preuve de fraude. Pendant ce temps, les fonds restent bloqués.
Les censures mentionnées par Felten sont précisément des moyens d’introduire des transactions invalides ou d’omettre intentionnellement des transactions valides. Bien sûr, le protocole est conçu pour empêcher ce type de pratique, et pour cette raison, il établit une période de révision pour tester les informations incluses dans les cumuls.
Types de censure dans les rollups selon Felten
En ce qui concerne le type de censure qui peut se produire dans les rollups, Ed Felten a détaillé deux types : « le block build et le fork ». Parfois appelée censure « faible » et censure « forte »respectivement, explique.
Le premier se produit « lorsque les créateurs de blocs refusent d’inclure certaines transactions dans leurs blocs ». Pendant ce temps, la censure du fork se produit « lorsque les validateurs s’entendent pour forker la chaîne, de sorte que les blocs contenant certaines transactions sont supprimés et ne font pas partie de la chaîne canonique ».
Ce dernier type de censure est plus difficile à gérer, car il peut être répété, dit Felten.. « La censure de construction de blocs échoue si un seul bloc est créé par un constructeur non censuré, mais la censure de fourche peut être répétée de manière fiable s’il y a suffisamment de validateurs en collusion [o “acuerdo”]. Ainsi, la censure du fork est la principale raison de la période de défi de sept jours qui est utilisée aujourd’hui. »
Comment la preuve de participation aide à détecter ces censures
« La bonne nouvelle, c’est que la censure fork laisse des effets détectables » sur Ethereum puisqu’il fonctionne à l’aide de l’algorithme de preuve d’enjeu, précise le patron de l’entreprise derrière Arbitrum. En effet, « les blocs de bifurcation apparaîtront comme des espaces vides dans la chaîne de consensus ».
Ainsi, un contrat intelligent peut être utilisé, selon sa proposition, pour « détecter le nombre d’espaces vides dans un intervalle en comparant le changement du numéro de bloc au nombre d’espaces (qui est le changement de l’horodatage divisé par pour 12 secondes).
« Bien sûr, il y a d’autres raisons pour lesquelles un emplacement peut être vide, mais au moins nous savons que si peu d’emplacements sont vides, alors quelques blocs pourraient avoir été bifurqués », explique l’auteur de l’idée. « En particulier, si nous savons que N blocs non censurés ont été créés sur une période de temps, mais qu’il manque moins de N blocs, alors nous pouvons conclure qu’un bloc non censuré a été inclus dans la chaîne », ajoute-t-il.