Added section on zero-knowledge proofs