Le morse s'attaque à la faille du défi synchrone dans les systèmes de stockage d'aujourd'hui
Les systèmes de stockage décentralisés s'appuient sur des défis pour vérifier que les validateurs stockent effectivement des données. Un mécanisme simple : le protocole demande au hasard "avez-vous le blob X ?" et s'attend à des réponses rapides. Le problème est la synchronie—cela ne fonctionne que si les réponses arrivent dans des limites de temps prévisibles.
Les réseaux réels violent cette hypothèse en permanence. Un validateur peut stocker des données correctement mais subir une latence réseau, une congestion régionale ou des pannes brèves. Dans les schémas de défi synchrone, ce validateur honnête apparaît comme non réactif. Le protocole le punit malgré un comportement correct. Pendant ce temps, les validateurs vraiment malveillants peuvent temporiser leurs réponses de manière stratégique, échappant à la détection.
Les défis synchrones créent des incitations perverses. Les systèmes doivent définir des délais de manière lâche pour éviter les faux positifs, ce qui ralentit la détection. Ou ils définissent des délais de manière stricte pour attraper rapidement les comportements indésirables, ce qui pénalise les nœuds honnêtes faisant face à des problèmes temporaires de réseau. Dans tous les cas, le système se dégrade.
@Walrus 🦭/acc abandonne complètement les défis synchrones. Sa vérification asynchrone ne dépend pas du timing des réponses. Un défi reste valide qu'une réponse arrive en millisecondes ou en jours. Les validateurs ne peuvent pas échapper par un retard stratégique, et les nœuds honnêtes ne font jamais face à des punitions pour des conditions réseau échappant à leur contrôle.
Ce changement de synchronie à asynchronie est subtil mais profond—il aligne les hypothèses du protocole avec la façon dont les réseaux réels se comportent réellement.
