Si nada cambió entre el antes y el después de una transacción, ¿eso demuestra que no hubo cambios durante su ejecución?
No. Comparar el estado inicial con el final no permite saber qué ocurrió entre ambos.
Un estudio de la Fundación Ethereum sobre las aserciones de transacción de $ETH analiza cómo las comprobaciones posteriores a la ejecución podrían consultar los «cambios netos de estado», es decir, las diferencias que quedan al comparar el estado previo y el posterior a la ejecución. Una de las propuestas que se describen combinaría las escrituras realizadas varias veces en una misma ubicación de almacenamiento persistente de un contrato y mostraría únicamente el valor inicial y el final. Si al final la ubicación vuelve a su valor original, ni siquiera aparecería en la lista de cambios netos.
Por lo tanto, que la lista no muestre un cambio en una ubicación no significa que esta no se modificara durante la ejecución. Este método sirve para saber qué cambios quedaron al final, pero no puede demostrar por sí solo qué ocurrió durante el proceso.
Si en el futuro las billeteras o las herramientas de análisis adoptan este tipo de comprobaciones, al leer un informe conviene fijarse primero en si muestra las diferencias finales o el proceso de ejecución completo. Para verificar las llamadas intermedias o los estados temporales, también se necesitaría la traza de ejecución correspondiente; no basta con que el estado final haya vuelto a su forma original para concluir que no hubo cambios durante el proceso.
Aquí se explican los límites de diseño descritos en el artículo de investigación; no se afirma que esta función ya esté habilitada en todas las transacciones de Ethereum.
Fuente: https://blog.ethereum.org/2026/10/05/transaction-assertions
No. Comparar el estado inicial con el final no permite saber qué ocurrió entre ambos.
Un estudio de la Fundación Ethereum sobre las aserciones de transacción de $ETH analiza cómo las comprobaciones posteriores a la ejecución podrían consultar los «cambios netos de estado», es decir, las diferencias que quedan al comparar el estado previo y el posterior a la ejecución. Una de las propuestas que se describen combinaría las escrituras realizadas varias veces en una misma ubicación de almacenamiento persistente de un contrato y mostraría únicamente el valor inicial y el final. Si al final la ubicación vuelve a su valor original, ni siquiera aparecería en la lista de cambios netos.
Por lo tanto, que la lista no muestre un cambio en una ubicación no significa que esta no se modificara durante la ejecución. Este método sirve para saber qué cambios quedaron al final, pero no puede demostrar por sí solo qué ocurrió durante el proceso.
Si en el futuro las billeteras o las herramientas de análisis adoptan este tipo de comprobaciones, al leer un informe conviene fijarse primero en si muestra las diferencias finales o el proceso de ejecución completo. Para verificar las llamadas intermedias o los estados temporales, también se necesitaría la traza de ejecución correspondiente; no basta con que el estado final haya vuelto a su forma original para concluir que no hubo cambios durante el proceso.
Aquí se explican los límites de diseño descritos en el artículo de investigación; no se afirma que esta función ya esté habilitada en todas las transacciones de Ethereum.
Fuente: https://blog.ethereum.org/2026/10/05/transaction-assertions
