Izaak Meckler
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Daira Hopwoodonce
- Jordi Baylinaonce
- Pratyush Mishraonce
all 4 in the filters
who talks about the same things
- Justin Thaler9 talks
- Pratyush Mishra9 talks
- Arantxa Zapico2 talks
- Daira Hopwood6 talks
- Abhi Shelat4 talks
- Ying Tong6 talks
| title | conference | date |
|---|---|---|
| Panel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs | 4th ZKProof Workshop (Home Edition) | 2021-04-19 |
Panelists report real deployments: a private rollup on Ethereum using recursive zk-SNARKs (Aztec’s PLONK-style system), Hermez running payments on Groth16, and… | ||
| The Next 700 ZKP Programming Languages | Zcon1: Zero to Privacy Hero 2019 | 2019-06-22 |
Coda uses recursive composition of SNARKs to compress the blockchain and anyone can verify a proof on a phone, and the SNARK-friendly language Snarky exists to… | ||
| Snarky: Algebraic effects in the Coda cryptocurrency | LambdaConf 2018 | 2018-06-03 |
Snarky is an OCaml embedded DSL that compiles high‑level, Hindley‑Milner style code with algebraic effects into rank‑1 constraint systems so zk‑SNARKs can… | ||
| nothing matches | ||