Merkle Trees in Tornado Cash: How Membership Proofs Make Withdrawals Private

Why Tornado Cash needs a commitment tree, what the withdrawal proof checks, and where Merkle membership fits into the ZK system.