Summering av genombrottet i MonadBFT Igår släppte Category Labs artikeln MonadBFT, som beskriver den konsensusmekanism som kommer att driva Monad på mainnet. MonadBFT är en viktig utveckling inom konsensusforskning eftersom det är första gången som Pipelined HotStuff blir resistent mot tail-forking. Tail-forking inträffar när en missad plats gör att det tidigare förslaget kasseras och bryts på nytt. Det är ett allvarligt problem i tidigare Pipelined HotStuff-formuleringar eftersom det öppnar upp för MEV-attacker med flera block som destabiliserar konsensus. Att lindra detta problem är en stor sak eftersom det ger oss alla fördelar med Pipelined HotStuff - frekventa block, låg latens, stora valideringsuppsättningar - samtidigt som vi undviker den största nackdelen. MonadBFT erbjuder också en enorm uppgradering för slutgiltighet. Den har en enda plats (500 ms) spekulativ slutgiltighet och två fack (1s) hård slutgiltighet. "Spekulativ slutgiltighet" betyder "slutgiltighet som endast kommer att återgå i händelse av tvetydighet (dubbelsignering) av en majoritet av validerarna". Tvetydighet är ett stort brott i de flesta blockkedjesystem och straffas vanligtvis med slashing; Ju större straffet för tvetydighet är, desto närmare kan du tänka dig "spekulativ slutgiltighet" till slutgiltighet. One-slot speculative finality är en enorm upplåsning för högpresterande applikationer, som med säkerhet kan visa det uppdaterade tillståndet i världen omedelbart efter att nästa block har tagits emot. Dessa egenskaper gör MonadBFT till ett stort framsteg inom konsensus och ett värdigt komplement till andra sammansatta förbättringar i Monad, inklusive Asynchronous Execution, Optimistic Parallel Execution och MonadDb. Resten av den här artikeln fungerar som en sammanfattning av hur successiva förbättringar i HotStuff har byggt på varandra, för att förklara problemet som MonadBFT löser. För att sammanfatta: 1. HotStuff ger oss linjär kommunikationskomplexitet så att vi kan ha stora valideringsuppsättningar, men det är inte särskilt effektivt 2. Pipelined HotStuff ger oss effektivitet och låg latens från att föreslå block varje plats, men lider av problemet med svansgafflar 3. MonadBFT ger oss motstånd mot bakgaffeln och spekulativ slutgiltighet i ett fack --- HotStuff: Linjär kommunikationskomplexitet möjliggör stort antal noder...