First Page | Document Content | |
---|---|---|
Date: 2015-02-25 05:09:48Computational complexity theory Complexity classes IP Proof of knowledge NP Soundness Interactive proof system PSPACE Zero-knowledge proof Probabilistic complexity theory Mathematical proof Quadratic residue | ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro CorettiDocument is deleted from original location. Download Document from Web Archive |