Latest ZK Research with Dan Boneh
SummaryIn 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 BonehEpisode 100: Dan Boneh on the past, present & future of cryptographyEpisode 341: coSNARKs with Ais and Lukas from TACEOLaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor SeilerBulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and MaxwellGreyhound: Fast Polynomial Commitments from Lattices by Nguyen and SeilerLatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi ChenProtostar: 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 ZeilbergerEpisode 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 WangVerITAS: 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...