PANews 7월 21일 소식, The Block 보도에 따르면, NEAR Protocol 공동 창립자 Illia Polosukhin은 AI가 해커의 소프트웨어 취약점 발견 능력을 크게 가속화하고 있으며, 전통적인 코드 검토 방식으로는 대응하기 어렵다고 밝혔다. 그는 작년 10월 Balancer 사건이 AI 지원 해킹 공격의 시작이라고 지적하며, 사람이 직접 검토하는 데 의존하는 기존 모델은 AI 시대에 더 이상 지속 가능하지 않다고 말했다.

Polosukhin은 형식 검증을 도입해 수학적 증명을 통해 코드 동작이 명세와 완전히 일치하도록 보장해야 한다고 주장했다. AI가 대부분의 증명을 생성하고, 인간이 그 정확성을 검증함으로써 증명 생성 시간을 대폭 단축할 수 있다. 그는 형식 검증이 스마트 계약을 넘어 중요한 인터넷 및 네트워크 소프트웨어까지 확장되어야 한다고 보았다. 같은 날 NEAR는 업그레이드를 발표했으며, 사용자는 양자 저항 계정 키로 전환할 수 있고, 네트워크는 활동 증가에 따라 자동으로 용량을 확장할 수 있다.