Việc phát hành Quản trị Kép đang đến gần và cuộc bỏ phiếu Aragon sẽ bắt đầu vào thứ Tư này.
Để đảm bảo rằng Quản trị Kép là hợp lý và an toàn, bốn lớp đã được kiểm toán:
• Đặc điểm kỹ thuật: thiết kế cơ chế, vòng đời đề xuất, các trạng thái quản trị quan trọng.
• Mã: hợp đồng cho ký quỹ tín hiệu, thoát khỏi cơn thịnh nộ, thời gian khóa, ủy ban.
• Tham số: ngưỡng, độ trễ, kích hoạt.
• Triển khai & bỏ phiếu: hợp đồng mainnet khớp với mã đã được kiểm toán, kịch bản bỏ phiếu.
Xem ai đã kiểm tra, kiểm toán & chứng nhận Quản trị Kép:
Quản trị kép được thiết kế để bảo vệ Lido DAO và các nhà đầu tư stETH khỏi các cuộc tấn công vào quản trị. Tuy nhiên, cơ chế này quá phức tạp và có thể trở thành một vector tấn công.
Để đảm bảo điều này không xảy ra, nhiều nhóm đã cố gắng phá vỡ nó (nhiều lần).
Điều này bao gồm các cộng tác viên của Lido và một số đội ngũ bảo mật tốt nhất trong lĩnh vực này.
👇
Thông số kỹ thuật
Thông số kỹ thuật kỹ thuật phác thảo các chi tiết thực hiện chính của cơ chế hệ thống.
Nó đã trải qua hai cuộc đánh giá thiết kế từ bên thứ ba:
• @CertoraInc:
• @rv_inc:
Mã
Phiên bản mã cuối cùng được công bố trên GitHub:
Xác minh chính thức bởi:
1. @CertoraInc
2. @rv_inc
Đã được kiểm toán bởi:
1. @OpenZeppelin
2. @statemindio
Thêm thông tin về từng cái 👇
@CertoraInc
Đã thực hiện xác minh chính thức và đánh giá an ninh của hệ thống. Mô hình hóa toàn bộ logic, mã hóa các bất biến chính, và kiểm tra áp lực các điều kiện quan trọng cho các đề xuất độc hại, đồng thời kiểm tra riêng các vector tấn công có khả năng cho vay chớp nhoáng.
🧾
@OpenZeppelin
Đã xem xét việc triển khai trong hai vòng, xác định các rủi ro logic và lỗi trong việc triển khai. Đã thách thức các giả định và các trường hợp biên, bao gồm cả các chế độ thất bại không rõ ràng.
🧾
@statemindio
Đã mang đến một góc nhìn mới và giúp xác thực khả năng phục hồi của hệ thống trước các hành vi biên và khả năng lạm dụng tiềm tàng. Đã kiểm toán cả cơ chế cốt lõi và các tương tác giữa các đường viền quản trị + thực hiện xác minh triển khai.
🧾
@rv_inc
Đã thực hiện phân tích chính thức sâu về hành vi của hệ thống theo thời gian. Kiểm tra các đảm bảo về an toàn và tính sống, đặc biệt là xung quanh Veto Signalling, Rage Quit, và các chuyển tiếp timelock.
🧾
Nghiên cứu mô hình dựa trên tác nhân bởi @CollectifDAO
Đã thực hiện các mô phỏng căng thẳng bằng cách sử dụng một mô hình công khai để đánh giá cách mà các tác nhân khác nhau có thể thao túng dòng đề xuất hoặc trì hoãn việc rút lui.
🧾
41,1 N
0
Nội dung trên trang này được cung cấp bởi các bên thứ ba. Trừ khi có quy định khác, OKX không phải là tác giả của bài viết được trích dẫn và không tuyên bố bất kỳ bản quyền nào trong các tài liệu. Nội dung được cung cấp chỉ nhằm mục đích thông tin và không thể hiện quan điểm của OKX. Nội dung này không nhằm chứng thực dưới bất kỳ hình thức nào và không được coi là lời khuyên đầu tư hoặc lời chào mời mua bán tài sản kỹ thuật số. Việc sử dụng AI nhằm cung cấp nội dung tóm tắt hoặc thông tin khác, nội dung do AI tạo ra có thể không chính xác hoặc không nhất quán. Vui lòng đọc bài viết trong liên kết để biết thêm chi tiết và thông tin. OKX không chịu trách nhiệm về nội dung được lưu trữ trên trang web của bên thứ ba. Việc nắm giữ tài sản kỹ thuật số, bao gồm stablecoin và NFT, có độ rủi ro cao và có thể biến động rất lớn. Bạn phải cân nhắc kỹ lưỡng xem việc giao dịch hoặc nắm giữ tài sản kỹ thuật số có phù hợp hay không dựa trên tình hình tài chính của bạn.