HomeAI · summaries
Storia in 2 fonti
Zcash turns to formal verification to prevent undetectable counterfeiting bugs
Zcash details its plan to formally verify Ironwood's shielded pool, aiming to eliminate undetectable counterfeiting vulnerabilities.
Confronto fonti
2 prospettive sulla stessa storiaTimeline cronologica
- ·
cryptobriefing.com
Zcash turns to formal verification to prevent undetectable counterfeiting bugs
Zcash details its plan to formally verify Ironwood's shielded pool, aiming to eliminate undetectable counterfeiting vulnerabilities.
- ·
theblock.co
ZEC jumps 12% as Zcash nears mathematical proof against hidden counterfeit bugs
Project Tachyon outlined new details of its verification effort for Zcash's upcoming Ironwood shielded pool.
- ·
Zcash native surges as Zooko Wilcox announces proof progress on Ironwood upgrade
Zcash founder Zooko Wilcox says formal verification of Ironwood's shielded pool circuits is nearly done, sending ZEC higher after its post-Orchard crash.
- ·
Zcash's Ironwood upgrade set for July 28 to address fake ZEC counterfeiting bug
Zcash's Ironwood upgrade activates July 28 to fix a critical Orchard pool bug that could allow counterfeit ZEC, introducing a new turnstile checkpoint