#dusk Il y a quelques jours, j’ai parcouru les notes de correction du socle technique publiées par Dusk et, à cette occasion, j’ai compilé et débogué leur dernière version du code des nœuds dans un environnement local. J’ai constaté que cette enquête technique touchait effectivement à un point névralgique.
Quand on suit un projet, on a tendance à se focaliser sur les fluctuations du marché. Pour ma part, je m’intéresse davantage au mécanisme d’isolation mémoire de la machine virtuelle sous-jacente : si le processus hôte est compromis par une désérialisation non sécurisée, une charge malveillante externe pourrait directement détourner un nœud de validation en obtenant des privilèges excessifs. Les dégâts potentiels dépassent de loin ceux d’une faille ordinaire dans un contrat.$DUSK
Du point de vue des mécanismes fondamentaux, l’ancienne conception, qui liait de force le remboursement des frais à l’état du pool de transactions, risquait fortement, en cas de concurrence extrême, de provoquer une rupture de l’état global, voire l’arrêt des nœuds. Un problème plus épineux encore résidait dans un défaut de conception de l’ancien parcours de signature : si la couche de consensus ne peut garantir pleinement l’unicité du calcul de validation, la finalité de l’ensemble du registre s’en trouve fragilisée. Heureusement, l’équipe a remanié la vérification des signatures pour adopter une solution standardisée de type hash-to-curve et a mis en place un filtrage en amont, avant l’étape du pool mémoire.$BTC
Cela dit, à mes yeux, corriger des failles logiques connues et éliminer complètement les risques structurels au niveau du protocole sont deux choses tout à fait différentes.
Même si les correctifs du dépôt de code sont rédigés avec la plus grande rigueur, le taux de mise à niveau des versions sur l’ensemble des nœuds du réseau et les tests de non-régression restent des épreuves incontournables. C’est particulièrement vrai lors de la migration d’états historiques, car les jonctions entre l’ancienne et la nouvelle logique sont les endroits où des cas limites imprévus ont le plus de chances d’apparaître.$ETH
Quand je suis l’évolution de ce type de blockchain de couche fondamentale, je ne considère pas un correctif de sécurité après coup comme un motif d’optimisme aveugle. La refonte des protocoles fondamentaux s’accompagne souvent d’un arbitrage mouvant entre efficacité d’exécution et stabilité du système.
Le fait qu’ils aient osé exposer au grand jour des risques critiques dans le code fondamental témoigne certes de leur rigueur d’ingénierie. Mais la capacité du réseau à résister réellement à l’épreuve dépendra, en fin de compte, de ses performances sous forte charge sur le réseau principal. En la matière, mieux vaut garder une part de réserve : c’est l’attitude la plus raisonnable.@Dusk
Quand on suit un projet, on a tendance à se focaliser sur les fluctuations du marché. Pour ma part, je m’intéresse davantage au mécanisme d’isolation mémoire de la machine virtuelle sous-jacente : si le processus hôte est compromis par une désérialisation non sécurisée, une charge malveillante externe pourrait directement détourner un nœud de validation en obtenant des privilèges excessifs. Les dégâts potentiels dépassent de loin ceux d’une faille ordinaire dans un contrat.$DUSK
Du point de vue des mécanismes fondamentaux, l’ancienne conception, qui liait de force le remboursement des frais à l’état du pool de transactions, risquait fortement, en cas de concurrence extrême, de provoquer une rupture de l’état global, voire l’arrêt des nœuds. Un problème plus épineux encore résidait dans un défaut de conception de l’ancien parcours de signature : si la couche de consensus ne peut garantir pleinement l’unicité du calcul de validation, la finalité de l’ensemble du registre s’en trouve fragilisée. Heureusement, l’équipe a remanié la vérification des signatures pour adopter une solution standardisée de type hash-to-curve et a mis en place un filtrage en amont, avant l’étape du pool mémoire.$BTC
Cela dit, à mes yeux, corriger des failles logiques connues et éliminer complètement les risques structurels au niveau du protocole sont deux choses tout à fait différentes.
Même si les correctifs du dépôt de code sont rédigés avec la plus grande rigueur, le taux de mise à niveau des versions sur l’ensemble des nœuds du réseau et les tests de non-régression restent des épreuves incontournables. C’est particulièrement vrai lors de la migration d’états historiques, car les jonctions entre l’ancienne et la nouvelle logique sont les endroits où des cas limites imprévus ont le plus de chances d’apparaître.$ETH
Quand je suis l’évolution de ce type de blockchain de couche fondamentale, je ne considère pas un correctif de sécurité après coup comme un motif d’optimisme aveugle. La refonte des protocoles fondamentaux s’accompagne souvent d’un arbitrage mouvant entre efficacité d’exécution et stabilité du système.
Le fait qu’ils aient osé exposer au grand jour des risques critiques dans le code fondamental témoigne certes de leur rigueur d’ingénierie. Mais la capacité du réseau à résister réellement à l’épreuve dépendra, en fin de compte, de ses performances sous forte charge sur le réseau principal. En la matière, mieux vaut garder une part de réserve : c’est l’attitude la plus raisonnable.@Dusk