Vitalik: AI có thể xác minh toàn bộ chương trình, Ethereum sẽ thúc đẩy bảo mật phần mềm trong những năm tới

Odaily đưa tin, Vitalik đã đăng bài trên nền tảng X cho biết khoảng 90% giá trị tài sản ròng của ông được nắm giữ dưới dạng tiền mã hóa, và cho rằng khi các năng lực liên quan dần trưởng thành, an ninh mạng sẽ nghiêng về phía bên phòng thủ.

Ông cho biết AI có thể xác minh "an toàn chương trình" như một định lý toán học, nhưng định nghĩa an toàn cần bao quát các yếu tố rủi ro như khóa, máy chủ, thiết bị, hệ điều hành, cơ sở dữ liệu, mạng lưới và tầng bộ nhớ đệm; đối với các thành phần then chốt về an toàn, cần xác minh toàn bộ chương trình. Vitalik nói rằng Ethereum sẽ thúc đẩy theo hướng này trong những năm tới, và blockchain, đặc biệt là blockchain vừa có khả năng mở rộng vừa có tính riêng tư, cần đạt được bảo mật phần mềm.