Скачать или смотреть Explore Expander Bootcamp: GKR and Sumcheck Protocol

Join Yupeng Zhang from the University of Illinois for an in-depth workshop on the GKR and sumcheck protocols, as part of the Explore Expander Bootcamp. The session covers the intricacies of zero-knowledge proofs (zk-SNARKs), the foundations of the sumcheck protocol, and the GKR protocol. Follow along as Yupeng explains the importance of these protocols in the fields of cryptography, blockchain, and beyond, while diving into their theoretical underpinnings and practical applications. The workshop includes a detailed explanation of the history, development, and algorithmic improvements that lead to linear prover time complexity in proof generation. Watch to gain a comprehensive understanding of these critical cryptographic protocols.

Yupeng's slides are available here: https://docs.google.com/presentation/...

About the Explore Expander Bootcamp:
The Explore Expander Bootcamp is a six-week program designed to teach participants about zero-knowledge proofs, the Expander compiler, and Generalized Knowledge Representations (GKR). Participants will have the opportunity to build projects contributing to Ethereum's future, receive a certificate upon completion, and compete for grants from a $250,000 prize pool.

___________

Timestamps:
00:00 Introduction and Housekeeping
01:15 Speaker Introduction and Workshop Overview
02:06 Introduction to Zero-Knowledge Proofs and zk-SNARKs
03:45 Applications of zk-SNARKs
05:03 Focus on Sumcheck and GKR Protocols
05:33 History and Development of Sumcheck and GKR Protocols
07:02 Advancements in GKR Protocol Efficiency
10:03 Combining Sumcheck and GKR with Polynomial Commitment Schemes
14:35 Introduction to Multivariate Polynomials
19:51 Understanding the Sumcheck Problem
23:32 Sumcheck Protocol: Round-by-Round Breakdown
31:31 Proof by Contradiction in Cryptographic Protocols
32:53 Recursive Reduction Structure
34:39 Soundness Error and Complexity
36:03 Prover Time Optimization
39:10 Introduction to GKR Protocol
39:59 Layered Arithmetic Circuits
43:34 Sum Check Equation in GKR Protocol
47:24 Verifier's Role in GKR Protocol
49:26 Complexity and Soundness of GKR Protocol
52:04 Q&A Session

___________

Join the Community
🐥 Encode Twitter: https://x.com/encodeclub
🗣 Encode Discord:   / discord  

About Polyhedra
Polyhedra is building foundational infrastructure for trust and scalability in AI and blockchain systems enabling secure, verifiable and high-performance applications. Read more: https://www.polyhedra.network/

About Encode Club
Encode Club is a global community of top developers, professionals and talented students in Emerging Tech. Through leading educational programmes such as hackathons, bootcamps and accelerators we help you advance your career and work with transformative companies. Read more here: https://www.encode.club/