lec5.pdf
crypto.stanford.edu · 1,603 words · saved by 1 readers
N/A
CS 355: Topics in Cryptography Spring 2019 Lecture 5: Proofs of Knowledge, Schnorr’s protocol, NIZK Dima Kogan Recap Last lecture we saw that languages in NP have zero knowledge proofs (if commitments exist). We’ll start by a slightly differet view of NP. We say that a relation R ⊆ X × Y is an NP relation if: • It is polynomially bounded: there exists a polynomial p, such that |x| ≤ p(|y|)…
related reading
- Lecture 14: Zero knowledge proofsboazbarak.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Survey-SNARKs.pdfdi.ens.fr
- A Succinct Story of Zero Knowledgenibnalin.me
- Mediummia-tang.medium.com
- Interactive proof system - Wikipediaen.wikipedia.org
- P vs NP and its application to zero knowledge proofs | RareSkillsrareskills.io
- 370.pdfeprint.iacr.org
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com