[Contract Verification] ZkSyncVerifyPluginError contract bytecode doesn't match any of your local contracts

[ArshaanB]

Environment

Mainnet

Block Explorer

https://explorer.zksync.io/

Issue Type

• Plugin
• Block Explorer

Contract Address

0x8df11D942E9C8451f8bcB422a72973b08fc2181e

Compiler Type

Single file

zkSolc Version

v1.5.0

Solc Version

v0.8.21

Contract Name

FlatPriceSaleFactory_v_2_1

Contract Code

// SPDX-License-Identifier: MIT
pragma solidity =0.8.21;

import "@openzeppelin/contracts/proxy/Clones.sol";
import "./FlatPriceSale.sol";

contract FlatPriceSaleFactory_v_2_1 {
	address public immutable implementation;
	string public constant VERSION = "2.0";

	event NewSale(
		address indexed implementation,
		FlatPriceSale_v_2_1 indexed clone,
		Config config,
		string baseCurrency,
		IOracleOrL2OracleWithSequencerCheck nativeOracle,
		bool nativePaymentsEnabled
	);

	constructor(address _implementation) {
		implementation = _implementation;
	}

	function newSale(
		address _owner,
		Config calldata _config,
		string calldata _baseCurrency,
		bool _nativePaymentsEnabled,
		IOracleOrL2OracleWithSequencerCheck _nativeTokenPriceOracle,
		IERC20Upgradeable[] calldata tokens,
		IOracleOrL2OracleWithSequencerCheck[] calldata oracles,
		uint8[] calldata decimals
	) external returns (FlatPriceSale_v_2_1 sale) {
		sale = FlatPriceSale_v_2_1(Clones.clone(address(implementation)));

		emit NewSale(
			implementation,
			sale,
			_config,
			_baseCurrency,
			_nativeTokenPriceOracle,
			_nativePaymentsEnabled
		);

		sale.initialize(
			_owner,
			_config,
			_baseCurrency,
			_nativePaymentsEnabled,
			_nativeTokenPriceOracle,
			tokens,
			oracles,
			decimals
		);
	}
}

Constructor Arguments

["0x066D791cE75d0275309BB672e296B3c6f8D9Eaa0"]

Hardhat Verify Plugin Version

1.4.3

Repo Link (Optional)

https://github.com/ArshaanB/contract-factory-quickstart

Additional Details

Deploying a simple GenericERC20 works fine, and then when running the deploy_FlatPriceSaleFactory.ts script which involves deploying a FlatPriceSale_v_2_1 and FlatPriceSaleFactory_v_2_1, the FlatPriceSale_v_2_1 deploys without issues and FlatPriceSaleFactory_v_2_1 results in errors. See the output below for more details:

Starting deployment process of "FlatPriceSale_v_2_1"...
Estimated deployment cost: 0.00001159575 ETH

"FlatPriceSale_v_2_1" was successfully deployed:
 - Contract address: 0x066D791cE75d0275309BB672e296B3c6f8D9Eaa0
 - Contract source: contracts/sale/v2.1/FlatPriceSale.sol:FlatPriceSale_v_2_1
 - Encoded constructor arguments: 0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Requesting contract verification...
Your verification ID is: 78174
Contract successfully verified on zkSync block explorer!
🏭 flatPriceSale_v_2_1 address: 0x066D791cE75d0275309BB672e296B3c6f8D9Eaa0

Starting deployment process of "FlatPriceSaleFactory_v_2_1"...
Estimated deployment cost: 0.0000117872 ETH

"FlatPriceSaleFactory_v_2_1" was successfully deployed:
 - Contract address: 0x8df11D942E9C8451f8bcB422a72973b08fc2181e
 - Contract source: contracts/sale/v2.1/FlatPriceSaleFactory.sol:FlatPriceSaleFactory_v_2_1
 - Encoded constructor arguments: 0x000000000000000000000000066d791ce75d0275309bb672e296b3c6f8d9eaa0

Requesting contract verification...
Verifying implementation: 0x066D791cE75d0275309BB672e296B3c6f8D9Eaa0
ZkSyncVerifyPluginError: The address provided as argument contains a contract, but its bytecode doesn't match any of your local contracts.

      Possible causes are:
        - Contract code changed after the deployment was executed. This includes code for seemingly unrelated contracts.
        - A solidity file was added, moved, deleted or renamed after the deployment was executed. This includes files for seemingly unrelated contracts.
        - Solidity compiler settings were modified after the deployment was executed (like the optimizer, target EVM, etc.).
        - The given address is wrong.
        - The selected network is wrong.
Verifying beacon: 0x8df11D942E9C8451f8bcB422a72973b08fc2181e
No logs found for event topic OwnershipTransferred(address,address) at address 0x8df11D942E9C8451f8bcB422a72973b08fc2181e
One of possible reasons can be that you are trying to verify a UUPS contract
Could not find an event with any of the following topics in the logs for address 0x8df11D942E9C8451f8bcB422a72973b08fc2181e: OwnershipTransferred(address,address)If the proxy was recently deployed, the transaction may not be available on Block Explorer yet. Try running the verify task again after waiting a few blocks.
🏭 flatPriceSaleFactory_v_2_1 address: 0x8df11D942E9C8451f8bcB422a72973b08fc2181e
✅ Deployment complete!

These contracts deploy just fine on non-zkSync chains without issues and also get verified.

I have attached the repository with the commands I've used in the README.

[kiriyaga-txfusion]

Hey @ArshaanB,

It seems that hardhat-zksync-upgradable is used for verification because it finds the storage slot of the deployed proxy and since that plugin is imported inside hardhat-zksync plugin. However, since the contract wasn't deployed with hardhat-zksync-upgradable, strange behavior occurred.

To fix this issue until we release a new version of hardhat-zksync-upgradable that resolves it, you can replace:

import "@matterlabs/hardhat-zksync";

inside hardhat.config.ts with:

import "@matterlabs/hardhat-zksync-solc";
import "@matterlabs/hardhat-zksync-deploy";
import "@matterlabs/hardhat-zksync-verify";
import "@matterlabs/hardhat-zksync-node";

Since the upgradable package is not used.

And to replace import from deploy/utils.ts:

import { Deployer } from "@matterlabs/hardhat-zksync";

with:

import { Deployer } from "@matterlabs/hardhat-zksync-deploy";

Since it will import index.ts of hardhat-zksync which we want to avoid in this case.

It should work. Here is my deployed and verified contract: Verified Contract on Sepolia.

NOTE: Use zksolc compiler version 1.4.1 since 1.5.0 is not supported on verification BE.

[ArshaanB]

Amazing thank you so much @kiriyaga-txfusion it worked exactly as you mentioned.