NEAR Protocol co-founder Illia Polosukhin nói AI đang giúp hacker tìm lỗ hổng phần mềm nhanh hơn, khiến mô hình rà soát mã thủ công không còn đủ sức đáp ứng.
Ông cho rằng vụ Balancer hồi tháng 10 năm ngoái là dấu mốc cho các cuộc tấn công có hỗ trợ từ AI, và cách kiểm tra mã truyền thống dựa nhiều vào con người đã trở nên khó duy trì trong kỷ nguyên này.
Polosukhin đề xuất dùng formal verification, tức chứng minh toán học để bảo đảm hành vi của mã khớp đúng với đặc tả. Theo ông, AI có thể tạo phần lớn các chứng minh, sau đó con người kiểm tra lại để rút ngắn đáng kể thời gian.
Ông cũng cho rằng cách tiếp cận này nên mở rộng ra ngoài smart contract, sang các phần mềm internet và mạng quan trọng. Cùng ngày, NEAR công bố bản nâng cấp cho phép người dùng chuyển sang khóa tài khoản kháng lượng tử, trong khi mạng có thể tự mở rộng năng lực khi hoạt động tăng.