2nd ZKProof Workshop 2019
2019-04-10..2019-04-12
Berkeley, United States
who it's for
cryptographers, blockchain developers, privacy engineers, protocol engineers, tooling engineers, security engineers, standards engineers
topics
universal and updatable SRS; bulletproofs range proofs; R1CS constraint systems; merlin transcript API; EC-OPRF privacy tokens; zero-knowledge for confidential assets; MPC combined with ZK proofs; recursive SNARKs and Snarky; modular SNARK composition; bilinear pairing based proofs
| title | author | length |
|---|---|---|
| Public Accountability vs Secret Law: Can They Coexist | Shafi Goldwasser | 32m |
Claims a workable system that makes secret surveillance orders auditable while keeping contents hidden, using a public immutable ledger plus zero-knowledge… | ||
| ZKP for Audits of Unsolicited Consumer Communication | Hitarshi Buch, Joshua Satten | 26m |
Zero‑knowledge proofs combine with a distributed ledger to let auditors verify that telecom scrubbing used a subscriber’s preferences without revealing those… | ||
| Applications of Zero Knowledge Proofs in the Banking Industry | Eduardo Moraes | 26m |
ING experiments with concrete zero-knowledge constructions: implemented bulletproofs as a proof of concept, previously tried the 2001 square-composition… | ||
| Bringing ZKP to Traditional Industries, Physical World Use Cases | Shiri Lemel | 21m |
Company maps physical supply chains to tokenized digital twins and uses zero‑knowledge proofs on a permissioned blockchain to privately issue weight‑based… | ||
| Privacy Pass: A Lightweight Zero Knowledge Protocol Designed for the Web | Nick Sullivan | 25m |
Privacy Pass is a lightweight zero-knowledge protocol that implements a batched EC-OPRF with a single DL-equality proof to issue unlinkable redeemable tokens… | ||
| Tooling Infrastructure for Zero Knowledge Proofs | Henry De Valence | 24m |
A set of concrete tooling claims: Merlin transcripts implements a sponge-based transcript API (Rust crate plus a single-file C89 library) that automaticially… | ||
| An R1CS Based Implementation of Bulletproofs | Cathie Yun | 23m |
An R1CS-based Bulletproofs library implements range proofs and a constraint-system API in Rust and claims the fastest Rust implementation of Bulletproof range… | ||
| Fragile Nonce Selection and ZKPs as a Solution | Andrew Poelstra | 26m |
Shows that deterministic nonce generation (RFC6979/Merlin) fixes single signatures but fails for multi‑party Schnorr/ECDSA because differing challenges leak… | ||
| Notes from the SNARKonomicon: Techniques for Writing SNARK Programs | Izaak Mekler | 28m |
Concrete recipes for SNARK programs using the Snarky-style model and Coda/Kota-style recursion: implement division by guessing a quotient with an exists and… | ||
| Zero-Knowledge Proofs and Self Sovereign Identity | Jordi Baylina | 21m |
Open-source stack includes circumcircle DSL plus circumlip gadgets and a browser-side ZK proof generator (called a Zika snark) that creates ~5k-constraint… | ||
| zk-SHARKs: Combining Succinct Verification and Public Coin Setup | Madars Virza | 26m |
Defines zk-SHARKs that give short, fast verification with a public-coin prudent mode and an optimistic/prudent verification fallback: optimistic (SRS-based)… | ||
| LegoSNARK: Modular Design and Composition of Succinct Zero Knowledge Proofs | Dario Fiore | 25m |
Framework that composes specialized SNARKs via non‑interactive commitments and delivers concrete gadgets and a compiler that turns many existing… | ||
| Sonic: zkSNARKs from Linear Size Universal and Updatable SRS | Sean Bowe | 25m |
Sonic presents a zkSNARK construction that keeps the common reference string to linear-size SRS by using a univariate Kate-style polynomial commitment (with… | ||
| DIZK: A Distributed Zero Knowledge Proof System | Howard Wu | 22m |
A distributed ZK-SNARK system is built that parallelizes both the trusted setup and proving to scale from millions to billions of gates, implemented in Java on… | ||
| Enterprise Features for Confidential Asset Transfers | Ori Wallenstein | 25m |
An enterprise-grade system (blockchain-agnostic, shown with a Go SDK and high-level API) uses zero-knowledge proofs to enable confidential transfers, prevent… | ||
| Zether Towards Privacy in a Smart Contract World | Benedikt Bunz | 26m |
Zether implements confidential, partly anonymous transfers on Ethereum by replacing clear balances with homomorphic encryptions and zero-knowledge proofs… | ||
| Succinct Proofs in Ethereum | Barry Whitehat | 25m |
Describes concrete ZK uses on Ethereum: mixers and Semaphore for anonymous signals, and a rollup design that batches many account state transitions into one… | ||
| Aurora: Transparent Sucinct Arguments for R1CS | Nick Spooner, Dev Ojha | 23m |
Aurora produces transparent zk-SNARKs for R1CS with transparent setup and only symmetric-key primitives (hashes), achieving proof size about 50–150 KB for… | ||
| Efficient Zero Knowledge Protocols: The Modular Approach | Yuval Ishai | 35m |
Argues for separating an information-theoretic core from the cryptographic compilation layer so design and proofs stay exact and reusable, and claims this… | ||
| Privacy Enhancing Cryptography at NIST | Rene Peralta | 38m |
NIST revives a Privacy Enhancing Cryptography project to produce reference implementations and readable standards focused on ZKProof, secure multi‑party… | ||
| Panel: Zero Knowledge in the Enterprise | Carlos Kuchkovsky, Yael Tauman Kalai, Mike Hearn, Jonathan Levi | 51m |
Panelists contrast pragmatic deployments with long‑term cryptography: enterprise platforms pick SGX first ZK later to run existing Java apps now and plan… | ||
| Bilinear Pairings-based Zero-Knowledge Proofs | Jens Groth | 44m |
Chronicles the concrete moves that turn pairings into compact non‑interactive ZK: uses a double-homomorphic pairing encryption over composite-order groups to… | ||
| MPC-in-the-Head based Zero Knowledge Proofs | Amit Sahai | 41m |
Framework claims that MPC-in-the-head yields practical zero-knowledge by having a prover hallucinate an honest-majority MPC, commit to each server’s… | ||
| GKR based Zero-Knowledge Proofs | Yael Tauman Kalai | 41m |
Claims a practical blueprint that turns GKR-style low-degree extension encodings plus the sum-check protocol into doubly efficient interactive proofs where the… | ||
| IOP based Zero-Knowledge Proofs | Alessandro Chiesa | 44m |
A modular compiler turns interactive oracle proofs (IOPs) into transparent, plausibly post‑quantum succinct arguments by committing long PCP/IOP transcripts… | ||
| Discrete Log based Zero-Knowledge Proofs | Dan Boneh | 52m |
Presents a clear framework: discrete-log ZK and argument systems (Schnorr, Bulletproofs) extend to groups of unknown order but naive generalization fails… | ||
| From PKC to PKI: Reflections on Standardizing the RSA Algorithm | Burt Kaliski | 52m |
Overview of what was standardized, why, and what actually happened: the PKCS1 format formalizes the hash-and-sign paradigm and a hybrid encryption model that… | ||
| Zero Knowledge Ideal Functionality | Muthu Venkitasubramaniam | 45m |
Defines an ideal functionality for zero-knowledge within the UC framework, models non‑interactive ZK using a common reference string, and admits UC… | ||
| nothing matches | ||