Player FM 앱으로 오프라인으로 전환하세요!
Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler
Manage episode 353462410 series 2435247
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
333 에피소드
Manage episode 353462410 series 2435247
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
333 에피소드
모든 에피소드
×플레이어 FM에 오신것을 환영합니다!
플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.