Résumé
Triton VM Soundness Vulnerability due to Missing Constraint
Détails de l’avis
The instruction sponge_absorb_mem Triton VM fails to verify that hashed values come from the claimed memory location. Malicious provers can substitute arbitrary data instead of actual memory contents.
Any application using instruction sponge_absorb_mem to hash memory data can be given a proof for a forged hash that doesn't correspond to the actual memory. This breaks the security of memory-based commitments.
The flaw was corrected in commits 17c7ba0a and ef9d9e72 by including the appropriate constraints.
Références
Vulnérabilités liées
Tout Supply chain →- MEDIUMCVE-2026-73846
CKAN MCP Server: Cache-key canonicalization collision enables cache confusion / poisoning
- MEDIUMCVE-2026-73840
OpenChoreo: Unauthenticated build/workflow trigger via git-provider confusion (webhook signature bypass)
- HIGHGHSA-mf7q-r4rv-jv94
Crossplane's TOCTOU between cosign verification and image fetch in xpkg.CachedClient allows tag-based package install to bypass signature check
- MEDIUMCVE-2026-55663
mediasoup: SCTP state cookie lacks cryptographic authentication, enabling unauthorized association establishment (RFC 9260 violation)
- HIGHCVE-2026-54167
Pipelines-as-Code GitHub App token request can be redirected via untrusted Enterprise Host header
- HIGHCVE-2026-53728
Medplum: Improper Validation of Redirect URI in External Auth Callback allows Authorization Code Leakage