Adds static versions of verifyProof on IMT and LeanIMT so that it's not necessary to create an IMT object just to verify an existing proof. Existing instance method still exists (to avoid breaking change) and calls the static one. Also clarified in docs that the instance method doesn't check that the proof comes from this specific tree (i.e. no checking of root).
Related Issue(s)
Closes #218
Checklist
[x] My code follows the style guidelines of this project
[x] I have performed a self-review of my code
[x] I have commented my code, particularly in hard-to-understand areas
[x] I have made corresponding changes to the documentation
[x] My changes generate no new warnings
[x] I have run yarn prettier and yarn lint without getting any errors
[x] I have added tests that prove my fix is effective or that my feature works
[x] New and existing unit tests pass locally with my changes
[x] Any dependent changes have been merged and published in downstream modules
re #218
Description
Adds static versions of
verifyProofonIMTandLeanIMTso that it's not necessary to create an IMT object just to verify an existing proof. Existing instance method still exists (to avoid breaking change) and calls the static one. Also clarified in docs that the instance method doesn't check that the proof comes from this specific tree (i.e. no checking of root).Related Issue(s)
Closes #218
Checklist
yarn prettierandyarn lintwithout getting any errors