Merkle tree

Tornado Cash是基于零知识证明的混币协议，通过ZK-SNARK技术切断存取款地址关联性。存款时生成随机数K和r计算哈希值Cn存入Merkle树，提款时用ZK Proof证明持有有效凭证而不泄露具体Cn。协议采用防重放攻击标识符nf=Hash(K)，并支持中继者代付Gas机制。作为真正运用零知识性的隐私协议，Tornado Cash通过同质化存取金额和Merkle Proof验证机制，实现资金转移的匿名性，成为理解ZK应用的典型案例。