feat(consensus): add L2 registry contract (BFT-434)

CODEOWNERS

@@ -1 +1,3 @@
 * @vladbochok @StanislavBreadless
+l1-contracts/deploy-scripts @Deniallugo
+l1-contracts/deploy-script-config-template @Deniallugo

gas-bound-caller/README.md

@@ -20,12 +20,10 @@ If the call to the `_to` address succeeds, the `GasBoundCaller` will ensure that
 
 Summing up the information from the previous chapter, the `GasBoundCaller` should be used in the following way:
 
-TODO(EVM-585): switch `addr` with address.
-
 ```solidity
 uint256 computeGasBefore = gasleft();
 
-(bool success, bytes memory returnData) = address(this).call{gas: _gasToPass}(abi.encodeWithSelector(GasBoundCaller.gasBoundCall.selector, _to, _maxTotalGas, _data));
+(bool success, bytes memory returnData) = address(0xc706EC7dfA5D4Dc87f29f859094165E8290530f5).call{gas: _gasToPass}(abi.encodeWithSelector(GasBoundCaller.gasBoundCall.selector, _to, _maxTotalGas, _data));
 
 uint256 pubdataGasSpent;
 if (success) {
@@ -48,4 +46,4 @@ Since `GasBoundCaller` would be the contract that calls the `_to` contract, the
 
 It should be deployed via a built-in CREATE2 factory on each individual chain.
 
-TODO(EVM-585)
+The current address on both sepolia testnet and mainnet for zkSync Era is `0xc706EC7dfA5D4Dc87f29f859094165E8290530f5`.

gas-bound-caller/hardhat.config.ts

@@ -1,30 +1,15 @@
 import "@matterlabs/hardhat-zksync-chai-matchers";
 import "@matterlabs/hardhat-zksync-node";
 import "@matterlabs/hardhat-zksync-solc";
+import "@matterlabs/hardhat-zksync-verify";
 import "@nomiclabs/hardhat-ethers";
 import "hardhat-typechain";
 
-// This version of system contracts requires a pre release of the compiler
-const COMPILER_VERSION = "1.5.0";
-const PRE_RELEASE_VERSION = "prerelease-a167aa3-code4rena";
-function getZksolcUrl(): string {
-  // @ts-ignore
-  const platform = { darwin: "macosx", linux: "linux", win32: "windows" }[process.platform];
-  // @ts-ignore
-  const toolchain = { linux: "-musl", win32: "-gnu", darwin: "" }[process.platform];
-  const arch = process.arch === "x64" ? "amd64" : process.arch;
-  const ext = process.platform === "win32" ? ".exe" : "";
-
-  return `https://github.com/matter-labs/era-compiler-solidity/releases/download/${PRE_RELEASE_VERSION}/zksolc-${platform}-${arch}${toolchain}-v${COMPILER_VERSION}${ext}`;
-}
-
-console.log(`Using zksolc from ${getZksolcUrl()}`);
-
 export default {
   zksolc: {
+    version: "1.5.0",
     compilerSource: "binary",
     settings: {
-      compilerPath: getZksolcUrl(),
       isSystem: true,
     },
   },
@@ -55,6 +40,20 @@ export default {
       ethNetwork: "localhost",
       zksync: true,
     },
+    zkSyncTestnet: {
+      url: "https://sepolia.era.zksync.dev",
+      ethNetwork: "sepolia",
+      zksync: true,
+      // contract verification endpoint
+      verifyURL: "https://explorer.sepolia.era.zksync.dev/contract_verification",
+    },
+    zkSyncMainnet: {
+      url: "https://mainnet.era.zksync.io",
+      ethNetwork: "mainnet",
+      zksync: true,
+      // contract verification endpoint
+      verifyURL: "https://zksync2-mainnet-explorer.zksync.io/contract_verification",
+    },
   },
   paths: {
     sources: "./contracts",

gas-bound-caller/package.json

@@ -19,6 +19,7 @@
   "devDependencies": {
     "@matterlabs/hardhat-zksync-chai-matchers": "^0.2.0",
     "@matterlabs/hardhat-zksync-node": "^0.0.1-beta.7",
+    "@matterlabs/hardhat-zksync-verify": "0.6.1",
     "@nomicfoundation/hardhat-chai-matchers": "^1.0.3",
     "@nomiclabs/hardhat-ethers": "^2.0.0",
     "@typechain/ethers-v5": "^2.0.0",
@@ -53,6 +54,8 @@
     "clean": "yarn clean:bootloader && yarn clean:system-contracts",
     "test": "yarn build && hardhat test --network zkSyncTestNode",
     "test-node": "hardhat node-zksync --tag v0.0.1-vm1.5.0",
+    "check-canonical-bytecode": "ts-node ./scripts/check-canonical-bytecode.ts",
+    "verify": "hardhat run scripts/verify.ts",
     "deploy-on-hyperchain": "ts-node ./scripts/deploy-on-hyperchain.ts",
     "deploy-on-localhost": "hardhat deploy --network localhost"
   }

gas-bound-caller/scripts/verify.ts

@@ -0,0 +1,31 @@
+// hardhat import should be the first import in the file
+import * as hardhat from "hardhat";
+
+const EXPECTED_ADDRESS = "0xc706EC7dfA5D4Dc87f29f859094165E8290530f5";
+
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+function verifyPromise(address: string, constructorArguments?: Array<any>, libraries?: object): Promise<any> {
+  return new Promise((resolve, reject) => {
+    hardhat
+      .run("verify:verify", { address, constructorArguments, libraries })
+      .then(() => resolve(`Successfully verified ${address}`))
+      .catch((e) => reject(`Failed to verify ${address}\nError: ${e.message}`));
+  });
+}
+
+async function main() {
+  if (process.env.CHAIN_ETH_NETWORK == "localhost") {
+    console.log("Skip contract verification on localhost");
+    return;
+  }
+
+  const message = await verifyPromise(EXPECTED_ADDRESS);
+  console.log(message.status == "fulfilled" ? message.value : message.reason);
+}
+
+main()
+  .then(() => process.exit(0))
+  .catch((err) => {
+    console.error("Error:", err.message || err);
+    process.exit(1);
+  });

l1-contracts/deploy-script-config-template/config-deploy-erc20.toml

@@ -1,3 +1,5 @@
+additional_addresses_for_minting = []
+
 [tokens.DAI]
 name = "DAI"
 symbol = "DAI"