Lucene search
K

SP1 V6 Recursion Circuit Row-Count Binding Gap

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

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

Related
Detection
Refs
ReporterTitlePublishedViews
Family
ATTACKERKB
CVE-2026-40323
17 Apr 202622:58
attackerkb
Circl
CVE-2026-40323
18 Apr 202601:18
circl
CNNVD
SP1 安全漏洞
18 Apr 202600:00
cnnvd
CVE
CVE-2026-40323
17 Apr 202622:58
cve
Cvelist
CVE-2026-40323 SP1 V6 Recursion Circuit Row-Count Binding Gap
17 Apr 202622:58
cvelist
EUVD
EUVD-2026-23170
17 Apr 202622:58
euvd
NVD
CVE-2026-40323
18 Apr 202600:16
nvd
OSV
GHSA-63X8-X938-VX33 SP1 V6 Recursion Circuit Row-Count Binding Gap
14 Apr 202600:05
osv
Positive Technologies
PT-2026-32612
14 Apr 202600:00
ptsecurity
RedhatCVE
CVE-2026-40323
20 Apr 202619:22
redhatcve
Rows per page
Vulners
Node
sp1_proverRange6.0.06.0.2rust
OR
sp1_recursion_circuitRange6.0.06.0.2rust
OR
sp1_sdkRange6.0.06.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.00011
SSVC
2