Issue connecting service to Blockscout

[wombatlabs]

I have both Blockscout and the smart-contract-verifier running on a server and I am unable to verify smart contracts. I have both of these variables enabled for the explorer like so:

ENABLE_RUST_VERIFICATION_SERVICE=true
RUST_VERIFICATION_SERVICE_URL=http://127.0.01:8043

When I run this command:

/api/v1/solidity/versions

I get this error:

{"message":"Params 'module' and 'action' are required parameters","result":null,"status":"0"}

The blockchain is based on Polygon Edge. And the Blockscout version is v4.1.8.

[rimrakhimov]

@blockinator Do you send the request on the blockscout or verifier instance? /api/v1/solidity/versions should be sent directly on verification service (e.g., 127.0.0.1:8043)

In general it is the Blockscout instance that use /api/v1/solidity/versions endpoint to ask for available compiler versions and you don't need to do it manually. Could you please describe the problem you are facing with verification?

[wombatlabs]

@rimrakhimov I ran it on blockscout. When I run it on the verifier, I get this:

{"versions":["v0.8.17+commit.8df45f5f","v0.8.16+commit.07a7930e","v0.8.15+commit.e14f2714","v0.8.14+commit.80d49f37","v0.8.13+commit.abaa5c0e","v0.8.12+commit.f00d7308","v0.8.11+commit.d7f03943","v0.8.10+commit.fc410830","v0.8.9+commit.e5eed63a","v0.8.8+commit.dddeac2f","v0.8.7+commit.e28d00a7","v0.8.6+commit.11564f7e","v0.8.5+commit.a4f2e591","v0.8.4+commit.c7e474f2","v0.8.3+commit.8d00100c","v0.8.2+commit.661d1103","v0.8.1+commit.df193b15","v0.8.0+commit.c7dfd78e","v0.7.6+commit.7338295f","v0.7.5+commit.eb77ed08","v0.7.4+commit.3f05b770","v0.7.3+commit.9bfce1f6","v0.7.2+commit.51b20bc0","v0.7.1+commit.f4a555be","v0.7.0+commit.9e61f92b","v0.6.12+commit.27d51765","v0.6.11+commit.5ef660b1","v0.6.10+commit.00c0fcaf","v0.6.9+commit.3e3065ac","v0.6.8+commit.0bbfe453","v0.6.7+commit.b8d736ae","v0.6.6+commit.6c089d02","v0.6.5+commit.f956cc89","v0.6.4+commit.1dca32f3","v0.6.3+commit.8dda9521","v0.6.2+commit.bacdbe57","v0.6.1+commit.e6f7d5a4","v0.6.0+commit.26b70077","v0.5.17+commit.d19bba13","v0.5.16+commit.9c3226ce","v0.5.15+commit.6a57276f","v0.5.14+commit.01f1aaa4","v0.5.13+commit.5b0b510c","v0.5.12+commit.7709ece9","v0.5.11+commit.22be8592","v0.5.10+commit.5a6ea5b1","v0.5.9+commit.c68bc34e","v0.5.8+commit.23d335f2","v0.5.7+commit.6da8b019","v0.5.6+commit.b259423e","v0.5.5+commit.47a71e8f","v0.5.4+commit.9549d8ff","v0.5.3+commit.10d17f24","v0.5.2+commit.1df8f40c","v0.5.1+commit.c8a2cb62","v0.5.0+commit.1d4f565a","v0.4.26+commit.4563c3fc","v0.4.25+commit.59dbf8f1","v0.4.24+commit.e67f0147","v0.4.23+commit.124ca40d","v0.4.22+commit.4cb486ee","v0.4.21+commit.dfe3193c","v0.4.20+commit.3155dd80","v0.4.19+commit.c4cbbb05","v0.4.18+commit.9cf6e910","v0.4.17+commit.bdeb9e52","v0.4.16+commit.d7661dd9","v0.4.15+commit.8b45bddb","v0.4.14+commit.c2215d46","v0.4.13+commit.0fb4cb1a","v0.4.12+commit.194ff033","v0.4.11+commit.68ef5810","v0.4.10+commit.9e8cc01b"]}

When I try and verify a contract, it seems to get stuck in a loop or something because it never verifies. It just gets stuck like this and doesn't say anything.

[rimrakhimov]

@blockinator Have you setup ENABLE_RUST_VERIFICATION_SERVICE=true and RUST_VERIFICATION_SERVICE_URL=... environment variables when running blockscout instance, as described in https://docs.blockscout.com/for-developers/information-and-settings/smart-contract-verification#activation ?

[leviska]

RUST_VERIFICATION_SERVICE_URL=http://127.0.01:8043

Are you sure that you have correct ip address in blockscout env? You've written 127.0.01 instead of 127.0.0.1. Was this mistake made during issue writing or running the instance? :)

[wombatlabs]

@leviska @rimrakhimov Sorry that error was from me writing it here. This is my env file for the blockscout. Some values were removed for privacy:

