Vitalik: An ninh mạng tự nhiên nghiêng về phòng thủ, việc nắm giữ tiền điện tử chính là đặt cược vào điều này

Người sáng lập Ethereum, Vitalik Buterin, đã đăng bài viết cho rằng ông không đồng ý với quan điểm phổ biến "tin tặc AI có nghĩa là an ninh mạng chắc chắn sẽ thất bại". Ông cho rằng, một khi mọi người làm rõ tư tưởng, an ninh mạng tự nhiên nghiêng về phía phòng thủ, bất kỳ ai tiếp tục nắm giữ tiền điện tử (bao gồm cả khoảng 90% tài sản ròng của ông) đều đang ngầm đặt cược vào điều này.

Vitalik cho biết: nếu AI có thể chứng minh phương trình Navier-Stokes và định lý lớn của Fermat, thì có thể chứng minh "chương trình này là an toàn" như một định lý toán học, ngay cả khi chương trình rất phức tạp. Ông đã lấy ứng dụng truyền thông mã hóa Signal làm ví dụ để giải thích rằng định nghĩa "an toàn" cực kỳ phức tạp, bao gồm việc giả mạo tin nhắn, can thiệp chủ động, máy chủ bị tấn công, rò rỉ khóa, kênh bên phần cứng, v.v. Định nghĩa nhỏ hơn và có thể chồng chất hơn bề mặt tấn công thực hiện, việc xác minh xem định nghĩa có đầy đủ hay không khả thi hơn so với việc quét mã trực tiếp.

Ông chỉ ra rằng, trong lịch sử, thất bại thường xảy ra do chỉ xác minh các phần an toàn mà họ tự cho là quan trọng mà bỏ qua phần mã còn lại. Ngày nay cần phải xác minh toàn bộ chương trình, bao gồm cơ sở dữ liệu, mạng và lớp bộ nhớ đệm, AI hiện đại có thể làm được điều này. Đây không phải là cuộc thi xem ai phát hiện lỗ hổng trước, mà là làm cho mã nguồn trở nên kiên cường hơn. Vitalik cho biết, đây là hướng đi của Ethereum trong vài năm tới, nếu không có bước này, đặc biệt là blockchain có khả năng mở rộng và bảo mật sẽ không có tương lai, cần phải làm cho phần mềm thực sự an toàn, và đã đạt được nhiều tiến bộ.