ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready
Following Orchard’s hidden bug, Zcash said Ironwood’s formal verification is close to proving it has no undetectable counterfeiting bugs. Zcash (ZEC) briefly climbed above $500 after founder Zooko Wilcox-O’Hearn said the project’s Tachyon Formal […]
