Blog

How Tachyon reuses authenticated epoch history for bounded non-membership queries, and how a wallet binds the results to its note.

We're beginning to upstream Tachyon's recursive proofs into the core of Zcash's newest cryptography stack.

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.