Create an account to use AI

Create a free account to unlock all features:

Ask questions about videos with AI
Use smart search (AI)
Save your favorite videos
Bookmark your favorite categories
Organize your favorite subcategories
Access your personalized favorites page
Access your conversation history
Personalize your homepage with your favorites

Create an account

Already have an account? Log in

Introduction to Zero-Knowledge Proofs

Name: Introduction to Zero-Knowledge Proofs
Uploaded: 2022-12-22T18:16:23+00:00
Duration: 47 min 59 s

Dylan Davis

Get the free 30-day AI Mastery series 💌: https://insights.gradientlabs.co/

Work with me 💪: https://offerings.gradientlabs.co/ This is my zero-knowledge proof learning journey from n00b to slightly above average. :)

In this series, we’re going to take baby steps toward tackling a series of security and non-security-related concepts within the realm of zero-knowledge proofs.

If you’re interested in crypto security you should subscribe to my weekly newsletter here -

Here’s the associated blog post for this video - https://www.dylandavis.net/blog/2022/12/21/zero-knowledge-proofs-introduction/

If you’re interested in more/similar content, check out my YouTube channel or website below.

Website - dylandavis.net

Additional Resources

The ultimate list of zero-knowledge proof resources - https://github.com/D-Squared70/Reading-Room/blob/main/Zero-Knowledge/ZKP-Resources.md

Learning in public blog post - https://www.dylandavis.net/blog/2019/12/02/learning-in-public/

Learning in public podcast - https://freecodecamp.libsyn.com/ep-59-shawn-wang-left-a-350kyear-finance-job-to-learn-to-code

Shawn Wang's website - https://www.swyx.io/

Zero-knowledge proof wiki - https://en.wikipedia.org/wiki/Zero-knowledge_proof

Where’s Waldo's example - https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99

Telecom company example - https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/

Different colored balls example - https://www.notboring.co/p/zero-knowledge

Maksym’s great paper - https://arxiv.org/pdf/1906.07221.pdf

Navigating the ZK roll-up ecosystem - https://medium.com/amber-group/navigating-zero-knowledge-e944b21af71c

Prerequisite moon math - https://medium.com/amber-group/navigating-zero-knowledge-e944b21af71c

Intro to Polynomials - https://youtu.be/Vm7H0VTlIco

Porters ZK course, briefly mentions Polynomials - https://youtu.be/-2qHqfqPeR8

SNARKs vs. STARKs (CoinCodeCap) - https://coincodecap.com/snarks-vs-starks-difference

Yan Zhang’s part 2 post on SNARKs vs. STARKs - https://medium.com/@krzhang/privacy-in-cryptocurrencies-zero-knowledge-and-zk-snarks-part-2-f6a3ee167b16

Chris Green's post, including non-interactive proofs - https://blog.cryptographyengineering.com/2017/01/21/zero-knowledge-proofs-an-illustrated-primer-part-2/

Yan Zhang’s part 2 post mentions the distinction between argument and proof - https://medium.com/@krzhang/privacy-in-cryptocurrencies-zero-knowledge-and-zk-snarks-1-2-68ce1838fd9c

Crypto Stack Exchange explaining distinction further - https://crypto.stackexchange.com/questions/34757/what-is-the-difference-between-proofs-and-arguments-of-knowledge

Timeline

00:00 - Intro

01:44 - Resources

04:14 - Learning in public

05:25 - Where’s Waldo Example

09:22 - Ali Baba’s Cave Example

11:45 - Additional examples

13:54 - ZK Applications

22:19 - Valtalik’s prediction on ZK

23:15 - ZK Interactivity

29:01 - Different ZK Protocols

31:20 - SNARKs vs. STARKs

36:26 - Three ZK Properties

39:17 - ZK Moon Math

41:30 - Extra bits

53:56 - Arguments vs. Proofs

46:46 - Subscribe to Email Newsletter

47:44 - Outro