Yhteenveto MonadBFT:n läpimurrosta Eilen Category Labs julkaisi MonadBFT-paperin, jossa kuvataan konsensusmekanismia, joka toimii Monadin pääverkossa. MonadBFT on merkittävä edistysaskel konsensustutkimuksessa, koska se on ensimmäinen kerta, kun Pipelined HotStuff tulee vastustuskykyiseksi häntähaarukkaa vastaan. Hännän haarautuminen tapahtuu, kun menetetty paikka aiheuttaa edellisen ehdotuksen hylkäämisen ja uudelleen louhimisen. Se on vakava ongelma aiemmissa Pipelined HotStuff -koostumuksissa, koska se avaa monilohkoisia MEV-hyökkäyksiä, jotka horjuttavat konsensusta. Tämän ongelman lievittäminen on valtava juttu, koska se antaa meille kaikki Pipelined HotStuffin edut - toistuvat lohkot, alhainen latenssi, suuret validointisarjat - välttäen samalla suurimmat haitat. MonadBFT tarjoaa myös valtavan päivityksen lopullisuuteen. Siinä on yhden paikan (500 ms) spekulatiivinen lopullisuus ja kahden paikan (1s) kova lopullisuus. "Spekulatiivinen lopullisuus" tarkoittaa "lopullisuutta, joka palautuu vain, jos validoijien enemmistö tekee epäselvyyden (kaksoisallekirjoituksen)". Epäselvyys on suuri rikos useimmissa lohkoketjujärjestelmissä, ja siitä rangaistaan yleisesti viiltohaavalla; Mitä suurempi rangaistus epäselvyydestä on, sitä lähempänä "spekulatiivista lopullisuutta" voi ajatella. Yhden paikan spekulatiivinen lopullisuus on valtava avaus tehokkaille sovelluksille, jotka voivat luottavaisesti näyttää päivitetyn maailman tilan heti seuraavan lohkon vastaanottamisen jälkeen. Nämä ominaisuudet tekevät MonadBFT:stä valtavan edistysaskeleen konsensuksessa ja arvokkaan täydennyksen muille Monadin yhdistelmäparannuksille, mukaan lukien Asynchronous Execution, Optimistic Parallel Execution ja MonadDb. Tämän artikkelin loppuosa toimii yhteenvetona siitä, kuinka HotStuffin peräkkäiset parannukset ovat rakentuneet toistensa päälle, selittääkseen MonadBFT:n ratkaiseman ongelman. Yhteenvetona: 1. HotStuff antaa meille lineaarisen viestinnän monimutkaisuuden, jotta meillä voi olla suuria validointisarjoja, mutta se ei ole kovin tehokasta 2. Pipelined HotStuff antaa meille tehokkuutta ja alhaisen latenssin ehdottamalla lohkoja jokaiseen paikkaan, mutta kärsii häntähaarukoiden ongelmasta 3. MonadBFT antaa meille häntähaarukan vastuksen ja yhden paikan spekulatiivisen lopullisuuden --- HotStuff: Lineaarisen tiedonsiirron monimutkaisuus mahdollistaa suuret solmumäärät...