CVE-2026-52738 PUBLISHED

ZEBRA: Finalized address balance credit-first overflow on consensus-valid blocks

Assigner: GitHub_M
Reserved: 08.06.2026 Published: 18.08.2026 Updated: 18.08.2026

ZEBRA is a Zcash node written entirely in Rust. Prior to 4.5.0, a consensus-valid block containing a long chain of transparent self-spends to one address can permanently halt Zebra nodes. In zebra-state/src/service/finalized_state/zebra_db/transparent.rs, the finalized-state writer originally applied every newly created output as a credit before applying any spent-output debit from the same block. That credit-first ordering can make the intermediate per-address balance exceed MAX_MONEY even though the final net balance is valid, causing an expect-based panic under the panic equals abort release profile. Because zcashd accepts the triggering block and Zebra encounters it again after every restart, the halt persists until patched software is deployed; exploitation requires mining the specially constructed block and temporarily committing sufficient ZEC to the self-spend chain. This issue is fixed in version 4.5.0.

Metrics

CVSS Vector: CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:N/VA:L/SC:N/SI:N/SA:N
CVSS Score: 6.9

Product Status

Vendor ZcashFoundation
Product zebra
Versions
  • Version < 4.5.0 is affected
Vendor ZcashFoundation
Product zebra-state
Versions
  • Version < 7.0.0 is affected

References

Problem Types

  • CWE-248: Uncaught Exception CWE