Algorand chính thức giải thích lý do tại sao nó sẽ không bao giờ phân nhánh: chạy xác minh môi trường

Tin BlockBeats, Algorand rất coi trọng tính bảo mật của mạng và thực hiện mọi phương pháp có thể để đảm bảo rằng mạng Algorand được an toàn. Điều này bao gồm thử nghiệm rộng rãi, đánh giá mã và mã nguồn mở,

Điều này cho phép mọi người trên mạng xác minh mạng.

Do mã và việc triển khai nó Độ bảo mật của giao thức Algorand là như nhau, vì vậy cần phải phân tích và suy ra cẩn thận tính đúng đắn của giao thức Algorand. Nhưng điều này khó thực hiện với các giao thức dành cho hệ thống phân tán, đặc biệt là các giao thức chạy trên hệ thống không an toàn và cho phép bất kỳ ai tham gia mà không có sự cho phép.

Block Beats hiểu theo thứ tự để đảm bảo tốt hơn giao thức Algorand và giúp việc thiết kế và xác minh giao thức trong tương lai trở nên dễ dàng hơn, Algorand đã chọn nâng cao bằng chứng lý thuyết toán học thông qua xác minh máy. Để đạt được mục tiêu này, Algorand đã thuê một công ty chuyên nghiệp có khả năng xác minh chuyên sâu để xác minh tính chính xác của giao thức đồng thuận Algorand thông qua xác minh môi trường đang chạy. Algorand báo cáo một cột mốc quan trọng trong công việc này: sử dụng bằng chứng định lý Coq, nhóm đã phát triển một mô hình toán học chính xác của giao thức và chính thức xác minh đảm bảo an ninh của nó (blockchain không bao giờ phân nhánh). Đầu năm nay, Algorand đã sử dụng Xác minh thời gian chạy để xác thực giao thức đồng thuận của mình. Algorand thông báo rằng họ đã hoàn thành phần đầu tiên của công việc này, mô hình hóa giao thức và chứng minh định lý bảo mật của mình. Cụ thể, nhóm đã sử dụng trợ lý chứng minh (Coq) để xác định một cách có hệ thống các giả định rằng giao thức được đảm bảo về mặt toán học không phân nhánh.

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia