Guest Oleg Andreev, protocol architect from Stellar, discusses zkVM, a zero-knowledge virtual machine. They touch on the history of Stellar, Chain, and zkVM. They compare zkVM with ZCash and ZEXE. They also discuss the capabilities of TXVM and ZKVM, the concept of ZKVM and its positioning, contrasting Snarks and bulletproofs, and using bulletproofs in transaction verification and scalability in zero-knowledge systems.
Read more
AI Summary
AI Chapters
Episode notes
auto_awesome
Podcast summary created with Snipd AI
Quick takeaways
ZKVM is a protocol that combines the best of Bitcoin and Ethereum, protecting funds while keeping the logic private.
ZKVM prioritizes protecting privacy without requiring a trusted setup, using high-speed cryptography and efficient aggregation of transactions for scalability.
Deep dives
ZKVM: A Protocol Architect and Confidentiality Features
ZKVM is a protocol that combines the best of Bitcoin and Ethereum. It allows for the creation of custom contracts that protect funds while keeping the logic private. The protocol is designed for financial contracts, with blockchain acting as a court. ZKVM encrypts the data in transactions, such as asset types, quantities, and contract parameters, while exposing the minimal required logic to satisfy the contract predicates. This ensures confidentiality and privacy without sacrificing scalability. The protocol uses bulletproofs, a non-interactive zero-knowledge proof system, for compact proofs and short verification time. The cryptographic stack, including the curve to 5519 Dalek and the Restretto prime order group, is implemented in Rust for efficient parallel computation. ZKVM is an experimental design separate from Stellar, but it is open source and can be potentially implemented in other chains.
Comparison to ZEXI Protocol
Compared to the ZEXI protocol, ZKVM takes a different approach. ZEXI hides the actual computation of custom contracts using recursive ZK-SNARKs, whereas ZKVM allows the logic to be exposed and focuses on protecting the confidentiality of data and financial values in transactions. While ZEXI prioritizes anonymity, ZKVM provides a narrower focus on protecting privacy without requiring a trusted setup. The scalability of ZKVM comes from its design of reasonable state models that allow for parallel verification and batch computation. It utilizes high-speed cryptography, batchable operations, logarithmic scaling of bulletproofs, and efficient aggregation of transactions to enhance scalability.
State and Future of ZKVM
At its current state, ZKVM is primarily a core design with some aspects of the API still being worked on. The consensus algorithm and networking components are not yet developed. However, there is a demo on GitHub that allows for experimentation with ZKVM as a private blockchain. The project follows a full-stack development approach to gather feedback and refine the design before finalization. While ZKVM is not specific to Stellar, it aligns with the goals of creating a multi-asset environment for issuing and trading assets securely and privately.
In this episode, we chat with the Oleg Andreev, a protocol architect from Stellar, about zkVM, the zero-knowledge virtual machine.
In this episode, we learn a little bit about the history of Stellar, Chain and the zkVM project. We touch on the general concepts of VMs as well as compare zkVM with some other zero knowledge protocols like ZCash and ZEXE.
Some other episodes you may want to check out before listening to this episode: