Resumiendo el avance en MonadBFT Ayer, Category Labs publicó el documento de MonadBFT, que describe el mecanismo de consenso que impulsará a Monad en la red principal. MonadBFT es un avance significativo en la investigación de consenso, ya que es la primera vez que Pipelined HotStuff se vuelve resistente a la bifurcación de cola. La bifurcación de cola se produce cuando una ranura perdida hace que la propuesta anterior se descarte y se vuelva a minar. Es un problema grave en las formulaciones anteriores de Pipelined HotStuff, ya que abre ataques MEV multibloque que desestabilizan el consenso. Aliviar este problema es un gran problema porque nos brinda todos los beneficios de Pipelined HotStuff (bloques frecuentes, baja latencia, grandes conjuntos de validadores) mientras evita el mayor inconveniente. MonadBFT también ofrece una gran mejora para la finalidad. Presenta una finalidad especulativa de una sola ranura (500 ms) y una finalidad dura de dos ranuras (1s). "Finalidad especulativa" significa "finalidad que se revertirá solo en caso de equívoco (doble firma) por parte de la mayoría de los validadores". El equívoco es una ofensa importante en la mayoría de los sistemas de blockchain y comúnmente se penaliza con cortes; Cuanto mayor sea la penalización por el equívoco, más cerca se puede pensar en la "finalidad especulativa" de la finalidad. La finalidad especulativa de una ranura es un gran desbloqueo para aplicaciones de alto rendimiento, que pueden mostrar con confianza el estado actualizado del mundo inmediatamente después de recibir el siguiente bloque. Estas propiedades hacen de MonadBFT un gran avance en el consenso, y un complemento digno para otras mejoras compuestas en Monad, incluyendo la Ejecución asíncrona, la Ejecución Paralela Optimista y MonadDb. El resto de este artículo sirve como un resumen de cómo las sucesivas mejoras en HotStuff se han construido unas sobre otras, con el fin de explicar el problema que resuelve MonadBFT. En resumen: 1. HotStuff nos da complejidad de comunicación lineal para que podamos tener grandes conjuntos de validadores, pero no es muy eficiente 2. Pipelined HotStuff nos da eficiencia y baja latencia al proponer bloques en cada ranura, pero sufre el problema de las bifurcaciones de cola 3. MonadBFT nos da la resistencia de la horquilla de cola y la finalidad especulativa de una ranura --- HotStuff: La complejidad de la comunicación lineal permite grandes cantidades de nodos...