Samenvatting van de doorbraak in MonadBFT Gisteren heeft Category Labs de MonadBFT-paper uitgebracht, waarin het consensusmechanisme wordt beschreven dat Monad op het mainnet zal aandrijven. MonadBFT is een belangrijke ontwikkeling in consensusonderzoek, aangezien het de eerste keer is dat Pipelined HotStuff resistent wordt tegen tail-forking. Tail-forking treedt op wanneer een gemist slot ervoor zorgt dat het vorige voorstel wordt weggegooid en opnieuw wordt gemined. Het is een ernstig probleem in eerdere Pipelined HotStuff-formuleringen, omdat het multi-block MEV-aanvallen opent die de consensus destabiliseren. Het verlichten van dit probleem is een groot probleem, omdat het ons alle voordelen van Pipelined HotStuff biedt - frequente blokken, lage latentie, grote validatorsets - terwijl het grootste nadeel wordt vermeden. MonadBFT biedt ook een enorme upgrade voor finaliteit. Het beschikt over speculatieve finaliteit met één slot (500 ms) en harde finaliteit met twee slots (1s). "Speculatieve finaliteit" betekent "finaliteit die alleen zal terugkeren in het geval van dubbelzinnigheid (dubbele ondertekening) door een meerderheid van de validators". Dubbelzinnigheid is een groot misdrijf in de meeste blockchain-systemen en wordt vaak bestraft met snijden; Hoe groter de straf voor dubbelzinnigheid, hoe dichter je bij de finaliteit kunt denken van "speculatieve finaliteit". Speculatieve finaliteit met één slot is een enorme ontgrendeling voor krachtige applicaties, die vol vertrouwen de bijgewerkte toestand van de wereld kunnen weergeven onmiddellijk nadat het volgende blok is ontvangen. Deze eigenschappen maken MonadBFT tot een enorme vooruitgang in consensus en een waardige aanvulling op andere samengestelde verbeteringen in Monad, waaronder asynchrone uitvoering, optimistische parallelle uitvoering en MonadDb. De rest van dit artikel dient als een samenvatting van hoe opeenvolgende verbeteringen in HotStuff op elkaar hebben voortgebouwd, om het probleem uit te leggen dat MonadBFT oplost. Samenvattend: 1. HotStuff geeft ons lineaire communicatiecomplexiteit zodat we grote validatorsets kunnen hebben, maar het is niet erg efficiënt 2. Pipelined HotStuff geeft ons efficiëntie en lage latentie door het voorstellen van blokken voor elk slot, maar lijdt aan het probleem van tail forks 3. MonadBFT geeft ons achtervorkweerstand en speculatieve finaliteit met één slot --- HotStuff: Lineaire communicatiecomplexiteit maakt grote aantallen knooppunten mogelijk...