fix(group): after a sequence of updates a proof is invalid#910

Merged

cedoor merged 2 commits intosemaphore-protocol:mainfrom Lauman:update/lean-imt

Dec 9, 2024

+60-7

Commits on Dec 4, 2024

fix(group): after a sequence of updates a proof is invalid
Lauman
committed

Commits on Dec 7, 2024

fix(group): after a sequence of updates a proof is invalid
Lauman
committed