EIP-8025: Optional Execution Proofs