Howard Wu
where else to find them
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
- Collin Chinonce
who talks about the same things
- Ian Miers9 talks
- Alex Pruden7 talks
- Ying Tong Lai6 talks
- Zooko Wilcox13 talks
- Ying Tong6 talks
- Zac Williamson10 talks
| title | conference | date |
|---|---|---|
| Know Your Address - Proving Humanity Onchain | Pragma New York 2025 | 2025-08-14 |
Provable builds a working stack: ZPass issues verifiable credentials that produce ZK proofs for concrete claims like “over 18,” “resident of X,” or “not on a… | ||
| The Privacy Spectrum - From Shadows to Standards | Pragma Cannes 2025 | 2025-07-03 |
Cryptocurrency records 27.6 trillion dollars of stablecoin transfers last year yet under 0.01% is end-to-end encrypted, so public ledgers expose purchases… | ||
| Beyond the Blacklist, The Compliant Way To Do Private Transactions | Pragma Denver 2025 | 2025-02-25 |
Claims that only 0.01% encrypted of last year’s crypto payments (a $27 trillion market) motivates a new L1, Alo, that combines zero-knowledge proofs with view… | ||
| Leo: A Programming Language for Formally Verified, ZK Applications | 4th ZKProof Workshop (Home Edition) | 2021-04-19 |
Leo claims a language that compiles ZK apps with mechanically checked compiler passes: a Rust compiler (≈65k LOC, 12 contributors) converts source to an ASG… | ||
| Programmable Zero Knowledge | ETHDenver 2021 | 2021-02-05 |
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… | ||
| DIZK: A Distributed Zero Knowledge Proof System | 2nd ZKProof Workshop 2019 | 2019-04-10 |
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… | ||
| DIZK: A Distributed Zero Knowledge Proof System | USENIX Security '18 | 2018-08-15 |
A distributed ZK-SNARK system that actually runs the setup and prover across a cluster and reaches billions of gates instead of millions. Implements a tailored… | ||
| nothing matches | ||