Zcash says Ironwood proof rules out undetectable counterfeiting bugs

AI Summary Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood. fulltext: 135 chars | fulltext source: rss-fallback | summary method: extractive Original: https://cointelegraph.com/news/zcash-ironwood-proof-counterfeiting-orchard-flaw?utm_source=rss_feed&utm_medium=rss&utm_campaign=rss_partner_inbound Source: CoinTelegraph