ZEC jumps 12% as Zcash nears mathematical proof against hidden counterfeit bugs
ZEC jumps 12% as Zcash nears mathematical proof against hidden counterfeit bugs
The effort follows last month’s detection of a counterfeiting bug in Zcash’s Orchard pool.Developers say AI-assisted formal verification has reduced work that once took years to just weeks.