feat(contract-verifier): Add zkvyper 1.3.13 (#552)

## What ❔

Adds zkvyper 1.3.13 to contract verifier

## Why ❔

People need it! 

## 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`.

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

@@ -128,10 +128,10 @@ jobs:
           mv vyper0.3.3 $(pwd)/etc/vyper-bin/0.3.3/vyper
           chmod +x $(pwd)/etc/vyper-bin/0.3.3/vyper
 
-          mkdir -p $(pwd)/etc/zkvyper-bin/v1.3.11
-          wget https://github.com/matter-labs/zkvyper-bin/raw/main/linux-amd64/zkvyper-linux-amd64-musl-v1.3.11
-          mv zkvyper-linux-amd64-musl-v1.3.11 $(pwd)/etc/zkvyper-bin/v1.3.11/zkvyper
-          chmod +x $(pwd)/etc/zkvyper-bin/v1.3.11/zkvyper
+          mkdir -p $(pwd)/etc/zkvyper-bin/v1.3.13
+          wget https://github.com/matter-labs/zkvyper-bin/raw/main/linux-amd64/zkvyper-linux-amd64-musl-v1.3.13
+          mv zkvyper-linux-amd64-musl-v1.3.13 $(pwd)/etc/zkvyper-bin/v1.3.13/zkvyper
+          chmod +x $(pwd)/etc/zkvyper-bin/v1.3.13/zkvyper
 
       - name: Start services
         run: |

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

@@ -11,7 +11,7 @@ export default {
         }
     },
     zkvyper: {
-        version: '1.3.11',
+        version: '1.3.13',
         compilerSource: 'binary'
     },
     networks: {

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

@@ -12,7 +12,7 @@ const DATE_REGEX = /\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(\.\d{6})?/;
 const ZKSOLC_VERSION = 'v1.3.16';
 const SOLC_VERSION = '0.8.21';
 
-const ZKVYPER_VERSION = 'v1.3.11';
+const ZKVYPER_VERSION = 'v1.3.13';
 const VYPER_VERSION = '0.3.3';
 
 type HttpMethod = 'POST' | 'GET';

docker/contract-verifier/Dockerfile

@@ -34,7 +34,7 @@ RUN skip_versions="v1.3.12 v1.3.15" && \
     done
 
 # install zkvyper 1.3.x
-RUN for VERSION in $(seq -f "v1.3.%g" 9 11); do \
+RUN for VERSION in $(seq -f "v1.3.%g" 9 13); do \
     mkdir -p /etc/zkvyper-bin/$VERSION && \
     wget https://github.com/matter-labs/zkvyper-bin/raw/main/linux-amd64/zkvyper-linux-amd64-musl-$VERSION -O /etc/zkvyper-bin/$VERSION/zkvyper && \
     chmod +x /etc/zkvyper-bin/$VERSION/zkvyper; \