Lucene search
K

Zebra: Missing copy constraint in halo2_gadgets variable-base scalar multiplication allows under-constrained base, breaking Orchard Action circuit soundness

🗓️ 06 Jul 2026 21:23:41Reported by GitHub Advisory DatabaseType 
github
 github
🔗 github.com👁 5 Views

Flaw in variable-base scalar multiplication lets constrained base bypass Orchard Action binding.

Related
Detection
Refs
Vulners
Node
zcash_primitivesRange<0.28.0rust
OR
orchardprojectorchardRange<0.14.0rust
OR
halo2_gadgetsRange<0.5.0rust
OR
zfndzebradRange4.5.1rust

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

06 Jul 2026 21:23Current
5.9Medium risk
Vulners AI Score5.9
5