Fix zk init

Author: vladbochok

.githooks/pre-commit

@@ -12,14 +12,3 @@ if ! cargo fmt -- --check; then
     echo "Please format the code via 'cargo fmt', cannot commit unformatted code"
     exit 1
 fi
-
-VERFIER_CONTRACT_FILE="contracts/contracts/Verifier.sol"
-
-# Check if diff for contract contains setting the `DUMMY_VERIFIER` to the true.
-if git diff --cached $VERFIER_CONTRACT_FILE | grep -lq 'constant DUMMY_VERIFIER = true'; then
-    echo -e "${RED}Commit error!${NC}"
-    echo "It seems that line 'constant DUMMY_VERIFIER = true' in 'Verifier.sol' is staged to be committed"
-    echo "Cannot commit the code with enabled DUMMY_VERIFIER"
-    echo "Please disable the DUMMY_VERIFIER and try to commit changes again"
-    exit 1
-fi

.github/workflows/ci.yml

@@ -40,7 +40,6 @@ jobs:
         yarn lint:sol
         # So database will be created for compilation.
         zk db setup
-        zk dummy-prover ensure-disabled
         cargo fmt --all -- --check
         # For some reason, `cargo clippy` currently doesn't work in sqlx offline mod. So, we're checking it in online mode.
         zk f cargo clippy --tests --benches -- -D warnings
@@ -53,7 +52,7 @@ jobs:
         # Unpack keys to build dev contracts
         zk run verify-keys unpack
         # EIP1271 contract is used in Rust & JS unit tests.
-        zk contract build-dev
+        zk contract build
         zk run deploy-eip1271
 
     - name: integration-tests

Cargo.lock

@@ -5,7 +5,6 @@ members = [
     "core/bin/key_generator",
     "core/bin/server",
     "core/bin/prover",
-    "core/bin/gen_token_add_contract",
     "core/bin/parse_pub_data",
 
     # Server micro-services

Cargo.toml

@@ -1,8 +1,6 @@
 /build
 # /contracts/keys
 /contracts/KeysWithPlonkVerifier.sol
-/contracts/TokenInit.sol
 /artifacts
 /cache
-/contracts/dev-contracts/generated
 /typechain

contracts/.gitignore

@@ -0,0 +1,10 @@
+// SPDX-License-Identifier: MIT OR Apache-2.0
+
+pragma solidity ^0.7.0;
+
+contract TokenDeployInit {
+    function getTokens() internal pure returns (address[] memory) {
+        address[] memory tokens = new address[](0);
+        return tokens;
+    }
+}

contracts/config/prod.json

@@ -7,8 +7,6 @@ import "./KeysWithPlonkVerifier.sol";
 
 // Hardcoded constants to avoid accessing store
 contract Verifier is KeysWithPlonkVerifier {
-    bool constant DUMMY_VERIFIER = $(DUMMY_VERIFIER);
-
     function initialize(bytes calldata) external {}
 
     /// @notice Verifier contract upgrade. Can be external because Proxy contract intercepts illegal calls of this function.
@@ -23,7 +21,8 @@ contract Verifier is KeysWithPlonkVerifier {
         uint256[16] memory _subproofs_limbs,
         bool blockProof
     ) external view returns (bool) {
-        if (DUMMY_VERIFIER && blockProof) {
+        // #if DUMMY_VERIFIER
+        if (blockProof) {
             uint256 oldGasValue = gasleft();
             uint256 tmp;
             while (gasleft() + 500000 > oldGasValue) {
@@ -36,6 +35,7 @@ contract Verifier is KeysWithPlonkVerifier {
             uint256 mask = (~uint256(0)) >> 3;
             _individual_vks_inputs[i] = uint256(commitment) & mask;
         }
+        // #endif
         VerificationKey memory vk = getVkAggregated(uint32(_vkIndexes.length));
 
         uint256 treeRoot = blockProof ? VK_TREE_ROOT : VK_EXIT_TREE_ROOT;

contracts/contracts/TokenInit.sol

@@ -1,40 +1,12 @@
 import '@nomiclabs/hardhat-waffle';
 import '@nomiclabs/hardhat-solpp';
+import '@nomiclabs/hardhat-etherscan';
 import 'hardhat-typechain';
 import 'hardhat-contract-sizer';
-import '@nomiclabs/hardhat-etherscan';
-
-const prodConfig = {
-    // UPGRADE_NOTICE_PERIOD: 0,
-    MAX_AMOUNT_OF_REGISTERED_TOKENS: 127,
-    // PRIORITY_EXPIRATION: 101,
-    DUMMY_VERIFIER: false
-};
-const testnetConfig = {
-    UPGRADE_NOTICE_PERIOD: 0,
-    MAX_AMOUNT_OF_REGISTERED_TOKENS: 127,
-    // PRIORITY_EXPIRATION: 101,
-    DUMMY_VERIFIER: false
-};
-const testConfig = {
-    UPGRADE_NOTICE_PERIOD: 0,
-    MAX_AMOUNT_OF_REGISTERED_TOKENS: 5,
-    PRIORITY_EXPIRATION: 101,
-    DUMMY_VERIFIER: true
-};
-
-const localConfig = Object.assign({}, prodConfig);
-localConfig.DUMMY_VERIFIER = process.env.DUMMY_VERIFIER ? true : localConfig.DUMMY_VERIFIER;
-
-const contractDefs = {
-    rinkeby: testnetConfig,
-    ropsten: testnetConfig,
-    mainnet: prodConfig,
-    test: testConfig,
-    localhost: localConfig
-};
+import { Network, loadDefs } from './hardhat.utils';
 
 export default {
+    defaultNetwork: 'env',
     solidity: {
         version: '0.7.3',
         settings: {
@@ -51,11 +23,11 @@ export default {
         sources: './contracts'
     },
     solpp: {
-        defs: process.env.ETH_NETWORK ? contractDefs[process.env.ETH_NETWORK] : contractDefs['test']
+        defs: loadDefs(process.env.ETH_NETWORK as Network)
     },
     networks: {
         env: {
-            url: process.env.WEB3_URL
+            url: `${process.env.WEB3_URL}`
         }
     },
     etherscan: {

contracts/contracts/Verifier.sol

@@ -0,0 +1,38 @@
+import '@nomiclabs/hardhat-waffle';
+import '@nomiclabs/hardhat-solpp';
+import '@nomiclabs/hardhat-etherscan';
+import 'hardhat-contract-sizer';
+import { loadDefs } from './hardhat.utils';
+
+export default {
+    defaultNetwork: 'env',
+    solidity: {
+        version: '0.7.3',
+        settings: {
+            optimizer: {
+                enabled: true,
+                runs: 200
+            }
+        }
+    },
+    contractSizer: {
+        runOnCompile: false
+    },
+    paths: {
+        sources: './contracts',
+        cache: './cache/test-contracts',
+        artifacts: './artifacts/test-contracts'
+    },
+    solpp: {
+        defs: loadDefs('test')
+    },
+    networks: {
+        env: {
+            url: `${process.env.WEB3_URL}`,
+            allowUnlimitedContractSize: true
+        }
+    },
+    etherscan: {
+        apiKey: process.env.ETHERSCAN_API_KEY
+    }
+};