Nhóm Calibra của Facebook đã xuất bản một bài nghiên cứu phác thảo một phương pháp mới cho khả năng chịu lỗi của Byzantine (BFT).
Được đặt tên là “Twins”, sáng kiến mới của Calibra, bao gồm một phương pháp nhẹ để thử nghiệm triển khai mạng BFT.
Calibra tiên phong chiến lược thử nghiệm BFT
Bài viết khẳng định rằng trong khi các hệ thống BFT đã có các nghiên cứu sâu rộng trong hơn hai thập kỷ, thì lĩnh vực này lại thiếu một chiến lược nguyên tắc để thử nghiệm các triển khai BFT.
Phương thức thử nghiệm chạy hai phiên bản của một node có cùng danh tính để mô phỏng hành vi Byzantine – Mã bao gồm định vị, bỏ phiếu kép và mất trạng thái nội bộ.
Calibra khẳng định rằng Twins cho phép nhà điều hành của mình tạo ra các kịch bản tấn công Byzantine một cách có hệ thống ở quy mô, thực hiện chúng theo cách được kiểm soát và kiểm tra các thuộc tính giao thức mong muốn.
Dung sai lỗi Byzantine
BFT là một khái niệm được rút ra từ một bài báo học thuật năm 1982 của tác giả Leslie Lamport, Robert Shostak và Marshall Pease.
Phép ẩn dụ mô tả một tình huống trong đó một nhóm tướng Byzantine và lực lượng của họ bao vây một lâu đài và chuẩn bị tấn công. Để thành công, tất cả các bên phải tấn công đồng thời, tuy nhiên, có thể có một kẻ phản bội trong số họ – điều này sẽ khiến kế hoạch thất bại.
Trong ngữ cảnh của một blockchain, phép ẩn dụ đề cập đến thách thức đối với một mạng trong việc tìm cách phối hợp giữa mối đe dọa của các tác nhân độc hại đang tìm cách gây ra sự gián đoạn bằng cách truyền dữ liệu sai hoặc không chính xác.
Bitcoin đạt được khả năng chịu lỗi của Byzantine thông qua thuật toán bằng chứng công việc (PoW) – đòi hỏi đầu tư tài nguyên khổng lồ để tạo ra một ảnh hưởng nhỏ trên mạng.
Hệ thống chịu lỗi Byzantine (BFT) là gì ?
Hệ thống chịu lỗi Byzantine (BFT) là hệ thống có thể giải quyết được vấn đề của bài toán các vị tướng quân Byzantine. Điều này có nghĩa là hệ thống BFT có thể tiếp tục hoạt động ngay cả khi một số nút bị lỗi hoặc thực hiện hành động gây hại.
Có nhiều giải pháp khả thi cho vấn đề của bài toán các vị tướng Byzantine, do đó, có nhiều cách để xây dựng một hệ thống BFT. Tương tự như vậy, có nhiều cách khác nhau để một blockchain đạt được hệ thống chịu lỗi Byzantine và điều mà chúng ta có ở đây chính là các thuật toán đồng thuận.
Twins cho thấy sự hứa hẹn và hạn chế
Bài viết phác thảo việc sử dụng Twins để tạo một số cuộc tấn công trên các giao thức BFT, xác định rằng hai trong số các cuộc tấn công – sẽ được Twins xác định trong vòng vài phút.
Người dẫn đầu dự án Libra David Marcus, đã tweet:
One of my greatest joys at work is getting to work with some of the brightest and most capable people in the industry. Here’s some cutting edge work on testing BFT implementations by our mighty research team. https://t.co/kCYLBjGiJF
— David Marcus (@davidmarcus) April 23, 2020
Một trong những niềm vui lớn nhất của tôi trong công việc là được làm việc với một số người thông minh và có năng lực tốt nhất trong ngành. Dưới đây là một số công việc tiên tiến trong việc thử nghiệm triển khai BFT bởi nhóm nghiên cứu hùng mạnh của chúng tôi.
Trong khi bài báo khẳng định rằng nhiều người tiên phong Byzantine có thể được xác định bằng cách sử dụng hệ thống, các tác giả thừa nhận rằng một số hành vi của Byzantine không được Twins bao trùm, bao gồm cả sự không tuân thủ đầy đủ về nguyên nhân trong quá khứ- nơi các node hành động theo hành vi trước đó.
Dislaimer: Đây là thông tin cung cấp dưới dạng blog cá nhân, không phải thông tin tổng hợp hay lời khuyên đầu tư. Chúng tôi không chịu trách nhiệm về các quyết định đầu tư của bạn.
