Detecting Counterfeiting after Zcash's Ironwood
Detecting Counterfeiting after Zcash's Ironwood Upcoming Ironwood network upgrade will use formal verification to mathematically eliminate all undetectable counterfeiting vulnerabilities from Zcash's protocol specification Any remaining implementation-level bugs will be completely detectable in the public blockchain history https://tachyon.z.cash/blog/detecting-counterfeiting-in-zcash/
The excerpt is quoted from a public Telegram channel, which owns its text.