Shownotes Transcript
Summary
In this week’s episode, Anna) catches up with Dan Boneh), Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML and more!
Here’s some additional links for this episode:
0:03:08.3 Episode 256: New ZK Use Cases with Dan Boneh)
Episode 100: Dan Boneh on the past, present & future of cryptography)
0:03:44.6 Episode 341: coSNARKs with Ais and Lukas from TACEO)
0:07:57.2 LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler)
0:09:44.7 Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler)
0:12:48.2 Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen)
0:13:03.3 Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger)
0:31:16.5 Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens)
0:35:15.6 ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang)
0:49:10.9 VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh)
1:00:42.7 ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh)
ZK Hack V) kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here).
Check out the latest jobs in ZK at the ZK Podcast jobs board here!)
Aleo) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.
Dive deeper and discover more about Aleo at http://aleo.org/).
If you like what we do:
Find all our links here! @ZeroKnowledge | Linktree)
Subscribe to our podcast newsletter)
Follow us on Twitter @zeroknowledgefm)
Join us on Telegram)
Catch us on YouTube)