Moderní aplikace zero-knowledge protokolů
| Název práce v češtině: | Moderní aplikace zero-knowledge protokolů |
|---|---|
| Název v anglickém jazyce: | Modern applications of zero-knowledge protocols |
| Klíčová slova: | zk-SNARK, zero-knowledge proofs, zerocash, blockchain |
| Klíčová slova anglicky: | zk-SNARK, zero-knowledge proofs, zerocash, blockchain |
| Akademický rok vypsání: | 2018/2019 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Informatický ústav Univerzity Karlovy (32-IUUK) |
| Vedoucí / školitel: | Mgr. Pavel Hubáček, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 30.09.2018 |
| Datum zadání: | 31.10.2018 |
| Datum potvrzení stud. oddělením: | 06.02.2019 |
| Datum a čas obhajoby: | 19.06.2019 10:00 |
| Datum odevzdání elektronické podoby: | 17.05.2019 |
| Datum odevzdání tištěné podoby: | 17.05.2019 |
| Datum proběhlé obhajoby: | 19.06.2019 |
| Oponenti: | Mgr. Martin Mareš, Ph.D. |
| Zásady pro vypracování |
| 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]). |
| Seznam odborné literatury |
| [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 |