jeu. Août 5th, 2021
    Free TON, Slashing, Validators

    La configuration du réseau Free TON nécessite un mécanisme de slashing spécial, qui comprend non seulement des sanctions contre les validateurs, mais contribue également à la résistance au stress de l’ensemble de la blockchain.

    Nous avons discuté de ses spécificités avec Mitya Goroshevsky, CTO de TON Labs, et Sergey Zaitsev, Senior Data Specialist et TON Live Blockchain explorer Product Owner.

    “Nous avons été témoins d’événements catastrophiques”

    Free TON, Validators,

    Avec ces mots, Mitya Goroshevsky et TON OS core developer Leonid Kholodov, ont immédiatement identifié le problème rencontré par la plateforme Free TON.

    Les pannes du centre de données résultant du lancement de nœuds avec des logiciels incompatibles et une mauvaise configuration ont conduit à une perte de consensus parmi les validateurs. Lorsqu’un tiers d’entre eux ont abandonné le système de cette manière, tout le réseau s’est arrêté.

    Pour minimiser la dépendance de la blockchain au travail des participants individuels au consensus, TON Labs a développé un algorithme fondamentalement nouveau pour les actions du système lui-même. Il complétera le mécanisme déjà utilisé et traditionnel de “fisherman control” sur les validateurs.

    Troisième roue

    Free TON, Validators

    Le slashing est un type de sanction qui devrait contribuer à améliorer la sécurité du réseau et de ses membres.

    Rappelons que pour la validation, un participant à la plateforme Free TON doit bloquer une mise de plusieurs centaines de milliers de pièces, soit la sienne, soit celle de quelqu’un d’autre. Et ce stake est une garantie de la justesse de ses actions.

    Si le validateur échoue, il risque alors de perdre une partie de cette mise. Jusqu’à présent, à en juger par les commentaires sur les forums spécialisés, les principales difficultés pour les participants sont liées aux configurations du réseau et des équipements. Les organisateurs supposent que le facteur humain peut également interférer dans les manifestations les plus simples — inattention, paresse, préparation technique insuffisante. Si une intention malveillante et une collusion sont détectées dans les actions du validateur, alors l’ensemble du stake peut être bloqué. Bien qu’il s’agisse d’un scénario extrêmement hypothétique, une réaction a été préparée pour cela.

    Imaginons que le processus de validation a commencé, et parmi ses participants, il y a ceux qui ont fait une erreur. Pour détecter un violateur de consensus, les validateurs, en fait, se contrôlent eux-mêmes, envoyant des données sur le travail incorrect de leurs collègues.

    Au cours de la session AMA, Mitya Goroshevsky a expliqué comment cet algorithme fonctionne. Au niveau du contrôle central de la plateforme Free TON, il existe deux contrats intelligents, Electeur et Slasher. Slasher reçoit des informations des validateurs concernant l’exactitude du travail des autres validateurs, le tout conformément à la tolérance aux pannes byzantine (Byzantine Fault Tolerance).

    Essentiellement, les validateurs vérifient constamment d’autres validateurs. Dans le cas où 2/3 des participants à ce contrôle déclarent une menace potentielle, Slasher envoie cette information à Electeur, qui décide de l’étape suivante.

    Et ici, un scénario non prévu dans le TON original est possible, un changement dynamique de l’ensemble des validateurs. Ensuite, le “mauvais” nœud est simplement déconnecté de la validation.

    “Cela améliorera la résilience des réseaux”, pense Mitya Goroshevsky, car il sera plus efficace de ne pas punir avec de l’argent immédiatement, comme le suggérait précédemment la conception de la plateforme TON, mais d’exclure temporairement le validateur du système, afin de ne pas être pris en compte dans le pourcentage total de nœuds de travail. Cela signifie que le seuil alarmant de 33% des nœuds fonctionnant de manière incorrecte sera repoussé, au-delà duquel tout le réseau peut s’arrêter.

    En mode normal, le slashing est considéré comme une punition pour les défauts découverts

    • lors du travail des validateurs:
    • signature de bloc erronée;
    • erreur de calcul dans la transaction;
    • approbation des paiements illégaux.

    Une liste détaillée des indicateurs pour lesquels des sanctions sont prévues se trouve dans la description du concours. Bien que le mécanisme de slashing n’ait pas encore été mis en œuvre, les points de slashing actuels sont déjà attribués. Il faut faire attention au seuil critique des points attribués au validateur, qui est de 0,66, c’est-à-dire que si l’indicateur est en dessous, il n’y aura pas de conséquences négatives pour le validateur.

    Les fonds bloqués à la suite du slashing seront répartis entre les validateurs dont le travail était correct. Cependant, il ne faut pas confondre le slashing lors de la validation et la situation où les conditions du concours seront violées, même si le validateur ne participe pas du tout aux élections et à la validation. Par exemple, dans la Rust Cup. Comme nous l’a expliqué Sergey Zaitsev, “en cas d’échec de l’achèvement du cycle de validation, la partie du vesting-stake qui appartient au cycle infructueux est renvoyée aux organisateurs après le déverrouillage”.

    Quand les déposants sont attaqués

    Free TON, Validators, Contributors

    Si les points de slashing dépassent le seuil critique, une session de pénalité commence pour le validateur. Mais pas seulement pour lui. Si son stake se compose en grande partie de fonds que d’autres détenteurs de cristaux y ont investis, ils peuvent en souffrir.

    Sergey Zaitsev, dans une conversation avec notre publication, a expliqué la séquence de blocage des fonds en cas de coupures. Premièrement, le montant du manque à gagner sera débité du propre stake du validateur. L’ordre est le suivant: d’abord un stake régulier, puis un vesting-stake, puis un lock-stake.

    “L’un des principaux paramètres de DePool auxquels les déposants doivent prêter attention est la taille de la garantie, c’est-à-dire la contribution minimale que le validateur doit mettre en son nom à chaque cycle de validation”, a déclaré Sergey Zaitsev.

    Dans le même temps, Mitya Goroshevsky a particulièrement souligné que les contributeurs du DePool du validateur condamné à une amende ne peuvent souffrir que dans le dernier tour.

    Si cela se produit, les pertes seront subies par les déposants proportionnellement aux dépôts dans DePool, tandis que le pourcentage de radiation du montant du dépôt sera le même.

    En attendant de véritable slashing

    Sur le réseau principal Free TON, il ne s’agit que d’un projet pour le moment. Comme Mitya Goroshevsky l’a expliqué à notre publication, lors de la compétition DePool Game, il n’y avait qu’une imitation de slashing, et sa mise en œuvre complète est prévue pour la Rust Cup.

    Il n’y aura pas de simulation de slashing dans le Rustnet, il y aura un véritable slashing. Voyons comment cela fonctionne et réfléchissons à la façon de le visualiser. Je ne l’ai pas encore vu en action. Sergey Zaitsev dans le chat Telegram des validateurs

    À notre question sur le moment exact où il est prévu de commencer à faire du slashing, Mitya a répondu qu’il était trop tôt pour en parler, car pour sa mise en œuvre, il est nécessaire de procéder à une vérification formelle du nouveau contrat de l’Electeur et de passer par les tours nécessaires des tests. Dans l’intervalle, les mécanismes dynamiques de slashing seront encore améliorés et développés.

    Mais la première étape fondamentale — le choix d’un algorithme lorsque les validateurs qui ne valident pas bien seront immédiatement exclus de l’ensemble — a déjà été franchie, et elle devrait considérablement affecter l’amélioration du consensus et de la sécurité du réseau.

    21
    0