A Study of Statistical Zero-Knowledge Proofs