Pratyush Mishra
where else to find them
no profile links on file
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
- Alicia Frameonce
- Benjamin Noahonce
- Clay Shieldsonce
all 25 in the filters
who talks about the same things
- Daniel Benarroch10 talks
- Daira Hopwood6 talks
- Alessandro Chiesa7 talks
- Dan Boneh10 talks
- Jason Morton4 talks
- Barry Whitehat7 talks
| title | conference | date |
|---|---|---|
| Functional Commitments | Proofs (Simons Institute) | 2025-07-11 |
Defines functional commitments (commit, local opening, check) and proves two security tiers: function binding (local consistency) vs stronger extractability… | ||
| Building Copilots - key lessons and best practices | Microsoft Build 2024 | 2024-05-21 |
An always-on contact-center copilot that translates live calls in real time is built and running in production using Azure Cognitive speech-to-text, Azure AI… | ||
| Proof Carrying Data | Zcon3 2022 | 2022-08-07 |
New constructions show proof‑carrying data (PCD) from simpler building blocks by replacing recursive SNARK verifiers with atomic accumulation and then split… | ||
| ZK Tutorial: An Introduction to SNARK Development with arkworks | 4th ZKProof Workshop (Home Edition) | 2021-04-19 |
Builds a simple zero‑knowledge rollup using the arkworks Rust ecosystem, showing complete circuit writing, gadgets for signatures/hashes/merkle trees, and how… | ||
| 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… | ||
| Zexe: Enabling Decentralized Private Computation | Blockchain in Society: Applications, Economics, Law, and Ethics 2019 | 2019-11-18 |
Zexe claims a ledger-layer for decentralized private computation that lets parties compute off‑chain and publish succinct attestations. It uses zk‑SNARKs with… | ||
| ZEXE: Enabling Decentralized Private Computation | Zcon1: Zero to Privacy Hero 2019 | 2019-06-22 |
ZEXE constructs offline verifiable computations that publish constant-size proofs (around 1 KB proofs) and whose on-chain verification runs in <50 ms… | ||
| Hidden Voice Commands | USENIX Security '16 | 2016-08-10 |
Researchers generate audio that humans hear as noise but voice systems transcribe as commands, producing both a white-box inversion that backsolves target text… | ||
| nothing matches | ||