Feature: Add ability to deterministically deploy bytecode to specific addresses

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

https://www.trailofbits.com/

GNU Affero General Public License v3.0

292 stars 37 forks source link

Feature: Add ability to deterministically deploy bytecode to specific addresses #333

Closed anishnaik closed 2 months ago

anishnaik commented 6 months ago

Currently, medusa uses a traditional deployment scheme via CREATE where the address of a contract is based on the deployer nonce. It would be beneficial to also support deterministic deployments. This would support deployContracts and deployBytecode that exists in echidna at the moment.