Our project fits into the ZK Tech round eligibility criteria because we utilize zero-knowledge proofs to demonstrate that withdrawals from Tornado Cash do not originate from a list of specific user-selected deposits. Our open-source circuits employ sparse Merkle trees to store blacklists for efficient exclusion proofs. It is important to note that our project is a public good, and we believe that compliance should not be forced but instead offered as an optional feature for users to opt-in to, much like proof of innocence.

Additionally, we are proud to be the first to introduce exclusion proofs to Tornado Cash, and we believe that such mathematical compliance tools are necessary for public adoption. With the grant, we plan to improve the user experience and conduct a trusted setup ceremony to enhance the security of the protocol.