CVE-2026-54496

{"dataType": "CVE_RECORD", "dataVersion": "5.2", "cveMetadata": {"cveId": "CVE-2026-54496", "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "state": "PUBLISHED", "assignerShortName": "GitHub_M", "dateReserved": "2026-06-15T18:01:15.511Z", "datePublished": "2026-07-17T16:59:06.809Z", "dateUpdated": "2026-07-17T17:23:50.731Z"}, "containers": {"cna": {"title": "Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness", "problemTypes": [{"descriptions": [{"cweId": "CWE-345", "lang": "en", "description": "CWE-345: Insufficient Verification of Data Authenticity", "type": "CWE"}]}], "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"}}], "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"}], "affected": [{"vendor": "ZcashFoundation", "product": "zebra", "versions": [{"version": "< 5.0.0", "status": "affected"}]}, {"vendor": "zcash", "product": "halo2_gadgets", "versions": [{"version": "< 0.5.0", "status": "affected"}]}, {"vendor": "zcash", "product": "orchard", "versions": [{"version": "< 0.14.0", "status": "affected"}]}, {"vendor": "zcash", "product": "librustzcash", "versions": [{"version": "< 0.28.0", "status": "affected"}]}, {"vendor": "zcash", "product": "zcash", "versions": [{"version": "< 6.20.0", "status": "affected"}]}], "providerMetadata": {"orgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "shortName": "GitHub_M", "dateUpdated": "2026-07-17T16:59:06.809Z"}, "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."}], "source": {"advisory": "GHSA-ww9q-8r59-xv46", "discovery": "UNKNOWN"}}, "adp": [{"metrics": [{"other": {"type": "ssvc", "content": {"timestamp": "2026-07-17T17:23:34.445671Z", "id": "CVE-2026-54496", "options": [{"Exploitation": "none"}, {"Automatable": "yes"}, {"Technical Impact": "partial"}], "role": "CISA Coordinator", "version": "2.0.3"}}}], "title": "CISA ADP Vulnrichment", "providerMetadata": {"orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0", "shortName": "CISA-ADP", "dateUpdated": "2026-07-17T17:23:50.731Z"}}]}}

