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.
Component
Forge
Describe the feature you would like
An equivalent of passing
--no-cbor-metadata --metadata-hash nonetosolc, or addingto
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.