privacy-scaling-explorations / zk-kit / 12161957735

98%

push

github

fix(lean-imt): After a sequence of updates a proof is invalid. (#355)

* fix/lean-imt-update-member

* fix/lean-imt-update-member

* fix/lean-imt-update-member

* fix: lean-imt-update-member
When a member is removed from the tree (update a leaf with 0n) and then another member is updated, the root that is saved is not correct, so the proof that is generated is not valid.This was caused by a type validation failure.
This fix the behavior described above.
I detected this when I was testing in Semphore groups.

* fix(lean-imt): After a sequence of updates a proof is invalid.
due to a bug in type checking, the root is not generated correctly.

* fix(lean-imt): After a sequence of updates a proof is invalid.
due to a bug in type checking, the root is not generated correctly.

322 of 340 branches covered (94.71%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

1239 of 1256 relevant lines covered (98.65%)

1510.58 hits per line