feat(contract-verifier): Add zksolc v1.3.18 (matter-labs#654)

## What ❔

Adds zksolc v1.3.18 to contract verifier

## Why ❔

Adds zksolc v1.3.18 to contract verifier

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk fmt` and `zk lint`.
- [ ] Spellcheck has been run via `cargo spellcheck
--cfg=./spellcheck/era.cfg --code 1`.

.github/workflows/build-core-template.yml

@@ -26,7 +26,7 @@ on:
         description: 'JSON of required compilers and their versions'
         type: string
         required: false
-        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7"] } , { "zkvyper": ["1.3.13"] }]'
+        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7", "1.3.18"] } , { "zkvyper": ["1.3.13"] }]'
 
 jobs:
   build-images:

.github/workflows/build-external-node-docker.yml

@@ -11,7 +11,7 @@ on:
         description: 'JSON of required compilers and their versions'
         type: string
         required: false
-        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7"] } , { "zkvyper": ["1.3.13"] }]'
+        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7", "1.3.18"] } , { "zkvyper": ["1.3.13"] }]'
 
 jobs:
   build-images:

.github/workflows/build-local-node-docker.yml

@@ -11,7 +11,7 @@ on:
         description: 'JSON of required compilers and their versions'
         type: string
         required: false
-        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7"] } , { "zkvyper": ["1.3.13"] }]'
+        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7", "1.3.18"] } , { "zkvyper": ["1.3.13"] }]'
 
 jobs:
   build-images:

.github/workflows/ci-core-reusable.yml

@@ -6,7 +6,7 @@ on:
         description: 'JSON of required compilers and their versions'
         type: string
         required: false
-        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7"] } , { "zkvyper": ["1.3.13"] }]'
+        default: '[{ "zksolc": ["1.3.14", "1.3.16", "1.3.17", "1.3.1", "1.3.7", "1.3.18"] } , { "zkvyper": ["1.3.13"] }]'
 
 jobs:
   lint:
@@ -139,10 +139,10 @@ jobs:
           mv solc-linux-amd64-v0.8.23+commit.f704f362 $(pwd)/etc/solc-bin/0.8.23/solc
           chmod +x $(pwd)/etc/solc-bin/0.8.23/solc
 
-          mkdir -p $(pwd)/etc/zksolc-bin/v1.3.17
-          wget https://github.com/matter-labs/zksolc-bin/raw/main/linux-amd64/zksolc-linux-amd64-musl-v1.3.17
-          mv zksolc-linux-amd64-musl-v1.3.17 $(pwd)/etc/zksolc-bin/v1.3.17/zksolc
-          chmod +x $(pwd)/etc/zksolc-bin/v1.3.17/zksolc
+          mkdir -p $(pwd)/etc/zksolc-bin/v1.3.18
+          wget https://github.com/matter-labs/zksolc-bin/raw/main/linux-amd64/zksolc-linux-amd64-musl-v1.3.18
+          mv zksolc-linux-amd64-musl-v1.3.18 $(pwd)/etc/zksolc-bin/v1.3.18/zksolc
+          chmod +x $(pwd)/etc/zksolc-bin/v1.3.18/zksolc
 
           mkdir -p $(pwd)/etc/vyper-bin/0.3.10
           wget -O vyper0.3.10 https://github.com/vyperlang/vyper/releases/download/v0.3.10/vyper.0.3.10%2Bcommit.91361694.linux
@@ -236,10 +236,10 @@ jobs:
           mv solc-linux-amd64-v0.8.23+commit.f704f362 $(pwd)/etc/solc-bin/0.8.23/solc
           chmod +x $(pwd)/etc/solc-bin/0.8.23/solc
 
-          mkdir -p $(pwd)/etc/zksolc-bin/v1.3.17
-          wget https://github.com/matter-labs/zksolc-bin/raw/main/linux-amd64/zksolc-linux-amd64-musl-v1.3.17
-          mv zksolc-linux-amd64-musl-v1.3.17 $(pwd)/etc/zksolc-bin/v1.3.17/zksolc
-          chmod +x $(pwd)/etc/zksolc-bin/v1.3.17/zksolc
+          mkdir -p $(pwd)/etc/zksolc-bin/v1.3.18
+          wget https://github.com/matter-labs/zksolc-bin/raw/main/linux-amd64/zksolc-linux-amd64-musl-v1.3.18
+          mv zksolc-linux-amd64-musl-v1.3.18 $(pwd)/etc/zksolc-bin/v1.3.18/zksolc
+          chmod +x $(pwd)/etc/zksolc-bin/v1.3.18/zksolc
 
           mkdir -p $(pwd)/etc/vyper-bin/0.3.10
           wget -O vyper0.3.10 https://github.com/vyperlang/vyper/releases/download/v0.3.10/vyper.0.3.10%2Bcommit.91361694.linux

core/tests/ts-integration/hardhat.config.ts

@@ -4,7 +4,7 @@ import '@matterlabs/hardhat-zksync-vyper';
 
 export default {
     zksolc: {
-        version: '1.3.17',
+        version: '1.3.18',
         compilerSource: 'binary',
         settings: {
             isSystem: true

core/tests/ts-integration/scripts/compile-yul.ts

@@ -7,7 +7,7 @@ import { getZksolcUrl, saltFromUrl } from '@matterlabs/hardhat-zksync-solc';
 import { getCompilersDir } from 'hardhat/internal/util/global-dir';
 import path from 'path';
 
-const COMPILER_VERSION = '1.3.17';
+const COMPILER_VERSION = '1.3.18';
 const IS_COMPILER_PRE_RELEASE = false;
 
 async function compilerLocation(): Promise<string> {

core/tests/ts-integration/tests/api/contract-verification.test.ts

@@ -9,7 +9,7 @@ import { sleep } from 'zksync-web3/build/src/utils';
 // Regular expression to match ISO dates.
 const DATE_REGEX = /\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(\.\d{6})?/;
 
-const ZKSOLC_VERSION = 'v1.3.17';
+const ZKSOLC_VERSION = 'v1.3.18';
 const SOLC_VERSION = '0.8.23';
 
 const ZKVYPER_VERSION = 'v1.3.13';

docker/contract-verifier/Dockerfile

@@ -24,7 +24,7 @@ RUN apt-get update && apt-get install -y curl libpq5 ca-certificates wget python
 
 # install zksolc 1.3.x
 RUN skip_versions="v1.3.12 v1.3.15" && \
-    for VERSION in $(seq -f "v1.3.%g" 0 17); do \
+    for VERSION in $(seq -f "v1.3.%g" 0 18); do \
     if echo " $skip_versions " | grep -q -w " $VERSION "; then \
     continue; \
     fi; \