Zexe: Enabling Decentralized Private Computation
summary
Zexe claims a ledger-layer for decentralized private computation that lets parties compute off‑chain and publish succinct attestations. It uses zk‑SNARKs with recursive composition and circuit design to prove arbitrary user‑defined functions, implements private user‑defined assets, private DEX atomic swaps, and regulation‑friendly birth/death predicates. Implemented transactions remain <1KB and verify in <50ms regardless of computation size; code and libraries are released at libzxc.org.
AI-written summary · about
chapters (14)
- 0:00Intro
- 0:51Computing on distributed ledgers
- 1:18Scalability and privacy issues Scalability
- 2:49This work: ZEXE A ledger-based system that enables users to conduct Offline computations and then publish transactions about these
- 9:22Trading digital assets
- 13:43Limitations of DEXs
- 21:40Private user-defined assets
- 23:44Custom access to user-defined assets
- 27:54Private atomic swaps
- 32:51Index-based DEX Index
- 33:44Privacy Leakage
- 35:16Private Index-based DEX
- 44:41Supporting arbitrary data and computation
- 45:35Birth predicates
related talks
29mZEXE: Enabling Decentralized Private Computation
32mSoK: Private Programmability on Blockchain Systems
20mPrivacy, the Missing Link
38mCrypto-Economic Coprocessors & Their Applications
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)
47mFrom Zero Knowledge to Private Transactions
22mHow Zero Knowledge Proofs Change the Narrative Around Privacy
31mZK Stack and the Rise of the Rollup-State