Delayed execution

Status history

1. Draft18 Feb 2025
2. ⋯Stagnantdate not observed

Abstract

This proposal introduces a mechanism to make execution blocks statically verifiable through minimal checks that only require the previous state, without requiring execution of the block's transactions. This enables validators to attest to a block's validity without completing its execution.