Zafiyet.live Keşfet. Değerlendir. Düzelt. Doğrula.
  • Yama var
  • Son 7 gün
  • CWE-20

CVE-2026-62335

OpenVM's OpenVmHalo2Verifier accepts non-canonical app commitments

openvm-org openvm

Orta 6,9 CVSS 4.0
Yayımlandı
Güncellendi
30 Eki 2026
Açık yaşı
0 gün
Kaydı açan
GitHub_M

Özet

Türkçe özeti yalnızca kritik ve yüksek önemdeki açıklar için hazırlıyoruz. Bu açık için kaynağın kendi açıklamasını gösteriyoruz.

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, OpenVmHalo2Verifier.verify accepts appExeCommit and appVmCommit as bytes32 values without checking that either is less than the BN254 scalar field modulus. Although public-value and proof-data lengths are checked, callers can provide non-canonical 256-bit encodings greater than or equal to that modulus at the Solidity wrapper boundary. Applications relying on the wrapper can therefore accept non-canonical app executable and app VM commitments, creating ambiguity between the supplied byte-level values and the field elements used by the verifier. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.

Etkilenen sürümler1 yazılım

YazılımEtkilenenDüzeltildiği sürüm
openvm-org openvm < 1.7.0 1.7.0

Kaynaklar11 kaynak

Kayıt geçmişi

  1. Yayımlandı

İlgili açıklar