Dossier
undetectable counterfeiting bugs
Coverage of undetectable counterfeiting bugs in the Nexus archive.
- Zcash says Ironwood proof rules out undetectable counterfeiting bugs
Zcash researchers published over 2,700 machine-checked theorems to eliminate undetectable counterfeiting bugs in Ironwood. The theorems aim to ensure the security of Zcash's cryptographic protocols against such vulnerabilities.