Cảnh báo rủi ro: Đề phòng huy động vốn bất hợp pháp dưới danh nghĩa 'tiền điện tử' và 'blockchain'. — Năm cơ quan bao gồm Ủy ban Giám sát Ngân hàng và Bảo hiểm
Tìm kiếm
Đăng nhập
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
Xem thị trường
Tại sao thuật toán đồng thuận của Libra không đủ an toàn?
Sperax
特邀专栏作者
2020-05-09 11:47
Bài viết này có khoảng 1152 từ, đọc toàn bộ bài viết mất khoảng 2 phút
Trong bài viết này, chúng tôi thảo luận về lý do tại sao thuật toán đồng thuận HotStuff của Facebook Libra không đủ an toàn

tiêu đề cấp đầu tiên

Tổng quan về giao thức

tiêu đề cấp đầu tiên

Những đổi mới quan trọng của HotStuff

Mạng giao tiếp hình sao cho phép HotStuff BFT/LibraBFT đạt được sự đồng thuận với độ phức tạp giao tiếp giảm nhưng độ phức tạp vòng tăng lên. Những đổi mới quan trọng đáng chú ý như sau:

1. Những người tham gia HotStuff gửi tin nhắn đã ký cho người lãnh đạo thông qua kênh p2p (mạng liên lạc cấu trúc liên kết hình sao).

2.HotStuff sử dụng sơ đồ chữ ký số ngưỡng có thể đạt được độ phức tạp của trình xác thực tuyến tính bất kể người dẫn đầu đúng hay sai.

tiêu đề cấp đầu tiên

Tầm quan trọng của các nhà lãnh đạo đáng tin cậy

Tầm quan trọng của việc truyền thông báo đặc biệt nổi bật trong lỗ hổng của giao thức HotStuff BFT, vì nó thiếu một quy trình truyền thông báo ra quyết định rõ ràng. Các vấn đề phát sinh khi người lãnh đạo không thể phát thông báo quyết định một cách đáng tin cậy trong HotStuff. Như tình huống sau:

Theo thỏa thuận, nhiệm vụ của người lãnh đạo là mở rộng đường dẫn đến (a0->a1->…->->b). Giả sử quá trình thực thi diễn ra tốt đẹp, chúng tôi tiếp tục với chế độ xem tiếp theo v+1. Chúng tôi muốn người lãnh đạo truyền các lệnh tới tất cả những người tham gia, tất cả những người này sẽ thực hiện các lệnh được liên kết với các nút lá mở rộng b và c. Giao thức HotStuff BFT tuyên bố: "Thực tế, những người nhận chậm trễ có thể bắt kịp bằng cách tìm nạp các nút bị thiếu từ các bản sao khác." Điều này có nghĩa là, ở cuối chế độ xem v+1, những người tham gia chậm trễ có thể bắt kịp với (a0-> a1->… ->->b->c) chuẩn bị QC tương ứng.

Tuy nhiên, một người tham gia cố gắng bắt kịp không có cách nào để biết liệu tất cả những người tham gia có thực sự thực hiện lệnh hay không (nghĩa là liệu người lãnh đạo có truyền lệnh của nút b cho mọi người, một nút hay một số tập hợp con hay không). Theo giao thức HotStuff BFT, các nút trên cây chỉ chứa giá trị băm của nút cha và lệnh máy khách. Kết quả là, các nút lá được duy trì bởi mỗi tác nhân không chứa thông tin về việc lệnh có được thực thi hay không.

Cuối cùng, phân tích này tiết lộ rằng tổng quan ban đầu của HotStuff khiến những người tham gia trên mạng dễ bị mâu thuẫn, do đó phải xem xét liệu một lệnh nhất định đã được thực thi hay chưa được đưa vào nút cây.

Libra
开发者
Chào mừng tham gia cộng đồng chính thức của Odaily
Nhóm đăng ký
https://t.me/Odaily_News
Tài khoản chính thức
https://twitter.com/OdailyChina