Zero knowledge proofs of identity
Knowledge and common knowledge in a distributed environment