Вчера Category Labs выпустила статью о MonadBFT, описывающую механизм консенсуса, который будет использоваться в Monad на основной сети. MonadBFT является значительным достижением в исследовании консенсуса, так как это первый случай, когда Pipelined HotStuff становится устойчивым к tail-forking. Tail-forking происходит, когда пропущенный слот приводит к отклонению и повторному майнингу предыдущего предложения. Это серьезная проблема в предыдущих формулировках Pipelined HotStuff, так как она открывает возможность для атак MEV на несколько блоков, которые дестабилизируют консенсус. Решение этой проблемы имеет огромное значение, так как дает нам все преимущества Pipelined HotStuff - частые блоки, низкую задержку, большие наборы валидаторов - избегая при этом самого большого недостатка. MonadBFT также предлагает значительное улучшение финальности. Он обеспечивает односекундную (500 мс) спекулятивную финальность и двухсекундную (1с) жесткую финальность. "Спекулятивная финальность" означает "финальность, которая будет отменена только в случае эквивокации (двойного подписания) большинством валидаторов". Эквивокация является серьезным нарушением в большинстве блокчейн-систем и обычно наказывается срезанием; чем больше штраф за эквивокацию, тем ближе можно считать "спекулятивную финальность" к финальности. Односекундная спекулятивная финальность является огромным прорывом для высокопроизводительных приложений, которые могут уверенно отображать обновленное состояние мира сразу после получения следующего блока. Эти свойства делают MonadBFT огромным достижением в консенсусе и достойным дополнением к другим сложным улучшениям в Monad, включая асинхронное выполнение, оптимистичное параллельное выполнение и MonadDb. Остальная часть этой статьи служит кратким изложением того, как последовательные улучшения в HotStuff строились друг на друге, чтобы объяснить проблему, которую решает MonadBFT. Вкратце: 1. HotStuff дает нам линейную сложность коммуникации, чтобы мы могли иметь большие наборы валидаторов, но он не очень эффективен 2. Pipelined HotStuff дает нам эффективность и низкую задержку от предложения блоков в каждом слоте, но страдает от проблемы tail-forking 3. MonadBFT дает нам устойчивость к tail-forking и односекундную спекулятивную финальность.