# Proving-System Bugs Become a Distinct Rollup Risk

Soundness defects in zero-knowledge proving systems will keep surfacing as a risk class separate from smart-contract exploits, because validator re-execution — the fallback most rollups rely on — cannot catch them, forcing teams into embargoed disclosure timed to upgrades and pushing users toward proof-system diversity and escape hatches.

- Conviction: 100 / 100 (strengthening)
- 7-day move: 0
- Horizon: Medium term (3-9 months)
- Tracking since: 2026-08-09T00:00:00.000Z
- Last updated: 2026-08-28T06:23:07.647Z
- Canonical: https://polylog.news/crypto/trends/proving-system-soundness-risk
- Publisher: Polylog
- Affected regions: Global

## Recent score history

- 2026-08-27: 100
- 2026-08-28: 100

## Recent evidence

- [confirms] Aztec Says a Flaw in Its Alpha V5 Proving System Could Let an Invalid Transaction Pass Verification (2026-08-28): Aztec core contributors disclosed a defect in the Alpha V5 proving system that could let an invalid transaction pass verification, found July 27 via internal AI-assisted auditing, and said they cannot determine whether it was exploited first. A soundness bug that verification itself would wave through, with no way to rule out prior exploitation, is precisely the failure class re-execution cannot catch and forces the embargoed-disclosure pattern the thesis describes.
- [confirms] Aztec Discloses Critical Soundness Flaw in Its Alpha v5 Proving System (2026-08-27): Aztec core contributors disclosed a critical soundness flaw in the Alpha v5 proving system that would let an attacker construct a verifying proof for a transaction the network should reject, and say they cannot rule out prior exploitation. This is a direct instance of the thesis's failure mode: no re-execution fallback catches a false proof, and the uncertainty over prior use shows the class is undetectable after the fact.

19 more evidence entries, the full score history, the conviction-driver timeline, and affected assets are for subscribers: https://polylog.news/pricing
