{"api_version":"1","generated_at":"2026-07-23T17:56:51+00:00","cve":"CVE-2026-54496","urls":{"html":"https://cve.report/CVE-2026-54496","api":"https://cve.report/api/cve/CVE-2026-54496.json","docs":"https://cve.report/api","cve_org":"https://www.cve.org/CVERecord?id=CVE-2026-54496","nvd":"https://nvd.nist.gov/vuln/detail/CVE-2026-54496"},"summary":{"title":"Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness","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.","state":"PUBLISHED","assigner":"GitHub_M","published_at":"2026-07-17 17:17:16","updated_at":"2026-07-17 18:45:20"},"problem_types":["CWE-345","CWE-345 CWE-345: Insufficient Verification of Data Authenticity"],"metrics":[{"version":"3.1","source":"security-advisories@github.com","type":"Secondary","score":"9.3","severity":"CRITICAL","vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","data":{"version":"3.1","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","baseScore":9.3,"baseSeverity":"CRITICAL","attackVector":"NETWORK","attackComplexity":"LOW","privilegesRequired":"NONE","userInteraction":"NONE","scope":"CHANGED","confidentialityImpact":"NONE","integrityImpact":"HIGH","availabilityImpact":"LOW"}},{"version":"3.1","source":"CNA","type":"DECLARED","score":"9.3","severity":"CRITICAL","vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","data":{"attackComplexity":"LOW","attackVector":"NETWORK","availabilityImpact":"LOW","baseScore":9.3,"baseSeverity":"CRITICAL","confidentialityImpact":"NONE","integrityImpact":"HIGH","privilegesRequired":"NONE","scope":"CHANGED","userInteraction":"NONE","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","version":"3.1"}}],"references":[{"url":"https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0","name":"https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation","name":"https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0","name":"https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://github.com/zcash/orchard/releases/tag/0.14.0","name":"https://github.com/zcash/orchard/releases/tag/0.14.0","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://github.com/zcash/zcash/releases/tag/v6.20.0","name":"https://github.com/zcash/zcash/releases/tag/v6.20.0","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46","name":"https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0","name":"https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0","refsource":"security-advisories@github.com","tags":[],"title":"","mime":"","httpstatus":"","archivestatus":"0"},{"url":"https://www.cve.org/CVERecord?id=CVE-2026-54496","name":"CVE Program record","refsource":"CVE.ORG","tags":["canonical"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2026-54496","name":"NVD vulnerability detail","refsource":"NVD","tags":["canonical","analysis"]}],"affected":[{"source":"CNA","vendor":"ZcashFoundation","product":"zebra","version":"affected < 5.0.0","platforms":[]},{"source":"CNA","vendor":"zcash","product":"halo2_gadgets","version":"affected < 0.5.0","platforms":[]},{"source":"CNA","vendor":"zcash","product":"orchard","version":"affected < 0.14.0","platforms":[]},{"source":"CNA","vendor":"zcash","product":"librustzcash","version":"affected < 0.28.0","platforms":[]},{"source":"CNA","vendor":"zcash","product":"zcash","version":"affected < 6.20.0","platforms":[]}],"timeline":[],"solutions":[],"workarounds":[],"exploits":[],"credits":[],"nvd_cpes":[],"vendor_comments":[],"enrichments":{"kev":null,"epss":{"cve_year":"2026","cve_id":"54496","cve":"CVE-2026-54496","epss":"0.003150000","percentile":"0.236860000","score_date":"2026-07-20","updated_at":"2026-07-21 00:13:14"},"legacy_qids":[]},"source_records":{"cve_program":{"containers":{"adp":[{"metrics":[{"other":{"content":{"id":"CVE-2026-54496","options":[{"Exploitation":"none"},{"Automatable":"yes"},{"Technical Impact":"partial"}],"role":"CISA Coordinator","timestamp":"2026-07-17T17:23:34.445671Z","version":"2.0.3"},"type":"ssvc"}}],"providerMetadata":{"dateUpdated":"2026-07-17T17:23:50.731Z","orgId":"134c704f-9b21-4f2e-91b3-4a467353bcc0","shortName":"CISA-ADP"},"title":"CISA ADP Vulnrichment"}],"cna":{"affected":[{"product":"zebra","vendor":"ZcashFoundation","versions":[{"status":"affected","version":"< 5.0.0"}]},{"product":"halo2_gadgets","vendor":"zcash","versions":[{"status":"affected","version":"< 0.5.0"}]},{"product":"orchard","vendor":"zcash","versions":[{"status":"affected","version":"< 0.14.0"}]},{"product":"librustzcash","vendor":"zcash","versions":[{"status":"affected","version":"< 0.28.0"}]},{"product":"zcash","vendor":"zcash","versions":[{"status":"affected","version":"< 6.20.0"}]}],"descriptions":[{"lang":"en","value":"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."}],"metrics":[{"cvssV3_1":{"attackComplexity":"LOW","attackVector":"NETWORK","availabilityImpact":"LOW","baseScore":9.3,"baseSeverity":"CRITICAL","confidentialityImpact":"NONE","integrityImpact":"HIGH","privilegesRequired":"NONE","scope":"CHANGED","userInteraction":"NONE","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","version":"3.1"}}],"problemTypes":[{"descriptions":[{"cweId":"CWE-345","description":"CWE-345: Insufficient Verification of Data Authenticity","lang":"en","type":"CWE"}]}],"providerMetadata":{"dateUpdated":"2026-07-17T16:59:06.809Z","orgId":"a0819718-46f1-4df5-94e2-005712e83aaa","shortName":"GitHub_M"},"references":[{"name":"https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46","tags":["x_refsource_CONFIRM"],"url":"https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46"},{"name":"https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0","tags":["x_refsource_MISC"],"url":"https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0"},{"name":"https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0","tags":["x_refsource_MISC"],"url":"https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0"},{"name":"https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0","tags":["x_refsource_MISC"],"url":"https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0"},{"name":"https://github.com/zcash/orchard/releases/tag/0.14.0","tags":["x_refsource_MISC"],"url":"https://github.com/zcash/orchard/releases/tag/0.14.0"},{"name":"https://github.com/zcash/zcash/releases/tag/v6.20.0","tags":["x_refsource_MISC"],"url":"https://github.com/zcash/zcash/releases/tag/v6.20.0"},{"name":"https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation","tags":["x_refsource_MISC"],"url":"https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation"}],"source":{"advisory":"GHSA-ww9q-8r59-xv46","discovery":"UNKNOWN"},"title":"Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness"}},"cveMetadata":{"assignerOrgId":"a0819718-46f1-4df5-94e2-005712e83aaa","assignerShortName":"GitHub_M","cveId":"CVE-2026-54496","datePublished":"2026-07-17T16:59:06.809Z","dateReserved":"2026-06-15T18:01:15.511Z","dateUpdated":"2026-07-17T17:23:50.731Z","state":"PUBLISHED"},"dataType":"CVE_RECORD","dataVersion":"5.2"},"nvd":{"publishedDate":"2026-07-17 17:17:16","lastModifiedDate":"2026-07-17 18:45:20","problem_types":["CWE-345","CWE-345 CWE-345: Insufficient Verification of Data Authenticity"],"metrics":{"cvssMetricV31":[{"source":"security-advisories@github.com","type":"Secondary","cvssData":{"version":"3.1","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L","baseScore":9.3,"baseSeverity":"CRITICAL","attackVector":"NETWORK","attackComplexity":"LOW","privilegesRequired":"NONE","userInteraction":"NONE","scope":"CHANGED","confidentialityImpact":"NONE","integrityImpact":"HIGH","availabilityImpact":"LOW"},"exploitabilityScore":3.9,"impactScore":4.7}],"ssvcV203":[{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","ssvcData":{"timestamp":"2026-07-17T17:23:34.445671Z","id":"CVE-2026-54496","options":[{"exploitation":"none"},{"automatable":"yes"},{"technicalImpact":"partial"}],"role":"CISA Coordinator","version":"2.0.3"}}]},"configurations":[]},"legacy_mitre":{"record":{"CveYear":"2026","CveId":"54496","Ordinal":"1","Title":"Missing copy constraint in halo2_gadgets variable-base scalar mu","CVE":"CVE-2026-54496","Year":"2026"},"notes":[{"CveYear":"2026","CveId":"54496","Ordinal":"1","NoteData":"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.","Type":"Description","Title":"Missing copy constraint in halo2_gadgets variable-base scalar mu"}]}}}