BREAKING
AI Finds Counterfeit Flaw in Zcash
Hidden for nearly 4 years
From discovery to disclosure
1
Discovered May 29
↓
2
Disclosed to ZODL
↓
3
Fix June 1-2
↓
4
Public June 4
0
%
low estimate drop
0
%
high estimate drop
Audits vs formal verification
Repeated Audits
Missed it
●
Multiple audits
●
Expert reviews
●
Subtle flaw persisted
Formal Verification
Ironwood
●
Math guarantees
●
No missing constraints
●
Proactive proofs
AI reshapes security auditing
AI NEWS BLITZ
An AI-assisted review uncovered a critical counterfeiting flaw in Zcash's Orchard pool.