ZK Day 2019: Blockchains, Micropayments and Zero Knowledge
2019-04-13
Berkeley, United States
who it's for
cryptographers, privacy engineers, blockchain engineers, post-quantum researchers, applied cryptographers, security researchers, machine learning engineers
topics
pure proof-of-stake consensus; cryptographic sortition and signatures; lightweight Byzantine agreement; zero-knowledge private payments; Merkle-tree transaction indexing; classical-verifier quantum proofs; LWE-based zero-knowledge; lattice-based signature schemes; physical zero-knowledge forensics; privacy-preserving machine learning; multiparty computation deployments; homomorphic encryption
| title | author | length |
|---|---|---|
| Algorand: The Truly Distributed Ledger | Silvio Micali | 01h 10m |
Algorand claims a working pure proof-of-stake ledger that picks proposers and a roughly 1,000-strong committee by cryptographic sortition (verifiable… | ||
| From Zero Knowledge to Private Transactions | Alessandro Chiesa | 47m |
Claims a practical, ledger-based private payment system (ZeroCash) that hides sender, receiver and amount while still letting anyone verify correctness and… | ||
| Classical Zero Knowledge Arguments for Quantum Computing | Thomas Vidick | 58m |
Claim: a protocol gives a classical verifier for QMA that is zero knowledge under a post‑quantum hardness assumption. Construction combines Mahadev-style… | ||
| Lattice-Based Zero Knowledge and Applications | Daniele Micciancio | 49m |
Gives interactive zero‑knowledge proofs for lattice problems and shows the closest‑vector language lies in SZK, ruling out NP‑hardness for useful approximation… | ||
| Forensics and Zero Knowledge | Ben Fisch | 37m |
Describes a physical zero-knowledge protocol that proves a crime-scene DNA profile differs from a suspect’s without revealing the profiles. It replaces trusted… | ||
| Privacy Challenges in Machine Learning | Shafi Goldwasser | 42m |
Survey of concrete solutions: lattice-based cryptography (notably learning with errors) underlies NIST’s post‑quantum proposals and enables homomorphic and… | ||
| nothing matches | ||