You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
First stage is decoding fuzzing with OCaml decoder returning if it successfully decoded input slice. Further we can get actual structure from OCaml (either as JSON or via FFI) and compare it with Rust side result.
The obvious way to access OCaml decoder is FFI. Though now we have some troubles using it, partly because Mina uses proof system implemented in Rust, and linker reports duplicate symbols.
I think we should be able to solve that somehow, but as a workaround we can just use IPC interface with OCaml process.
akoptelov
changed the title
Differential fuzzing for gossip messages
As a developer, I need fuzzing tests that will compare decoding results with OCaml implementation
Aug 26, 2022
akoptelov
changed the title
As a developer, I need fuzzing tests that will compare decoding results with OCaml implementation
As a developer, I need fuzzing tests that will compare decoding results with OCaml implementation so I can be sure implementations are consistent
Aug 26, 2022
akoptelov
changed the title
As a developer, I need fuzzing tests that will compare decoding results with OCaml implementation so I can be sure implementations are consistent
Differential fuzzing for gossip messages
Aug 29, 2022
We need to add correctness checking to gossip messages fuzzing. The most obvious way is to use Mina OCaml codecs as a reference implementation.
The text was updated successfully, but these errors were encountered: