"EVM compatible" — ces quatre mots ont été si souvent utilisés dans le récit d’extension d’ETH qu’on en est lassé, mais si vous ouvrez réellement le processus de sortie du OP Stack, vous constaterez que vous ne faites pas de cross-chain : vous faites la comptabilité avec une machine à états en quatre phases. L2 initie → attendez que l’output proposal couvre cet état → sur L1, exécutez prove_withdrawal en prouvant via Merkle → puis passez par une fenêtre de dispute game de 7 jours pour finaliser. Sur Base/OP Mainnet, l’utilisateur a déjà râlé à propos de ces étapes : entre les trois premières, les fonds restent verrouillés dans le contrat bridge sur L1 ; ce n’est pas « perdu », mais ce n’est pas non plus à vous. Si à n’importe quelle étape L1 manque de gaz, si l’output root est contesté, si le proposer se met en panne, le retrait reste bloqué sur « Ready to prove » ou « Waiting for finalization ».
De l’autre côté, Arbitrum en apparence ne compte que deux opérations (re-tickcet côté L1 + exécution côté L2). Mais si le ticket échoue à s’auto-racheter, il tombe dans une mémoire tampon ; dans les 7 jours, n’importe qui peut le racheter manuellement, puis seulement après l’expiration le dépôt (escrow) est renvoyé. Plus sournois encore : le « Trail of Bits » a souligné l’exécution désordonnée — si A n’attend pas B et qu’A s’exécute d’abord, et que le protocole ne gère pas cette temporalité, c’est comme planter un bug de type réentrance. Cela montre que « moins d’étapes » ne veut pas dire « état plus facile à comprendre » : cela fait juste disparaître la complexité dans le precompile.
Ainsi, #dusk en quittant le EVM Testnet revient à le démonter en initiate / submit proof / finalize en trois étapes ; ce n’est pas @Dusk qui cherche délibérément à compliquer la vie : c’est simplement qu’il n’a pas simplifié « en douce » le modèle OP — notamment la « période de challenge de 7 jours + maturité de la preuve ». Avec un testnet utilisant des jetons de test, le fait de « faire tourner » ne prouve que ceci : que le wallet sait reconnaître les états Waiting for output proposal / Ready to prove / Waiting to finalize. On ne peut pas prouver que, sur le mainnet avec une charge élevée, le proposer arrive à produire régulièrement des roots, que le dispute game ne se fait pas étouffer par des contestations continues, ni que côté utilisateur le coût en gas côté EVM et le coût des deux opérations sur L1 restent suffisamment bas.
Je n’ai jamais vu un pont L2 d’ETH compter « quels outils sont compatibles ». Il ne reconnaît que trois signaux durs : le temps médian de sortie converge-t-il vers des valeurs en dessous de la théorie des 7 jours ? un prove échoué peut-il remplacer par un autre output root sans devoir tout refaire ? et quand un actif est bloqué, l’utilisateur peut-il lire, dans un contrat Etherscan, la preuve de stockage de son withdrawal ? Peu d’étapes, c’est juste du sucre UX ; des états explicables, c’est la sécurité. Tant que ces trois points n’ont pas été re-vérifiés par les données du mainnet, « EVM compatible » n’est qu’une commodité côté développement — pas une disponibilité côté utilisateur. $DUSK — et donc pour Base, et ainsi pour Arbitrum aussi.
De l’autre côté, Arbitrum en apparence ne compte que deux opérations (re-tickcet côté L1 + exécution côté L2). Mais si le ticket échoue à s’auto-racheter, il tombe dans une mémoire tampon ; dans les 7 jours, n’importe qui peut le racheter manuellement, puis seulement après l’expiration le dépôt (escrow) est renvoyé. Plus sournois encore : le « Trail of Bits » a souligné l’exécution désordonnée — si A n’attend pas B et qu’A s’exécute d’abord, et que le protocole ne gère pas cette temporalité, c’est comme planter un bug de type réentrance. Cela montre que « moins d’étapes » ne veut pas dire « état plus facile à comprendre » : cela fait juste disparaître la complexité dans le precompile.
Ainsi, #dusk en quittant le EVM Testnet revient à le démonter en initiate / submit proof / finalize en trois étapes ; ce n’est pas @Dusk qui cherche délibérément à compliquer la vie : c’est simplement qu’il n’a pas simplifié « en douce » le modèle OP — notamment la « période de challenge de 7 jours + maturité de la preuve ». Avec un testnet utilisant des jetons de test, le fait de « faire tourner » ne prouve que ceci : que le wallet sait reconnaître les états Waiting for output proposal / Ready to prove / Waiting to finalize. On ne peut pas prouver que, sur le mainnet avec une charge élevée, le proposer arrive à produire régulièrement des roots, que le dispute game ne se fait pas étouffer par des contestations continues, ni que côté utilisateur le coût en gas côté EVM et le coût des deux opérations sur L1 restent suffisamment bas.
Je n’ai jamais vu un pont L2 d’ETH compter « quels outils sont compatibles ». Il ne reconnaît que trois signaux durs : le temps médian de sortie converge-t-il vers des valeurs en dessous de la théorie des 7 jours ? un prove échoué peut-il remplacer par un autre output root sans devoir tout refaire ? et quand un actif est bloqué, l’utilisateur peut-il lire, dans un contrat Etherscan, la preuve de stockage de son withdrawal ? Peu d’étapes, c’est juste du sucre UX ; des états explicables, c’est la sécurité. Tant que ces trois points n’ont pas été re-vérifiés par les données du mainnet, « EVM compatible » n’est qu’une commodité côté développement — pas une disponibilité côté utilisateur. $DUSK — et donc pour Base, et ainsi pour Arbitrum aussi.