🛡️ Zcash
zk-SNARKs in plain language — completeness, soundness, zero-knowledge — and what a proof actually proves about a shielded Zcash transaction.