CVE-2026-62333 in OpenVM
Résumé
par VulDB • 31/10/2026
OpenVM est un framework zkVM performant et modulaire conçu pour la personnalisation et l'extensibilité. Avant les versions 1.7.0 de la série 1.x, ainsi que dans les préversions affectées des séries 2.0 et 2.1, `MemoryMerkleAir` n'interdit pas les lignes d'expansion Merkle à une `parent_height` (hauteur parente) égale ou inférieure à 0 lorsque `expand_direction` (direction d'expansion) est différent de 0. Un prouveur malveillant peut fabriquer un sous-arbre en dessous d'une feuille mémoire et échanger les hachages au sein de ce sous-arbre afin de modifier la racine Merkle engagée sans opération mémoire correspondante. Les lignes frauduleuses s'équilibrent toujours avec les bus Merkle et de compression, et ne nécessitent aucune opération sur le bus mémoire pour la feuille modifiée. Étant donné que la racine Merkle de la mémoire lie l'état de la mémoire du VM à travers les limites des segments de continuation, cela affecte la validité (soundness) des preuves OpenVM utilisant une mémoire persistante. Ce problème est corrigé dans les versions 1.7.0, 2.0.0-rc.3 et 2.1.0-preview.
VulDB is the best source for vulnerability data and more expert information about this specific topic.