Proving Correctness of Merkel Proofs on a Blockchain

In this week’s episode, we welcome Ariel Gabizon, previously a Electric Coin Company (Zcash) engineer and now a cryptographer working on zero knowledge constructions for Filecoin.

Ariel has worked closely with some of the most exciting projects and researchers pushing the boundaries on zero knowledge research. He is also the person who discovered the Zcash bug (along with Sean Bowe and Zooko). In this episode, we explore his journey into the space, what inspires him, and what exciting new paradigms he is exploring today!

Here are some of the articles and topics he mentions:

• Algebraic Methods for Interactive Proof Systems
• ECC (Zcash) Vulnerability Blog post
• https://en.wikipedia.org/wiki/Bernhard_Riemann
• https://en.wikipedia.org/wiki/Riemann_zeta_function
• https://en.wikipedia.org/wiki/Algebraic_function_field
• https://en.wikipedia.org/wiki/Helmut_Hasse
• https://en.wikipedia.org/wiki/Hasse_principle
• https://en.wikipedia.org/wiki/André_Weil

Thank you to our sponsor this week StarkWare

StarkWare will be presenting the StarkWare Sessions - on Sept 16th in Tel Aviv. The event will bring together some of the brightest minds in zero knowledge research from both the academic and application spheres. Topics that will be discussed are self-custodial trading, STARKs for Layer 1, STARK-friendly hash functions and other cool things you can do with STARK proofs.

Use the code Zkpodcast for 20% off the tickets - > https://starkware.co/starkware-sessions/

If you like what we do:

Follow us on Twitter - @zeroknowledgefm

Join us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA

Support our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcast

Support us on Patreon - https://www.patreon.com/zeroknowledge

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