06-01, 14:00–14:25 (Europe/Prague), Root Stage
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.
In this talk, we present an approach to significantly expedite the fault-proof dispute by implementing a multi-section search approach. In contrast to the current bi-section game, which demands log2(N) moves to identify the final disputable step, the K-section game (where K > 2) diminishes the moves to logK(N). However, in the K-section game, each player (defender/attacker) must publish a K-1 VM state hashes on-chain for each move. The introduction of EIP-4844 facilitates a substantial reduction in this cost through the utilization of EIP-4844 Binary Large Object (BLOB), capable of accommodating K=4096 VM hashes per BLOB. Consequently, for an N=2^48 game, the game can be condensed to 4 moves from the original 48 moves. This will significantly decrease the time elapsed for a fault-proof dispute game, from 2-3 days to a couple of hours.
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