Если до и после транзакции всё одинаково, доказывает ли это, что в процессе ничего не менялось?
Нет. Сравнение начального и конечного состояния не показывает, какой путь был пройден между ними.
В исследовании Фонда Ethereum об утверждениях для транзакций $ETH рассматривается возможность проверять после выполнения транзакции «чистое изменение состояния» — то есть разницу, оставшуюся между состояниями до и после выполнения. В статье описан один из подходов: несколько записей в одну и ту же постоянную ячейку хранилища контракта объединяются, и указываются только начальное и конечное значения. Если в итоге значение восстановилось, эта ячейка может вообще не попасть в список чистых изменений.
Поэтому отсутствие какого-либо изменения в списке не означает, что в процессе выполнения значение ни разу не менялось. Такой список подходит для ответа на вопрос, что осталось в итоге, но сам по себе не может показать, что происходило в процессе.
Если в будущем кошельки или аналитические инструменты начнут использовать подобные проверки, при чтении отчёта сначала стоит выяснить, показывает ли он только итоговую разницу или полный ход выполнения. Чтобы проверить промежуточные вызовы или временные состояния, понадобится соответствующая трассировка выполнения: нельзя заключать, что в процессе ничего не менялось, лишь на том основании, что в итоге всё вернулось к исходному состоянию.
Здесь объясняются границы предлагаемого в исследовательской статье решения; это не утверждение о том, что такая функция уже включена во всех транзакциях Ethereum.
Источник: https://blog.ethereum.org/2026/10/05/transaction-assertions
Нет. Сравнение начального и конечного состояния не показывает, какой путь был пройден между ними.
В исследовании Фонда Ethereum об утверждениях для транзакций $ETH рассматривается возможность проверять после выполнения транзакции «чистое изменение состояния» — то есть разницу, оставшуюся между состояниями до и после выполнения. В статье описан один из подходов: несколько записей в одну и ту же постоянную ячейку хранилища контракта объединяются, и указываются только начальное и конечное значения. Если в итоге значение восстановилось, эта ячейка может вообще не попасть в список чистых изменений.
Поэтому отсутствие какого-либо изменения в списке не означает, что в процессе выполнения значение ни разу не менялось. Такой список подходит для ответа на вопрос, что осталось в итоге, но сам по себе не может показать, что происходило в процессе.
Если в будущем кошельки или аналитические инструменты начнут использовать подобные проверки, при чтении отчёта сначала стоит выяснить, показывает ли он только итоговую разницу или полный ход выполнения. Чтобы проверить промежуточные вызовы или временные состояния, понадобится соответствующая трассировка выполнения: нельзя заключать, что в процессе ничего не менялось, лишь на том основании, что в итоге всё вернулось к исходному состоянию.
Здесь объясняются границы предлагаемого в исследовательской статье решения; это не утверждение о том, что такая функция уже включена во всех транзакциях Ethereum.
Источник: https://blog.ethereum.org/2026/10/05/transaction-assertions
