Zero Knowledge

Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs

Jul 24, 2024

Ismael Hishon-Rezaizadeh and Charalampos Papamanthou discuss zk-powered coprocessors, Verifiable SQL, Reckle Trees, prover marketplace, infrastructure, and bringing general computing concepts into decentralized blockchain systems. They explore the benefits for dApp developers, historical data access challenges, and the use of ZKPs for secure validation.

01:04:26

Creator website

Episode guests

Ismael Hishon-Rezaizadeh

Charalampos (Babis) Papamanthou

AI Summary

Highlights

AI Chapters

Episode notes

Podcast summary created with Snipd AI

Quick takeaways

Authenticated data structure design and zero-k systems enable new possibilities for crypto applications.

Importance of general computing concepts in decentralized blockchain systems and the introduction of a new prover marketplace.

Perseus, a verifiable database system, supports arbitrary SQL queries through decomposition, enhancing data access and application possibilities in the crypto space.

Deep dives

Revisiting ZK-Powered Coprocessors and Innovations

Revisiting ZK-Powered coprocessors and diving into the work done on Verifiable SQL, Lagrange Labs explores how authenticated data structure design and zero-k systems enable new possibilities for crypto applications.

From Binary Trees to Complex Queries: The Evolution of Data Integrity

01:08

Elevating Computation with Authenticated Data Structures

01:24

Scale Efficiently, Incentivize Smartly

01:32

Understanding the Power of Recceletrees

01:06

Intro

3min

Building on-chain DeFi and Social-Fi Applications

12min

Evolution of SQL and Verifiable SQL in Database Querying

8min

Evolution of Legrand's Prover Network and ZKP Technology

15min

Rekkel Trees and Verifiable Database Systems

16min

Development Progress of Query Planner Project with Perseus and Reckle Trees

2min

Applications of Verifiable SQL in Analytics Companies and Integration with Layer 2 Solutions

5min

Enhancing User Experience in Crypto Applications with Improved Data Access

4min

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:

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

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.

Zero Knowledge

Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs

Episode guests

Podcast summary created with Snipd AI

Quick takeaways

Deep dives

Revisiting ZK-Powered Coprocessors and Innovations

Prover Marketplace and Infrastructure Development

Innovations in Authenticated Data Structures

Future Work on Record Trees and Verifiable SQL

Expanding Accessibility and Application of Verifiable SQL

From Binary Trees to Complex Queries: The Evolution of Data Integrity

Elevating Computation with Authenticated Data Structures

Scale Efficiently, Incentivize Smartly

Understanding the Power of Recceletrees

Summary

Episode Sponsors

Remember Everything You Learn from Podcasts