Lucene search
+L

SP1 V6 Recursion Circuit Row-Count Binding Gap

🗓️ 14 Apr 2026 00:05:19Reported by GitHub Advisory DatabaseType 
github
 github
🔗 github.com👁 22 Views

V6 recursion circuit flaw lets prover mismatch binding and evaluation shapes, causing soundness violation.

Related
Detection
Refs
ReporterTitlePublishedViews
Family
attackerkb
attackerkb
CVE-2026-40323
17 Apr 202622:58
–attackerkb
circl
Circl
CVE-2026-40323
18 Apr 202601:18
–circl
cnnvd
CNNVD
SP1 security vulnerabilities
18 Apr 202600:00
–cnnvd
cve
CVE
CVE-2026-40323
17 Apr 202622:58
–cve
cvelist
Cvelist
CVE-2026-40323 SP1 V6 Recursion Circuit Row-Count Binding Gap
17 Apr 202622:58
–cvelist
euvd
EUVD
EUVD-2026-23170
17 Apr 202622:58
–euvd
mend
Mend
CVE-2026-40323
17 Apr 202622:58
–mend
nvd
NVD
CVE-2026-40323
18 Apr 202600:16
–nvd
osv_ghsa
osv_ghsa
GHSA-63X8-X938-VX33 SP1 V6 Recursion Circuit Row-Count Binding Gap
14 Apr 202600:05
–osv_ghsa
ptsecurity
Positive Technologies
PT-2026-32612
14 Apr 202600:00
–ptsecurity
Rows per page
Vulners
Node
OR
sp1_proverRange6.0.0–6.0.2rust
sp1_recursion_circuitRange6.0.0–6.0.2rust
sp1_sdkRange6.0.0–6.0.2rust

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

24 Apr 2026 20:50Current
6Medium risk
Vulners AI Score6
CVSS 3.17.5
CVSS 48.9
EPSS0.00195
SSVC
22