ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready
Story
Following Orchard's hidden bug, Zcash said Ironwood's formal verification is close to proving it has no undetectable counterfeiting bugs.
Market at publication: BTC $64,059 · ETH $1,777 · Fear & Greed 23