Zero Knowledge

Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck


Listen Later

In this week’s episode, host Anna Rose and cohost Nico Mohnblatt catch up with Ulrich Haböck, an applied cryptographer at Polygon Labs. This episode revolves around Ulrich’s journey into applied zero-knowledge cryptography, transitioning from an academic environment to being a full-time practitioner. They discuss his contributions to the field, including his many write-ups and manuscripts as well as his breakthrough research on Multivariate lookups with his work logUp. They also cover his work on logarithmic derivative lookups using GKR with Shahar Papini, as well as his innovative approaches to STARKs over finite fields that are not ‘NTT-friendly’. This episode offers a deep dive into the complexities and breakthroughs in applied cryptography.

Here’s some additional links for this episode:

  • A summary on the FRI low degree test by Ulrich Haböck
  • Brakedown's expander code by Ulrich Haböck
  • Improving LogUp with GKR - By Ulrich from Polygon
  • Improving logarithmic derivative lookups using GKR by Papini and Haböck
  • flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size by Gabizon and Khovratovich
  • Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen Kanjalkar, Ruffing and Nick
  • Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution by Bootle, Cerulli, Groth, Jakobsen and Maller
  • Understanding Lasso and Jolt, from theory to code
  • ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz
  • ZK9: logUp - Lookup arguments based on the logarithmic derivative - Ulrich Haböck
  • ZK10: Degree tricks in DEEP STARKs - Shahar Papini
  • Orion: Zero Knowledge Proof with Linear Prover Time by Xie, Zhang and Song
  • Reed-Solomon Codes over the Circle Group by Haböck, Lubarov and Nabaglo
  • Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS by Chiesa, Hu, Maller, Mishra, Vesely and Ward

ZK Hack IV online is coming soon, visit zhhack.dev/zkhackIV for the latest news!


Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.


Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada.


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

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,292 Listeners

a16z Podcast by Andreessen Horowitz

a16z Podcast

1,091 Listeners

Unchained by Laura Shin

Unchained

1,217 Listeners

CoinDesk Podcast Network by CoinDesk

CoinDesk Podcast Network

646 Listeners

The Breakdown by Blockworks

The Breakdown

742 Listeners

On The Brink with Castle Island by Castle Island Ventures

On The Brink with Castle Island

289 Listeners

All-In with Chamath, Jason, Sacks & Friedberg by All-In Podcast, LLC

All-In with Chamath, Jason, Sacks & Friedberg

9,913 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

71 Listeners

Empire by Blockworks

Empire

168 Listeners

Supply Shock by Blockworks

Supply Shock

109 Listeners

Forward Guidance by Blockworks

Forward Guidance

276 Listeners

web3 with a16z crypto by a16z crypto, Robert Hackett, Sonal Chokshi

web3 with a16z crypto

61 Listeners

No Priors: Artificial Intelligence | Technology | Startups by Conviction

No Priors: Artificial Intelligence | Technology | Startups

131 Listeners

BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

BG2Pod with Brad Gerstner and Bill Gurley

519 Listeners

Limitless Podcast by Limitless by Bankless

Limitless Podcast

66 Listeners