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

Bitcoin (BTC) duy trì trạng thái ổn định quanh ngưỡng 110.700 USD trong phiên giao dịch ngày thứ Tư, sau cú hồi phục nhẹ ở phiên trước. Giới đầu tư hiện dồn sự chú ý vào những diễn biến căng thẳng ngày càng leo thang giữa Tổng thống Mỹ Donald... ...

Ripple (XRP) hợp nhất trong kênh đi ngang kể từ ngày 18/8, nhưng động lực thị trường dường như đang chuyển sang có lợi cho phe bò. Dữ liệu on-chain cho thấy nhu cầu đối với altcoin này đang gia tăng ổn định, gợi ý mặc dù phe gấu và... ...

Giá Bitcoin tăng nhẹ vào thứ 4, thêm 0,9% trong 24 giờ qua và giao dịch quanh 111.000 đô la. Nhiều nhà phân tích cho rằng ngưỡng hỗ trợ quan trọng tiếp theo là 110.000 đô la và giá phải giữ được mức này để tránh điều chỉnh sâu hơn.... ...

Giá Dogecoin (DOGE) đã giảm hơn 24% sau khi đạt mức cao nhiều tháng 0,28 đô la vào ngày 21/7. Do đó, những holder lớn nhất của memecoin này bắt đầu xả hàng trong các đợt giảm giá gần đây, cho thấy họ thiếu niềm tin vào khả năng phục... ...

Cronos (CRO) vừa trở thành một trong những đồng tiền điện tử tăng trưởng mạnh nhất thị trường, khi nhảy vọt gần 20% chỉ trong vòng 24 giờ qua. Đà tăng này được thúc đẩy bởi sức mạnh hồi phục chung của thị trường crypto cùng thông tin Trump Media... ...

Khi Bitcoin đang cố gắng duy trì mức giá trên 110.000 đô la, các chỉ báo kỹ thuật cho thấy có thể sẽ xuất hiện thêm những đợt giảm giá. Cụ thể, nguy cơ giảm sâu hơn được thể hiện qua tín hiệu death cross trên chỉ báo MACD, theo... ...

Hyperliquid (HYPE) đã thiết lập một cột mốc quan trọng khi đạt mức cao nhất mọi thời đại (ATH) mới là 50 đô la. Với động lực kỹ thuật mạnh mẽ cùng một câu chuyện tăng trưởng nổi bật, HYPE hiện đang đứng trước cơ hội bứt phá lên mức... ...

Pi Network (PI) tiếp tục chìm trong sắc đỏ trong phiên giao dịch ngày thứ Tư, rơi xuống dưới ngưỡng 0,339 USD và tiến sát mức đáy lịch sử 0,322 USD được thiết lập hôm 1/8. Thị trường đang căng mình chờ đợi sự kiện mở khóa hơn 149 triệu... ...

Ethereum (ETH) gần đây đã thiết lập mức cao kỷ lục mới trên 4.900 USD trước khi bước vào nhịp điều chỉnh. Tại thời điểm hiện tại, ETH đang được giao dịch quanh 4.594 USD, tức giảm khoảng 6,9% so với đỉnh nhưng vẫn ghi nhận mức tăng 8,8% trong... ...

Bitcoin đã thiết lập cột mốc lịch sử mới khi lần đầu tiên vượt ngưỡng 124.000 USD vào đầu tháng này, đánh dấu đỉnh cao mới nhất trong chu kỳ tăng giá hiện tại. Tuy nhiên, sự hưng phấn chỉ kéo dài trong thời gian ngắn. Ngay sau đó, thị trườ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