In response to this statistic, Mayor Michael Bloomberg announced PlaNYC to help New York achieve his stated goal, the cleanest air quality of any major city in America.
Membership in co-NP is also straightforward: one can just list the prime factors of m, which the verifier can confirm to be valid by multiplication and the AKS primality test.
Non-interactive zero-knowledge proof, a common random string shared between the prover and the verifier is enough to achieve computational zero-knowledge without requiring interaction
Zero-knowledge password proof, an interactive method for one party (the prover) to prove to another party (the verifier) that it knows a value of a password