smart-contract-verifier microservice not support Verify & publish contract by standard json input mode

[maxufeng]

The smart-contract-verifier service currently finds that it does not support standard json input mode to verify contracts and reports illegal json data. Through https://eth-bytecode-db.services.blockscout.com/ this service is to support the standard json input model validation of the contract. Is this a bug? Can we solve this problem later?

[GimluCom]

Could you provide some more details of the issue? An error message and any other information would help us to better understand the problem.

[maxufeng]

1. precondition

(1) contract code
`// SPDX-License-Identifier: GPL-3.0

pragma solidity 0.8.9;

/**

• @title Storage

• @dev Store & retrieve value in a variable

• @Custom:dev-run-script ./scripts/deploy_with_ethers.ts
  */
  contract Storage {

  uint256 number;

  /**

  • @dev Store value in variable
  • @param num value to store
    */
    function store(uint256 num) public {
    number = num;
    }

  /**

  • @dev Return value
  • @return value of 'number'
    */
    function retrieve() public view returns (uint256){
    return number;
    }
    }
    `
    (2) json file
    

170781df9fb5f71f052a622634264fd7.json
170781df9fb5f71f052a622634264fd7.json

2. execute with http://eth-bytecode-db.services.blockscout.com
   Input - using official provided by http://eth-bytecode-db.services.blockscout.com
   envs/common-blockscout.env config

（1）Expected results:
Contract verification successful
（2）Actual results:
content is not a valid standard json: missing field language at line 2798 column 1
（3）blockscout log
{"time":"2024-09-27T09:03:57.210Z","severity":"info","message":"Smart-contract verification via standard json input started","metadata":{}}
{"time":"2024-09-27T09:03:57.211Z","severity":"info","message":"Sent 200 in 4ms on POST /api/v2/smart-contracts/0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c/verification/via/standard-input?","metadata":{"status":"200","unit":"microsecond","request_id":"F_kOdzOx9MDd-LAAGuQh","method":"POST","duration":4059,"endpoint":"/api/v2/smart-contracts/0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c/verification/via/standard-input?"}}
{"time":"2024-09-27T09:03:57.721Z","severity":"error","message":"Smart-contract verification error: content is not a valid standard json: missing field language at line 2798 column 1","metadata":{}}
{"time":"2024-09-27T09:03:57.721Z","severity":"error","message":"Solidity smart-contract verification 0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c failed because of the error "content is not a valid standard json: missing field language at line 2798 column 1"","metadata":{}}
{"time":"2024-09-27T09:03:57.721Z","severity":"error","message":"Solidity smart-contract verification 0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c failed because of the error: #Ecto.Changeset<action: :insert, changes: %{name: "undefined", compiler_version: "v0.8.9+commit.e5eed63a", address_hash: %Explorer.Chain.Hash{byte_count: 20, bytes: <<198, 67, 230, 131, 182, 191, 236, 167, 223, 188, 167, 88, 113, 221, 209, 199, 233, 111, 247, 76>>}, partially_verified: false, autodetect_constructor_args: false, contract_code_md5: "76b51db0a3ec87648b44da1a9c405883", is_blueprint: false, is_vyper_contract: false, license_type: :gnu_gpl_v3, verified_via_eth_bytecode_db: false, verified_via_sourcify: false, verified_via_verifier_alliance: false}, errors: [files: {"content is not a valid standard json: missing field language at line 2798 column 1", []}], data: #Explorer.Chain.SmartContract<>, valid?: false>","metadata":{}}
{"time":"2024-09-27T09:03:57.721Z","severity":"info","message":"Smart-contract 0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c verification: broadcast verification results","metadata":{}}
{"time":"2024-09-27T09:03:57.721Z","severity":"info","message":"Broadcast smart-contract 0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c verification results","metadata":{}}

3. execute with smart-contract-verifier
   envs/common-blockscout.env config
   

（1）Expected results:
Contract verification successful
（2）Actual results:
content is not a valid standard json: missing field language at line 2798 column 1
（3）smart-contract-verifier log
2024-09-27T09:15:32.466173Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa}: blockscout_service_launcher::launcher::span_builder: new
2024-09-27T09:15:32.466203Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa}: blockscout_tracing_actix_web::middleware: Started HTTP request processing
2024-09-27T09:15:32.467413Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa}: smart_contract_verifier_server::services::solidity_verifier: Solidity standard-json verification request received chain_id="111" contract_address="0xc643e683b6bfeca7dfbca75871ddd1c7e96ff74c"
2024-09-27T09:15:32.467700Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa}: smart_contract_verifier_server::services::solidity_verifier: Request processed response=VerifyResponse { message: "content is not a valid standard json: missing field language at line 2798 column 1", status: Failure, source: None, extra_data: None, post_action_responses: None }
2024-09-27T09:15:32.467737Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa duration=1532 unit="microsecond"}: blockscout_tracing_actix_web::middleware: Finished HTTP request processing
2024-09-27T09:15:32.467768Z INFO HTTP request{method=POST endpoint=default client_ip=172.20.0.8 request_id=8f2c51dd-12c8-4325-9162-003e420378fa duration=1532 unit="microsecond"}: blockscout_service_launcher::launcher::span_builder: close time.busy=1.54ms time.idle=57.3µs

Looking forward to your reply

[GimluCom]

Please try this file standard_input.json

[maxufeng]

The json file can be verified correctly. Just to see what standard Json input means, thank you

[maxufeng]

Developers can be compared with the problems 170781 df9fb5f71f052a622634264fd7. Json and standard_input json the difference between two files.