Skip to content

feat: add fuzz integration [take two] - #154

Open
Davidson-Souza wants to merge 2 commits into
mit-dci:mainfrom
Davidson-Souza:feat/fuzz-take2
Open

feat: add fuzz integration [take two]#154
Davidson-Souza wants to merge 2 commits into
mit-dci:mainfrom
Davidson-Souza:feat/fuzz-take2

Conversation

@Davidson-Souza

Copy link
Copy Markdown
Collaborator

Partially replaces #92
Replaces #149

This pull request adds fuzzing capabilities to rustreexo, including targets to test our cryptographic code, focusing on stump — since this is the implementation we currently use in floresta.

The first target tests proof and stump [de]serialization, making sure it doesn't panic even on malformed inputs. The second creates intentionally invalid proofs and checks how our stump behaves.

These targets were initially written by Bruno in #149, I just cleaned them up and fixed problems found while running them.

@luisschwab

Copy link
Copy Markdown
Contributor

Could add a fuzz CI job that runs $n$ iterations, just to verify the fuzzers work, and a justfile recipe so we can fuzz locally.

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 this pull request may close these issues.

3 participants