Highlights
Denial of Service: 129 prior fixes. Scrutinize any change in this area.
zk-token-sdk: most-fixed (13 issues). Treat as high-risk during review.
167 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.
Denial of Service: A high volume of parsing, cryptographic, and memory limits issues existed during zero-knowledge proof evaluations. These could lead to system panics or extreme CPU/memory resource exhaustion through malicious range proofs or commitments.
Auth Bypass: Duplicate accounts and missing validation checks inside BPF loading, deserialization, and cross-program invocations (CPI) historically allowed callers to execute code with unearned signer privileges or manipulate caller memory.
Denial of Service: Signature verification processes were vulnerable to resource exhaustion from un-debitable transaction fee payers, miscalculated packet offsets leading to out-of-bounds panics, or bypasses due to mismatched signature counts.