Open 0xpanicError opened 4 months ago
Initialised cargo fuzz in the summa codebase. Currently can only fuzz test 3 function in zk_prover/src/merkle_sum_tree/utils/operation_helpers
cargo fuzz
summa
zk_prover/src/merkle_sum_tree/utils/operation_helpers
Namely:
big_intify_username
big_uint_to_fp
fp_to_big_uint
Obviously these functions did not panic while fuzz testing. I started with them to initialise the test suite. Now working on more important functions.
Refer the README.md for setup instructions: https://github.com/teddav/summa/blob/mst_fuzzer/zk_prover/fuzz/README.md
Initialised
cargo fuzzin thesummacodebase. Currently can only fuzz test 3 function inzk_prover/src/merkle_sum_tree/utils/operation_helpersNamely:
big_intify_usernamebig_uint_to_fpfp_to_big_uintObviously these functions did not panic while fuzz testing. I started with them to initialise the test suite. Now working on more important functions.
Refer the README.md for setup instructions: https://github.com/teddav/summa/blob/mst_fuzzer/zk_prover/fuzz/README.md