Tornado Cash: a reference manual for developers

Krishang, an engineer, walks through the codebase of Tornado Cash in a reference post built on the tornado-cash-rebuilt repository, which the post says re-builds Tornado Cash for educational purposes using modern Solidity and ZK tooling. The system lets a depositor place 1 ether into the ETHTornado contract as a commitment C=hash(n,s), and a withdrawer later takes the deposit by submitting a Groth-16 zero knowledge proof of knowledge of the nullifier and secret, so no recognizable link forms between depositor and withdrawer. The post explains that the Verifier contract checks each proof during withdrawal, that Merkle trees let the circuit prove a commitment is a leaf of the tree, and that the circuit is written in Circom. The article is cut off before it finishes describing the test walkthrough.