The proof-of-unique-human system Anonymous is built around the functions register(), immigrate(), dispute() and reassign(). The schedule is enforced with scheduler(). Personhood is verified with the public mapping proofOfPersonhood. Mixing is done with external contracts.
For a complete reference implementation, see Anonymous.sol.