Résumer la percée de MonadBFT Hier, Category Labs a publié l’article de MonadBFT, décrivant le mécanisme de consensus qui alimentera Monad sur le réseau principal. MonadBFT est un développement significatif dans la recherche consensuelle puisque c’est la première fois que Pipelined HotStuff devient résistant à la fourche de queue. Le tail-forking se produit lorsqu’un emplacement manqué entraîne l’abandon et le reminage de la proposition précédente. Il s’agit d’un problème grave dans les formulations précédentes de Pipelined HotStuff car il ouvre la voie à des attaques MEV multi-blocs qui déstabilisent le consensus. Atténuer ce problème est un énorme problème car il nous donne tous les avantages de Pipelined HotStuff - blocages fréquents, faible latence, grands ensembles de validateurs - tout en évitant le plus gros inconvénient. MonadBFT offre également une énorme mise à niveau pour la finalité. Il propose une finalité spéculative à un seul emplacement (500 ms) et une finalité dure à deux emplacements (1s). « Finalité spéculative » signifie « finalité qui ne reviendra qu’en cas d’équivoque (double signature) par une majorité de validateurs ». L’équivoque est une infraction majeure dans la plupart des systèmes blockchain et est généralement sanctionnée par des coups de bâton ; Plus la pénalité pour équivoque est grande, plus vous pouvez penser à une « finalité spéculative » proche de la finalité. La finalité spéculative à un emplacement est un énorme déblocage pour les applications hautes performances, qui peuvent afficher en toute confiance l’état mis à jour du monde immédiatement après la réception du bloc suivant. Ces propriétés font de MonadBFT une énorme avancée dans le consensus, et un complément digne à d’autres améliorations de la capitalisation dans Monad, notamment l’exécution asynchrone, l’exécution parallèle optimiste et MonadDb. Le reste de cet article sert de résumé de la façon dont les améliorations successives de HotStuff se sont construites les unes sur les autres, afin d’expliquer le problème que MonadBFT résout. Pour résumer : 1. HotStuff nous donne une complexité de communication linéaire afin que nous puissions avoir de grands ensembles de validateurs, mais ce n’est pas très efficace 2. Pipelined HotStuff nous donne de l’efficacité et une faible latence en proposant des blocs à chaque emplacement, mais souffre du problème des fourches arrière 3. MonadBFT nous donne une résistance à la fourche arrière et une finalité spéculative à un emplacement --- HotStuff : La complexité de la communication linéaire permet un grand nombre de nœuds...