Vitalik vừa phản bác tin mới nhất “tin tặc AI khiến an ninh mạng trở nên vô vọng”: an ninh vốn nghiêng về phía bên phòng thủ, với điều kiện là phải làm đúng phương pháp. Ông hình dung AI không chỉ đi tìm lỗ hổng, mà là coi “tính an toàn của chương trình này” như một định lý toán học để chứng minh; điểm mấu chốt không phải là chứng minh phương trình khó đến đâu, mà là cách định nghĩa an toàn đủ rộng, dễ đọc và có thể ghép nối, để tránh bỏ sót các bề mặt tấn công như giao thức tin nhắn, sandbox, SNARK, FHE…

Điều đáng chú ý thực sự là lập luận mang tính táo bạo của ông: xác minh hình thức không thể chỉ bao phủ các module cốt lõi; cơ sở dữ liệu, mạng và bộ nhớ đệm cũng phải được xác minh, tức là “mọi chương trình”. Trước đây điều này từng bị xem như lý tưởng chủ nghĩa, nhưng AI đang khiến nó trở nên khả thi hơn.

Không phải vì người tốt đào lỗ nhanh hơn kẻ xấu, mà là khiến hệ thống ngay từ đầu khó bị đánh sập hơn. Nếu không có lớp này, việc mở rộng quy mô và chuỗi quyền riêng tư cũng không đi xa được; Ethereum trong vài năm tới sẽ đặt cược vào con đường này. Vitalik cũng nói rằng khoảng chín phần mười tài sản ròng của ông vẫn là tài sản mã hóa, và bản thân điều đó chính là một canh bạc dài hạn cho phía phòng thủ.

#以太坊 #网络安全 #AI