Latest ZK Research with Dan Boneh

Summary
In this week’s episode, x.com/AnnaRRose catches up with Dan Boneh (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:
• Episode 256: New ZK Use Cases with Dan Boneh (zeroknowledge.fm/256-2)
• Episode 100: Dan Boneh on the past, present & future of cryptography (zeroknowledge.fm/100-2)
• Episode 341: coSNARKs with Ais and Lukas from TACEO (zeroknowledge.fm/341-2)
• LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler (eprint.iacr.org/2022/1341.pdf)
• Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell (eprint.iacr.org/2017/1066.pdf)
• Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler (eprint.iacr.org/2024/1293.pdf)
• LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen (eprint.iacr.org/2024/257.pdf)
• Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen (eprint.iacr.org/2023/620.pdf)
• BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch (eprint.iacr.org/2023/1705.pdf)
• Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger (eprint.iacr.org/2024/1609.pdf)
• Episode 277: Nova and Beyond with Srinath Setty (zeroknowledge.fm/277-2)
• Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens (eprint.iacr.org/2024/032.pdf)
• ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang (eprint.iacr.org/2024/1731.pdf)
• VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh (eprint.iacr.org/2024/1066.pdf)
• ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh (zkhack.dev/whiteboard/module-one)

ZK Hack V (zkhack.dev/zkhackV) kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here (zkhack.dev/zkhackV).

Check out the latest jobs in ZK at the ZK Podcast jobs board here! (jobsboard.zeroknowledge.fm)

Aleo (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 aleo.org.

If you like what we do:
• Find all our links here! @ZeroKnowledge | Linktree (linktr.ee/zeroknowledge)
• Subscribe to our podcast newsletter (zeroknowledge.substack.com)
• Follow us on Twitter @zeroknowledgefm (twitter.com/zeroknowledgefm)
• Join us on Telegram (zeroknowledge.fm/telegram)
• Catch us on YouTube

Read transcript (github.com/ZeroKnowledgefm/episode-transcripts…)