AI가 찾아낸 zkVM의 치명적 보안 취약점: OpenVM 사례

핵심 요약

• 무엇을 · AI 감사 도구 'zkao'가 최첨단 영지식 가상 머신(zkVM)인 OpenVM에서 심각한 건전성(soundness) 버그를 찾아낸 사례를 다룹니다. 이 버그는 페어링 검증 과정에서 증명자가 제공한 값을 제대로 확인하지 않아 발생했습니다.
• 어떻게 · 기존 LLM 방식으로는 복잡한 zkVM 감사가 어렵다는 가설 아래, 'zkao'라는 AI 감사 도구를 OpenVM에 적용했습니다. 이 도구는 페어링 검증 로직의 취약점을 특정하여, 증명자가 하위 필드 검증 없이 임의의 페어링 등식을 위조할 수 있음을 밝혀냈습니다.
• 결과 · 발견된 버그는 OpenVM 1.6.0 버전에서 수정되었으며, CVE-2026-46669로 추적됩니다. 이는 AI가 복잡한 암호화 시스템의 깊은 보안 취약점을 찾아낼 수 있음을 보여주는 중요한 사례입니다.

왜 중요한가

개발자/기술인에게는 영지식 증명(ZKP) 시스템의 보안이 얼마나 복잡하고 중요한지, 그리고 AI 기반 감사 도구가 이러한 복잡성을 해결하는 데 어떻게 기여할 수 있는지를 이해하는 데 중요합니다. 특히 ZKP를 사용하는 시스템을 구축하거나 감사하는 개발자라면 페어링 검증과 같은 핵심 요소의 구현 디테일에 주의해야 함을 시사합니다.

실생활·산업 영향

이러한 유형의 버그는 Groth16, PLONK, BLS 서명 등 페어링 기반의 모든 영지식 증명 및 암호화 프로토콜의 신뢰성을 근본적으로 훼손할 수 있습니다. AI를 활용한 보안 감사는 블록체인, 웹3, 그리고 민감한 데이터 처리 시스템 등 암호화 기술이 필수적인 산업에서 보안 수준을 높이는 데 기여할 것입니다.

한계·주의

본문에서는 AI 감사 도구 'zkao'의 구체적인 작동 방식이나 LLM의 한계를 극복한 상세한 기술적 접근 방식에 대한 설명이 제한적입니다. 또한, AI가 발견할 수 있는 버그의 종류나 복잡성, 그리고 아직 AI가 해결하지 못하는 보안 감사 영역에 대한 정보는 부족합니다.