D’après la proposition de l’équipe zkEVM de la Fondation Ethereum présentée à la réunion des All Core Devs (ACD), EIP-8025 a été proposée pour inclusion dans le fork Hegota. La proposition introduit des Optional Execution Proofs, permettant aux nœuds Ethereum de vérifier des blocs en validant des preuves à connaissance nulle plutôt qu’en réexécutant directement toutes les transactions.
À l’heure actuelle, les nœuds Ethereum doivent réexécuter des transactions pour confirmer la validité des blocs. EIP-8025 ajoute une alternative optionnelle dans laquelle les nœuds peuvent vérifier une preuve ZK de l’exécution correcte d’un bloc sans calculs redondants. Bien qu’optionnelle au départ et sans impact sur les règles de consensus, la proposition constitue une étape fondamentale vers un modèle de validation basé sur des preuves à connaissance nulle, susceptible de réduire les coûts d’exploitation des nœuds et de permettre des blocs plus grands ainsi qu’une exécution plus complexe.