GHSA-ww9q-8r59-xv46: Zebra: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness
A soundness vulnerability in the variable-base scalar multiplication gadget of halo2_gadgets in the Zebra project allowed a malicious prover to bypass the diversified-address-integrity check in the Orchard Action statement. This flaw enabled the creation of valid proofs with an under-constrained base point, allowing double-spends within the Orchard pool or theft of funds by forging spend authorizations. Exploitation is undetectable on-chain and existed since the Orchard pool introduction in May 2022. No evidence of exploitation prior to remediation is available.
AI Analysis
Technical Summary
The vulnerability stems from a missing copy constraint in the double-and-add implementation of variable-base scalar multiplication in halo2_gadgets (file incomplete.rs). The base point is assigned as a private circuit input without a constraint tying it to the actual base used in the algorithm, allowing a malicious prover to choose an arbitrary base. This breaks the soundness of the Orchard Action circuit by bypassing the check that binds an Action to the correct incoming viewing key, nullifier, and spend validating key. Consequently, an adversary can produce valid proofs for double-spending notes within the Orchard pool or forge spend authorizations if they know the note plaintext. The flaw existed since the NU5 network upgrade activation on May 31, 2022, and exploitation is undetectable on-chain due to zero-knowledge properties.
Potential Impact
An attacker can perform double-spends within the Orchard pool, causing balance violations by spending the same note multiple times with distinct valid nullifiers. Although the overall ZEC supply is protected by the turnstile mechanism, inflation within the Orchard pool is possible up to the enforced limit. Additionally, an attacker with knowledge of a note's plaintext could forge spend authorizations to steal funds, potentially bypassing hardware wallet protections if the linked software wallet is compromised. Exploitation is undetectable on-chain, and double-spends produce nullifiers indistinguishable from legitimate ones. Theft can be detected by the legitimate holder's inability to spend stolen funds or by observing the nullifier on-chain, but this may not distinguish from other compromises.
Mitigation Recommendations
Patch status is not yet confirmed — check the vendor advisory for current remediation guidance. Since no patch or official fix information is provided, users should monitor vendor communications for updates. Until a fix is available, users should be aware of the risk of undetectable double-spends and forged spend authorizations within the Orchard pool. No generic mitigations are recommended beyond following vendor guidance once available.
GHSA-ww9q-8r59-xv46: Zebra: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness
Description
A soundness vulnerability in the variable-base scalar multiplication gadget of halo2_gadgets in the Zebra project allowed a malicious prover to bypass the diversified-address-integrity check in the Orchard Action statement. This flaw enabled the creation of valid proofs with an under-constrained base point, allowing double-spends within the Orchard pool or theft of funds by forging spend authorizations. Exploitation is undetectable on-chain and existed since the Orchard pool introduction in May 2022. No evidence of exploitation prior to remediation is available.
CVSS v3.1
Affected software
Run on your own infrastructure? Check whether these packages are installed with threat-finder — our free open-source scanner.
Weaknesses
AI-Powered Analysis
Machine-generated threat intelligence
Technical Analysis
The vulnerability stems from a missing copy constraint in the double-and-add implementation of variable-base scalar multiplication in halo2_gadgets (file incomplete.rs). The base point is assigned as a private circuit input without a constraint tying it to the actual base used in the algorithm, allowing a malicious prover to choose an arbitrary base. This breaks the soundness of the Orchard Action circuit by bypassing the check that binds an Action to the correct incoming viewing key, nullifier, and spend validating key. Consequently, an adversary can produce valid proofs for double-spending notes within the Orchard pool or forge spend authorizations if they know the note plaintext. The flaw existed since the NU5 network upgrade activation on May 31, 2022, and exploitation is undetectable on-chain due to zero-knowledge properties.
Potential Impact
An attacker can perform double-spends within the Orchard pool, causing balance violations by spending the same note multiple times with distinct valid nullifiers. Although the overall ZEC supply is protected by the turnstile mechanism, inflation within the Orchard pool is possible up to the enforced limit. Additionally, an attacker with knowledge of a note's plaintext could forge spend authorizations to steal funds, potentially bypassing hardware wallet protections if the linked software wallet is compromised. Exploitation is undetectable on-chain, and double-spends produce nullifiers indistinguishable from legitimate ones. Theft can be detected by the legitimate holder's inability to spend stolen funds or by observing the nullifier on-chain, but this may not distinguish from other compromises.
Mitigation Recommendations
Patch status is not yet confirmed — check the vendor advisory for current remediation guidance. Since no patch or official fix information is provided, users should monitor vendor communications for updates. Until a fix is available, users should be aware of the risk of undetectable double-spends and forged spend authorizations within the Orchard pool. No generic mitigations are recommended beyond following vendor guidance once available.
Technical Details
- Gcve Source
- db.gcve.eu
- Osv Id
- GHSA-ww9q-8r59-xv46
- Osv Schema Version
- 1.4.0
- Aliases
- ["CVE-2026-54496"]
- Ecosystems
- ["crates.io"]
- Database Specific Severity
- CRITICAL
- Cvss Version
- 3.1
Threat ID: 6a4c33ff27e9c797195f5c81
Added to database: 07/06/2026, 23:02:23 UTC
Last enriched: 07/06/2026, 23:10:44 UTC
Last updated: 07/06/2026, 23:10:44 UTC
Views: 2
Community Reviews
0 reviewsCrowdsource mitigation strategies, share intel context, and vote on the most helpful responses. Sign in to add your voice and help keep defenders ahead.
Want to contribute mitigation steps or threat intel context? Sign in or create an account to join the community discussion.
Actions
Updates to AI analysis require Pro Console access. Upgrade inside Console → Billing.
Need more coverage?
Upgrade to Pro Console for AI refresh and higher limits.
For incident response and remediation, OffSeq services can help resolve threats faster.
Latest Threats
Check if your credentials are on the dark web
Instant breach scanning across billions of leaked records. Free tier available.