Merge pull request #58 from matter-labs/lyova-add-ci-verifier-check

Add CI check for generated verifier
matter-labs · Oct 3, 2023 · 239b243 · 239b243
2 parents aca7475 + 89f3070
commit 239b243
Show file tree

Hide file tree

Showing 4 changed files with 157 additions and 139 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -226,4 +226,23 @@ jobs:
       - name: Run tests
         run: yarn hardhat test
 
+  check-verifier-generator:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout the repository
+        uses: actions/checkout@v3
+        with:
+          submodules: "recursive"
+
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: 1.72.0
+
+      - name: Generete Verifier.sol
+        working-directory: tools
+        run: cargo run
 
+      - name: Compare
+        run: diff tools/data/Verifier.sol ethereum/contracts/zksync/Verifier.sol