Oppsummerer gjennombruddet i MonadBFT I går ga Category Labs ut MonadBFT-artikkelen, som beskriver konsensusmekanismen som vil drive Monad på hovednettet. MonadBFT er en betydelig utvikling innen konsensusforskning siden det er første gang Pipelined HotStuff blir motstandsdyktig mot haleforking. Haleforking oppstår når et tapt spor fører til at det forrige forslaget blir forkastet og minert på nytt. Det er et alvorlig problem i tidligere Pipelined HotStuff-formuleringer siden det åpner for MEV-angrep med flere blokker som destabiliserer konsensus. Å lindre dette problemet er en stor sak fordi det gir oss alle fordelene med Pipelined HotStuff - hyppige blokkeringer, lav ventetid, store validatorsett - samtidig som vi unngår den største ulempen. MonadBFT tilbyr også en enorm oppgradering for finalitet. Den har enkeltspor (500 ms) spekulativ finalitet og to-spor (1s) hard finalitet. «Spekulativ endelighet» betyr «endelighet som bare vil gå tilbake i tilfelle tvetydighet (dobbeltsignering) av et flertall av validatorer». Tvetydighet er et stort lovbrudd i de fleste blokkjedesystemer og straffes ofte med slashing; Jo større straffen for tvetydighet er, jo nærmere kan du tenke på «spekulativ endelighet» til endelighet. En spilleautomat spekulativ finalitet er en enorm opplåsing for høyytelsesapplikasjoner, som trygt kan vise den oppdaterte tilstanden til verden umiddelbart etter at neste blokk er mottatt. Disse egenskapene gjør MonadBFT til et stort fremskritt i konsensus, og et verdig supplement til andre sammensatte forbedringer i Monad, inkludert asynkron utførelse, optimistisk parallell utførelse og MonadDb. Resten av denne artikkelen fungerer som en oppsummering av hvordan påfølgende forbedringer i HotStuff har bygget på hverandre, for å forklare problemet som MonadBFT løser. For å oppsummere: 1. HotStuff gir oss lineær kommunikasjonskompleksitet slik at vi kan ha store validatorsett, men det er ikke veldig effektivt 2. Pipelined HotStuff gir oss effektivitet og lav ventetid fra å foreslå blokker hvert spor, men lider av problemet med halegafler 3. MonadBFT gir oss gir oss halegaffelmotstand og spekulativ finalitet med ett spor --- HotStuff: Lineær kommunikasjonskompleksitet muliggjør store nodetall...