This repository aims to analyze and compare the gas usage metrics between Echidna, Medusa, and Foundry.
To compare the gas usage metrics, we benchmark the process of minting ERC20 tokens and executing a custom power function repeatedly in a loop. This simulates a computationally intensive task aimed to provide a good indicator of gas consumption.
You can view the relevant code used for this benchmark in Benchmark.sol.
The following are the gas usage metrics observed from each tool:
- Echidna:
592,767 - Medusa:
601,767 - Foundry:
601,817