Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Helper for contract verification #27

Open
xermicus opened this issue Aug 7, 2024 · 3 comments
Open

Helper for contract verification #27

xermicus opened this issue Aug 7, 2024 · 3 comments

Comments

@xermicus
Copy link
Member

xermicus commented Aug 7, 2024

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
Copy link
Member

athei commented Aug 7, 2024

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
Copy link
Member Author

xermicus commented Aug 8, 2024

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
Copy link
Member

athei commented Aug 8, 2024

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 xermicus added this to the Initial release milestone Aug 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants