I’ve been playing with property-based testing in my personal projects lately. I found a perfect opportunity to put it to use when writing a decoder for the Bitcoin BIP-39 encoder I previously built and wrote about.
Property testing actually found a bug in my original implementation that I definitely wouldn’t have caught through manual testing! This was an eye opening experience for me for sure.
Check out the full article for more of an explanation, and a runthrough of the decoder’s implementation: Reversing BIP-39 and the Power of Property Testing.
Hopefully someone else finds all of these Bitcoin-related articles interesting. I know I do.
