{
  "affected": [
    {
      "ranges": [
        {
          "database_specific": {
            "extracted_events": [
              {
                "introduced": "0"
              },
              {
                "fixed": "0.5.0"
              }
            ],
            "source": "AFFECTED_FIELD"
          },
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "d751768afe0d2105b349dd93f73fde7f2eade088"
            }
          ],
          "repo": "https://github.com/zcash/halo2",
          "type": "GIT"
        },
        {
          "database_specific": {
            "extracted_events": [
              {
                "introduced": "0"
              },
              {
                "fixed": "0.14.0"
              },
              {
                "fixed": "0.28.0"
              }
            ],
            "source": [
              "AFFECTED_FIELD",
              "REFERENCES"
            ]
          },
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "d0c380114a88154fad05d92a168a546a4ab219e2"
            },
            {
              "fixed": "8766e0532a793516c27ad2f838bccfbb24d47285"
            }
          ],
          "repo": "https://github.com/zcash/librustzcash",
          "type": "GIT"
        },
        {
          "database_specific": {
            "source": "REFERENCES"
          },
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "8de172448be10f3a470f9ac83198dc8a185986ad"
            }
          ],
          "repo": "https://github.com/zcash/orchard",
          "type": "GIT"
        },
        {
          "database_specific": {
            "extracted_events": [
              {
                "introduced": "0"
              },
              {
                "fixed": "6.20.0"
              }
            ],
            "source": [
              "AFFECTED_FIELD",
              "REFERENCES"
            ]
          },
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "6966f30a8541b0e5998837dce14250ca9e15b16a"
            }
          ],
          "repo": "https://github.com/zcash/zcash",
          "type": "GIT"
        },
        {
          "database_specific": {
            "extracted_events": [
              {
                "introduced": "0"
              },
              {
                "fixed": "5.0.0"
              }
            ],
            "source": [
              "AFFECTED_FIELD",
              "REFERENCES"
            ]
          },
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "1e6519ea91e2d3035c20aadd4d9a40dcac2eed3a"
            }
          ],
          "repo": "https://github.com/zcashfoundation/zebra",
          "type": "GIT"
        }
      ]
    }
  ],
  "aliases": [
    "GHSA-ww9q-8r59-xv46"
  ],
  "database_specific": {
    "cna_assigner": "GitHub_M",
    "cwe_ids": [
      "CWE-345"
    ],
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/54xxx/CVE-2026-54496.json"
  },
  "details": "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",
  "modified": "2026-07-19T03:31:00.334507556Z",
  "published": "2026-07-17T16:59:06.809Z",
  "references": [
    {
      "type": "WEB",
      "url": "https://github.com/ZcashFoundation/zebra/releases/tag/v5.0.0"
    },
    {
      "type": "WEB",
      "url": "https://github.com/zcash/halo2/releases/tag/halo2_gadgets-0.5.0"
    },
    {
      "type": "WEB",
      "url": "https://github.com/zcash/librustzcash/releases/tag/zcash_primitives-0.28.0"
    },
    {
      "type": "WEB",
      "url": "https://github.com/zcash/orchard/releases/tag/0.14.0"
    },
    {
      "type": "WEB",
      "url": "https://github.com/zcash/zcash/releases/tag/v6.20.0"
    },
    {
      "type": "WEB",
      "url": "https://zfnd.org/zebra-4-5-3-and-5-0-0-emergency-soft-fork-and-nu6-2-activation"
    },
    {
      "type": "ADVISORY",
      "url": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/54xxx/CVE-2026-54496.json"
    },
    {
      "type": "ADVISORY",
      "url": "https://github.com/ZcashFoundation/zebra/security/advisories/GHSA-ww9q-8r59-xv46"
    },
    {
      "type": "ADVISORY",
      "url": "https://nvd.nist.gov/vuln/detail/CVE-2026-54496"
    }
  ],
  "schema_version": "1.8.0",
  "severity": [
    {
      "score": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L",
      "type": "CVSS_V3"
    }
  ],
  "summary": "Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness"
}