The One Thing Every Smart Contract Auditor Misses

Khi kiểm tra smart contract, hầu hết auditor tập trung vào việc phân tích mã nguồn và sử dụng công cụ tĩnh như Slither, MythX, nhưng thường bỏ qua yếu tố con người trong quá trình đánh giá. Các auditor thường dựa vào giả định rằng tài liệu specification là đầy đủ và chính xác, dẫn đến việc bỏ qua các trường hợp edge case do hiểu lầm về ý định kinh tế hoặc quy trình off‑chain, đồng thời bị ảnh hưởng bởi sự mệt mỏi khi đọc hàng trăm báo cáo và kiểm tra hàng chục hợp đồng mỗi tuần. Hệ quả là những lỗi liên quan đến lógica kinh tế, quyền truy cập admin hoặc các tương tác với oracle không được phát hiện, khiến các lỗ hổng như reentrancy, price manipulation hoặc privilege escalation tồn tại và có thể được khai thác gây thiệt hại lên tới hàng triệu đô la. Điều đáng học là cần bổ sung quy trình kiểm tra nhân bản như phỏng vấn đội phát triển, kiểm tra lại spec bằng cách chạy các kịch bản mô phỏng kinh tế và áp dụng danh sách kiểm tra tập trung vào giả định con người, đồng thời luân phiên auditor và giới hạn số lượng hợp đồng mỗi tuần để giảm bias và mệt mỏi. Khi áp dụng những biện pháp này, khả năng phát hiện lỗi do con người gây ra sẽ tăng đáng kể, giúp bảo vệ tài sản của người dùng tốt hơn.