비탈릭 부테린 이더리움 공동 설립자가 AI 기반 ‘형식 검증(Formal Verification)’ 기술이 향후 암호화폐 및 인터넷 인프라 보안을 크게 강화할 수 있다고 전망했다. 코인데스크에 따르면 형식 검증은 소프트웨어가 의도대로 동작하는지를 수학적으로 증명하는 방식으로, 비탈릭은 최근 AI 발전이 코드와 검증 증명 작성을 크게 효율화하고 있다고 설명했다. 그는 “AI는 대량의 부정확한 코드를 빠르게 생성할 수 있지만, 형식 검증은 그 정확성을 다시 확보해줄 수 있다”며 “스마트컨트랙트·영지식증명(ZK)·합의 메커니즘·양자내성 암호화 등 분야에서 중요성이 커질 것”이라고 밝혔다. 다만 그는 “형식 검증 역시 만능은 아니며, 잘못된 가정이나 하드웨어 취약점까지 모두 해결할 수는 없다”고 덧붙였다.