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:

• Episode 256: New ZK Use Cases with Dan Boneh
• Episode 100: Dan Boneh on the past, present & future of cryptography
• Episode 341: coSNARKs with Ais and Lukas from TACEO
• LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler
• Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell
• Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler
• LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen
• Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen
• BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch
• Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger
• Episode 277: Nova and Beyond with Srinath Setty
• Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens
• ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang
• VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh
• 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...