Đồng sáng lập Ethereum Vitalik Buterin cho biết AI không phải là dấu chấm hết cho an ninh mạng, thay vào đó ông lập luận rằng các mô hình tiên tiến có thể giúp phần mềm tiền điện tử khó bị phá vỡ hơn.

Trong một bài đăng hôm thứ Tư trên X, Buterin lập luận rằng AI sẽ không mang lại lợi thế không thể vượt qua cho tin tặc, đồng thời nói thêm rằng những người nắm giữ tiền điện tử—bao gồm cả ông, với khoảng 90% tài sản ròng của mình là tiền điện tử—đang đặt cược rằng các biện pháp phòng thủ an ninh có thể theo kịp.

“Việc hack bằng AI sẽ khiến an ninh mạng diệt vong đang là một quan điểm ngày càng phổ biến,” Buterin viết. “Tôi không đồng ý. Tôi nghĩ rằng an ninh mạng vốn dĩ nghiêng về phòng thủ một khi mọi người thực sự nghiêm túc.”

Buterin lập luận rằng AI có thể biến việc xác minh hình thức—việc sử dụng các bằng chứng toán học để xác định phần mềm là an toàn—trở nên khả thi ngay cả đối với các hệ thống phức tạp.

“Nếu AI có thể chứng minh các phương trình Navier-Stokes và định lý Fermat cuối cùng (FLT), thì AI có thể chứng minh rằng ‘chương trình này an toàn’ như một định lý toán học,” ông viết. “Ngay cả khi chương trình rất phức tạp.”

Nói cách khác, Buterin tin rằng AI đủ tinh vi để giải quyết các vấn đề toán học nổi tiếng khó cũng có thể chứng minh rằng ngay cả phần mềm phức tạp cũng đáp ứng các yêu cầu bảo mật được xác định rõ ràng.

Tuy nhiên, điều đó không có nghĩa là bảo mật dễ dàng, ông nói. Phần khó là xác định ‘an toàn’ nghĩa là gì ngay từ đầu.

Các nhà phát triển blockchain ngày càng sử dụng các tác nhân AI để quét mã, thử nghiệm các lỗ hổng và xác minh lỗi trước khi những kẻ tấn công có thể hành động, với các nhà nghiên cứu đã phát hiện ra các lỗ hổng trong cả cơ sở hạ tầng Ethereum và phần mềm Bitcoin.

Các nhà phát triển trên khắp không gian tiền điện tử đang triển khai AI một cách phòng thủ sau nhiều sự cố làm dấy lên lo ngại rằng AI đang mang lại lợi thế cho những kẻ tấn công.

Vào tháng 5, nhà nghiên cứu bảo mật Taylor Hornby đã sử dụng Claude Opus 4.8 của Anthropic để phát hiện một lỗ hổng bốn năm tuổi trong nhóm bảo mật Orchard của Zcash, lỗ hổng này có thể đã cho phép tạo ra ZEC giả không giới hạn và không thể bị phát hiện, mặc dù các nhà phát triển không tìm thấy bằng chứng nào cho thấy nó đã bị khai thác trước khi họ vá lỗi vào tháng 6.

Cuộc đua giữa những kẻ tấn công và phòng thủ đã tăng tốc vào tháng 7, khi các nhà nghiên cứu của Ethereum Foundation cho biết các tác nhân AI đã phát hiện ra các lỗ hổng trong cơ sở hạ tầng mạng quan trọng. Cùng tháng đó, những kẻ tấn công bắt đầu rút tiền từ ví Coldcard thông qua một lỗ hổng phần sụn đã có từ nhiều năm trước làm suy yếu việc tạo seed, cuối cùng đánh cắp khoảng 130 triệu USD Bitcoin. Nhà sản xuất Coldcard Coinkite cho biết AI có thể đã giúp xác định lỗi này.

Đến tháng 8, mối đe dọa đã lan rộng khắp hệ sinh thái phần mềm Bitcoin. Boltz đã đình chỉ dịch vụ hoán đổi của mình, nói rằng những kẻ tấn công bị nghi ngờ đang tìm ra các lỗ hổng nhanh hơn các nhà phát triển của họ có thể khắc phục, trong khi Core Lightning xác nhận rằng một số lỗ hổng được xác định trong các báo cáo do AI tạo ra là có thật. Để đối phó, Đội Đỏ Bitcoin tình nguyện đã sử dụng các cuộc kiểm tra được hỗ trợ bởi AI để gắn cờ 4.962 lỗ hổng tiềm ẩn trên 390 dự án.

Buterin cho biết AI hiện có thể xác minh toàn bộ chương trình thay vì chỉ các thành phần được chọn, một cách tiếp cận mà Ethereum dự định theo đuổi trong vài năm tới.

“Không có tương lai nào cho các blockchain—đặc biệt là các blockchain có khả năng mở rộng và quyền riêng tư—nếu không làm điều này,” ông nói. “Chúng tôi cần làm cho phần mềm thực sự an toàn. Và chúng tôi đã đạt được rất nhiều tiến bộ.”