Layer2 Research Lead: Tại Sao Mã Thông Minh Của Bạn Vẫn Chưa An Toàn? (Và Làm Thế Nào Để Khắc Phục)
Đặng Tuấn
Gần đây, tôi nhận được một câu hỏi từ một nhóm phát triển: "Mã nguồn của chúng tôi đã được kiểm toán bởi ba công ty khác nhau. Tại sao vẫn có lỗ hổng?"
Đây không phải là một câu hỏi mới. Trong 24 năm làm việc trong ngành, tôi đã thấy điều này lặp đi lặp lại. Năm 2017, khi kiểm toán hợp đồng thông minh của OmiseGo, tôi phát hiện ba lỗ hổng nghiêm trọng mà các báo cáo kiểm toán trước đó đã bỏ sót. Thiệt hại tiềm tàng: 1,2 triệu USD.
Sự thật là: kiểm toán là một bức ảnh chụp nhanh. Nó ghi lại trạng thái mã nguồn tại một thời điểm cụ thể. Nhưng blockchain là một hệ thống sống. Tham số thay đổi. Giá token biến động. Kẻ tấn công tìm ra vector mới. Và đột nhiên, một hàm từng được coi là an toàn lại trở thành lỗ hổng chết người.