Vitalik phản đối mới nhất: “Tin tặc AI khiến an ninh mạng không thể giải được”: an ninh vốn nghiêng về phía người phòng thủ, với điều kiện là làm đúng cách. Ông ấy hình dung AI không chỉ tìm lỗ hổng, mà còn coi “chương trình này an toàn” như một định lý toán học để chứng minh; điều quan trọng không phải là chứng minh các phương trình khó đến mức nào, mà là làm thế nào để đị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, v.v.

Điểm đáng chú ý thực sự nằm ở tuyên bố táo bạo của ông: kiểm chứng hình thức không thể chỉ bao phủ các mô-đun cốt lõi, mà cả cơ sở dữ liệu, mạng, bộ nhớ đệm cũng phải được kiểm chứng, tức là “tất cả các chương trình”. Trước đây điều này từng giống như lý tưởng chủ nghĩa, nhưng AI đang khiến nó trở nên khả thi hơn.

Đây không phải là người tốt đào lỗ nhanh hơn kẻ xấu, mà là khiến hệ thống ngay từ đầu khó bị phá vỡ 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; trong vài năm tới, Ethereum sẽ đặt cược vào con đường này. Vitalik cũng nói rằng khoảng 90% tài sản ròng ròng của ông vẫn là tài sản mã hóa—bản thân điều đó cũng là một canh bạc dài hạn cho phía phòng thủ.

#以太坊 #网络安全 #AI