Designing GPU-Native zkVMs and Challenges for Realtime Proving
Heads up! Registering here helps you keep the talk on your calendar for easy planning. Don’t forget to request your free event ticket from ZK Hub to complete your attendance!
Designing GPU-Native zkVMs and Challenges for Realtime Proving
🗓️ Mar 1st
🕙 11:10 - 11:30 AM
📌 BUIDL Event Hall | BUIDL Hub
Ethereum’s growing reliance on ZK proofs for scalability has made proof generation speed a critical bottleneck. Realtime proving is essential for improving interoperability and addressing liquidity fragmentation across rollups. Faster ZK proofs enable atomic cross-rollup transactions and support seamless composability—paving the way for a more interconnected Ethereum ecosystem. However, achieving realtime proving at scale presents significant technical hurdles.
In this talk, Dr Ouyang will review historical approaches to ZK hardware acceleration and their limitations. He will then explore why GPU-Native zkVMs offer a promising path toward realtime proving by maximizing GPU efficiency and utilization. Finally, he will discuss the key performance challenges that must be addressed in a GPU-Native zkVM approach, including low-latency witness generation and distributed proving.
By tackling these challenges, we can unlock a new era of scalable, high-performance ZK proof systems, enabling real-time ZK applications in blockchain and beyond.
About Jiannan Ouyang
Dr. Jiannan Ouyang is the co-founder and CEO of Snarkify, where he leads the development of cutting-edge proving infrastructure for zero-knowledge proofs. He holds a PhD in Computer Science with a specialization in high-performance computing and operating systems. Since 2018, Dr. Ouyang has been at the forefront of applying advanced computational techniques, including GPU acceleration and FPGA optimization, to blockchain applications such as Zero-Knowledge Proofs and Proof-of-Work. Before founding Snarkify, he was a research scientist at Meta.
About Snarkify:
Snarkify is the leading high-performance Zero-Knowledge Proof (ZKP) computing company, specialized in GPU-accelerated proof generation. With deep expertise in cryptographic optimization and large-scale GPU computing, Snarkify delivers the most efficient and cost-effective proving services to secure every on-chain transaction with ZK. As the only team to have won six top honors at ZPrize—an industry-wide competition for ZK performance optimization—Snarkify is at the forefront of enabling real-time proving and unlocking native rollups for Ethereum in 2025.