Zebra: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness
Source: Mitre, NVD
Published: 2026-07-06
Base Score: 8.5
Vector: CVSS2#AV:N/AC:L/Au:N/C:N/I:C/A:P
Severity: High
Base Score: 9.3
Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:L
Severity: Critical