Set Byzantine Consensus (SBC) là gì?

Set Byzantine Consensus (SBC) là một vấn đề trong lĩnh vực blockchain và hệ thống phân tán, trong đó một nhóm các nút đồng thuận phải đạt được đồng thuận về một tập hợp các giao dịch cụ thể. Vấn đề này có thể xảy ra khi có sự phân tán và bất đồng giữa các nút trong mạng.

SBC được đặt ra để giải quyết vấn đề của Byzantine Fault Tolerance (BFT), trong đó một số nút trong hệ thống có thể bị lỗi hoặc xấu hơn, gửi thông tin sai lệch hoặc gian lận. Mục tiêu của SBC là đảm bảo rằng tất cả các nút đồng thuận đều đạt được một tập hợp các giao dịch chính xác và không xung đột.

Để đạt được SBC, các thuật toán và giao thức phức tạp được sử dụng để đảm bảo tính toàn vẹn, đồng thuận và an ninh của hệ thống. SBC yêu cầu các nút đồng thuận tuân thủ một số quy tắc và thuật toán để đưa ra quyết định chung về tập hợp giao dịch mà họ đồng thuận. Các quy tắc bao gồm:

  1. SBC-Termination: Mọi nút đúng đắn cuối cùng sẽ đưa ra quyết định về một tập hợp giao dịch cụ thể. Điều này đảm bảo rằng quá trình đồng thuận sẽ kết thúc và không bị lặp vô hạn.
  2. SBC-Agreement: Không có hai nút đúng đắn nào đưa ra quyết định về hai tập hợp giao dịch khác nhau. Mục tiêu là đảm bảo rằng tất cả các nút đồng thuận đều đạt được một quyết định chung.
  3. SBC-Validity: Một tập hợp giao dịch đã được quyết định phải là một tập hợp hợp lệ không xung đột của các tập hợp giao dịch được đề xuất. Điều này đảm bảo rằng tập hợp giao dịch quyết định không bao gồm các giao dịch xung đột và tuân thủ các quy tắc và ràng buộc liên quan khác.
  4. SBC-Nontriviality: Nếu tất cả các nút đúng đắn và đồng thuận đều đề xuất cùng một tập hợp giao dịch hợp lệ và không xung đột, thì tập hợp giao dịch này sẽ là tập hợp giao dịch đã được quyết định. Điều này đảm bảo rằng nếu tất cả các nút hợp lệ đều đồng thuận về một tập hợp giao dịch, thì quyết định đó sẽ được chấp nhận mà không cần đồng thuận thêm.

Các thuộc tính SBC-Termination và SBC-Agreement phổ biến trong nhiều biến thể định nghĩa Byzantine consensus, trong khi SBC-Validity khác biệt: nó khẳng định rằng các giao dịch được đề xuất bởi các bên đều có thể được quyết định miễn là chúng hợp lệ và không xung đột. SBC-Validity được truyền cảm từ thuộc tính external validity [17], [3] yêu cầu một quyết định phải hợp lệ và ý tưởng quyết định ít nhất t+1 giá trị được đề xuất, tuy nhiên, SBC-Validity không thể được đạt được từ bất kỳ sự kết hợp nào của các thuộc tính này. Ví dụ, hợp của các tập con nghiêm ngặt của tất cả các giá trị đề xuất là một quyết định SBC có thể xảy ra. Còn SBC-Nontriviality ngăn chặn một thuật toán không đáng kể luôn xuất ra một tập rỗng khi giải quyết vấn đề.

  • Token Saigon (SGN), blockchain knowledge, backed by Click Digital, BSC address: 0xa29c5da6673fd66e96065f44da94e351a3e2af65
  • Chart, buy now: https://dexscreener.com/bsc/0xa29c5da6673fd66e96065f44da94e351a3e2af65
  • Staking SGN: http://135web.net
Rate this post

Để lại một bình luận

Email của bạn sẽ không được hiển thị công khai. Các trường bắt buộc được đánh dấu *