{"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"}

{}

{}

{}