NEAR 프로토콜 공동 창립자 일리아 폴로수킨은 전통적인 코드 검토 방식을 능가하는 AI 지원 해킹의 증가하는 위협을 강조했습니다. 폴로수킨은 AI가 소프트웨어 취약점 발견 속도를 크게 가속화하여 수동 검토 모델을 쓸모없게 만들고 있다고 언급했습니다. 그는 작년 10월 발렌서 사건을 AI 기반 공격의 중요한 전환점으로 지적했습니다. 이를 해결하기 위해 폴로수킨은 수학적 증명이 코드 동작이 명세와 일치함을 보장하는 형식 검증의 도입을 주장합니다. AI가 이러한 증명을 생성하면 인간이 이를 검증하여 증명 생성에 필요한 시간을 줄일 수 있습니다. 그는 형식 검증을 스마트 계약을 넘어 중요한 인터넷 및 네트워크 소프트웨어로 확장할 것을 제안합니다. 동시에 NEAR는 사용자가 양자 저항 계정 키로 전환할 수 있게 하고, 네트워크가 활동 증가에 따라 자동으로 확장되도록 하는 업그레이드를 출시했습니다.