Episode 345: Latest ZK Research with Dan Boneh

Summary In this week’s episode, Anna (https://x.com/AnnaRRose) catches up with Dan Boneh (https://twitter.com/danboneh), 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 (https://zeroknowledge.fm/256-2/) Episode 100: Dan Boneh on the past, present & future of cryptography (https://zeroknowledge.fm/100-2/) 0:03:44.6 Episode 341: coSNARKs with Ais and Lukas from TACEO (https://zeroknowledge.fm/341-2/) 0:07:57.2 LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler (https://eprint.iacr.org/2022/1341.pdf) 0:07:57.2 Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell (https://eprint.iacr.org/2017/1066.pdf) 0:09:44.7 Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler (https://eprint.iacr.org/2024/1293.pdf) 0:11:28.3 LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen (https://eprint.iacr.org/2024/257.pdf) 0:12:48.2 Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) 0:13:03.3 BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch (https://eprint.iacr.org/2023/1705.pdf) 0:13:03.3 Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger (https://eprint.iacr.org/2024/1609.pdf) 0:13:03.3 Episode 277: Nova and Beyond with Srinath Setty (https://zeroknowledge.fm/277-2/) 0:31:16.5 Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens (https://eprint.iacr.org/2024/032.pdf) 0:35:15.6 ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang (https://eprint.iacr.org/2024/1731.pdf) 0:49:10.9 VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh (https://eprint.iacr.org/2024/1066.pdf) 1:00:42.7 ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Hack V (https://zkhack.dev/zkhackV/) kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here (https://zkhack.dev/zkhackV/). Check out the latest jobs in ZK at the ZK Podcast jobs board here! (https://jobsboard.zeroknowledge.fm/) Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)