Tóm tắt về đột phá trong MonadBFT Hôm qua, Category Labs đã phát hành tài liệu MonadBFT, mô tả cơ chế đồng thuận sẽ vận hành Monad tại mainnet. MonadBFT là một phát triển quan trọng trong nghiên cứu đồng thuận vì đây là lần đầu tiên Pipelined HotStuff trở nên kháng cự với tail-forking. Tail-forking xảy ra khi một slot bị bỏ lỡ khiến đề xuất trước đó bị loại bỏ và được khai thác lại. Đây là một vấn đề nghiêm trọng trong các công thức Pipelined HotStuff trước đây vì nó mở ra các cuộc tấn công MEV đa khối làm mất ổn định đồng thuận. Giải quyết vấn đề này là một điều rất quan trọng vì nó mang lại cho chúng ta tất cả lợi ích của Pipelined HotStuff - khối thường xuyên, độ trễ thấp, bộ xác thực lớn - trong khi tránh được nhược điểm lớn nhất. MonadBFT cũng cung cấp một nâng cấp lớn cho tính cuối cùng. Nó có tính cuối cùng dự đoán một slot (500 ms) và tính cuối cùng cứng hai slot (1s). “Tính cuối cùng dự đoán” có nghĩa là “tính cuối cùng sẽ chỉ bị đảo ngược trong trường hợp có sự lừa đảo (ký kép) bởi đa số các bộ xác thực”. Sự lừa đảo là một vi phạm lớn trong hầu hết các hệ thống blockchain và thường bị phạt bằng cách cắt giảm; hình phạt càng lớn cho sự lừa đảo thì bạn càng có thể nghĩ về “tính cuối cùng dự đoán” gần với tính cuối cùng. Tính cuối cùng dự đoán một slot là một mở khóa lớn cho các ứng dụng hiệu suất cao, có thể tự tin hiển thị trạng thái cập nhật của thế giới ngay sau khi nhận được khối tiếp theo. Những thuộc tính này làm cho MonadBFT trở thành một tiến bộ lớn trong đồng thuận và là một bổ sung xứng đáng cho các cải tiến cộng dồn khác trong Monad bao gồm Thực thi không đồng bộ, Thực thi song song lạc quan và MonadDb. Phần còn lại của bài viết này là tóm tắt cách các cải tiến liên tiếp trong HotStuff đã xây dựng dựa trên nhau, để giải thích vấn đề mà MonadBFT giải quyết. Tóm tắt: 1. HotStuff mang lại cho chúng ta độ phức tạp giao tiếp tuyến tính để chúng ta có thể có các bộ xác thực lớn, nhưng nó không hiệu quả lắm 2. Pipelined HotStuff mang lại cho chúng ta hiệu quả và độ trễ thấp từ việc đề xuất khối mỗi slot, nhưng gặp vấn đề về tail forks 3. MonadBFT mang lại cho chúng ta khả năng kháng cự tail-fork và tính cuối cùng dự đoán một slot --- HotStuff: Độ phức tạp giao tiếp tuyến tính cho phép số lượng nút lớn...