ZKVM: Fast, Confidential Smart Contracts
summary
A compact, stateless per-transaction VM implements confidential, multi-asset smart contracts using Bulletproofs over Curve25519/Ristretto, a custom cloak protocol for hidden asset types and amounts, and Taproot-style commit/reveal for contract logic. Constraints compile to R1CS and aggregate into a single proof so verification is parallelizable and state updates batchable. Implementation reports under 1 ms per output and up to 1,000 TPS with batching, uses UTXO + Merkle compression for tiny on-chain state, and is open source under the Interstellar / Stellar repos.
AI-written summary · about
chapters (18)
- 0:00Start
- 3:05THE PROBLEM
- 3:48HOW Need to simulate the univ
- 4:20PROBLEMS WITH SHARED DATA
- 4:48HUGE COMMUNITY EFFORT
- 5:02ZKVM = HYBRID SOLUTION
- 5:18TRANSACTIONS
- 6:00PROGRAM EXECUTION
- 8:14CONTRACTS
- 9:37TAPROOT Compresses contract logic into a single public key
- 10:41INSTRUCTIONS
- 11:55CRYPTOGRAPHY STACK
- 14:46EX: CUSTOM CONSTRAINTS
- 16:06LINEAR TYPES + CAPABILITIES
- 16:20CONFIDENTIALITY
- 17:10DATA FLOW SECURITY
- 19:05CONCLUSION
- 21:58PERFORMANCE
related talks
24mZK: Accelerating DA Interop
41mThe Future Is Trustless: How ZkVMS And ZkTLS Transform Bug
31mZK Stack and the Rise of the Rollup-State
31mPrivacy-preserving smart contracts
19mBeyond the Blacklist, The Compliant Way To Do Private Transactions
26mSecure protocols on BIP taproot
28mBitVM: Innovation Without a Soft Fork
47mFrom Zero Knowledge to Private Transactions