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ủ, thúc đẩy hạ tầng chuyển sang phần mềm được kiểm chứng toán học.
Bài luận của Buterin phác họa mối đe dọa từ AI
Đồng sáng lập Ethereum argued rằng increasingly powerful AI models sẽ giúp 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 rất 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 phát hiện lỗ hổng, một mối quan ngại được lặp lại trong cộng đồng nghiên cứu bảo mật.
Ông chỉ ra 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 cho các biện pháp phòng thủ mạnh hơn.
Thay vì chỉ dựa vào các cuộc kiểm toán truyền thống, Buterin said các nhà phát triển nên áp dụng xác minh hình thức, một phương pháp chứng minh bằng toán học rằng mã hoạt động đúng như mong đợi trong các điều kiện xác định.
Also Read: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Xác minh hình thức như một lớp phòng thủ
"AI cho bạn khả năng viết một lượng lớn mã với cái giá là độ chính xác, và xác minh hình thức trả 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 do AI tạo ra đã trở nên không thể hoàn toàn tin cậy, thay vào đó đưa ra một góc nhìn lạc quan hơn.
Buterin tin rằng việc lập trình có trợ giúp của AI kết hợp với các công cụ xác minh có thể cuối cùng tạo ra phần mềm vững chắc hơn những gì con người tự xây dựng.
Ông cũng nhắc đến các dự án đang hoạt động như Arklib và evm-asm, tập trung vào việc bảo mật hạ tầng mật mã và phần mềm Ethereum Virtual Machine.
Tuy nhiên, bài luận warned rằng xác minh hình thức không phải là thần dược. Ngay cả các hệ thống đã được chứng minh bằng toán học vẫn có thể thất bại khi nhà phát triển kiểm chứng những giả định sai, hoặc khi lỗ hổng nằm ngoài đường đi của phần mã đã được kiểm chứng.
Thành tích bảo mật của Buterin
Buterin phác thảo một tương lai trong đó hạ tầng số nhạy cảm sẽ tập trung vào những hệ thống "lõi an toàn" nhỏ hơn, được tách biệt và kiểm chứng chặt chẽ, trong khi các ứng dụng ít quan trọng hơn chạy 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. Tháng 2, ông đề xuất chia đều lợi ích năng suất từ AI cho tốc độ và bảo mật, và vào tháng 5 ông ủng hộ các công cụ xác minh hình thức như Lean cho phát triển yêu cầu độ tin cậy cao. Bài viết mới nhất mở rộng các lập luận đó thành một tuyên bố rộng hơn, xem chứng minh toán học như 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.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul