Vấn đề của các tướng Byzantine là gì ? Tìm hiểu cơ chế đồng thuận dBFT mà NEO đang sử dụng

Updated: 05/06/2019 at 11:49

Vấn đề của các tướng Byzantine

Vào ngày 5 tháng 7 năm 1982, Leslie Lamport (nhà phát triển LaTeX ban đầu, Nhà nghiên cứu của Microsoft và người chiến thắng Giải thưởng Turing 2013), Robert Shostak và Marshall Pease đã xuất bản một bài báo có tên là “Vấn đề của các vị tướng Byzantine” (The Byzantine Generals’ Problem).

Nhóm đã nghĩ ra một thí nghiệm tư duy cho một vấn đề thỏa thuận trừu tượng.

Họ tưởng tượng rằng một số sư đoàn của quân đội Byzantine đang cắm trại bên ngoài một thành phố của kẻ thù, mỗi sư đoàn được chỉ huy bởi tướng của mình. Các tướng chỉ có thể liên lạc với nhau bằng tin nhắn. Sau khi quan sát kẻ thù, họ phải quyết định một kế hoạch hành động chung.

Ở dạng đơn giản nhất, các tướng chỉ phải quyết định tấn công hay rút lui. Một số tướng có thể thích tấn công, trong khi những người khác thích rút lui. Điều quan trọng là mọi tướng đều đồng ý về một quyết định chung, vì một cuộc tấn công nửa vời của một vài tướng sẽ có khả năng thất bại cao hơn một cuộc tấn công phối hợp hoặc rút lui phối hợp.

Vì không thể biết tướng nào là kẻ phản bội đang cố gắng ngăn các tướng trung thành đạt được thỏa thuận, nên các tướng phải có một thuật toán để đảm bảo rằng tất cả các tướng trung thành quyết định theo cùng một kế hoạch hành động và một số ít kẻ phản bội có thể gây ra các tướng trung thành để thông qua một kế hoạch xấu.

Tướng phản bội

Nếu chín tướng đang bỏ phiếu, bốn người trong số họ ủng hộ tấn công trong khi bốn tướng khác ủng hộ rút lui, thì tướng thứ chín (tướng phản bội) có thể gửi phiếu rút lui cho những tướng đó ủng hộ rút lui và bỏ phiếu tấn công cho những người còn lại. Những người nhận được một cuộc bỏ phiếu rút lui từ vị tướng thứ chín sẽ rút lui, phần còn lại sẽ tấn công.

Sứ giả phản bội

Để làm cho vấn đề tồi tệ hơn, các tướng bị tách biệt về mặt địa lý và phải gửi phiếu bầu của họ thông qua những sứ giả đưa ti, và thậm chí chính người đó có thể phản bội bằng cách không gửi phiếu bầu hoặc có thể giả mạo phiếu bầu sai.

Hệ thống dung sai lỗi Byzantine là gì?

Ánh xạ điển hình của câu chuyện này lên các hệ thống máy tính là các máy tính là các tướng và các liên kết hệ thống truyền thông kỹ thuật số của chúng là các sứ giả.

Nói một cách đơn giản, lỗi Byzantine là một lỗi biểu hiện các triệu chứng khác nhau cho các nhà quan sát khác nhau. Tương tự, Lỗi Byzantine là mất thành phần hệ thống do Lỗi Byzantine trong một hệ thống phân tán đòi hỏi sự đồng thuận.

Vì vậy, lý do là mục tiêu của hệ thống dung sai lỗi Byzantine là có thể phòng thủ trước những thất bại của Byzantine.

Một hệ thống dung sai lỗi Byzantine được triển khai chính xác sẽ vẫn có thể cung cấp dịch vụ, giả sử rằng phần lớn các thành phần vẫn còn khỏe mạnh.

Đạt được dung sai lỗi Byzantine

Một số kiến ​​trúc hệ thống đã được thiết kế để thực hiện Byzantine Fault Tolerance. Triển khai rất cụ thể cho trường hợp sử dụng của họ. Tuy nhiên, có hai giải pháp nổi bật mà các hệ thống này có thể sẽ thực hiện:

Chữ ký tin nhắn không thể giả mạo. Điều này có thể đạt được bằng cách sử dụng mật mã khóa công khai.

Phát sóng nguyên tử. Nếu hệ thống thông báo là lệnh được truyền đi đồng thời cho tất cả những người tham gia, sau đó A không thể gửi một tin nhắn khác cho C và B.

Các giải pháp này không loại trừ lẫn nhau, vì vậy các hệ thống cần có khả năng chịu lỗi rất cao thường kết thúc việc thực hiện một biến thể bao gồm cả hai.

SN_Nour

Tạp Chí Bitcoin

Được đề cập trong bài viết
Bình luận
Đang tải
Mới cập nhật

Ethereum (ETH) có thể đang phát tín hiệu tạo đỉnh cục bộ khi áp lực bán tiến gần đến mức cực đoan trong lịch sử. Các trader bán nhiều hơn 115.400 ETH so với lượng mua Tính đến thứ 3, chỉ số Net Taker Volume của ETH đã lao dốc... ...

Theo một dự báo mới, nhu cầu từ các bàn giao dịch OTC và sàn giao dịch sẽ “kích hoạt” đà tăng giá Bitcoin. Trong nội dung mới đăng trên nền tảng X vào thứ 4, swing trader Bedlam Capital Pres đã đặt cược vào một cú sốc cung Bitcoin... ...

Pi Network đang bước vào giai đoạn quan trọng trong chiến lược phát triển hệ sinh thái khi quyết định gia hạn thời gian đấu giá tên miền “.pi” đến ngày 30/9/2025. Theo Pi Core Team, động thái này không chỉ nhằm tạo điều kiện cho cộng đồng và các... ...

AMINA Bank có trụ sở tại Thụy Sĩ vừa trở thành tổ chức tài chính được quản lý đầu tiên hỗ trợ giao dịch và lưu ký (custody) Sui vào ngày 5 tháng 8. Động thái này đánh dấu một cột mốc quan trọng trong quá trình tiếp nhận SUI... ...

Hyperliquid (HYPE) vừa đạt một cột mốc quan trọng khi chiếm tới 35% tổng doanh thu của toàn bộ các dự án blockchain trong tháng 7. Trong bối cảnh đó, bản nâng cấp HIP-3 sắp ra mắt được kỳ vọng sẽ giúp nền tảng này trở thành một trụ cột... ...

Phân khúc crypto gaming có thể chưa thực sự trở thành tâm điểm chú ý, nhưng chính lúc này lại là thời điểm mà các trader nên bắt đầu quan sát kỹ. Vốn hóa thị trường GameFi hiện ở mức khoảng 12,1 tỷ USD, giảm 4% trong 24 giờ qua.... ...

Hyperliquid (HYPE) tiếp tục chìm trong sắc đỏ, hiện dao động quanh mốc $37,50 vào ngày thứ Tư, sau khi không thể bứt phá qua ngưỡng kháng cự quan trọng hồi đầu tuần. Áp lực bán ngày càng gia tăng, được củng cố bởi các tín hiệu từ dữ liệu... ...

Token gốc của Mantle, MNT, hiện đang dẫn đầu trong bảng xếp hạng tăng giá. Trong 24 giờ qua, giá MNT đã ghi nhận mức tăng 4%, kéo dài một đợt tăng trưởng mạnh mẽ hàng tuần với tổng mức tăng gần 30% trong bảy ngày qua. Đợt tăng trưởng... ...

Các chỉ số on-chain của Solana (SOL) đang ghi nhận những kết quả ấn tượng nhất trong vài tuần gần đây. Tuy nhiên, trong khi hệ sinh thái đang hoạt động sôi nổi, các nhà đầu tư lớn dường như lại không mấy mặn mà ở lại để ăn mừng.... ...

Thị trường hiện đang ở một thời điểm nhạy cảm, khi giá Bitcoin giao dịch quanh ngưỡng 113.447 đô la và các tín hiệu từ chỉ báo RSI đang tạo ra hai kịch bản rõ ràng. Kịch bản thứ nhất là hoạt động chốt lời đẩy giá giảm về vùng... ...

Xem thêm bài viết

Chọn chế độ hiển thị:
Bình thường Bảo vệ mắt Dark Mode