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.
Read more
AI Summary
Highlights
AI Chapters
Episode notes
auto_awesome
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.
Prover Marketplace and Infrastructure Development
Lagrange Labs introduces a new prover marketplace and emphasizes the importance of general computing concepts in decentralized blockchain systems, highlighting the state of infrastructure and a focus on bringing innovations from general computing to crypto applications.
Innovations in Authenticated Data Structures
Babus explains the concept of VSQL and hyperproofs in authenticated data structures, focusing on the ability to verify computation over blockchain data and the integration of Authenticated AVL trees for efficient computation on blockchain data.
Future Work on Record Trees and Verifiable SQL
Perseus, a new verifiable database system based on record trees, aims to support arbitrary SQL queries through decomposition, enabling a broader range of applications in crypto, such as loyalty programs, gaming incentives, and data-driven on-chain experiences.
Expanding Accessibility and Application of Verifiable SQL
Lagrange Labs plans to launch a new version of its co-processor allowing users to structure SQL queries over large-scale on-chain state, offering developers in DeFi, GameFi, NFTs, and more the ability to run and verify queries directly in contracts, enhancing data access and application possibilities in the crypto space.
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.
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.