Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

Zero-Knowledge Proofs verify information without revealing the underlying data. They reduce risk, protect privacy, and require no trusted third party.

16,742 görüntüleme • 1 yıl önce •via X (Twitter)

3 Yorum

에밀 Tank profil fotoğrafı
에밀 Tank1 yıl önce

A couple decades late to the party eh? How do you plan to address the menu challenges with zkp in actual use?

HelloMars profil fotoğrafı
HelloMars1 yıl önce

🙂

George Ralph profil fotoğrafı
George Ralph1 yıl önce

I hope to see more platforms adopting this technology. It would give users peace of mind when using services that require identity details or other PII they might be hesitant to share.

Benzer Videolar

First Principles Ep. 6 with Shafi Goldwasser What if you could prove something is true without revealing why it’s true? Turing Award winner Shafi Goldwasser tells the origin story of zero-knowledge proofs: how a playful question about playing poker securely over the telephone led her, Silvio Micali, and Charles Rackoff to rethink what a mathematical proof could be. Goldwasser traces those ideas through interactive proofs, the sum-check protocol, SNARKs, and the systems now used to verify computation and preserve privacy on blockchains. She also reflects on why breakthrough ideas are often rejected at first, how toy problems can produce foundational theories, and whether AI systems should have to prove their answers. Hosted by Tim Roughgarden with Justin Thaler 00:00 Intro 03:36 How mental poker inspired zero-knowledge proofs: Proving that something is true without revealing the underlying information 06:30 The simulation paradigm and the meaning of “zero knowledge” 08:33 Why the original paper was repeatedly rejected 10:33 How interactive proofs became more powerful than conventional proofs 13:36 The road to modern SNARKs 19:02 Why the sum-check protocol is so useful for verifiable computation 25:31 Why many so-called “zk proofs” are not actually zero knowledge 34:06 Why toy examples, playfulness, and narratives can produce deep theory 37:23 The role of rigor and computational assumptions in cryptography 42:44 Applying zero-knowledge proofs to law, evidence, and secret software 45:23 Training AI systems to provide proofs alongside their answers 54:27 Why genuinely new ideas are often difficult for experts to recognize

a16z crypto

200,579 görüntüleme • 1 ay önce