Verification

[rimrakhimov]

Verifier Alliance

• Fix invalid contract details written by eth-bytecode-db into verifier-alliance database
• Re-import existing verified contracts into verifier-alliance database
• Implement automatic new contracts retrieval into eth-bytecode-db
• Start adding results of successful eth-bytecode-db contract lookups into verifier-alliance database
• Include contracts from the alliance database on eth-bytecode-db search

Standalone Verification Service

• Add integration tests
• Make use of batch import endpoints from eth-bytecode-db service
• MVP implementation
  Standalone Verification Service #755

Verifier

• Support zkSolc compilers
  zksolc compiler (for zkEVM) support to verification service #659
• Support zkVyper compilers
• Make vyper compiler versions to be PEP-440 compatible replacing semver
• Add additional test cases to ensure new (transformations) bytecode comparison method correctness
• Vyper bundle verification option
• Batch verification endpoints for vyper contracts
• Verification of contracts with libraries linked after compilation
• Make verification return only sources actually required to get valid bytecode
• Make verification return only libraries required by a verified contract
• Natspec support
  https://x.com/etherscan/status/1797967858816983251
• Support for returning method-lookups related data
  Add lookup-methods post-action for solidity verifier #682
• More robust Sourcify support
• Nit: check if running compilers through bun is possible for nightly compiler versions
• Batch-verify endpoints for solidity contracts
  [VERIFIER] Batch solidity contracts verification #802
• Support for blueprint (EIP-5202) contracts
  Support for blueprint (EIP-5202) contracts #843

Eth-bytecode-db

• Prevent verified contracts duplication on insignificant source updates
  Update eth-bytecode-db database schema constraints #731
• Support for returning method-lookups related data
• Batch import endpoints for vyper contracts
• Batch import endpoints for solidity contracts
  [ETH_BYTECODE_DB] Alliance solidity batch import #832
• Support events lookup
  Verification: method to decode undecoded event logs #684
• Connect to smart-contract-verifier via HTTP client (eth-bytecode-db)
  [ETH_BYTECODE_DB] http client to connect to smart-contract-verifier #709

3-rd parties

• Hardhat blockscout verification provider
  Add Blockscout as verification provider  NomicFoundation/hardhat#5224
• Blockscout verification remix plugin #829
• Hardhat force verification #830
• Research smart-contract IDEs to show up on the contract page
  Smart-contract IDEs to show up on the contract page #730

Extractors

• Check existing contracts for new chains
  A service to search all existing contracts inside eth-bytecode-db for new chains #622
• Codeslow
  [ETH_BYTECODE_DB] Import codeslow contracts #686
• Smart-contract-sanctuary
  [ETH_BYTECODE_DB] Import smart-contract-sanctuary contracts #715

Bug fixes

• [Verifier] Cannot verify yul contracts starting from solc v0.8.21 #934
• Update invalid ABIs from blockscout databases #839
• [List] The contract can be verified only via runtime code #778
• Remove compilationTarget from Sourcify verification result
  Update sourcify verification result not to contain compilationTarget inside the compilation settings #580
• Missing libraries when contract verified via Sourcify
• Solidity compilers invalid version names
  Solidity compilers have invalid version names solc-bin#17
• Use updated Sourcify paths
  Update Sourcify verification and lookup to updated paths #714
• Verifier loses part of the ABI data - revealed to be a problem only for contracts compiled with less than v0.5.0 solidity compiler