Compare
Four documents, the same five questions.
No throughput league table and no yield. The cells are what this library is willing to say about the text.
| Question | Zexe: Enabling Decentralized Private Computation |
|---|---|
| What the text proposes | A model for private computation over records. Each record has a birth predicate and a death predicate. A transaction proves that some records died and others were born, without showing which, or showing the data. |
| Who may write | Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra and Howard Wu |
| What is settled | Records sit committed on a ledger. |
| Load-bearing assumption | Aleo and other later systems are implementations, with their own curves, fees, and failures. |
| What this library says afterwards | Predicates are programs. A private bug is still a bug. |
| Rights | Official external source only |