Định nghĩa
Kiểm toán hợp đồng thông minh đánh giá phiên bản cụ thể: quyền, kế toán, lời gọi ngoài, nâng cấp và giả định kinh tế. Không chứng nhận giá trị token, khả năng thanh toán hay hoàn toàn không lỗi.
Cách hoạt động
Kết hợp xem thủ công, công cụ, kiểm thử và trao đổi với nhà phát triển, ghi mức độ và đề xuất. Kiểm tra sửa lỗi phải nêu rõ phạm vi. Xác minh mã trên trình khám phá không thay kiểm toán.
Điểm cần lưu ý
Xem ngày, phiên bản, địa chỉ, phần loại trừ và lỗi chưa sửa. Oracle, tích hợp, quyền quản trị hay nâng cấp mới làm đổi giả định. Có thể bỏ sót; đánh giá độc lập, thử nghiệm và giám sát bổ trợ. Đọc báo cáo thay vì nhãn, phân biệt mã với rủi ro vận hành và tài chính.