Zero Knowledge

Proofs, Arguments, and ZKPs with Justin Thaler


Listen Later

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
  • 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
  • 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

Read transcript
...more
View all episodesView all episodes
Download on the App Store

Zero KnowledgeBy Zero Knowledge Podcast

  • 4.9
  • 4.9
  • 4.9
  • 4.9
  • 4.9

4.9

93 ratings


More shows like Zero Knowledge

View all
This Week in Startups by Jason Calacanis

This Week in Startups

1,279 Listeners

a16z Podcast by Andreessen Horowitz

a16z Podcast

1,043 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

624 Listeners

Unchained by Laura Shin

Unchained

1,213 Listeners

CoinDesk Podcast Network by CoinDesk

CoinDesk Podcast Network

639 Listeners

The Breakdown by Blockworks

The Breakdown

747 Listeners

On The Brink with Castle Island by Castle Island Ventures

On The Brink with Castle Island

291 Listeners

Bankless by Bankless

Bankless

1,049 Listeners

Empire by Blockworks

Empire

167 Listeners

Supply Shock by Blockworks

Supply Shock

112 Listeners

The Milk Road Show by The Milk Road Show

The Milk Road Show

39 Listeners

web3 with a16z crypto by a16z crypto, Sonal Chokshi, Chris Dixon

web3 with a16z crypto

62 Listeners

Bell Curve by Blockworks

Bell Curve

32 Listeners

The Limitless Podcast by Limitless by Bankless

The Limitless Podcast

36 Listeners

OpenAI Podcast by OpenAI

OpenAI Podcast

32 Listeners