Il est le plus dangereux de faire traduire automatiquement « déjà corrigé » en « déjà sécurisé » dans les avis de sécurité. Cette fois, AEGIS ferme d’un seul coup la sémantique divisée en trois endroits causée par le désaccord Send/Sync dans piecrust : les alias de session, la désérialisation côté hôte et les frais/remboursements de Phoenix. Puis, en prime, elle corrige aussi le défaut BLS des anciennes correspondances h0 où l’on pouvait « fabriquer d’autres messages avec la même clé uniquement en regardant une fois une signature ». En surface, on parle d’un hard fork avec 39 correctifs ; au fond, ce que cela révèle, c’est que Dusk a assemblé ZK settlement, Rust VM et le pont EVM en une construction où, au-delà de la cryptographie, la « confiance d’assemblage entre équipes » est plus fragile qu’une faille isolée.
La défaite du wallet à signatures pour le pont en janvier mérite qu’on la décortique : si on dit « le protocole n’a pas été brisé », ce discours oublie ceci : la propreté de la couche de consensus ne garantit pas la propreté des frontières du patrimoine utilisateur. Le pont n’est pas une simple exécution sur protocole ; c’est une couche de confiance économique qui s’y superpose. Les anciens designs — signatures chaudes + traitement d’événements + conception sur un même chemin réseau — sont en soi des surfaces d’attaque. Par la suite, le désengagement des signatures et des événements, l’introduction d’une machine à états explicite (seen/submitted/completed/failed/stuck), le rattrapage manuel via le cold wallet, et la pause automatique en cas de faible solde : ces changements sauvent surtout le modèle d’exploitation, pas une invariance « figée » on-chain. Ce qu’il faut vérifier, c’est s’ils résistent aux charges élevées, aux rejoues, et aux reprises après incidents ; tout dépend de savoir si les tests de non-régression ont bien injecté des séquences du type « signature utilisable mais événement perdu » ou « worker en panne puis re-diffusion répétée ».
En regardant COW et ETH, on voit que le framework peut s’emprunter mais ne s’imite pas « à copier-coller ». Pour COW, la frontière de sécurité n’est pas dans le petit territoire des smart contracts on-chain, mais dans l’emboîtement entre contraintes de signatures d’intent, enchères des solveurs et le contrat de settlement GPv2. Les plaies réelles sont : concentration des solveurs, fuites d’ordres dans une fenêtre de batch de 30 secondes, et surtout des approbations de settlement contract trop grandes. Même en « achetant plus fort », on ne peut pas masquer le fait que l’exécution couche se fait implicitement extraire. Pour ETH, c’est encore plus direct : la diversité des clients L1, la centralisation du RPC et des builders, et les hypothèses de confiance des ponts inter-chaînes ont toujours été des points faibles « hors preuve ».
Donc, après #dusk , je ne regarde que deux indicateurs durs : si la cause racine clé d’AEGIS a été intégrée à un fuzzing/différentiel de longue durée et à des tests de non-régression, plutôt qu’à un simple test unitaire ponctuel ; et si la nouvelle architecture isolée du pont, sous tests de charge et lors de la reprise après perte de réseau, est bien un « failure-stop » (échec = arrêt immédiat) et non un « failure-silent » (échec = continuer en silence). Le nombre d’items d’audit, c’est la vitrine ; la vraie valeur, c’est que sous des erreurs similaires, la répétition devienne plus difficile la prochaine fois. Tant que ces deux variables n’ont pas été re-vérifiées de manière indépendante, la décote de sécurité de $DUSK ne peut être récupérée que par tranches : qu’on ne tente pas un « zéro d’un coup ». @Dusk
La défaite du wallet à signatures pour le pont en janvier mérite qu’on la décortique : si on dit « le protocole n’a pas été brisé », ce discours oublie ceci : la propreté de la couche de consensus ne garantit pas la propreté des frontières du patrimoine utilisateur. Le pont n’est pas une simple exécution sur protocole ; c’est une couche de confiance économique qui s’y superpose. Les anciens designs — signatures chaudes + traitement d’événements + conception sur un même chemin réseau — sont en soi des surfaces d’attaque. Par la suite, le désengagement des signatures et des événements, l’introduction d’une machine à états explicite (seen/submitted/completed/failed/stuck), le rattrapage manuel via le cold wallet, et la pause automatique en cas de faible solde : ces changements sauvent surtout le modèle d’exploitation, pas une invariance « figée » on-chain. Ce qu’il faut vérifier, c’est s’ils résistent aux charges élevées, aux rejoues, et aux reprises après incidents ; tout dépend de savoir si les tests de non-régression ont bien injecté des séquences du type « signature utilisable mais événement perdu » ou « worker en panne puis re-diffusion répétée ».
En regardant COW et ETH, on voit que le framework peut s’emprunter mais ne s’imite pas « à copier-coller ». Pour COW, la frontière de sécurité n’est pas dans le petit territoire des smart contracts on-chain, mais dans l’emboîtement entre contraintes de signatures d’intent, enchères des solveurs et le contrat de settlement GPv2. Les plaies réelles sont : concentration des solveurs, fuites d’ordres dans une fenêtre de batch de 30 secondes, et surtout des approbations de settlement contract trop grandes. Même en « achetant plus fort », on ne peut pas masquer le fait que l’exécution couche se fait implicitement extraire. Pour ETH, c’est encore plus direct : la diversité des clients L1, la centralisation du RPC et des builders, et les hypothèses de confiance des ponts inter-chaînes ont toujours été des points faibles « hors preuve ».
Donc, après #dusk , je ne regarde que deux indicateurs durs : si la cause racine clé d’AEGIS a été intégrée à un fuzzing/différentiel de longue durée et à des tests de non-régression, plutôt qu’à un simple test unitaire ponctuel ; et si la nouvelle architecture isolée du pont, sous tests de charge et lors de la reprise après perte de réseau, est bien un « failure-stop » (échec = arrêt immédiat) et non un « failure-silent » (échec = continuer en silence). Le nombre d’items d’audit, c’est la vitrine ; la vraie valeur, c’est que sous des erreurs similaires, la répétition devienne plus difficile la prochaine fois. Tant que ces deux variables n’ont pas été re-vérifiées de manière indépendante, la décote de sécurité de $DUSK ne peut être récupérée que par tranches : qu’on ne tente pas un « zéro d’un coup ». @Dusk