Programmable Zero Knowledge
summary
Aleo builds a system called zero knowledge executions with a one‑time universal MPC setup that produces proving and verification keys, off‑chain provers that produce constant‑size ~1 KB proofs verified in about 10 ms, and a blockchain that accepts those proofs so transactions avoid re‑execution and permit unlimited application runtimes. The demo compiles a Leo language roulette, executes a spin that lands on 13 and pays 36 tokens, and the stack includes a proof‑of‑succinct‑work miner design plus a delegate DPC model for provers.
AI-written summary · about
chapters (5)
- 0:00Start
- 0:35Aleo is the first developer platform for zero-knowledge applications.
- 2:04Solution Zexe introduces a new model for decentralized computations
- 3:21Aleo introduces zero-knowledge executions for decentralized systems.
- 6:19Unlimited Application Runtime
related talks
33mAn Introduction to Zero Knowledge Proofs
28mZero Knowledge Proofs and Their Future Applications
26mHow zero-knowledge proofs can be used to balance privacy and compliance
23mZKBoo: Faster Zero-Knowledge for Boolean Circuits
22mScalable Zero-Knowledge Protocols From Vector-OLE
01h 13mA Zero-Knowledge PCP Theorem
01h 06mLattice-based Zero-knowledge Proofs
37mUsing Zero to Attack Zero-Knowledge Proof (ZKP) PLONK