Project Tachyon, handling the upgrade of the privacy-focused cryptocurrency Zcash (ZEC), released a technical explanation on formal verification for the next-generation shielded pool "Ironwood" on their official blog on the 7th.
Zooko Wilcox, the founder of Zcash, stated that the completion of a mathematical proof demonstrating the absence of undetectable counterfeiting bugs in the latest Zcash shielded pool...
