Audit smart contract (Smart contract audit)
Tóm lại Audit smart contract là việc chuyên gia độc lập rà soát bảo mật mã hợp đồng của dự án để tìm lỗi, lỗ hổng và quyền quản trị rủi ro.
Audit là hoạt động rà soát có trả phí, trong đó các nhà nghiên cứu bảo mật đọc mã smart contract của dự án, kiểm thử và lập báo cáo liệt kê vấn đề theo mức độ nghiêm trọng. Mục tiêu là tìm lỗi và logic có thể bị khai thác trước kẻ tấn công. Báo cáo thường đánh dấu từng vấn đề là đã khắc phục, đã ghi nhận hoặc chưa xử lý.
Đơn vị audit kết hợp rà soát thủ công với các công cụ như phân tích tĩnh, fuzzing và bộ kiểm thử. Họ tìm những vấn đề như reentrancy, lỗi tính toán, thiếu kiểm tra quyền truy cập, thao túng oracle và quyền hạn nguy hiểm của chủ sở hữu. Báo cáo áp dụng cho một phiên bản mã cụ thể, thường được xác định bằng mã hash của commit hoặc địa chỉ đã triển khai. Một số đơn vị còn cung cấp dịch vụ kiểm chứng hình thức hoặc giám sát liên tục.
Với người mua token, audit cho thấy ít nhất đội ngũ đã trả tiền để có người kiểm tra. Nó không có nghĩa dự án an toàn hay trung thực. Audit không thể ngăn đội ngũ bán token của họ hoặc rút thanh khoản chưa khóa, và nhiều giao thức bị khai thác từng được audit. Với các token nhỏ, những bản audit giá rẻ thường chỉ là kết quả quét tự động được trình bày như một cuộc rà soát, còn một số huy hiệu audit hoàn toàn là giả.
Hãy đọc báo cáo thực tế, đừng chỉ nhìn huy hiệu. Kiểm tra địa chỉ hoặc mã được audit có khớp với hợp đồng đang triển khai không, vì dự án có thể audit một hợp đồng nhưng ra mắt hợp đồng khác. Xem những vấn đề mức nghiêm trọng hoặc cao nào chưa được xử lý, và đơn vị audit có cảnh báo về quyền của chủ sở hữu như mint, thay đổi thuế hay đưa địa chỉ vào blacklist không. Kiểm tra ai thực hiện audit và báo cáo có được đăng trên website của chính đơn vị đó hay chỉ trên website dự án.