▲Proving-System Bugs Become a Distinct Rollup Risk

Score history

Daily conviction score, 0 to 100. Higher means the thesis is more strongly corroborated.

Now 100

Showing the last few days. Unlock full score history.

Why the conviction moved

• Aug 28
  Strengthened +6

  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.

• Aug 27
  Strengthened +7

  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.

Showing the last 2 days. Unlock the full record.

Source trail

• Supporting · August 28, 2026

  Aztec Says a Flaw in Its Alpha V5 Proving System Could Let an Invalid Transaction Pass Verification

  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.

  Aztec Network

• Supporting · August 27, 2026

  Aztec Discloses Critical Soundness Flaw in Its Alpha v5 Proving System

  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.

  Aztec Network