Every Zipp story tagged #FormalVerification, newest first.
If Project Tachyon's verification lands, it would close the trust gap opened by June's Orchard disclosure, which wiped over 40% off ZEC in two days.
A four-year-old Zcash flaw surfaced by an AI model sends the same warning to every bank and protocol still running unverified code: the defender has to be right every time, the attacker only once.
Buterin's framing elevates a niche security discipline into a default workflow for Ethereum, ZK, and cryptography — with the caveat that verified code still isn't bulletproof.
Buterin's pitch lands as the industry grapples with smart-contract exploit losses running into the billions — automated proof of correctness is the part AI may actually get right.
TheBlock
CoinDesk
WuBlockchain