{"dataType": "CVE_RECORD", "containers": {"adp": [{"title": "CISA ADP Vulnrichment", "metrics": [{"other": {"type": "ssvc", "content": {"id": "CVE-2026-54496", "role": "CISA Coordinator", "options": [{"Exploitation": "none"}, {"Automatable": "yes"}, {"Technical Impact": "partial"}], "version": "2.0.3", "timestamp": "2026-07-17T17:23:34.445671Z"}}}], "providerMetadata": {"orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0", "shortName": "CISA-ADP", "dateUpdated": "2026-07-17T17:23:39.594Z"}}], "cna": {"title": "Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness", "source": {"advisory": "GHSA-ww9q-8r59-xv46", "discovery": "UNKNOWN"}, "metrics": [{"cvssV3_1": {"scope": "CHANGED", "version": "3.1", "baseScore": 9.3, "attackVector": "NETWORK", "baseSeverity": "CRITICAL", "vectorString": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L", "integrityImpact": "HIGH", "userInteraction": "NONE", "attackComplexity": "LOW", "availabilityImpact": "LOW", "privilegesRequired": "NONE", "confidentialityImpact": "NONE"}}], "affected": [{"vendor": "ZcashFoundation", "product": "zebra", "versions": [{"status": "affected", "version": "< 5.0.0"}]}, {"vendor": "zcash", "product": "halo2_gadgets", "versions": [{"status": "affected", "version": "< 0.5.0"}]}, {"vendor": "zcash", "product": "orchard", "versions": [{"status": "affected", "version": "< 0.14.0"}]}, {"vendor": "zcash", "product": "librustzcash", "versions": [{"status": "affected", "version": "< 0.28.0"}]}, {"vendor": "zcash", "product": "zcash", "versions": [{"status": "affected", "version": "< 6.20.0"}]}], "references": [{"url": "https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46", "name": "https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46", "tags": ["x_refsource_CONFIRM"]}, {"url": "https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0", "name": "https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0", "tags": ["x_refsource_MISC"]}, {"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", "tags": ["x_refsource_MISC"]}, {"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", "tags": ["x_refsource_MISC"]}, {"url": "https://github.com/zcash/orchard/releases/tag/0.14.0", "name": "https://github.com/zcash/orchard/releases/tag/0.14.0", "tags": ["x_refsource_MISC"]}, {"url": "https://github.com/zcash/zcash/releases/tag/v6.20.0", "name": "https://github.com/zcash/zcash/releases/tag/v6.20.0", "tags": ["x_refsource_MISC"]}, {"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", "tags": ["x_refsource_MISC"]}], "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."}], "problemTypes": [{"descriptions": [{"lang": "en", "type": "CWE", "cweId": "CWE-345", "description": "CWE-345: Insufficient Verification of Data Authenticity"}]}], "providerMetadata": {"orgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "shortName": "GitHub_M", "dateUpdated": "2026-07-17T16:59:06.809Z"}}}, "cveMetadata": {"cveId": "CVE-2026-54496", "state": "PUBLISHED", "dateUpdated": "2026-07-17T17:23:50.731Z", "dateReserved": "2026-06-15T18:01:15.511Z", "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa", "datePublished": "2026-07-17T16:59:06.809Z", "assignerShortName": "GitHub_M"}, "dataVersion": "5.2"}

{"affected": [{"affectedData": [{"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"}]}], "source": "security-advisories@github.com"}], "cveTags": [], "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."}], "id": "CVE-2026-54496", "lastModified": "2026-07-17T18:45:20.713", "metrics": {"cvssMetricV31": [{"cvssData": {"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"}, "exploitabilityScore": 3.9, "impactScore": 4.7, "source": "security-advisories@github.com", "type": "Secondary"}], "ssvcV203": [{"source": "134c704f-9b21-4f2e-91b3-4a467353bcc0", "ssvcData": {"id": "CVE-2026-54496", "options": [{"exploitation": "none"}, {"automatable": "yes"}, {"technicalImpact": "partial"}], "role": "CISA Coordinator", "timestamp": "2026-07-17T17:23:34.445671Z", "version": "2.0.3"}}]}, "published": "2026-07-17T17:17:16.620", "references": [{"source": "security-advisories@github.com", "url": "https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0"}, {"source": "security-advisories@github.com", "url": "https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46"}, {"source": "security-advisories@github.com", "url": "https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0"}, {"source": "security-advisories@github.com", "url": "https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0"}, {"source": "security-advisories@github.com", "url": "https://github.com/zcash/orchard/releases/tag/0.14.0"}, {"source": "security-advisories@github.com", "url": "https://github.com/zcash/zcash/releases/tag/v6.20.0"}, {"source": "security-advisories@github.com", "url": "https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation"}], "sourceIdentifier": "security-advisories@github.com", "vulnStatus": "Deferred", "weaknesses": [{"description": [{"lang": "en", "value": "CWE-345"}], "source": "security-advisories@github.com", "type": "Secondary"}]}

{}

{"affected": [{"configurations": [{"platform": null, "status": "affected", "versions": {"scheme": "semver", "value": "[0,0.5.0)"}}], "enrichment": {"confidence": 100.0, "confidence_source": "cna", "scores": [{"score": 100.0, "source": "cna"}]}, "original": {"product": "halo2_gadgets", "source": "cna", "vendor": "zcash"}, "product": "halo2_gadgets", "vendor": "zcash"}, {"configurations": [{"platform": null, "status": "affected", "versions": {"scheme": "semver", "value": "[0,0.28.0)"}}], "enrichment": {"confidence": 100.0, "confidence_source": "cna", "scores": [{"score": 100.0, "source": "cna"}]}, "original": {"product": "librustzcash", "source": "cna", "vendor": "zcash"}, "product": "librustzcash", "vendor": "zcash"}, {"configurations": [{"platform": null, "status": "affected", "versions": {"scheme": "semver", "value": "[0,0.14.0)"}}], "enrichment": {"confidence": 100.0, "confidence_source": "cna", "scores": [{"score": 100.0, "source": "cna"}]}, "original": {"product": "orchard", "source": "cna", "vendor": "zcash"}, "product": "orchard", "vendor": "zcash"}, {"configurations": [{"platform": null, "status": "affected", "versions": {"scheme": "semver", "value": "[0,6.20.0)"}}], "enrichment": {"confidence": 100.0, "confidence_source": "manual", "scores": [{"score": 100.0, "source": "manual"}]}, "original": {"product": "zcash", "source": "cna", "vendor": "zcash"}, "product": "zcash", "vendor": "zcash"}, {"configurations": [{"platform": null, "status": "affected", "versions": {"scheme": "semver", "value": "[0,5.0.0)"}}], "enrichment": {"confidence": 95.0, "confidence_source": "inferred", "scores": [{"score": 95.0, "source": "inferred"}, {"score": 100.0, "source": "matching"}]}, "original": {"product": "zebra", "source": "cna", "vendor": "ZcashFoundation"}, "product": "zebra", "vendor": "zcashfoundation"}], "created": "2026-07-22T02:30:13.448305+00:00", "updated": "2026-07-31T00:15:05.740849+00:00", "vendors": ["zcash", "zcash$PRODUCT$halo2_gadgets", "zcash$PRODUCT$librustzcash", "zcash$PRODUCT$orchard", "zcash$PRODUCT$zcash", "zcashfoundation", "zcashfoundation$PRODUCT$zebra"]}