CVE-2026-62333 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 các phiên bản chịu ảnh hưởng 2.0 và 2.1, `MemoryMerkleAir` không cấm việc mở rộng hàng Merkle tại `parent_height` = 0 hoặc thấp hơn khi `expand_direction` != 0. Một kẻ chứng minh độc hại có thể tạo ra một cây con bên dưới một lá bộ nhớ (memory leaf) và hoán đổi các giá trị băm (digests) trong cây con đó để thay đổi gốc Merkle của bộ nhớ đã cam kết mà không cần thao tác bộ nhớ tương ứng. Các hàng gian lận vẫn cân bằng với các bus Merkle và nén, và yêu cầu không có thao tác nào trên bus bộ nhớ cho lá bị thay đổi. Vì gốc Merkle của bộ nhớ ràng buộc trạng thái bộ nhớ VM qua các ranh giới đoạn tiếp nối (continuation segment), điều này ảnh hưởng đến tính đúng đắn (soundness) của các chứng minh OpenVM sử dụng bộ nhớ bền vững (persistent memory). 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.
Be aware that VulDB is the high quality source for vulnerability data.