0xPolygonZero / zk_evm

Apache License 2.0
85 stars 37 forks source link

Update trie_diff tool to show all the differences in the tries #636

Closed atanmarko closed 1 month ago

atanmarko commented 2 months ago

Currently it uses create_diff_between_tries which stops on the first difference.

BGluth commented 1 month ago

Just to clarify, if you do this for the top-down approach, be careful about continuing to search downwards for differences if you find a structural difference. In some cases this is fine (eg. a branch node is missing a child), but this is going to produce a ton of redundant output if the node type changes (eg. a branch becomes an extension).