SmtLib updates - #443

Open

daveroga wants to merge 18 commits into

PID-3817-smt-lib-updates

Commits on Jun 5, 2026

add updateLeaf, removeLeaf and tests
daveroga
committed
0394456
fix cyclomatic-complexity solhint
daveroga
committed
e427284

Commits on Jun 8, 2026

add hasher in smtlib and update tests
daveroga
committed
700cc0d
fix solhint
daveroga
committed
f466501
hardhat adjustment test
daveroga
committed
85e87eb
updates deployments
daveroga
committed
423e241

Commits on Jun 16, 2026

hasher for IdentityTreeStore
daveroga
committed
8bb0391

Commits on Jun 17, 2026

reinitialize function to initialize hasher and fixes
daveroga
committed
f67c954
update IHasher and upgrade modules
daveroga
committed
44bd561

Commits on Jun 18, 2026

initialize hasher
daveroga
committed
1f82e60
adjust smtlib data struct storage and update modules
daveroga
committed
65d9fec
rename function and gistroot check on state upgrade
daveroga
committed
a8280be
reinitialize function to initialize hasher and owner
daveroga
committed
338ff6d
upgradeAndCall with setHasher as initializeData
daveroga
committed
617ab7b
fix identityTreeStore deployment modules
daveroga
committed
d2d8195

Commits on Jun 19, 2026

rename setHasher to initializeHasher
daveroga
committed
02a355f
fixes from review
daveroga
committed
cd446f5
realocate variable and increase contracts version
daveroga
committed
e580487