

Latest ZK Research with Dan Boneh
4 snips Nov 27, 2024
In this engaging discussion, Dan Boneh, a top-tier professor at Stanford specializing in zero-knowledge cryptography, dives into his latest research. He explores cutting-edge advancements in lattice-based SNARKs and their role in post-quantum security. The use of zero-knowledge proofs in machine learning to uphold fairness and combat disinformation is particularly fascinating. Additionally, the C2PA standard's impact on image authenticity and content provenance highlights the evolving relationship between cryptography and digital integrity.
AI Snips
Chapters
Transcript
Episode notes
Why Lattices?
- Lattice-based SNARKs offer potential post-quantum security and performance benefits.
- They also enable verifiable FHE computations and new folding schemes.
FHE and Lattices
- Lattice encryption's fast decryption enables bootstrapping and FHE.
- Current FHE constructions might not be optimal, other approaches could exist.
Greyhound Performance
- Greyhound, a lattice-based polynomial commitment scheme, allows commitments to large polynomials.
- For a billion-degree polynomial, proofs are ~53KB and verify in ~2 seconds.