Kiểm toán
Các đánh giá bảo mật độc lập giúp xác định các rủi ro của hợp đồng thông minh. Một báo cáo chỉ là bằng chứng hữu ích khi phạm vi, phiên bản mã và hợp đồng đã triển khai của nó có thể được xác minh.
Sổ đăng ký kiểm toán Atlas chính thức
Hai báo cáo độc lập hiện đang được liên kết từ trang web chính thức của Atlas. Việc công bố xác nhận rằng có một đánh giá tồn tại; điều đó không có nghĩa là mọi phát hiện đã được giải quyết hoặc các hợp đồng là không có rủi ro.
Kiểm toán bảo mật Beosin
Đánh giá bảo mật hợp đồng thông minh · mã báo cáo 202606171520
ĐÃ XUẤT BẢN BÁO CÁO
Kiểm toán hợp đồng thông minh Cyberscope
Đánh giá sơ bộ 15 tháng 6 năm 2026 · giai đoạn đánh giá thứ hai 30 tháng 6 năm 2026
ĐÃ XUẤT BẢN BÁO CÁO
Những nội dung kiểm toán hợp đồng thông minh kiểm tra
Kiểm soát truy cập
Ai có thể gọi các hàm đặc quyền và thay đổi trạng thái nhạy cảm.
Tính tái nhập
Liệu các lệnh gọi bên ngoài có thể thực thi lặp lại một cách bất ngờ hay không.
Xử lý token
Phê duyệt, chuyển khoản, số thập phân và xử lý giá trị trả về.
Toán học & trạng thái
Làm tròn, giới hạn, kế toán và chuyển đổi trạng thái.
Quản trị viên điều khiển
Quyền sở hữu, tạm dừng, khả năng nâng cấp và quyền khẩn cấp.
Logic nghiệp vụ
Việc triển khai có tuân theo các quy tắc Vòng đời thông minh được tài liệu hóa hay không.
Cách đọc mức độ nghiêm trọng của phát hiện
Luôn đọc các định nghĩa mức độ nghiêm trọng của chính kiểm toán viên: nhãn phân loại có thể khác nhau giữa các công ty.
Xác minh báo cáo trước khi tin tưởng huy hiệu
Báo cáo đề cập đến những vấn đề gì — và những gì có thể không
Thường được bảo hiểm
- Mã nguồn đã được kiểm toán và liệt kê các hợp đồng
- Các mẫu lỗ hổng đã biết
- Logic xử lý quyền truy cập và mã thông báo
- Phiên bản mã nguồn cụ thể trong báo cáo
Không tự động được bảo hiểm
- Các lần triển khai trong tương lai hoặc mã nguồn đã nâng cấp
- Bảo mật trang web, ví hoặc thiết bị của người dùng
- Thanh khoản và hành vi của thành viên thị trường
- Kết quả thị trường, kinh tế hoặc vận hành
Tìm kiếm vòng đời khắc phục
→
→
→
