Auteur : @yyy
Coinbase a annoncé qu'il entrerait sur le marché et construirait un L2 basé sur OP Stack - @BuildOnBase Le sentiment de "haussier sur l'optimisme" s'est à nouveau enflammé. Profitant de cette occasion, ce tweet parlera de la période de défi de l’Optimisme.
Comme nous le savons tous, le retrait des fonds de deuxième couche d’Optimism vers le réseau principal Ethereum nécessite une période de contestation de 7 jours.
Alors pourquoi exactement 7 jours ? 3 jours? Pas 5 jours ?
Avant de répondre à cette question, comprenons d’abord pourquoi une période de challenge est nécessaire.
Les rollups améliorent les performances du réseau principal Ethereum en découplant la couche d'exécution d'Ethereum. Cela signifie que les transactions sont exécutées sur la deuxième couche, mais afin d'hériter de la sécurité du réseau principal Ethereum, les transactions effectuées sur la deuxième couche doivent être vérifiées sur le réseau principal.
En termes simples, le réseau principal Ethereum doit confirmer que la transaction soumise par le séquenceur a réellement eu lieu sur la deuxième couche, c'est-à-dire la validité de la transaction.
Le rollup est divisé en zk-Rollup et Optimistic Rollup en raison des différentes méthodes de vérification de la validité des transactions.
Les méthodes de vérification sont principalement classées en deux catégories : la preuve sans connaissance et la preuve de fraude. Dans le cadre du mécanisme de preuve sans connaissance, les transactions ont une finalité quasi instantanée.
Pour les ORU basés sur des preuves de fraude, le caractère définitif de la transaction dépend de la durée de la période de challenge, ce qui explique pourquoi il faut 7 jours pour que les fonds Optimisme soient retirés de la deuxième couche vers le réseau principal.
Dans le cadre du mécanisme ORU, il est optimiste que toutes les transactions Rollup soumises par le séquenceur soient valides. Ensuite, pendant la période de contestation, le vérificateur peut lancer une preuve de fraude s'il détecte une transaction invalide.
Si personne ne conteste après la période de contestation, la transaction sera considérée comme valide par défaut et la transaction sera définitive à ce moment-là.
Mais la période de challenge dure-t-elle vraiment sept jours ? Simplifions d’abord l’ensemble du processus de contestation : le vérificateur découvre une transaction invalide en reconstruisant la racine de l’état, puis émet une preuve de fraude. Cette série d'actions prend du temps, ce qui signifie que la période de challenge ne peut pas être nulle.
Nous supposons que le processus de défi ci-dessus est très rapide, 10 blocs à compléter (environ 2 minutes).
Bien sûr, il est impossible d'avoir une réponse aussi rapide, donc si nous ralentissons le temps de 10 fois, à 100 blocs (environ 20 minutes), ce temps sera bien plus court que 50 400 blocs (7 jours).
La discussion ci-dessus est basée sur la situation la plus idéale. Et si quelqu'un faisait du mal sur le réseau ? Combien de temps faut-il pour découvrir un acte répréhensible ?
Ou, pour le dire autrement, combien de temps faut-il prolonger la période de contestation au moins pour prévenir les comportements malveillants ? Le mauvais comportement ici est d'empêcher les preuves frauduleuses d'être reçues par les validateurs en publiant un grand nombre de transactions pour augmenter le gaz sur une période de temps.
Ici, nous faisons une autre hypothèse, en supposant qu'il y a une exposition au risque de 2 milliards de dollars américains sur Optimism, et que l'auteur du crime est prêt à dépenser 1 million de dollars américains en pourboires d'essence (frais prioritaires) par bloc pour des transactions « anticipées » qui contiennent preuves de fraude.
Ensuite, la durée maximale pendant laquelle le réseau peut être « détourné » est de 2 000 blocs (6,67 heures). Bien entendu, les exemples précédents reposent sur des hypothèses très simples et grossières.
Il semble que peu importe comment vous le regardez, la période de contestation n'a pas besoin d'être aussi longue que 7 jours. Il est difficile de comprendre la relation non linéaire entre la durée de la période de contestation et la sécurité.
Peut-être que 7 est un nombre très significatif pour le fondateur d’Optimism, tout comme tout le monde a deviné que Satoshi Nakamoto était un passionné de football pendant le cycle de réduction de moitié du Bitcoin de 4 ans.
Alors, la période de contestation des ORU peut-elle être réduite à 3 à 5 jours sans compromettre la sécurité ? Oui, mais ce n’est pas très optimisé pour l’expérience utilisateur.
Que diriez-vous de raccourcir la période de défi à 1 à 2 jours ? Il semble qu’il puisse être judicieux d’optimiser efficacement l’expérience utilisateur.
@0xMantle, un ORU incubé par BitDAO, peut raccourcir la période de défi à 1 à 2 jours. La logique d'optimisation de la période de challenge est basée sur le schéma MPC.
Pour faire simple, le séquenceur ne soumet pas directement le lot de transactions à Ethereum, mais le soumet d'abord au réseau MPC, qui est signé conjointement par les nœuds MPC. Après avoir confirmé que la transaction est valide, elle est soumise à Ethereum.
Les principales différences sont donc :
Optimism soumet le lot contenant la racine d'état à Ethereum comme résultat de l'exécution ;
Mantle soumet à Ethereum des lots contenant des racines d'état signées conjointement par les nœuds MPC comme résultats d'exécution.
L'objectif est de réduire le risque de confiance lié aux résultats d'exécution du Rollup.
Mais en dernière analyse, la vérification MPC reste une solution de vérification hors chaîne, ce qui vaut mieux que rien et apporte un confort psychologique supplémentaire aux utilisateurs.
Pour utiliser une métaphore inappropriée, le système de vérification MPC est comme un système zk décentralisé. La sécurité du premier est basée sur des hypothèses économiques, tandis que la seconde est basée sur une vérification cryptographique.
Ce qui précède sont quelques réflexions et discussions sur la période de défi des ORU. Elles ne sont pas très logiques et doivent être utilisées comme suggestions. BTW, j'ai toujours hâte de voir des ORU (niveaux de partage de temps) avec des périodes de défi considérablement raccourcies à l'avenir.