Medusa
Medusa is a Go-based smart contract fuzzer that uses parallel execution and coverage-guided fuzzing to find invariant violations in Solidity contracts at high speed.
In Depth
Medusa is a modern smart contract fuzzer built in Go by the Trail of Bits team. It offers significant speed advantages through parallel goroutine execution, allowing it to test more transaction sequences per second than single-threaded alternatives. Medusa supports property-based testing, assertion testing, and optimization testing. It uses coverage-guided mutation to intelligently explore code paths.
Frequently Asked Questions
What is Medusa fuzzer?
Medusa is a fast, parallel smart contract fuzzer written in Go. It finds bugs by generating random transaction sequences and checking that properties (invariants) defined by the developer hold true across all sequences.
Is Medusa faster than Echidna?
Yes, Medusa is generally faster than Echidna due to its parallel execution model using Go goroutines. It can test more transaction sequences per second, which means it finds bugs faster in many cases.