Gateway specific fixes for v26 december OZ audit (#1238)

Co-authored-by: kelemeno <[email protected]>
matter-labs · Feb 5, 2025 · 6240860 · 6240860
1 parent 91631aa
commit 6240860
Show file tree

Hide file tree

Showing 24 changed files with 2,098 additions and 107 deletions.
diff --git a/.github/workflows/l1-contracts-ci.yaml b/.github/workflows/l1-contracts-ci.yaml
@@ -205,6 +205,23 @@ jobs:
       - name: Compare
         run: diff tools/data/Verifier.sol l1-contracts/contracts/state-transition/Verifier.sol
 
+  check-verifier-generator-l2:
+    needs: [build]
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout the repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Generate Verifier.sol
+        working-directory: tools
+        run: cargo run --bin zksync_verifier_contract_generator --release -- --input_path data/scheduler_key.json --l2_mode
+
+      - name: Compare
+        run: diff tools/data/Verifier.sol l1-contracts/contracts/state-transition/L2Verifier.sol
+
   coverage:
     defaults:
       run:

diff --git a/.github/workflows/l2-contracts-ci.yaml b/.github/workflows/l2-contracts-ci.yaml
@@ -74,23 +74,6 @@ jobs:
       - name: Lint
         run: yarn lint:check
 
-  check-verifier-generator-l2:
-    needs: [build]
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout the repository
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: Generate Verifier.sol
-        working-directory: tools
-        run: cargo run --bin zksync_verifier_contract_generator --release -- --input_path data/scheduler_key.json --l2_mode
-
-      - name: Compare
-        run: diff tools/data/Verifier.sol l2-contracts/contracts/verifier/Verifier.sol
-
   test:
     needs: [build, lint]
     runs-on: ubuntu-latest

diff --git a/.github/workflows/slither.yaml b/.github/workflows/slither.yaml
@@ -43,10 +43,14 @@ jobs:
         run: |
           rm -rf ./l1-contracts/contracts/state-transition/utils/
           rm -rf ./l1-contracts/contracts/state-transition/Verifier.sol
+          rm -rf ./l1-contracts/contracts/state-transition/L2Verifier.sol
           rm -rf ./l1-contracts/contracts/state-transition/TestnetVerifier.sol
+          rm -rf ./l1-contracts/contracts/state-transition/L2TestnetVerifier.sol
           rm -rf ./l1-contracts/contracts/state-transition/chain-deps/GatewayCTMDeployer.sol
           rm -rf ./l1-contracts/contracts/dev-contracts/test/VerifierTest.sol
           rm -rf ./l1-contracts/contracts/dev-contracts/test/VerifierRecursiveTest.sol
+          rm -rf ./l1-contracts/contracts/dev-contracts/test/L2VerifierTest.sol
+          rm -rf ./l1-contracts/contracts/dev-contracts/test/L2VerifierRecursiveTest.sol
 
       - name: Run Slither
         working-directory: l1-contracts