Differential Fuzzing of Bitcoin implementations

Implementation
, ,
1

Hi, all!

I’m working on differential fuzzing of Bitcoin implementations/libraries (GitHub - brunoerg/bitcoinfuzz: Differential Fuzzing of Bitcoin implementations and libraries). I’m starting it with miniscript, so at this moment it’s fuzzing Core’s and rust-miniscript.

I’m openning this topic to raise ideas and get feedbacks about it.

9 Likes
2

Nice, and it seems you’ve discovered something too (bug: `pk()()` is considered a valid policy · Issue #140 · sipa/miniscript · GitHub)!

1 Like
3

Yes, I got more crashes but I’m analyzing them before publishing them.

1 Like
4

Another crash has been discussed in rust-miniscript repo: bug: some miniscripts are being pointed as invalid, but are valid · Issue #633 · rust-bitcoin/rust-miniscript · GitHub

cc: @sipa

1 Like
5

One more bug found by it!

2 Likes