Riassumendo la scoperta di MonadBFT Ieri Category Labs ha pubblicato il documento MonadBFT, che descrive il meccanismo di consenso che alimenterà Monad sulla mainnet. MonadBFT è uno sviluppo significativo nella ricerca di consenso poiché è la prima volta che Pipelined HotStuff diventa resistente al tail-forking. Il tail-forking si verifica quando uno slot mancato causa l'eliminazione e il riminaggio della proposta precedente. Si tratta di un grave problema nelle precedenti formulazioni di Pipelined HotStuff poiché apre ad attacchi MEV multi-blocco che destabilizzano il consenso. Alleviare questo problema è un grosso problema perché ci offre tutti i vantaggi di Pipelined HotStuff - blocchi frequenti, bassa latenza, grandi set di validatori - evitando il più grande svantaggio. MonadBFT offre anche un enorme aggiornamento per la finalità. È dotato di finalizzazione speculativa a slot singolo (500 ms) e finalità rigida a due slot (1s). "Finalità speculativa" significa "finalità che tornerà indietro solo in caso di equivoco (doppia firma) da parte della maggioranza dei validatori". L'equivoco è un reato grave nella maggior parte dei sistemi blockchain ed è comunemente penalizzato con lo slashing; Più grande è la penalità per l'equivoco, più si può pensare alla "finalità speculativa" alla finalità. La finalità speculativa a uno slot è un enorme sblocco per le applicazioni ad alte prestazioni, che possono visualizzare con sicurezza lo stato aggiornato del mondo subito dopo la ricezione del blocco successivo. Queste proprietà rendono MonadBFT un enorme progresso nel consenso e un degno complemento ad altri miglioramenti di composizione in Monad, tra cui l'esecuzione asincrona, l'esecuzione parallela ottimistica e MonadDb. Il resto di questo articolo serve come riassunto di come i successivi miglioramenti in HotStuff si siano costruiti l'uno sull'altro, al fine di spiegare il problema che MonadBFT risolve. Per riassumere: 1. HotStuff ci offre una complessità di comunicazione lineare in modo da poter avere grandi set di validatori, ma non è molto efficiente 2. Pipelined HotStuff ci offre efficienza e bassa latenza dalla proposta di blocchi ad ogni slot, ma soffre del problema delle forchette di coda 3. MonadBFT ci dà la resistenza del forchetta di coda e la finalità speculativa a uno slot --- HotStuff: la complessità della comunicazione lineare consente un numero elevato di nodi...