Các dự án nghiêm túc sử dụng phương pháp nào để giảm rủi ro này trước khi ra mắt?

Kiểm toán bảo mật độc lập mã hợp đồng thông minh là thực hành mà các dự án nghiêm túc dựa vào. Vì hợp đồng thông minh thường công khai, không thể thay đổi sau khi triển khai, và thường nắm giữ những khoản tiền lớn, các công ty chuyên trách sẽ rà soát mã trước khi ra mắt để tìm lỗi hoặc sai sót logic mà kẻ tấn công có thể khai thác để rút cạn tiền, giống như một kỹ sư kiểm tra bản vẽ thiết kế trước khi công trình được khởi công.

In mã ra giấy chẳng có tác dụng gì trong việc ngăn một lỗi phần mềm bị khai thác một khi hợp đồng đã hoạt động, và việc chỉ đơn giản yêu cầu người dùng hứa không hack hệ thống thì không mang lại sự bảo vệ thực sự nào cả.

Ngay cả những hợp đồng đã qua kiểm toán đôi khi vẫn bị khai thác sau đó, vì một cuộc kiểm toán chỉ có thể phát hiện những lỗ hổng mà những người rà soát nghĩ đến để tìm kiếm, đó là lý do kiểm toán được xem là thiết yếu nhưng không phải là bất khả xâm phạm trong một lĩnh vực nơi một số tổn thất lớn nhất từng đến từ một sai sót duy nhất bị bỏ sót.