Vitalik Buterin cho biết những tiến bộ trong artificial intelligence could reshape how crypto systems are attacked và được phòng thủ, buộc hạ tầng phải tiến tới phần mềm được kiểm chứng bằng toán học.
Bài luận của Buterin phác thảo mối đe dọa từ AI
Đồng sáng lập Ethereum argued rằng increasingly powerful AI models sẽ khiến việc phát hiện và khai thác lỗ hổng trong phần mềm phức tạp trở nên dễ dàng hơn nhiều.
Buterin cho rằng lỗi trong hạ tầng crypto càng đáng lo ngại hơn khi các công cụ AI bắt đầu tự động hóa việc tìm kiếm lỗ hổng, một mối quan ngại được cộng đồng nghiên cứu bảo mật rộng rãi chia sẻ.
Ông nhấn mạnh hạ tầng Ethereum (ETH), cơ chế đồng thuận và mật mã hậu lượng tử là các mục tiêu ưu tiên cần được phòng thủ mạnh mẽ hơn.
Thay vì chỉ dựa vào các hình thức kiểm toán truyền thống, Buterin said các nhà phát triển nên áp dụng kiểm chứng hình thức, một phương pháp dùng toán học để chứng minh mã nguồn vận hành đúng như mong muốn trong các điều kiện xác định.
Cũng nên đọc: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Kiểm chứng hình thức như một lớp phòng thủ
"AI cho bạn khả năng viết lượng lớn mã với cái giá phải trả là độ chính xác, và kiểm chứng hình thức mang lại cho bạn độ chính xác đó," Buterin viết.
Ông phản biện lại các nhà nghiên cứu cho rằng phần mềm sinh bởi AI đã trở nên không thể hoàn toàn tin cậy, thay vào đó đưa ra quan điểm lạc quan hơn.
Buterin tin rằng lập trình có trợ giúp của AI kết hợp với các công cụ kiểm chứng có thể cuối cùng tạo ra phần mềm vững chắc hơn cả những gì con người tự xây dựng.
Ông cũng chỉ ra các dự án đang hoạt động như Arklib và evm-asm, vốn tập trung vào việc bảo vệ hạ tầng mật mã và phần mềm Ethereum Virtual Machine.
Tuy vậy, bài luận warned rằng kiểm chứng hình thức không phải là liều thuốc vạn năng. Ngay cả các hệ thống đã được chứng minh bằng toán học cũng có thể thất bại khi nhà phát triển kiểm chứng dựa trên những giả định sai, hoặc khi khai thác nằm ngoài luồng mã đã được kiểm chứng.
Thành tích bảo mật của Buterin
Buterin phác họa một tương lai trong đó hạ tầng số nhạy cảm sẽ được gom lại trong các hệ thống "lõi an toàn" nhỏ hơn, được tách biệt và kiểm chứng kỹ lưỡng, trong khi các ứng dụng ít quan trọng hơn vận hành với quyền hạn giới hạn.
Đồng sáng lập Ethereum đã nhiều lần quay lại chủ đề bảo mật AI trong năm nay. Vào tháng 2, ông đề xuất chia đôi lợi ích năng suất từ AI giữa tốc độ và bảo mật, và vào tháng 5 ông ủng hộ các công cụ kiểm chứng hình thức như Lean cho phát triển đòi hỏi độ tin cậy cao. Bài viết mới nhất của ông mở rộng các lập luận đó thành một tuyên bố rộng hơn, coi chứng minh toán học là câu trả lời đáng tin cậy nhất trước các công cụ tấn công do AI dẫn dắt trên cả hệ thống blockchain lẫn internet truyền thống.
Đọc tiếp: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul