Kiểm toán

Cuối năm 2025, Hacken đã thực hiện một cuộc rà soát bảo mật độc lập các hợp đồng thông minh của Cosmic Signature. Phạm vi bao gồm các hợp đồng đang vận hành trong kho mã công khai, từ giao thức cốt lõi điều hành mỗi chu kỳ đến token CST, cả hai bộ sưu tập NFT, các ví neo giữ, cùng các hợp đồng quản lý ví và hệ thống hỗ trợ chúng. Hacken công bố báo cáo cuối cùng vào tháng 1 năm 2026.

Báo cáo nêu từng phát hiện cùng mức độ nghiêm trọng và trạng thái của nó; phần tóm tắt phía trên thống kê số lượng. Không có phát hiện nào ở mức nghiêm trọng hay cao, và phần lớn mô tả những cân nhắc thiết kế mà đội ngũ đã xem xét và chấp nhận.

Bên cạnh rà soát thủ công, Hacken đã chạy kiểm thử fuzz với các bất biến của hệ thống, chẳng hạn yêu cầu rằng lượng ETH giao thức nắm giữ luôn bằng số đã nạp trừ số đã nhận về. Mọi bất biến đều giữ vững.

Kho mã hợp đồng còn chứa các bước kiểm tra do đội ngũ tự chạy: đặc tả Certora Prover cho logic giao thức, bảo toàn ETH, kiểm soát truy cập và các hợp đồng ví; cấu hình Solidity SMTChecker; phân tích tĩnh bằng Slither; và bộ kiểm thử tự động.

Các bước kiểm tra này chỉ chứng minh hoặc kiểm thử những tính chất mà chúng nêu ra. Cũng như kiểm toán, chúng giảm rủi ro chứ không loại bỏ rủi ro; xem công bố rủi ro.

• Đặc tả CertoraCác tính chất mà Certora Prover kiểm tra, kèm cấu hình của từng lượt chạy (mở trong thẻ mới)
• Cấu hình SMTCheckerCác tập lệnh biên dịch hợp đồng với bộ kiểm tra mô hình của Solidity được bật (mở trong thẻ mới)
• Phân tích SlitherPhân tích tĩnh và kiểm tra khả năng nâng cấp, kèm ghi chú cách chạy (mở trong thẻ mới)
• Bộ kiểm thửCác bài kiểm thử tự động của hợp đồng (mở trong thẻ mới)

Trước khi tương tác với một hợp đồng, bạn có thể tự xác nhận từng điều sau:

1. Tìm địa chỉ hợp đồng trên trang hợp đồng, danh sách địa chỉ chính thức duy nhất.
2. Mở địa chỉ đó trên Arbiscan (mở trong thẻ mới) và xác nhận nó nằm trên Arbitrum One với mã nguồn đã xác minh.
3. So sánh mã nguồn đó với kho mã công khai (mở trong thẻ mới), hoặc kiểm tra kết quả khớp chính xác trên Sourcify (mở trong thẻ mới).
4. Đọc báo cáo của Hacken (mở trong thẻ mới) để xem từng phát hiện và trạng thái của nó.
5. Xác nhận rằng những gì ứng dụng hiển thị khớp với hành vi của hợp đồng trên chuỗi.