La Fondation Ethereum étudie les assertions de transactions pour vérifier les changements d’état finaux

Les chercheurs de la Fondation Ethereum examinent des assertions de transactions natives qui exigeraient que la sécurité des transactions dépende de l’état final ainsi que des instructions signées, selon une mise à jour de recherche publiée le 5 octobre 2026. Cette initiative vise à atténuer des risques spécifiques liés à la manière dont les utilisateurs approuvent les actions sur le réseau.

La fondation identifie la signature à l’aveugle et les résultats d’exécution incertains comme des mécanismes distincts par lesquels les utilisateurs peuvent approuver des actions entraînant des conséquences indésirables. Les signatures de transactions actuelles prouvent l’autorisation pour des octets spécifiques, mais ne garantissent pas qu’une interaction complexe avec un contrat intelligent atteigne l’objectif économique prévu par le signataire. La recherche proposée explore des vérifications indépendantes qui inspectent les changements nets de solde, de stockage ou de code après l’exécution. Si une règle requise échoue lors de cette inspection post-exécution, le mécanisme révoquerait la transaction.

Parcours de mise en œuvre de l’EIP-7906

L’EIP-7906 est identifié comme une voie possible pour mettre en œuvre ces assertions. La proposition utilise un cadre post-transaction en lecture seule pour évaluer les changements et les événements avant d’accepter le résultat. La fondation indique que l’EIP-7906 est actuellement en cours d’examen, mais n’est pas encore confirmé pour une mise à niveau future. Même s’il est adopté, la mise en œuvre exigerait que les portefeuilles ou les protocoles appliquent activement les règles spécifiques définies par l’assertion.

Les ingénieurs travaillant sur ce développement doivent prendre en compte plusieurs choix de conception, notamment qui définit la règle, les coûts de gaz associés et si un logiciel tiers peut omettre silencieusement la vérification. Le travail technique implique d’évaluer les applications existantes, les opérateurs de nœuds et la compatibilité des clients. De plus, les développeurs doivent déterminer comment les erreurs se comportent dans des conditions de réseau stressées. Un changement qui semble simple au niveau du protocole peut créer des défis de coordination importants dans tout l’écosystème.

Limites de la recherche et prochaines étapes

Le travail reste au stade de la recherche et de la proposition et ne constitue pas une nouvelle garantie de sécurité disponible pour les transactions Ethereum ordinaires aujourd’hui. La fondation note que les assertions provenant d’une interface compromise pourraient toujours encoder un résultat nocif, ce qui signifie que le mécanisme n’élimine pas tous les risques de sécurité. Les affirmations de performance associées à de tels changements nécessitent des définitions prudentes du débit, de la finalité, de la réactivité, du coût et de la tolérance aux pannes, car l’amélioration d’un indicateur n’améliore pas automatiquement les autres.

Ce développement s’inscrit dans un changement plus large vers la sécurité des portefeuilles, où différentes parties prenantes mesurent le succès différemment. Les utilisateurs privilégient la clarté et un accès prévisible, les opérateurs se concentrent sur des contrôles fiables et des coûts maîtrisables, et les institutions recherchent la responsabilité en cas d’échec. Les mises à jour futures dans ce domaine devraient distinguer entre les fonctionnalités publiées, les fonctionnalités planifiées et l’utilisation mesurée. Les domaines clés à surveiller incluent la gouvernance des EIP, les implémentations de portefeuilles, le support du protocole et les tests des opcodes de différence d’état proposés.