ZEXE - Enabling Decentralized Private Computation

Explore a 15-minute IEEE conference talk on ZEXE, a groundbreaking ledger-based system enabling decentralized private computation. Dive into the innovative solution addressing scalability and privacy issues in distributed ledgers. Learn about the core concept of decentralized private computation (DPC) schemes and how ZEXE leverages cryptographic proofs, including succinct zero-knowledge proofs and recursive proof composition. Discover how ZEXE achieves constant-time transaction validation and conceals offline computation details. Examine the implementation of the Records Nano-Kernel and its use of birth and death predicates. Understand how ZEXE can be applied to create privacy-preserving versions of popular applications, such as user-defined assets and decentralized exchanges.

Intro
Computing on distributed ledgers
Scalability and privacy issues Scalability
Sketch of Zerocash
How to extend to arbitrary data and computatior
Properties
Can we express private transactions
Our Proposal: the Records Nano-Kernel
Birth and death predicates
Implementing the Records Nano-Kerne
Chain of Elliptic Curves