ETHPrague 2024

Qi Zhou

Active Ethereum ecosystem contributor (ethresear.ch / magician)
- Author/coauthor of EIPs-4804/4972/5018/5027/6150
- PhD from Georgia Tech
- Former engineer at Meta/Google/EMC

Interested in Ethereum's DA and L2 and received multiple grants from EF
- Vitalik’s grant on cross-L2 bridge
- Data Availability Sampling Research: https://blog.ethereum.org/2022/12/07/esp-allocation-q3-22
- EthStorage - Proof of Storage on L2 Dataset with L1 Contract: - https://blog.ethereum.org/2023/02/14/layer-2-grants-roundup
- OP Stack grants on multi-section fault proof and zk fault proof


Sessions

06-01
14:00
25min
Accelerate OP Fault Proof via EIP-4844-Powered Multi-Section Dispute Game
Qi Zhou

In this talk, we present an approach to significantly expedite the fault-proof dispute by implementing a multi-section search approach using EIP-4844 BLOBs and testing it on OP Stack.

Core & EVM
Root Stage
06-02
11:00
25min
Advancing Parallel EVM: Parallel I/O via Programmable Access List and Intelligent I/O Preloading
Qi Zhou

We explore two key strategies for enhancing Ethereum's efficiency through parallel I/O: EIP-7650, which allows developers to specify access lists for parallel data preloading, reducing latency and gas costs; and Intelligent I/O Preloading, optimizing execution by common patterns.

Core & EVM
Flower Stage
06-02
12:00
25min
Introducing web3:// - Decentralized Access Protocol for EVM
Qi Zhou

This presentation introduces the ERC-4804/6860: Web3 URL Standard, which bridges a critical gap in accessing on-chain resources directly - turning the EVM into a decentralized HTTP server, paving the way for innovative applications like dynamic NFTs and on-chain blogs.

Developer Ecosystem & Tooling
Leaf Stage
06-02
14:00
25min
Advancing Towards ZK Fraud Proof - zkGo: Compiling L2 Geth into ZK-Compatible Wasm
Qi Zhou

We present zkGo - a customized Go compiler to generate zk-Friendly Wasm code and demonstrate its capability to compile L2Geth and prove its execution via the state-of-the-art zkWasm prover. This will be the key step to zk Fault Proof that instantly challenges off-chain execution.

Core & EVM
Flower Stage