ETHDenver Day 2

DAY 2

Session One: The State of zkVMs

9:30 a.m.

Opening Keynote: The current state of zkVM’s

•

Porter Adams, Core Contributor at Matter Labs/ZKsync

10:00 a.m.

The current state of zkVMs

•

Diego Kingston, Co-founder of Aligned Layer (Moderator)

•

Ming Guo, Co-founder of ZKM

•

Mamy Ratsimbazafy, Cryptography Engineer at Lita

•

Brett Carter, VP of Product at RISC Zero

•

Muthu Venkitasubramaniam, CEO of Ligero Inc

10:40 a.m.

An Introduction to zkMIPS+

•

Stephen Duan, Dev Lead at ZKM

•

Vanhger Pham, ZK Engineer at ZKM

11:10 a.m.

Designing GPU-Native zkVMs and Challenges for Realtime Proving

•

Dr Jiannan Ouyang, CEO of Snarkify

DAY 2

Session Two: Proving Services & The Future of ZK

11:30 a.m.

Opening Keynote: Introducing Pico: A Modular and Performant zkVM

• Alan, CSO at Brevis

11:50 a.m.

What makes for an optimal proving service?

•

Alice Liu, House of ZK (Moderator)

•

Vanishree Rao, Founder of Fermah

•

Dr Jiannan Ouyang, CEO of Snarkify

•

Shiv Shankar, CIO at RISC Zero

•

Anthony Rose, CTO at Matter Labs/ZKsync

12:30 p.m.

Practical challenges in proof outsourcing

•

Norbert Vadas, Head of Product at Gevulot Labs (ZkCloud)

12:45 p.m.

LLZK: A new IR for ZK Circuit languages

•

Shankara Pailoor, Veridise

1:00 p.m.

BoojumOS and Boojum2.0: ZKSync's Elastic, EVM-ready Protocol and New RISC-V GPU Prover to Power It

•

Michael Carilli, Applied Cryptography Engineer at Matter Labs/ZKsync

•

Antonio Locascio, Research Engineer at Matter Labs/ZKsync

1:30p.m.

The Future of ZK

•

Daniel Lumi, Senior Product Manager at Arbitrum (Moderator)

•

Vanishree Rao, Founder of Fermah

•

Ming Guo, Co-founder of ZKM

•

Jon Stephens, Co-Founder of Veridise

•

Shubham Bhandari, Head of Ecosystem at Manta Network

2:10 p.m.

Future of Avail

•

QEDK, Senior R&D Engineer at Avail

2:30 p.m.

Autonome: AI Agent Infrastructure

•

Dr Yaoqi Jia, CEO of AltLayer

DAY 2

Session Three: ZK in Bitcoin

2:50 p.m.

Opening Keynote: The Hybrid L2 – Putting BTC at the Center of DeFi

•

Alexei Zamyatin, Co-founder of BOB

3:15 p.m.

Beyond HODLing: How Bitcoin Can Now ‘Travel’ Without Trust Issues!

•

Yovela Luo, Co-founder at Fiamma

3:45 p.m.

GOAT Network: A Leap Towards True Bitcoin L2 with BitVM2

•

Stephen Duan, Developer Lead at ZKM

4:00 p.m.

Finding the Optimal Approach to Bitcoin Scaling

•

Red Sheehan, Co-founder of Bitcoin Layers (Moderator)

•

Talip Akalin, DevRel Engineer at Citrea

•

Alexei Zamyatin, Co-founder of BOB

•

Francis Corvino, BD Manager at Starkware

•

David Seroy, Ecosystem Lead at Alpen