비탈릭 부테린(Vitalik Buterin)이 AI 기반 형식 검증(Formal Verification) 기술이 향후 암호화폐와 인터넷 인프라 보안을 크게 강화할 수 있다고 전망했다.

코인데스크에 따르면 비탈릭 부테린은 최근 AI 기술 발전이 코드 생성뿐 아니라 검증 증명 작성 과정까지 빠르게 효율화하고 있다고 설명했다.

형식 검증은 소프트웨어와 시스템이 의도된 방식대로 정확하게 동작하는지를 수학적으로 증명하는 기술이다. 기존 테스트 방식과 달리 논리적 오류 가능성을 근본적으로 검증하는 접근법으로 평가받는다.

비탈릭 부테린은 “AI는 대량의 부정확한 코드를 빠르게 생성할 수 있지만, 형식 검증은 다시 그 정확성을 확보해줄 수 있다”고 강조했다.

시장에서는 최근 생성형 AI 발전으로 코드 생산 속도가 급격히 빨라지면서 보안 취약점과 오류 가능성 역시 함께 증가하고 있다는 분석이 나온다.

특히 스마트컨트랙트 기반 디파이(DeFi)와 블록체인 프로토콜은 단 한 줄의 코드 오류만으로도 대규모 자금 손실이 발생할 수 있어 검증 기술 중요성이 더욱 커지고 있다.

비탈릭은 향후 형식 검증 기술이 스마트컨트랙트뿐 아니라 영지식증명(ZK), 블록체인 합의 메커니즘, 양자내성 암호화(Post-Quantum Cryptography) 분야에서도 핵심 역할을 하게 될 것이라고 전망했다.

최근 블록체인 업계에서는 ZK 기술과 AI를 결합한 차세대 보안 인프라 연구도 활발하게 진행되고 있다. 특히 AI 기반 자동 검증 시스템은 기존 개발 비용과 검증 시간을 크게 줄일 가능성이 있다는 평가를 받고 있다.

다만 비탈릭 부테린은 형식 검증 역시 완벽한 해결책은 아니라고 선을 그었다.

그는 “잘못된 가정 자체를 검증할 수는 없으며, 하드웨어 취약점이나 외부 시스템 문제까지 모두 해결할 수 있는 것은 아니다”라고 설명했다.

업계에서는 AI 시대가 본격화될수록 단순 코드 작성 능력보다 검증·보안·신뢰성 확보 기술이 더욱 중요해질 가능성이 높다고 보고 있다.

특히 글로벌 금융·국방·인터넷 인프라 분야에서도 AI 기반 검증 시스템 활용 논의가 확대되는 분위기다.

전문가들은 향후 블록체인 산업 경쟁력이 TPS나 속도뿐 아니라 AI 기반 보안 검증 체계 구축 여부에 따라 달라질 가능성이 높다고 분석하고 있다.

박원빈 기자 wbpark@nanryna.kr