lean-imt-v2.2.2
·
14 commits
to main
since this release
🐞 Bug Fixes
- @zk-kit/lean-imt: After a sequence of updates a proof is invalid. - by @Lauman in #355 (659d7)
View changes on GitHub
Contributors
Lauman