ZKP1.3 ZK proof of Knowledge

ZKP学习笔记

ZK-Learning MOOC课程笔记

Lecture 1: Introduction and History of ZKP (Shafi Goldwasser)

1.4 ZK proof of Knowledge

• PoK
  

• Application: Identity Theft [FS86]

  • To identify itself prover proves a hard theorem.

• All NP is in Zero Knowledge

  • Theorem[GMW86,Naor]: If one-way functions exist, then every L in NP has computational zero knowledge interactive proofs Ideas of the proof
  • Commit Scheme
    • commit(m)->h, decommit(h)->m
      

• G3-COLORABLE Example
  

1.5 Applications in practice and in theory

• Graph Non-Isomorphism in IP
  

• the Fiat-Shamir Paradigm[FS87]