search

xermicus / revive

Solidity compiler for PolkaVM
Apache License 2.0
16 stars 4 forks source link

Helper for contract verification #27

Open xermicus opened 1 month ago

xermicus commented 1 month ago

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 commented 1 month ago

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 commented 1 month ago

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 commented 1 month ago

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.