Định nghĩa
Kiểm toán hợp đồng thông minh là rà soát bảo mật độc lập đối với mã on-chain (và thường cả mã off-chain liên quan) trước hoặc sau khi triển khai. Kiểm toán viên tìm lỗi logic, lỗ hổng kiểm soát truy cập, thất bại thiết kế kinh tế, và các lớp lỗ hổng đã biết có thể dẫn tới mất quỹ hoặc bị chiếm giao thức. Kiểm toán không phải bảo đảm “mọi cuộc tấn công đều bị chặn.” Đó là nỗ lực có cấu trúc để tìm và chứng minh điểm yếu trong phạm vi và khung thời gian đã định.