zkvm

zkao, el auditor de inteligencia artificial de zkSecurity, encontró un bug crítico de soundness en la librería openvm-pairing del zkVM OpenVM tras nueve horas y media de escaneo. El fallo, catalogado como CVE-2026-46669, permitía a un prover malicioso forjar cualquier igualdad de pairing y ya fue corregido en OpenVM 1.6.0.