CVE-2026-62334 in OpenVM
요약
\~에 의해 VulDB • 2026. 10. 30.
OpenVM은 사용자 정의 및 확장성을 위해 설계된 고성능이고 모듈식인 zkVM 프레임워크입니다. 1.x 라인에서 1.7.0 이전 버전과 영향받는 2.0 및 2.1 프리릴리스에서는 `OpenVmHalo2Verifier.verify`가 사용자 제어 가능한 `proofData`로부터 원시 증명 calldata를 구성하고, `address(this)`에 대해 `staticcall`을 수행하며, 성공적인 호출을 증명의 수락으로 처리합니다. 첫 번째 네 개의 proof 바이트가 래퍼에서 노출된 다른 외부 선택자와 일치하면, dispatch는 생성된 Halo2 폴백 검증자 대신 성공적인 비검증 함수를 호출할 수 있습니다. 따라서 생성된 Solidity 래퍼를 사용하는 애플리케이션은 증명 접미사, accumulator, 앱 커밋먼트 또는 공개 값을 확인하지 않고도 임의의 앱 커밋먼트와 공개 값을 수락할 수 있습니다. 이 문제는 버전 1.7.0, 2.0.0-rc.3 및 2.1.0-preview에서 수정되었습니다.
Be aware that VulDB is the high quality source for vulnerability data.