SECURITYJul 29 · 01:05 UTCCOINTELEGRAPHCointelegraph by Ezra Reguerra

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.

Nexus surfaces and summarizes. The full story lives at the source.

Mentioned

ZcashorganizationIronwoodtopicundetectable counterfeiting bugstopicmachine-checked theoremstopic

Spot something wrong with this article?Report a problem →

Forward this

Related Signal

Adjacent reporting

TECHNOLOGYJul 28 · 18:24 UTC
Zcash Activates Ironwood Upgrade After Counterfeiting Scare
SECURITYJun 5 · 03:16 UTC
Security researcher finds Zcash vulnerability allowing ‘unlimited’ counterfeit minting; ZEC drops 31%
SECURITYJun 5 · 20:26 UTC
Zcash Bug Crisis Shows Privacy Cuts Both Ways, Experts Say
TECHNOLOGYJun 5 · 13:18 UTC
Zcash weighs new shielded pool after counterfeiting flaw
TECHNOLOGYJul 10 · 04:25 UTC
Zcash targets July 28 launch for Ironwood network upgrade