Formal Verification

Zcash’s big bug and why Cardano’s approach suddenly looks smart

A critical Zcash vulnerability that could have allowed unlimited counterfeit coins has shaken confidence in privacy chains. The incident is now fueling a wider …