Moderní aplikace zero-knowledge protokolů
| Thesis title in Czech: | Moderní aplikace zero-knowledge protokolů |
|---|---|
| Thesis title in English: | Modern applications of zero-knowledge protocols |
| Key words: | zk-SNARK, zero-knowledge proofs, zerocash, blockchain |
| English key words: | zk-SNARK, zero-knowledge proofs, zerocash, blockchain |
| Academic year of topic announcement: | 2018/2019 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Computer Science Institute of Charles University (32-IUUK) |
| Supervisor: | Mgr. Pavel Hubáček, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 30.09.2018 |
| Date of assignment: | 31.10.2018 |
| Confirmed by Study dept. on: | 06.02.2019 |
| Date and time of defence: | 19.06.2019 10:00 |
| Date of electronic submission: | 17.05.2019 |
| Date of submission of printed version: | 17.05.2019 |
| Date of proceeded defence: | 19.06.2019 |
| Opponents: | Mgr. Martin Mareš, Ph.D. |
| Guidelines |
| Student se seznámí s konstrukcemi kryptografických protokolů typu “Zero-Knowledge Succinct Non-interactive ARguments of Knowledge” známé jako ZK-SNARKs (např. [1] a [2]) a nastuduje jejich aplikace v moderních kontextech jakými jsou například anonymní kryptoměny (např. [3] a [4]). |
| References |
| [1] E. Ben-Sasson et al., SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge. CRYPTO (2) 2013: 90-108
[2] B. Parno et al., Pinocchio: Nearly Practical Verifiable Computation. IEEE Symposium on Security and Privacy 2013: 238-252 [3] E. Ben-Sasson et al., Zerocash: Decentralized Anonymous Payments from Bitcoin. IEEE Symposium on Security and Privacy 2014: 459-474 [4] I. Miers et al., Zerocoin: Anonymous Distributed E-Cash from Bitcoin. IEEE Symposium on Security and Privacy 2013: 397-411 |