Feature request: --disable-metadata as CLI option to forge build

[PetarMax]

Component

Forge

Describe the feature you would like

An equivalent of passing --no-cbor-metadata --metadata-hash none to solc, or adding

bytecode_hash = "none"
cbor_metadata = false

to foundry.toml, this CLI feature would help stabilise the generated EVM bytecode.

Additional context

I am working on the development of Kontrol, a tool for formal verification of Ethereum smart contracts. As part of our verification pipeline, we would like to be able to switch this metadata manually using CLI. This would allow our analyses to scale better, while not requiring client-side changes.

[ehildenb]

@zerosnacks is there any progress on this? This would seriously improve the ease with which formal verification tools can re-use proof executions between runs.

[zerosnacks]

Hi @ehildenb, thanks for the ping - will be picking this up now, aiming for a reviewable draft before EOD.

[zerosnacks]

@ehildenb & @PetarMax

Added as --no-metadata in #7684