zkao, OpenVM zkVM 게스트 라이브러리에서 치명적 건전성 버그 발견

ZK/SEC의 AI 감사 도구인 zkao가 OpenVM의 게스트 라이브러리 openvm-pairing에서 치명적인 건전성 버그를 발견했습니다. 이 버그로 인해 악의적인 증명자가 임의의 페어링 동등성을 위조할 수 있으며, 취약한 라이브러리를 사용하는 Groth16, KZG가 포함된 PLONK, BLS 서명의 건전성이 손상됩니다. 이 문제는 CVE-2026-46669로 지정되었으며 OpenVM 1.6.0에서 수정되었습니다.

발견 과정

ZK/SEC는 AI 실험의 일환으로 Opus 4.6, 4.7과 Codex 5.3, 5.4를 사용해 간단한 프롬프트와 전문가가 유지 관리하는 스킬로 OpenVM을 스캔했습니다. 초기 실행에서는 유효하지만 악용할 수 없는 결과가 나왔습니다. 이후 팀은 특화된 AI 감사 도구인 zkao를 배포했고, 9.5시간 이상의 스캔 끝에 많은 결과를 얻었습니다. 빠른 분류를 통해 zkao가 자체 생성한 최소 PoC와 함께 중요한 페어링 문제가 식별되었습니다.

버그 개요

버그	AI 심각도	OpenVM 심각도	수정 커밋	발견자
openvm-pairing 페어링 검사에서 스케일링 팩터에 대한 적절한 하위 필드 검사 누락	치명적	치명적	`a720e2c`	zkao

영향

페어링은 Groth16, KZG가 포함된 PLONK, BLS 서명의 핵심 엔진입니다. 검증자는 일반적으로 페어링 곱이 1인지 확인합니다. 증명자가 거짓 페어링 곱을 1처럼 보이게 할 수 있다면, 이를 기반으로 구축된 모든 것이 더 이상 건전하지 않게 됩니다. 이 버그는 특히 페어링 검사에서 스케일링 팩터에 대한 적절한 하위 필드 검사가 누락된 데 있습니다.

참고: 이는 zkVM의 증명 시스템 자체의 버그가 아니라, 취약한 openvm-pairing 라이브러리를 사용하는 코드에만 영향을 미칩니다.

기술적 세부 사항

ZK/SEC의 AI 파이프라인은 모듈형 아키텍처를 사용합니다. 하위 에이전트가 개별 코드 모듈의 가정과 불변 조건을 분석하고, 메인 에이전트가 결과를 결합합니다. OpenVM과 같은 복잡한 코드베이스에서는 고립된 버그 사냥만으로는 충분하지 않으며, 모듈 간 불변 조건 위반을 포착하는 것이 핵심입니다. ZK/SEC는 후속 게시물에서 더 많은 기술적 세부 사항을 공개할 계획입니다.

📖 전체 원문 읽기: HN LLM Tools