DID: The first application testing ground for zero-knowledge proofs