privacy-scaling-explorations / zk-kit.rust / 11407739555

90%

push

github

fix(smt): fix verify proof membership (#60)

<!-- Please refer to our CONTRIBUTING documentation for any questions on
submitting a pull request. -->
<!-- Provide a general summary of your changes in the Title above. -->

## Description

<!-- Describe your changes in detail. -->
<!-- You may want to answer some of the following questions: -->
<!-- What kind of change does this PR introduce?** (Bug fix, feature,
docs update, ...) -->
<!-- What is the current behavior?** (You can also link to an open issue
here) -->
<!-- What is the new behavior (if this is a feature change)? -->
<!-- Does this PR introduce a breaking change?** (What changes might
users need to make in their application due to this PR?) -->

This PR fixes the issue of membership is not explicitly being used in
`verify_proof`.

The solution was suggested by @0xDatapunk.

## Related Issue(s)

<!-- This project accepts pull requests related to open issues. -->
<!-- If suggesting a new feature or change, please discuss it in an
issue first. -->
<!-- If fixing a bug, there should be an issue describing it with steps
to reproduce. -->
<!-- Please link to the issue(s) here -->

<!-- Closes # -->

Closes #58 
Closes #59 

<!-- Fixes # -->

## Other information

<!-- Any other information that is important to this PR such as
screenshots of how the component looks before and after the change. -->
<!-- Feel free to remove this section if you will not use it. -->

## Checklist

<!-- Please check if the PR fulfills these requirements. -->

- [x] My code follows the style guidelines of this project
- [x] I have performed a self-review of my code
- [ ] I have commented my code, particularly in hard-to-understand areas
- [x] My changes generate no new warnings
- [x] I have run `make lint` and `cargo build --release` without getting
any errors
- [ ] I have added tests that prove my fix is effective or that my
feature works
- [x] New and existing unit... (continued)

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

1098 of 1258 relevant lines covered (87.28%)

17.51 hits per line