Thinking in Constraints: How Tornado Cash Turns Notes into Zero-Knowledge Proofs

A systems-level explanation of commitments, Merkle membership, nullifiers, and the assumptions behind Tornado Cash withdrawals.