- Yama var
- Son 7 gün
- CWE-20
CVE-2026-62333
OpenVM MemoryMerkleAir bileşeninde bellek Merkle kökünün değiştirilmesi açığı
- Yayımlandı
- Güncellendi
- 30 Eki 2026
- Açık yaşı
- 0 gün
- Kaydı açan
- GitHub_M
Yönetici özeti
Bu açık, OpenVM tabanlı sıfır bilgi ispat sistemlerinin güvenilirliğini etkiler ve sahte ama geçerli görünen sonuçların kabul edilmesine yol açabilir. Etkilenen sistemleri kullanan işletmeler için iş riski yüksektir ve güncellemenin öncelikli olarak yapılması gerekir.
ÖzetTürkçe
OpenVM zkVM çerçevesindeki MemoryMerkleAir bileşeni, parent_height değeri 0 veya daha düşük olan ve expand_direction değeri 0 olmayan Merkle genişleme satırlarını engellemez. Kötü niyetli bir ispatlayıcı, bellek yaprağının altında sahte bir alt ağaç oluşturabilir ve bu alt ağaçtaki özetleri değiştirerek karşılık gelen bellek işlemi olmadan taahhüt edilen bellek kökünü değiştirebilir. Etkilenen sürümler 1.7.0 öncesi 1.x serisi ile 2.0 ve 2.1 ön sürümleridir.
Saldırgan ne yapabilir?
Saldırgan, bellek durumunu değiştiren ancak geçerli görünen sahte bir OpenVM ispatı üretebilir. Bu, kalıcı bellek kullanan ispatların güvenilirliğini zedeler.
Kaynaktaki açıklama (İngilizce)
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, MemoryMerkleAir does not forbid Merkle expansion rows at parent_height = 0 or below while expand_direction != 0. A malicious prover can fabricate a subtree below a memory leaf and swap digests inside that subtree to change the committed memory root without a corresponding memory operation. The fraudulent rows still balance against the Merkle and compression buses and require no memory-bus operation for the changed leaf. Because the memory Merkle root binds VM memory state across continuation segment boundaries, this affects the soundness of OpenVM proofs using persistent memory. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.
Ne yapmalı?
- OpenVM'i 1.7.0, 2.0.0-rc.3 veya 2.1.0-preview sürümlerinden birine güncelleyin; 1.x dalında 1.7.0 sürümü kullanılmalıdır. Üretici
- Güncelleme sonrasında, kalıcı bellek kullanan ispat üretim ve doğrulama süreçlerinin beklendiği gibi çalıştığını test edin. Genel öneri
Ek önlemler
- Güncelleme yapılana kadar, kalıcı bellek kullanan ispatların sonuçlarını bağımsız bir kontrolle doğrulamadan güvenilir kabul etmeyin. Genel öneri
- Kullanılan OpenVM sürümünü düzenli olarak envanterinizde takip edin ve ön sürümlerin üretim ortamında kullanılmadığından emin olun. Genel öneri
Etkilenen sürümler1 yazılım
| Yazılım | Etkilenen | Düzeltildiği sürüm |
|---|---|---|
| openvm-org openvm | < 1.7.0 | 1.7.0 |
Kaynaklar11 kaynak
- CVE.org kaydı
- NVD kaydı
- github.com/…openvm/security/advisories/GHSA-396x-v8w4-9x82 Diğer
- github.com/openvm-org/openvm/pull/148 Diğer
- github.com/…ommit/bb123f6073691bd2b794171c594264c77e45c376 Diğer
- github.com/…lpha/crates/vm/src/system/memory/merkle/air.rs Diğer
- github.com/…ta.2/crates/vm/src/system/memory/merkle/air.rs Diğer
- github.com/…ev.0/crates/vm/src/system/memory/merkle/air.rs Diğer
- github.com/openvm-org/openvm/releases/tag/v1.7.0 Diğer
- github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3 Diğer
- github.com/openvm-org/openvm/releases/tag/v2.1.0-preview Diğer
Kayıt geçmişi
- Yayımlandı
İlgili açıklar
Türkçe metin, resmi kayıtlardaki bilgilerle yapay zekâ yardımıyla yazıldı ve yayından önce otomatik kontrollerden geçti. Bir değişikliği uygulamadan önce üreticinin duyurusuna mutlaka bakın.