Semaphore circuits with Noir Semaphore circuits with Noir to generate and verify zero-knowledge proofs.