Resumindo o avanço na MonadBFT Ontem, a Category Labs divulgou o artigo MonadBFT, descrevendo o mecanismo de consenso que alimentará a Monad na mainnet. MonadBFT é um desenvolvimento significativo na pesquisa de consenso, uma vez que é a primeira vez que o Pipelined HotStuff se torna resistente à falsificação da cauda. A bifurcação da cauda ocorre quando uma ranhura perdida faz com que a proposta anterior seja descartada e reextraída. É um problema grave em formulações anteriores do Pipelined HotStuff, uma vez que abre ataques MEV multibloco que desestabilizam o consenso. Aliviar este problema é um grande negócio porque nos dá todos os benefícios do Pipelined HotStuff - blocos frequentes, baixa latência, grandes conjuntos de validadores - evitando a maior desvantagem. MonadBFT também oferece um enorme upgrade para finalidade. Apresenta uma finalidade especulativa de slot único (500 ms) e uma finalidade rígida de dois slots (1s). "Finalidade especulativa" significa "finalidade que só será revertida em caso de equívoco (dupla assinatura) pela maioria dos validadores". O equívoco é uma ofensa grave na maioria dos sistemas blockchain e é comumente penalizado com cortes; Quanto maior a pena por equívoco, mais próximo se pode pensar em "finalidade especulativa" da finalidade. A finalidade especulativa de um slot é um enorme desbloqueio para aplicativos de alto desempenho, que podem exibir com confiança o estado atualizado do mundo imediatamente após o próximo bloco ser recebido. Essas propriedades tornam o MonadBFT um grande avanço no consenso e um complemento digno de outras melhorias de composição no Monad, incluindo Execução Assíncrona, Execução Paralela Otimista e MonadDb. O resto deste artigo serve como um resumo de como as sucessivas melhorias no HotStuff se construíram umas sobre as outras, a fim de explicar o problema que o MonadBFT resolve. Resumindo: 1. O HotStuff nos dá complexidade de comunicação linear para que possamos ter grandes conjuntos de validadores, mas não é muito eficiente 2. Pipelined HotStuff nos dá eficiência e baixa latência de propor blocos a cada slot, mas sofre com o problema de garfos de cauda 3. MonadBFT dá-nos resistência tail-fork e finalidade especulativa de um slot --- HotStuff: A complexidade da comunicação linear permite grandes contagens de nós...