01▲Detecting Counterfeiting after Zcash's Ironwood — Project Tachyon tachyon.z.cash Undetectable counterfeiting is the bug Zcash is trying to prove impossible, by formally verifying Ironwood's shielded pool.blockchaincryptographyformal-verificationprivacysnarksoundnesstwitterzkzksecurity3 pts/bls12/2 days ago/12 comments