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:

13:07 * Protocols for Public Key Cryptosystems by Ralph C. Merkle
13:23 * Certificate Revocation and Certificate Update by Naor and Nissim
14:08 * Episode 57: Merklize this! Merkle Trees & Patricia Tries
26:32 * Episode 327: Proof Aggregation with Shumo and Yi from NEBRA
36:57 * Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac
36:57 * 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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Episode 333: Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs 01:04:18 Share

Zero Knowledge

Shownotes Transcript

Episode 333: Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs