니어프로토콜(NEAR) 공동설립자 일리아 폴로수킨(Illia Polosukhin)이 "AI를 활용한 해킹이 지난해 10월부터 본격화되기 시작했으며, 기존 코드 리뷰만으로는 이를 따라가기 어려운 상황"이라고 밝혔다. 더블록에 따르면 그는 "AI를 활용해 형식 검증 과정을 더 빠르고 저렴하게 수행하고, 코드가 의도대로 작동하는지 수학적으로 증명하는 방식이 필요하다"고 강조했다.