Podsumowanie przełomu w MonadBFT Wczoraj Category Labs opublikowało artykuł MonadBFT, opisujący mechanizm konsensusu, który będzie zasilał Monad w mainnecie. MonadBFT jest znaczącym osiągnięciem w badaniach konsensusu, ponieważ po raz pierwszy Pipelined HotStuff staje się odporny na widelec ogona. Rozwidlenie ogona ma miejsce, gdy pominięte gniazdo powoduje, że poprzednia propozycja zostaje odrzucona i ponownie wydobyta. Jest to poważny problem w poprzednich formułach Pipelined HotStuff, ponieważ otwiera wieloblokowe ataki MEV, które destabilizują konsensus. Złagodzenie tego problemu to ogromna sprawa, ponieważ daje nam wszystkie korzyści płynące z Pipelined HotStuff - częste bloki, niskie opóźnienia, duże zestawy walidatorów - jednocześnie unikając największych wad. MonadBFT oferuje również ogromne ulepszenie dla ostateczności. Charakteryzuje się jednoslotową (500 ms) spekulatywną ostatecznością i dwuslotową (1s) twardą ostatecznością. "Finalność spekulatywna" oznacza "ostateczność, która powróci tylko w przypadku dwuznaczności (podwójnego podpisu) przez większość walidatorów". Dwuznaczność jest poważnym wykroczeniem w większości systemów blockchain i jest powszechnie karana cięciem; Im większa kara za dwuznaczność, tym bardziej można myśleć o "spekulatywnej celowości" do ostateczności. Jednoslotowa spekulatywna finalność to ogromny unlock dla aplikacji o wysokiej wydajności, które mogą pewnie wyświetlać zaktualizowany stan świata natychmiast po otrzymaniu następnego bloku. Te właściwości sprawiają, że MonadBFT jest ogromnym postępem w konsensusie i godnym uzupełnieniem innych ulepszeń złożonych w Monad, w tym Asynchronous Execution, Optimistic Parallel Execution i MonadDb. Pozostała część tego artykułu służy jako podsumowanie tego, w jaki sposób kolejne ulepszenia w HotStuff opierały się na sobie nawzajem, w celu wyjaśnienia problemu, który rozwiązuje MonadBFT. Podsumowując: 1. HotStuff daje nam liniową złożoność komunikacji, dzięki czemu możemy mieć duże zestawy walidatorów, ale nie jest to zbyt wydajne 2. Pipelined HotStuff daje nam wydajność i niskie opóźnienia w proponowaniu bloków w każdym slocie, ale cierpi na problem widelców ogonowych 3. MonadBFT daje nam opór na widelcu ogonowym i spekulacyjną ostateczność z jednym slotem --- HotStuff: Złożoność komunikacji liniowej umożliwia dużą liczbę węzłów...