ETHEREUM_JSONRPC_VARIANT=geth
ETHEREUM_JSONRPC_HTTP_URL=localhost:8545
ETHEREUM_JSONRPC_TRACE_URL=localhost:8545
DATABASE_URL=REMOVED
SECRET_KEY_BASE="REMOVED" 
ETHEREUM_JSONRPC_WS_URL=ws://localhost:8545/ws
CHAIN_ID=REMOVED
HEART_COMMAND="systemctl restart explorer.service"
NETWORK=REMOVED
SUBNETWORK=Testnet
LOGO=/images/header.png
LOGO_FOOTER=/images/footer.png
COIN=REMOVED
COIN_NAME=REMOVED
CHAIN_SPEC_PATH=/data/genesis.json
INDEXER_DISABLE_BLOCK_REWARD_FETCHER=true
INDEXER_DISABLE_PENDING_TRANSACTIONS_FETCHER=true
INDEXER_DISABLE_INTERNAL_TRANSACTIONS_FETCHER=true
MIX_ENV=prod
BLOCKSCOUT_PROTOCOL=http
PORT=4000
DISABLE_EXCHANGE_RATES=true
POOL_SIZE=200
POOL_SIZE_API=300
ECTO_USE_SSL=false
HEART_BEAT_TIMEOUT=60
INDEXER_MEMORY_LIMIT=10Gb
FETCH_REWARDS_WAY=manual
INDEXER_EMPTY_BLOCKS_SANITIZER_BATCH_SIZE=1000
BLOCK_TRANSFORMER=clique
BLOCKSCOUT_VERSION=4.1.8
RELEASE_LINK=https://github.com/blockscout/blockscout
SHOW_TESTNET_LABEL=true
ENABLE_RUST_VERIFICATION_SERVICE=true
RUST_VERIFICATION_SERVICE_URL=localhost:8043
ENABLE_SOURCIFY_INTEGRATION=true
SOURCIFY_SERVER_URL=https://sourcify.dev/server
SOURCIFY_REPO_URL=https://repo.sourcify.dev/contracts
CHECKSUM_ADDRESS_HASHES=false

I tried 127.0.0.1, localhost, and the IP address of the server, and neither worked.

[wombatlabs]

And this is what I am seeing on the verifier:

2022-11-17T13:00:00.066453Z  INFO smart_contract_verifier::compiler::versions_fetcher: no new versions found
2022-11-17T13:00:00.071603Z  INFO smart_contract_verifier::compiler::versions_fetcher: no new versions found
2022-11-17T14:00:00.001927Z  INFO smart_contract_verifier::compiler::versions_fetcher: looking for new compilers versions
2022-11-17T14:00:00.009065Z  INFO smart_contract_verifier::compiler::versions_fetcher: looking for new compilers versions
2022-11-17T14:00:00.050155Z  INFO smart_contract_verifier::compiler::versions_fetcher: no new versions found
2022-11-17T14:00:00.051622Z  INFO smart_contract_verifier::compiler::versions_fetcher: no new versions found
2022-11-17T15:00:00.005153Z  INFO smart_contract_verifier::compiler::versions_fetcher: looking for new compilers versions
2022-11-17T15:00:00.006684Z  INFO smart_contract_verifier::compiler::versions_fetcher: looking for new compilers versions

[rimrakhimov]

@blockinator Sorry for the long reply. Do you run the instance via docker-compose file?

[wombatlabs]

@rimrakhimov No, I am not running it with docker. It's run directly like so:

./smart-contract-verifier-http

Here is the verifier base.toml file I am using:

[server]
addr = "0.0.0.0:8043"

[compilers]
max_threads = 8

[solidity]
enabled = true
compilers_dir = "/tmp/solidity-compilers"
refresh_versions_schedule = "0 0 * * * * *"

[solidity.fetcher.list]
list_url = "https://solc-bin.ethereum.org/linux-amd64/list.json"

[vyper]
enabled = true
compilers_dir = "/tmp/vyper-compilers"
refresh_versions_schedule = "0 0 * * * * *"

[vyper.fetcher.list]
list_url = "https://raw.githubusercontent.com/blockscout/solc-bin/main/vyper.list.json"

[sourcify]
enabled = true
api_url = "https://sourcify.dev/server/"
verification_attempts = 3
request_timeout = 10

[metrics]
enabled = false
addr = "0.0.0.0:6060"
route = "/metrics"

[jaeger]
enabled = false
agent_endpoint = "localhost:6831"

[semiPlanet]

Hi, I also have same issue. What should I do? Blockscout is not connecting to verifier http server.

[wombatlabs]

I used the latest version of Blockscout and it's halfway working. The contracts verify but it gets hung up in the "verification" part.

[rimrakhimov]

Does the problem occur with some particular contracts, or it does not matter what contracts you are trying to verify?

[wombatlabs]

It doesn't matter the contract

[rimrakhimov]

Maybe there are some problems on the connection side between Blockscout and Verifier instances, or with web sockets between the client and Blockscout instance.

Could you please share logs from Blockscout Elixir instance, logs from Rust Verifier service, and the screenshot of your local console in the browser at the moment when you are trying to verify a contract?