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

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