Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
provablehq/snarkvm
staging @ 0245c1b
223
Fixes
0
CVEs
CRITICAL
Peak severity
25.9%
Coverage
Highlights
Auth Bypass: 62 prior fixes. Scrutinize any change in this area.
synthesizer: most-fixed (19 issues). Treat as high-risk during review.
188 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns
The bug types that recur here, drawn from past fixes, not open vulnerabilities.
Auth Bypass: Execution call-graph construction and verification had multiple vulnerabilities allowing invalid, disconnected, or malformed transaction call trees to skip proper verification. Correct transition parameters and parent-child input/output matching are critical.
Cryptographic Issues: Underconstrained validation logic in state path and zero-knowledge circuit assertions allowed verification bypasses. Specifically, utilizing weak boolean equivalence instead of logical AND conjunctions, or omitting root state properties as public inputs, permitted forged proofs.
Cache Poisoning: Stale or poisoned transaction caching occurred across consensus upgrades and program modifications when critical parameters like consensus version, edition, or cryptographic program checksums were excluded from transaction validation cache keys.