CVE-2026-62334 in OpenVM
Tóm tắt
Bởi VulDB • 30/10/2026
OpenVM là một khung zkVM hiệu suất cao và mô-đun, được xây dựng để tùy chỉnh và mở rộng. Trước phiên bản 1.7.0 trong dòng 1.x và các bản phát hành trước (prereleases) của 2.0 và 2.1 bị ảnh hưởng, hàm `OpenVmHalo2Verifier.verify` tạo dữ liệu calldata chứng minh thô từ `proofData` do người dùng kiểm soát, thực hiện lệnh gọi `staticcall` đến `address(this)` và coi một cuộc gọi thành công là chấp nhận chứng minh. Nếu bốn byte đầu tiên của chứng minh khớp với bộ chọn (selector) bên ngoài khác được wrapper expose, việc điều phối có thể kích hoạt một hàm không phải verifier thành công thay vì trình xác minh fallback Halo2 đã tạo. Các ứng dụng sử dụng wrapper Solidity do generated có thể do đó chấp nhận các cam kết ứng dụng và giá trị công khai tùy ý mà không kiểm tra hậu tố chứng minh (proof suffix), bộ tích lũy (accumulator), cam kết ứng dụng hoặc giá trị công khai. Vấn đề này được sửa trong các phiên bản 1.7.0, 2.0.0-rc.3 và 2.1.0-preview.
If you want to get best quality of vulnerability data, you may have to visit VulDB.