The public signal of proof related to the Merkle root could obviously be different from what is
expected to be the root of the group. Therefore, for the proof to be valid, it is necessary that the
group root passed as a parameter matches the proof/circuit root output.
re #842
* feat: support more tree depth
Now Semaphore v4 will support tree depth from 2 to 32.
re #778
* test(proof): update tests to support circuit changes and tree depth 2 - 32
re #778
* fix(contracts): update verifier VK_POINTS
re #778
* test(proof): make tests more atomic
* chore: support tree depth 1
re #778
* test: add missing tests
Now all lines of js libraries are 100% covered.
re #484
* test(proof): update message type
re #484
* test(proof): update constant
re #484
* test(proof): update number constant
re #484
The utils package will no longer provide errors and types utilities as those functions have been
moved to zk-kit. The utils package now provides a list of supported networks and a function to
decode messages instead.
re #642, #641
Former-commit-id: d2ce1070f0
