Morning Edition · Monday, September 21, 2026Published at 1:47 AM EDT · New York
Core contributors found the soundness defect through internal artificial-intelligence-assisted auditing on 27 July 2026 and will only fix it in the next release, V6.

Aztec, the Ethereum layer-2 network built for private smart contracts, has disclosed a critical vulnerability in the proving system that secures its Alpha V5 release. According to the project's own account, an attacker may be able to construct a proof that passes verification for a transaction the network is supposed to reject. If the network accepts such a proof, the resulting state transition falls outside the rules the protocol is meant to enforce.
The practical consequence is direct. Aztec told users to treat funds, applications and contract state on V5 as exposed to a protocol-level failure until contributors finish incident response and network operators carry out the required actions. Contributors also said they cannot determine whether anyone exploited the flaw before they found it.
Core contributors identified the defect on 27 July 2026 through internal auditing assisted by artificial intelligence, after internal and external human audits had already been completed. Reviewers say they have found no other high-severity or critical issues in V5 so far. The fix is scheduled for V6, including circuit updates that stop the network from accepting proofs tied to the affected proving system. Aztec has been shipping applications on the network in parallel, including a live on-chain game built on private state.
This is the failure mode that separates zero-knowledge rollups from ordinary smart-contract risk. A buggy contract loses only the money inside that contract. A proving system that accepts an invalid proof breaks the guarantee the whole chain rests on, and the fallback most optimistic rollups rely on, namely validators re-executing transactions, does not exist here. The defect sits in mathematics and circuit construction, not in application logic, so an auditor reading Solidity code would never see it.
The disclosure also carries a second, uncomfortable message for the privacy sector. Aztec is the most technically ambitious attempt to put confidential execution on Ethereum, and its own tooling, not an outside attacker and not a bug-bounty hunter, found the problem. That outcome shows the internal review process working as intended. It is also evidence that proof soundness remains an unsolved engineering problem at the moment institutions are being told confidential execution is ready for them.
Part of a tracked trend
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.
Start a discussion in Townsquare.
More from this edition
Aztec, which converts a soundness defect into evidence that its artificial-intelligence-assisted review process works, and rival privacy teams that can now market audited proving systems against it.
The account rests entirely on Aztec's own disclosure with no independent confirmation of severity or scope, the affected system cannot show whether the flaw was ever exercised, and V5 is labelled Alpha software following a prior critical finding in V4, so the value actually at risk is far smaller than the language suggests.
An open-source-intelligence read of how likely this story is true with its real nuance, not a judgment of any outlet. It assesses the claim, weighing independent and adversarial reporting. How we label confidence.
What this means
Users with assets on Aztec V5 bear the direct exposure, because a forged proof could move value out of contracts without any key compromise, and there is no re-execution fallback to catch it. The broader cost lands on every zero-knowledge rollup competing for institutional deposits: due-diligence teams now have a named example of a proving-system defect that survived both internal and external human audits, which raises the evidentiary bar for any chain marketing privacy as production-ready and slows the migration of regulated capital onto private execution layers.
What to watch
Observations to monitor, not financial advice.
Synthesized from: Aztec Network (disclosure) · Aztec Network (Alpha V5) · Aztec Network (Dark Forest launch)
Comments
0No comments yet.