According to the Ethereum Foundation's zkEVM team proposal presented to the All Core Devs (ACD) meeting, EIP-8025 has been proposed for inclusion in the Hegota fork. The proposal introduces Optional Execution Proofs, allowing Ethereum nodes to verify blocks by validating zero-knowledge proofs instead of re-executing all transactions directly.
Currently, Ethereum nodes must re-execute transactions to confirm block validity. EIP-8025 adds an opt-in alternative where nodes can verify a ZK proof of correct block execution without redundant computation. Though opt-in initially without affecting consensus rules, the proposal represents a foundational step toward a ZK-based validation model, potentially reducing node operation costs and enabling larger blocks and more complex execution.