Shrnutí průlomu v MonadBFT Včera Category Labs vydaly článek MonadBFT, popisující mechanismus konsensu, který bude pohánět Monad na mainnetu. MonadBFT je významným vývojem ve výzkumu konsensu, protože je to poprvé, kdy se Pipelined HotStuff stává odolným vůči rozvětvení ocasu. Tail-forking nastává, když vynechaný slot způsobí, že předchozí návrh bude zahozen a znovu vytěžen. Jedná se o závažný problém v předchozích formulacích Pipelined HotStuff, protože otevírá multiblokové MEV útoky, které destabilizují konsensus. Zmírnění tohoto problému je obrovský problém, protože nám poskytuje všechny výhody Pipelined HotStuff - časté bloky, nízkou latenci, velké sady validátorů - a zároveň se vyhýbá největší nevýhodě. MonadBFT také nabízí obrovský upgrade pro finalitu. Vyznačuje se jednoslotovou (500 ms) spekulativní konečností a dvouslotovou (1s) tvrdou konečností. "Spekulativní konečností" se rozumí "konečnost, která se vrátí pouze v případě dvojitého podpisu (dvojitého podpisu) většinou validátorů". Dvojznačnost je hlavním přestupkem ve většině blockchainových systémů a je běžně penalizována sekáním; Čím větší je trest za dvojsmysl, tím blíže můžete uvažovat o "spekulativní konečnosti" ke konečné. Jednoslotová spekulativní konečnost je obrovským odemknutím pro vysoce výkonné aplikace, které mohou s jistotou zobrazit aktualizovaný stav světa ihned po přijetí dalšího bloku. Tyto vlastnosti dělají z MonadBFT obrovský pokrok v konsensu a důstojný doplněk k dalším vylepšením v Monad, včetně asynchronního provádění, optimistického paralelního provádění a MonadDb. Zbytek tohoto článku slouží jako shrnutí toho, jak na sebe postupná vylepšení v HotStuff navazovala, aby se vysvětlil problém, který MonadBFT řeší. Abych to shrnul: 1. HotStuff nám dává lineární komunikační složitost, takže můžeme mít velké sady validátorů, ale není to příliš efektivní 2. Zřetězený HotStuff nám poskytuje efektivitu a nízkou latenci při navrhování bloků v každém slotu, ale trpí problémem koncových vidlic 3. MonadBFT nám dává odolnost proti zadní vidlici a spekulativní konečnost jedné pozice --- HotStuff: Složitost lineární komunikace umožňuje velký počet uzlů...