Explore the concept of Transparent Polynomial Delegation and its applications to Zero Knowledge Proof in this 17-minute IEEE conference talk. Delve into the efficiency measures and applications of Zero Knowledge Proofs, examining the GKR08 protocol and its evolution. Learn about the speakers' contributions, including transparent polynomial delegation constructions and transparent ZKVPD. Discover how these concepts apply to verifiable secret sharing and compare the Virgo system with other transparent ZKP systems. Conclude with an examination of proving Merkle tree roots using SHA-256.
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
Overview
Syllabus
Intro
Zero Knowledge Proofs(ZKP)[GMR 85]
Efficiency measures of ZKP
Applications of ZKP
Doubly Efficient Interactive Proof GKR08
GKR Protocol with Polynomial Delegation ZGK+17
Follow up work of [ZGK+17]
Our contributions: Transparent Polynomial Delegation
Our constructions
Our contributions: Transparent ZKVPD
Application: verifiable secret sharing
Compare Virgo with other transparent ZKP systems Proving Merkle tree roots with 256 leaves/511 SHA-256
Summary
Taught by
IEEE Symposium on Security and Privacy
