Advanced

These examples are larger circuits, focusing on optimization and real-world applications:

• Filtering Tuples solves a ZK puzzle from Axiom, moving elements of an array with a logarithmic shifter.
• Tornado Cash is a private mixer, built from commitments, nullifiers and Merkle trees.