ECO SCI LU Lucia Romano 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.