co-founder & ceo @snarkify_zkp | phd in operating systems | ex @Meta
Joined August 2010
- Tweets835
- Following774
- Followers1.8K
- Likes1.9K
drouyang retweeted
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence.
block.xyz/dessa
drouyang retweeted
.@apolynya is back with updated thoughts on ZK.
One line stood out: “The potential impact of ZKPs supercedes that of all blockchains.”
Early signs say he’s right. Our upcoming 2026 ZK Industry Report with @zeroknowledgefm surveys adoption across categories beyond blockchains.
drouyang retweeted
Introducing Magnetar from Microsoft Research, the first zkVM that is: (1) general-purpose (RV64), (2) post-quantum from standard hashes alone (no curves, no lattices, no Poseidon), and (3) built for recursion.
Despite its conservative security, it is the fastest zkVM: 7.2–8.7 MHz on a laptop, 10–39× faster than existing zkVMs across 15 workloads! An optimized version reaches 9.5–12.8 MHz.
Links in the thread below.
drouyang retweeted
1/ Today we're releasing Lattice Jolt: a post-quantum version of the Jolt zkVM, built on lattices instead of elliptic curves. It's _faster_ than curve-based Jolt and has the shortest proofs of any post-quantum zkVM — under 100 KB.
Post: a16zcrypto.com/posts/article…
drouyang retweeted
We believe developers should choose their own security configurations, but we made a mistake by allowing our DVN to act as a 1/1 DVN for high-value transactions. We didn't police what our DVN was securing, which created a risk we simply didn't see. We own that. Moving forward, LayerZero Labs will be more active in educating developers and monitoring how applications should build on the protocol to ensure they are configured safely.
drouyang retweeted
Local coding models may have crossed a threshold to be viable. We compared several 30B class open weight models on Terminal-Bench 2.0 and they are close to what frontier models were around ~6 months ago.
- For consumer hardware: MoE > dense when memory is the bottleneck.
- We expect this can be improved a lot with some prompt/harness/llama.cpp tuning
drouyang retweeted
Snarkify wrote an SP1 GPU prover from SCRATCH to brrrrrrr on real-time proving.
Can't wait to see their results on the Succinct Prover Network.
After 6+ months of engineering, the @Snarkify_ZKP team is nearing the launch of SP1-SRT — a fully rewritten, GPU-accelerated SP1 prover for distributed real-time proving.
It’s fast. It’s cost-efficient. And it’s coming to Succinct Network.
Get ready.
drouyang retweeted
Excited to welcome Snarkify, an elite hardware acceleration team and serial ZPrize winner, to the Succinct Prover Network.
Their expertise in cryptography, high-performance computing, and cloud operations will be valuable to our customers by helping reduce cost and latency.
drouyang retweeted
🤯 real-time proving is here 🤯
Mainnet EVM blocks proven in under 1 Ethereum slot (12s). Goosebumps.
Succinct proves every Ethereum L1 block:
→ 94% in <12s
→ 99% in <13s
→ 99.9% in <12s, soon™
Yesterday RISC Zero unveiled a $120K home GPU cluster—proofs expected in 9.25s. Brevis, OpenVM, Snarkify, ZisK, ZKM are weeks from joining the real-time club.
Soon™ my validator will verify EVM blocks on a Rasberry Pi Pico—a $5 board that consumes <1W. I will ditch my EL client in favour of a zkEL. No 1 TB NVMe. Goodbye Geth, hello zkReth. Stateless and RAMless verification in milliseconds on a single CPU core.
With real-time proving 1 gigagas/sec (10K TPS) is within reach, without compromising validator decentralisation. From now on expect regular gas limit bumps. 10% of stake is already voting for a 60M limit—your validators can too.
Snarkifying mainnet turns Ethereum L1 into the first based and native rollup. Stage 2. Bug-free. Decentralised sequencing. No security council. No governance. The L1 will lead by example.
This Friday we celebrate. Join us for Ethproofs call #2, May 23 at 2pm UTC. 25 speakers, 2 hours of content. Calls are open—DM @corcoranwill for a calendar invite.
We are witnessing history. Believe in something real. Believe in real-time proving.
drouyang retweeted
Very happy to see Tower Research, an HFT powerhouse, putting a solid piece on ZK proving.
We've been studying Zero Knowledge Proofs here at Tower to better understand the supply chain, flow of value, and their use as a general computing primitive.
Special thanks to @Snarkify_ZKP for their input on the piece.
tower-research.com/contempor…
drouyang retweeted
Here's my stance :)
We can scale the canonical L1 EVM by 1,000x—from 10 TPS to 10K TPS—using zkVMs. The core idea: validators verify a SNARK for every EVM block, instead of re-executing it.
I'll discuss this on @eth_proofs call #1, Fri Apr 25 at 2pm UTC. The founders of 17 zkVMs snarkifying the EVM will share updates. If there's one white-hot corner of crypto right now, it's zkVMs. The pace of progress is mind-blowing. DM me or @corcoranwill for a calendar invite to Ethproofs call #1.
That said, most users will still live on L2s. Why? Because L2s will offer a combined 10M TPS—100x from rollups, 100x from Danksharding, 100x from a decade of Nielsen's law. So the L1 EVM only gets 10K / 10M = 0.1% of activity, and that's perfectly fine.
The key to graceful horizontal scaling is preserving Ethereum-wide network effects:
→ native rollups = shared security
→ based rollups = shared composability
→ pristine ETH = shared money
Ethereum's future is incredibly bright. Believe in something :)
drouyang retweeted
A simple L2 security and finalization roadmap
ethereum-magicians.org/t/a-s…
drouyang retweeted
The @Zk_Hub_Global presentation by Dr. Jiannan Ouyang, CEO of @Snarkify_ZKP, is now available on the @HouseofZK YouTube: youtube.com/watch?v=7Iw_2cnX…
@drouyang’s talk focused on GPU acceleration in zkVMs and the challenges of achieving real-time proving. He outlined the evolution of GPU optimization, from early kernel-specific enhancements (e.g. MSM, NTT) to end-to-end zkVM acceleration, emphasizing that GPUs outperform ASICs for ZK due to memory constraints.
Snarkify aims to achieve real-time zkVM proving by June 2025, which could be a significant factor in driving mass ZK adoption 🤝
drouyang retweeted
Today, we @1kxnetwork release Part 2 of our DePIN Tokenomics Series with @dylangbane and @tech_metrics from @MessariCrypto.
We analyzed the reward mechanisms of 27 DePINs - here's what the data reveals 🧵
drouyang retweeted
House of ZK Radio #31: Niall Emmart, Co-founder & Head of GPU Engineering at @Snarkify_ZKP
Timestamps:
0:44 - @Niall_Emmart's background: Undergraduate in mathematics, startup, and PhD journey.
2:23 - Joining @nvidia and experience in GPU kernel optimization.
3:08 - Introduction to @z_prize and decision to leave NVIDIA to compete.
4:01 - Main takeaways from Z Prize and what’s needed for ZK proving acceleration.
5:02 - Understanding how algorithms map to specific hardware for optimization.
6:17 - Performance gaps in Z Prize 1B results and optimization challenges.
7:15 - Importance of understanding computational lower bounds.
8:10 - Breaking down computational bottlenecks using 'speed of light' analysis.
10:01 - The impact of hardware-specific optimizations on Z Prize results.
12:00 - Z Prize 1B track: End-to-end proving on GPU and FPGA.
13:18 - Optimizing the execution for specific GPU environments.
14:25 - Key decision to move the entire proof system to the GPU.
15:50 - Trade-offs in GPU optimization: Avoiding CPU-GPU data transfers.
16:59 - Analyzing the proof generation process and GPU-CPU interactions.
20:55 - Overview of proof generation pipeline with GPU-based optimization.
24:08 - Why MSM (Multi-Scalar Multiplication) is crucial for ZK proving.
26:14 - Breakdown of proving time: Majority spent on MSM computations.
28:11 - How sorting optimizations improved MSM performance.
30:39 - Technical deep dive: Optimizing bucket-based MSM computation.
33:02 - Why distributing scalars uniformly improves MSM efficiency.
37:06 - Trade-offs of GPU proving vs FPGA and ASIC approaches.
41:02 - Challenges in fully offloading proof generation to accelerators.
43:22 - Why moving proof systems to accelerators takes significant effort.
45:03 - GPU-native ZKVMs: Rethinking architecture for hardware acceleration.
49:31 - Implications of real-time proving and Ethereum consensus layer integration.
52:26 - Future of ZK acceleration: GPUs vs hybrid FPGA/ASIC approaches.
56:45 - Memory bandwidth as a fundamental limit in ZK proving hardware.
1:02:06 - Why ZK proving hardware won't follow Bitcoin mining ASIC trends.
1:05:16 - Final thoughts on ZK hardware acceleration and Snarkify’s approach.
