Helper for contract verification

[xermicus]

For block explorers it would be beneficial to have a verify feature akin the one in cargo contract .

For ease of use we can provide a docker container including solc versions.

[athei]

Now that we are planning to produce a javascript version of the compiler we could maybe check if that could be used for deterministic compilation. That might be easier than dealing with docker images. Block explorers could run those using node.js in their backend.

[xermicus]

Yeah I agree, that could be even easier. The compilation artifacts should be deterministic anyways. @sourabhniyogi suggested to me that block explorers want a docker container and it wouldn't be a big issue - however let's wait and see what they actually need 👍

[athei]

I guess eventually we want to provide both. But then both have to produce the same output as we need a canonical build to that everyone agrees on what to use for verification. Ideally, the compiler is completely deterministic. I remember this wasn't the case for rustc.

[xermicus]

Depends on #93

[xermicus]

resolc shouldn't cause indeterministic builds without debug information (default) and without parallelism (default in Wasm)

To close this issue:

• Confirm that our parallelism (parallel feature flag) can't cause indeterministic builds or disable it alltogether and add a (non-default) indeterministic mode which enables parallelism again.
• Figure out what exactly causes indeterministic builds in LLVM 18 (if anything). Make sure to avoid them.