Podknife - Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler by Zero Knowledge

Help
Help

Suggested Topics
- What is Podknife?
  
  Podknife is a curated podcast information and review site designed to be accessible in your browser from any device. We’re working to build the most useful podcast information source available by providing you with as much publicly available information about each podcast in our database as we can find and keeping it as up to date as possible.
- Can I listen to podcasts on Podknife?
  
  Yeah! There's a player at the bottom of the page.
- How can I get my podcast on Podknife?
  
  We’d love to hear about your podcast and consider it for addition. You can suggest your own by logging in and selecting the “Suggest a Podcast” link from the menu. Fill out the form and we’ll take it from there.
- How can I submit a review of a podcast?
  
  To submit a review of a podcast, go to the page of the podcast you want to review and click the "Submit Review" button below the image associated with the podcast. Clicking that button brings you to a new page where you can select a rating between 1 and 5 stars and write a brief review.
- How can I submit a review of a podcast episode?
  
  To submit a review of a podcast episode, go to the page of the podcast whose episode you want to review and find the specific episode you're looking for. Clicking on any episode reveals a "View Episode" button and clicking on that brings you to an episode-specific page where you can find more information displayed about the episode along with a "Submit Review" button. Clicking that brings you to a new page where you can select a rating between 1 and 5 stars and write a brief review of the episode.
- Is there a Podknife app?
  
  Not yet - we're keeping it in the browser at least for now. No app download required to access anything on the site.
- How can I change my display name?
  
  To change your display name, log in to Podknife and select "Account Settings" in the dropdown menu. From the Account Settings page, enter your desired new display name and press the "Save" button to confirm the change.
- How can I change my password?
  
  To change your password, log in to Podknife and select "Account Settings" in the dropdown menu. From the Account Settings page, enter your desired new password in the two fields below "Update Password" and press the "Save" button to confirm the change.
- How can I keep track of all my reviews?
  
  Within the menu, click on "My Profile", you will then be able to check all your reviews for both podcast & episode. You can also check all your favorite podcasts.
- How can I keep track of all my favorited podcasts?
  
  You can find podcasts you’ve favorited displayed on the My Profile page associated with your account (https://podknife.com/profile).
  You can share your My Profile page displaying your favorite podcasts as well as any reviews you’ve written publicly with a link in the form https://podknife.com/users/[displayname] where [displayname] is replaced by your Display Name.
- How can I favorite a podcast?
  
  On each podcast page you’ll find the outline of a star above the podcast title. Clicking this star fills it in and designates the podcast as a favorite (for logged in users) or invites the user to log in or register for an account (for users who are not logged in). You can find favorited podcasts displayed on the My Profile page associated with your account (https://podknife.com/profile).
- How can I register for a Podknife account?
  
  To register, click on the “Register” button in the top right of your browser window (or visit https://podknife.com/users/sign_up). Enter a Display Name to be associated with your account on the site (alongside any reviews you contribute, for example), an Email address to associate with the account and your password (twice for confirmation). Press the “Confirm” button and you should be all set, logged in and ready to review and favorite podcasts as you wish.
- How can I get in touch?
  
  We’d love to hear from you. You can reach us using the Feedback form (https://podknife.com/feedbacks/new) which can be found either in the footer on each page (for users who are not logged in) or in the dropdown menu (for logged in users).
  
  You can also reach us on Twitter by tweeting us @podknife (https://twitter.com/podknife) or on Facebook by messaging us from our page (https://www.facebook.com/podknife/).
- Log In
- Register
- Feedback
- Help
- Privacy Policy
- Terms of Use
© Podknife 2024

This episode currently has no reviews.

Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler

Podcast |: Zero Knowledge
Publisher |: Zero Knowledge Podcast
Media Type |: audio
Podknife tags |: Education,; Interview,; Mathematics,; Technology
Categories Via RSS |: Education,; Mathematics,; Science,; Technology
Publication Date |: Jan 25, 2023
Episode Duration |: 01:06:36

Description
iTunes Summary

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 (magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571">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 (from-first-principles.com/number-theory">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)

This week, Anna chats with Justin Thaler, Associate Professor at Georgetown. 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
Proofs, Arguments, and Zero-Knowledge Proofs by Justin Thaler, 2022
vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Paper
Hardware-friendliness of HyperPlonk by Ingonyama
magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571">Proposed milestones for rollups taking off training wheels
A Graduate Course in Applied Cryptography by Boneh and Shoup, 2023 - Page 617 for elliptic curves over finite fields
Quarks: Quadruple-efficient transparent zkSNARKs by Setty and Lee
Brakedown: Linear-time and post-quantum SNARKs for R1CS by Golovnev, Lee, Setty, Thaler and Wahby, 2021
zkHack Website
zkHack Discord
Elliptic Curve Cryptography: A Gentle Introduction to
A Graduate Course in Applied Cryptography By Dan Boneh and Victor Shoup
from-first-principles.com/number-theory">Number theory explained from first principles
The Animated Elliptic Curve
BLS12-381 For The Rest Of Us

Apply for zkSummit9 here: zkSummit9 Ticket Application.

Check out ingonyama.com to learn more about Zero Knowledge Hardware acceleration.

Aleo 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.

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.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on Youtube
Head to the ZK Community Forum
Support our Gitcoin Grant