Svmuu 소식: NEAR Protocol의 공동 창립자 일리아 폴로수킨(Illia Polosukhin)은 AI가 해커들이 소프트웨어 취약점을 발견하는 능력을 크게 가속화하고 있으며, 기존의 코드 검토 방식으로는 이에 대응하기 어려워졌다고 밝혔다. 그는 작년 10월 발생한 Balancer 사건이 AI가 지원한 해킹 공격의 시작이었으며, 수동 검토에 의존하는 기존 방식은 AI 시대에 더 이상 지속 가능하지 않다고 지적했다. 폴로수킨은 형식 검증을 도입해 수학적 증명을 통해 코드 동작이 사양과 완전히 일치하도록 보장해야 한다고 주장했다. AI가 증명의 대부분을 생성하고, 인간이 그 정확성을 검증함으로써 증명 생성 시간을 대폭 단축할 수 있다. 그는 형식 검증이 스마트 계약을 넘어 핵심 인터넷 및 네트워크 소프트웨어까지 확대되어야 한다고 생각했다. NEAR는 같은 날 업그레이드를 발표했으며, 사용자는 양자 저항형 계정 키로 전환할 수 있고, 네트워크는 활동 증가에 따라 용량을 자동으로 확장할 수 있게 되었다.