Підбиваємо підсумки прориву в MonadBFT Вчора Category Labs випустила документ MonadBFT, в якому описаний механізм консенсусу, який забезпечить роботу Monad в основній мережі. MonadBFT є значною подією в дослідженнях консенсусу, оскільки це перший випадок, коли Pipelined HotStuff стає стійким до розгалуження. Розгалуження хвоста відбувається, коли пропущений слот призводить до того, що попередня пропозиція відкидається та знову видобується. Це серйозна проблема в попередніх формулах Pipelined HotStuff, оскільки вона відкриває багатоблокові MEV-атаки, які дестабілізують консенсус. Полегшення цієї проблеми є величезною справою, оскільки це дає нам усі переваги Pipelined HotStuff - часті блокування, низьку затримку, великі набори валідаторів - уникаючи при цьому найбільшого недоліку. MonadBFT також пропонує величезне оновлення для остаточності. Він має однослотову (500 мс) спекулятивну фіналічність і жорстку фіналізацію з двома слотами (1 с). «Спекулятивна остаточність» означає «остаточність, яка скасується лише у випадку еквівалентності (подвійного підписання) більшістю валідаторів». Еквівокація є серйозним правопорушенням у більшості блокчейн-систем і зазвичай карається скороченням; Чим більший штраф за двозначність, тим ближче можна думати про «спекулятивну завершеність» до остаточності. Однослотова спекулятивна фінальність – це величезний розлок для високопродуктивних додатків, які можуть впевнено відображати оновлений стан світу відразу після надходження чергового блоку. Ці властивості роблять MonadBFT величезним прогресом у досягненні консенсусу та гідним доповненням до інших складних покращень у Monad, включаючи асинхронне виконання, оптимістичне паралельне виконання та MonadDb. Решта цієї статті слугує підсумком того, як послідовні вдосконалення в HotStuff спиралися одне на одного, щоб пояснити проблему, яку вирішує MonadBFT. Підіб'ємо підсумки: 1. HotStuff надає нам лінійну складність зв'язку, щоб ми могли мати великі набори валідаторів, але це не дуже ефективно 2. Pipelineed HotStuff дає нам ефективність і низьку затримку від пропозиції блоків у кожному слоті, але страждає від проблеми хвостових вилок 3. MonadBFT дає нам опір задньої вилки та спекулятивну завершеність з одним слотом --- HotStuff: Лінійна складність зв'язку дозволяє здійснювати велику кількість вузлів...