Zero Knowledge

Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs


Listen Later

Summary
In this week’s episode Anna chats with Ismael Hishon-Rezaizadeh, Founder and CEO at Lagrange Labs and Charalampos (Babis) Papamanthou, Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University.
They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to joining Lagrange on Verifiable SQL. They then explore how this is incorporated into the Lagrange coprocessor system, the work they are doing on Reckle Trees, future work and what all this enables for dApp developers. They discuss their new prover marketplace, the general state of infrastructure and how they are keen to bring more concepts from general computing into decentralized blockchain systems.
 
Here’s some additional links for this episode:
 
  • Protocols for Public Key Cryptosystems by Ralph C. Merkle
  • Certificate Revocation and Certificate Update by Naor and Nissim
  • Episode 57: Merklize this! Merkle Trees & Patricia Tries
  • Episode 327: Proof Aggregation with Shumo and Yi from NEBRA
  • Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac
  • Lagrange Labs GitHub on Reckle Trees
  • A Certified Digital Signature by Ralph C. Merkle

  •  
    The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21, you can head over to web3summit.com and use code ZKPOD50 to apply, learn more and grab your tickets today.
     
    Episode Sponsors
     
    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-minimized bridge.
     
    Follow Namada on Twitter @namada for more information and join the community on Discord.
     
    Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
     
    As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.
     
    Dive deeper and discover more about Aleo at http://aleo.org/.
     
    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,284 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,211 Listeners

      CoinDesk Podcast Network by CoinDesk

      CoinDesk Podcast Network

      637 Listeners

      The Breakdown by Blockworks

      The Breakdown

      745 Listeners

      On The Brink with Castle Island by Castle Island Ventures

      On The Brink with Castle Island

      290 Listeners

      Bankless by Bankless

      Bankless

      1,047 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

      33 Listeners

      The Limitless Podcast by Limitless by Bankless

      The Limitless Podcast

      36 Listeners

      OpenAI Podcast by OpenAI

      OpenAI Podcast

      32 Listeners