Skip to main content
Press slash or control plus K to focus the search. Use the arrow keys to navigate results and press enter to open a threat.
Reconnecting to live updates…

GHSA-ww9q-8r59-xv46: Zebra: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness

0
Critical
Published: 07/06/2026 (07/06/2026, 21:23:41 UTC)
Source: GCVE Database
Product: zebrad

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

Attack Vector
Network
Attack Complexity
Low
Privileges Required
None
User Interaction
None
Scope
Changed
Confidentiality
None
Integrity
High
Availability
Low
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L

Affected software

crates.ioghsa
zebrad
Affected versions
<5.0.0
crates.ioghsa
halo2_gadgets
Affected versions
<0.5.0
crates.ioghsa
orchard
Affected versions
<0.14.0
crates.ioghsa
zcash_primitives
Affected versions
<0.28.0

Run on your own infrastructure? Check whether these packages are installed with threat-finder — our free open-source scanner.

AI-Powered Analysis

Machine-generated threat intelligence

AILast updated: 07/06/2026, 23:10:44 UTC

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.

Pro Console: star threats, build custom feeds, automate alerts via Slack, email & webhooks.Upgrade to Pro

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 reviews

Crowdsource mitigation strategies, share intel context, and vote on the most helpful responses. Sign in to add your voice and help keep defenders ahead.

Sort by
Loading community insights…

Want to contribute mitigation steps or threat intel context? Sign in or create an account to join the community discussion.

Actions

PRO

Updates to AI analysis require Pro Console access. Upgrade inside Console → Billing.

Please log in to the Console to use AI analysis features.

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

Breach by OffSeqOFFSEQFRIENDS — 25% OFF

Check if your credentials are on the dark web

Instant breach scanning across billions of leaked records. Free tier available.

Scan now
OffSeq TrainingCredly Certified

Lead Pen Test Professional

Technical5-day eLearningPECB Accredited
View courses