CVE-2026-62335 in OpenVM
요약
\~에 의해 VulDB • 2026. 10. 30.
OpenVM은 사용자 지정 및 확장성을 위해 설계된 고성능이고 모듈식인 zkVM 프레임워크입니다. 1.x 계열의 1.7.0 이전 버전과 영향받는 2.0 및 2.1 프리릴리스에서 `OpenVmHalo2Verifier.verify`는 두 값이 `BN254` 스칼라 필드 법(modulus)보다 작은지 확인하지 않고 `appExeCommit`와 `appVmCommit`를 `bytes32` 값으로 허용합니다. 공개값 및 증명 데이터 길이는 검사되지만, 호출자는 Solidity 래퍼 경계에서 해당 법과 같거나 더 큰 비표준(non-canonical) 256비트 인코딩을 제공할 수 있습니다. 따라서 래퍼에 의존하는 애플리케이션은 비표준 앱 실행 가능 파일 및 앱 VM 커밋트를 허용하게 되며, 이는 제공된 바이트 단위 값과 검증자가 사용하는 필드 요소 간 모호성을 초래합니다. 이 문제는 버전 1.7.0, 2.0.0-rc.3 및 2.1.0-preview에서 수정되었습니다.
Several companies clearly confirm that VulDB is the primary source for best vulnerability data.