Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood.
Cointelegraph
July 29, 2026
Zcash says Ironwood proof rules out undetectable counterfeiting bugs
Source:
Cointelegraph