Đồng sáng lập Ethereum Vitalik Buterin cho rằng kiểm chứng hình thức bằng AI có thể biến toàn bộ phần mềm blockchain thành định lý toán học chứng minh được an toàn.
Đồng sáng lập Ethereum Vitalik Buterin cho rằng trí tuệ nhân tạo không đồng nghĩa với sự kết thúc của an ninh mạng trong lĩnh vực tài sản mã hóa, mà ngược lại có thể giúp phần mềm crypto trở nên khó bị xâm nhập hơn.
Trong một bài đăng trên X hôm thứ Tư, ông lập luận rằng AI sẽ không mang lại cho tin tặc lợi thế không thể vượt qua, đồng thời khẳng định những người nắm giữ tài sản mã hóa, trong đó có chính ông, với khoảng 90% tài sản ròng nằm trong tài sản mã hóa, đang đặt cược vào khả năng các biện pháp phòng thủ có thể theo kịp tốc độ phát triển của mối đe dọa. Ông cho rằng an ninh mạng về bản chất sẽ nghiêng lợi thế về phía phòng thủ một khi con người thực sự tổ chức và xử lý vấn đề nghiêm túc.
Theo Buterin, AI có thể biến kiểm chứng hình thức, phương pháp dùng chứng minh toán học để xác lập phần mềm đáp ứng các thuộc tính an toàn, thành công cụ khả thi ngay cả với những hệ thống phức tạp, bởi nếu AI có thể chứng minh bài toán Navier-Stokes hay Định lý cuối cùng của Fermat thì cũng có thể chứng minh một chương trình là an toàn dưới dạng định lý toán học.
Ông thừa nhận điều này không có nghĩa an ninh là bài toán dễ, bởi phần khó nhất trước hết nằm ở việc xác định chính xác thế nào là “an toàn”.
Cuộc chạy đua giữa tấn công và phòng thủ tăng tốc
Nhận định của Buterin xuất hiện trong bối cảnh các nhà phát triển blockchain ngày càng sử dụng tác nhân AI để quét mã nguồn, kiểm thử phương thức khai thác lỗ hổng và xác minh lỗi trước khi kẻ tấn công kịp hành động, sau một loạt sự cố làm dấy lên lo ngại rằng AI đang tạo lợi thế cho bên tấn công.
Vào tháng 5, nhà nghiên cứu an ninh Taylor Hornby dùng Claude Opus 4.8 của Anthropic phát hiện một lỗ hổng tồn tại bốn năm trong vùng bảo mật Orchard của Zcash, có thể cho phép tạo ZEC giả không giới hạn, trước khi được vá vào tháng 6.
Đến tháng 7, các nhà nghiên cứu của Ethereum Foundation ghi nhận tác nhân AI phát hiện lỗ hổng trong hạ tầng mạng trọng yếu, trong khi đối tượng tấn công khai thác lỗ hổng firmware tồn tại nhiều năm trên ví Coldcard để đánh cắp khoảng 130 triệu USD Bitcoin, một vụ việc mà Coinkite, nhà sản xuất Coldcard, cho rằng nhiều khả năng có sự hỗ trợ của AI.
Sang tháng 8, mối đe dọa lan rộng toàn hệ sinh thái Bitcoin: Boltz phải tạm dừng dịch vụ hoán đổi khi các đối tượng nghi vấn phát hiện lỗ hổng nhanh hơn tốc độ đội ngũ phát triển có thể khắc phục, còn Core Lightning xác nhận một số lỗ hổng trong báo cáo do AI tạo ra là có thật. Để ứng phó, nhóm tình nguyện Bitcoin Red Team đã dùng kiểm toán có sự hỗ trợ của AI để xác định 4.962 lỗ hổng tiềm tàng trong 390 dự án.
Buterin cho biết AI hiện có thể kiểm chứng toàn bộ chương trình thay vì chỉ từng thành phần riêng lẻ, và đây là hướng tiếp cận Ethereum dự kiến theo đuổi trong vài năm tới, bởi theo ông, sẽ không có tương lai nào cho blockchain, đặc biệt là những chuỗi hướng tới khả năng mở rộng và quyền riêng tư, nếu không làm cho phần mềm thực sự an toàn.
