Se nada mudou entre antes e depois da transação, isso prova que nada foi alterado durante a execução?
Não. Comparar o início e o fim não permite saber o que aconteceu no caminho.
Um estudo da Ethereum Foundation sobre as asserções de transação de $ETH discute a possibilidade de verificações após a execução da transação lerem as “mudanças líquidas de estado”, isto é, a diferença que permanece ao final em relação ao estado inicial. Uma das abordagens apresentadas combina várias gravações na mesma posição de armazenamento persistente de um contrato, mostrando apenas o valor inicial e o final; se o valor original for restaurado no fim, essa posição pode nem aparecer na lista de mudanças líquidas.
Portanto, o fato de uma mudança não constar na lista não significa que ela nunca tenha ocorrido durante a execução. A lista é útil para mostrar o que permaneceu no final, mas, por si só, não prova o que aconteceu durante o processo.
Se carteiras ou ferramentas de análise vierem a adotar esse tipo de verificação, ao ler o relatório, primeiro confira se ele mostra apenas as diferenças finais ou o processo completo de execução. Para verificar chamadas intermediárias ou estados temporários, também é necessário consultar o rastreamento da execução; não se pode concluir que nada mudou durante o processo apenas porque o estado final voltou a ser o original.
Esta explicação trata dos limites do projeto descrito no artigo de pesquisa; não afirma que todos os tipos de transação da Ethereum já tenham esse recurso ativado.
Fonte: https://blog.ethereum.org/2026/10/05/transaction-assertions
Não. Comparar o início e o fim não permite saber o que aconteceu no caminho.
Um estudo da Ethereum Foundation sobre as asserções de transação de $ETH discute a possibilidade de verificações após a execução da transação lerem as “mudanças líquidas de estado”, isto é, a diferença que permanece ao final em relação ao estado inicial. Uma das abordagens apresentadas combina várias gravações na mesma posição de armazenamento persistente de um contrato, mostrando apenas o valor inicial e o final; se o valor original for restaurado no fim, essa posição pode nem aparecer na lista de mudanças líquidas.
Portanto, o fato de uma mudança não constar na lista não significa que ela nunca tenha ocorrido durante a execução. A lista é útil para mostrar o que permaneceu no final, mas, por si só, não prova o que aconteceu durante o processo.
Se carteiras ou ferramentas de análise vierem a adotar esse tipo de verificação, ao ler o relatório, primeiro confira se ele mostra apenas as diferenças finais ou o processo completo de execução. Para verificar chamadas intermediárias ou estados temporários, também é necessário consultar o rastreamento da execução; não se pode concluir que nada mudou durante o processo apenas porque o estado final voltou a ser o original.
Esta explicação trata dos limites do projeto descrito no artigo de pesquisa; não afirma que todos os tipos de transação da Ethereum já tenham esse recurso ativado.
Fonte: https://blog.ethereum.org/2026/10/05/transaction-assertions
