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

코인뉴스

이더리움(ETH) 공동 창시자 비탈릭 부테린이 제시한 ‘AI 보조 형식 검증’이 블록체인 보안 체계의 구조를 바꿀 핵심 기술로 부상하고 있다. 멕시벤처스(MEXC Ventures)는 최근 보고서를 통해 AI가 코드의 수학적 증명 과정을 자동화할...