Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set up the Fuzz testing suite in summa #2

Open
0xpanicError opened this issue Feb 20, 2024 · 1 comment · May be fixed by #3
Open

Set up the Fuzz testing suite in summa #2

0xpanicError opened this issue Feb 20, 2024 · 1 comment · May be fixed by #3

Comments

@0xpanicError
Copy link
Collaborator

I'm finally was able to setup a fuzz testing suite in the project by using cargo fuzz. To setup I have used the 3 functions from zk_prover/src/merkle_sum_tree/utils/operatio_helpers

I obviously didn't expect to find any bugs in these 3 functions but I can confirm no inputs in fuzz testing cause them to panic. Now I will work on fuzzing other functions in utils directory and then move to MST implementation.

@0xpanicError 0xpanicError linked a pull request Feb 20, 2024 that will close this issue
@0xpanicError
Copy link
Collaborator Author

0xpanicError commented Feb 20, 2024

Fuzz tested the build_leaves_from_entries , build_merkle_tree_from_leaves and build_middle_level function in zk_prover/src/merkle_sum_tree/utils/build_tree.rs

No inputs caused the function to panic.

Code: https://github.com/teddav/summa/blob/mst_fuzzer/zk_prover/fuzz/fuzz_targets/build_leaves_from_entries.rs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant