House of ZK Radio #31: Niall Emmart, Co-founder & Head of GPU Engineering at Snarkify 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 -

Today, we 1kx release Part 2 of our DePIN Tokenomics Series with Dylan Bane and Mihai Grigore 🚀 from Messari. We analyzed the reward mechanisms of 27 DePINs - here's what the data reveals 🧵

The ZK Hub presentation by Dr. Jiannan Ouyang, CEO of Snarkify, is now available on the House of ZK YouTube: youtube.com/watch?v=7Iw_2c… drouyang.eth’s talk focused on GPU acceleration in zkVMs and the challenges of achieving real-time proving. He outlined the evolution of

A good read about preconfs

Lovely! #ETHDenver in the Ghibliverse.

A simple L2 security and finalization roadmap ethereum-magicians.org/t/a-simple-l2-…

Can’t be April fooled when secured with ZK. Can be fooled any month when secured with trust.

Best thread I’ve ever read about WHIR. Intuitions only, easy to understand.

David Hoffman Bankless 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 Ethproofs call #1, Fri Apr 25 at 2pm UTC. The founders of 17

This wasn’t a casual promise. When we committed to realtime proving for Ethereum by June 2025 — back in the 2024H2 — most in ZK thought it wouldn’t be possible until late 2025 or 2026. But based on our tech and team, we believed it was ambitious — yet achievable. It wasn’t an

Very happy to see Tower Research, an HFT powerhouse, putting a solid piece on ZK proving.

We’ve been heads down building Snarkify’s realtime (SRT) proving engine, and we’re finally getting ready to launch the first release. Can’t wait to show what fast, cheap, and live zk proofs actually look like in the wild.

🤯 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

We are crashing the performance metrics internally, and you'll see it live on Ethproofs soon!

“Snarkify claiming they are multiples faster than everyone on execution and proving” Yes, that’s what I said.

Congratulations to Richard and the Huma team! From the infancy of the idea to today’s TGE, every time I synced with Richard over the years, Huma was always 10x better than the last time we spoke. The ideas he shared always sounded ambitious, and then they’d go build something

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.

After 6+ months of engineering, the Snarkify 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.

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.

SP1-SRT is where top-tier zkVM meets top-tier GPU acceleration!