Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler - a podcast by Fredrik Harrysson, Anna Rose

This week, Anna (https://twitter.com/annarrose) chats with Justin Thaler (https://mobile.twitter.com/succinctjt), Associate Professor at Georgetown (https://people.cs.georgetown.edu/jthaler/). They cover Justin’s academic history and discuss what led him to working on interactive proofs and SNARKs. They also take a look at several other topics such as the Thaler Book Study Group, his earlier work Spartan, comparing the security of different rollups built with SNARKs and STARKs and more.
Here are some additional links for this episode:Justin Thaler Georgetown Profile (https://people.cs.georgetown.edu/jthaler/)
Proofs, Arguments, and Zero-Knowledge Proofs by Justin Thaler, 2022 (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf)vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Paper (https://eprint.iacr.org/2017/1145)
Hardware-friendliness of HyperPlonk by Ingonyama (https://www.ingonyama.com/blogs/hardware-friendliness-of-hyperplonk)Proposed milestones for rollups taking off training wheels (https://ethereum-magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571)
A Graduate Course in Applied Cryptography by Boneh and Shoup, 2023 - Page 617 for elliptic curves over finite fields (http://toc.cryptobook.us/book.pdf)Quarks: Quadruple-efficient transparent zkSNARKs by Setty and Lee (https://eprint.iacr.org/2020/1275.pdf)
Brakedown: Linear-time and post-quantum SNARKs for R1CS by Golovnev, Lee, Setty, Thaler and Wahby, 2021 (https://eprint.iacr.org/2021/1043)zkHack Website (https://zkhack.dev/)
zkHack Discord (https://discord.com/invite/tHXyEbEqVN)Elliptic Curve Cryptography: A Gentle Introduction to (https://andrea.corbellini.name/2015/05/17/elliptic-curve-cryptography-a-gentle-introduction/)
A Graduate Course in Applied Cryptography By Dan Boneh and Victor Shoup (https://toc.cryptobook.us/)Number theory explained from first principles (https://explained-from-first-principles.com/number-theory)
The Animated Elliptic Curve (https://curves.xargs.org/)BLS12-381 For The Rest Of Us (https://hackmd.io/@benjaminion/bls12-381)
Apply for zkSummit9 here: zkSummit9 Ticket Application (https://9lcje6jbgv1.typeform.com/to/FCoktPh9?typeform-source=www.zksummit.com).Check out ingonyama.com (https://www.ingonyama.com/) to learn more about Zero Knowledge Hardware acceleration.
Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org (https://developer.aleo.org/getting_started/).
You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.For questions, join their Discord at aleo.org/discord (https://discord.com/invite/aleohq).
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 (https://zeroknowledge.fm/)
* Head to the ZK Community Forum (https://community.zeroknowledge.fm/)* Support our Gitcoin Grant (https://zeroknowledge.fm/gitcoin-grant-329-zkp-2)

Further episodes of Zero Knowledge

Further podcasts by Fredrik Harrysson, Anna Rose

Website of Fredrik Harrysson, Anna Rose