chore(trie): proof code refactoring and fixes#2604
Merged
qdm12 merged 24 commits intodevelopmentfrom Jul 7, 2022
Merged
Commits
Commits on Jul 4, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
