Blog

Ironwood's supply soundness now rests on machine-checked proofs, not just carefully reviewed and audited code.

The recently discovered undetectable counterfeiting bug in Orchard wasn't the first of its kind in Zcash. Thanks to formal verification of Ironwood, it will be the last.

A novel use of turnstiles lets a simple network upgrade protect Zcash users from hypothetical counterfeit coins.

Zcash's next shielded protocol will advance the state-of-the-art for scaling private money, using rigorous analysis to maintain security.