Zcash says Ironwood proof rules out undetectable counterfeiting bugs
Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood.
AI brief
Pulse reads the full article- What happened
- Why it matters
- What to watch
Sign in to get the AI brief. Pulse explains what happened, why it matters, what to watch and who's exposed. Free for members.
Sign in to read the brief
