“AI가 블록체인 보안을 다시 쓴다”...멕시벤처스, 부테린 ‘형식 검증’ 전환 주목

이더리움(ETH) 공동 창시자 비탈릭 부테린이 제시한 ‘AI 보조 형식 검증’이 블록체인 보안 체계의 구조를 바꿀 핵심 기술로 부상하고 있다. 멕시벤처스(MEXC Ventures)는 최근 보고서를 통해 AI가 코드의 수학적 증명 과정을 자동화할 경우, 지금까지 비용과 시간, 전문 인력 부족 탓에 제한적으로만 활용되던 형식 검증이 보다 넓은 범위로 확산할 수 있다고 진단했다. 특히 이더리움(ETH) 프로토콜, 영지식 증명(ZK) 시스템, 합의 알고리즘, 암호화 기술 등 핵심 인프라 전반에서 보안 검증의 패러다임이 ‘사후 감사’에서 ‘실시간 자동 검증’으로 이동할 가능성이 제기된다.보고서에 따르면 부테린은 AI 보조 형식 검증을 ‘소프트웨어 개발의…