Measure case where block verification is slower

.github/workflows/build-contracts.yml

@@ -1,10 +1,13 @@
 name: Build contracts
 on:
   push:
-    branches:
-      - main
+    branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'contracts/**'
+      - 'foundry.toml'
+      - '.github/workflows/build-contracts.yml'
 
 jobs:
   build:

.github/workflows/build-go.yml

@@ -6,6 +6,13 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'operator/**'
+      - 'aggregator/**'
+      - 'common/**'
+      - 'core/**'
+      - 'metrics/**'
+      - '.github/workflows/build-go.yml'
 env:
   FFI_FOR_RELEASE: false
 jobs:

.github/workflows/build-rust.yml

@@ -6,6 +6,9 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+        - 'batcher/**'
+        - '.github/workflows/build-rust.yml'
 
 jobs:
   build:

.github/workflows/explorer.yml

@@ -0,0 +1,51 @@
+name: "Deploy Explorer"
+
+on:
+  workflow_dispatch:
+    inputs:
+      environment:
+        type: environment
+        description: Select the environment
+
+jobs:
+  Deploy:
+    name: Deploy Explorer to ${{ inputs.environment }}
+    runs-on: ubuntu-latest
+    environment:
+      name: ${{ inputs.environment }}
+
+    steps:
+      - name: Connect to Tailscale
+        uses: tailscale/github-action@v2
+        with:
+          oauth-client-id: ${{ secrets.TS_OAUTH_CLIENT_ID }}
+          oauth-secret: ${{ secrets.TS_OAUTH_SECRET }}
+          tags: tag:ci
+          version: 1.70.0
+
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+
+      - name: Display Branch Name
+        env:
+          REF: ${{ github.ref_name }}
+        run: |
+          echo "Current Branch: ${REF}"
+
+      - name: Deploy to server
+        env:
+          HOST_NAME: ${{ vars.EXPLORER_HOST }}
+          USERNAME: ${{ vars.USERNAME }}
+          APP_DIR: ${{ vars.EXPLORER_DIRECTORY }}
+          SERVICE_NAME: ${{ vars.SERVICE_NAME }}
+          REF: ${{ github.ref_name }}
+        run: |
+          ssh -o "StrictHostKeyChecking=no" ${USERNAME}@${HOST_NAME} "
+            cd ${APP_DIR} &&
+            git fetch &&
+            git reset --hard HEAD &&
+            git clean -fd &&            
+            git checkout ${REF} &&
+            git pull &&
+            sudo systemctl restart ${SERVICE_NAME}
+          "

.github/workflows/golangci-lint.yml

@@ -5,6 +5,13 @@ on:
       - master
       - main
   pull_request:
+    paths:
+      - 'operator/**'
+      - 'aggregator/**'
+      - 'common/**'
+      - 'core/**'
+      - 'metrics/**'
+      - '.github/workflows/golangci-lint.yml'
 
 permissions:
   contents: read

.github/workflows/lint-contracts.yml

@@ -0,0 +1,29 @@
+name: Lint contracts
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: ["*"]
+    paths:
+      - "contracts/src/core/*.sol"
+      - ".github/workflows/lint-contracts.yml"
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: "20"
+
+      - name: Install dependencies
+        run: npm install
+        working-directory: contracts
+
+      - name: Run Solhint
+        run: npm run lint:sol
+        working-directory: contracts

.github/workflows/test-halo2-ipa.yml

@@ -6,6 +6,9 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'operator/halo2ipa/**'
+      - '.github/workflows/test-halo2-ipa.yml'
 
 jobs:
     test:
@@ -25,6 +28,10 @@ jobs:
           with:
             go-version: '1.22'
             cache: false
-
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+        - name: Test Halo2-IPA Rust
+          run: make test_halo2_ipa_rust_ffi
         - name: Test Halo2-IPA go bindings
           run: make test_halo2_ipa_go_bindings_linux

.github/workflows/test-halo2-kzg.yml

@@ -6,6 +6,9 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'operator/halo2kzg/**'
+      - '.github/workflows/test-halo2-kzg.yml'
 
 jobs:
     test:
@@ -25,6 +28,10 @@ jobs:
           with:
             go-version: '1.22'
             cache: false
-
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+        - name: Test Halo2-KZG Rust
+          run: make test_halo2_kzg_rust_ffi
         - name: Test Halo2-KZG go bindings
           run: make test_halo2_kzg_go_bindings_linux

.github/workflows/test-merkle-tree.yml

@@ -0,0 +1,37 @@
+name: test-merkle-tree
+
+on:
+  merge_group:
+  push:
+    branches: [main]
+  pull_request:
+    branches: ["*"]
+    paths:
+      - 'operator/merkle_tree/**'
+      - '.github/workflows/test-merkle-tree.yml'
+
+jobs:
+    test:
+      runs-on: ubuntu-latest
+      steps:
+        - name: Clear device space
+          run: |
+            sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+            sudo rm -rf /usr/local/lib/android
+            sudo rm -rf /opt/ghc
+            sudo rm -rf /usr/local/.ghcup
+            sudo rm -rf /usr/share/dotnet
+            sudo rm -rf /opt/ghc
+            sudo rm -rf "/usr/local/share/boost"
+        - uses: actions/checkout@v4
+        - uses: actions/setup-go@v5
+          with:
+            go-version: '1.22'
+            cache: false
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+        - name: Test Merkle Tree Rust
+          run: make test_merkle_tree_rust_ffi
+        - name: Test Merkle Tree go bindings
+          run: make test_merkle_tree_go_bindings_linux

.github/workflows/test-risc-zero.yml

@@ -6,6 +6,9 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'operator/risc_zero/**'
+      - '.github/workflows/test-risc-zero.yml'
 
 jobs:
     test:
@@ -25,6 +28,10 @@ jobs:
           with:
             go-version: '1.22'
             cache: false
-
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+        - name: Test Risc Zero Rust
+          run: make test_risc_zero_rust_ffi
         - name: Test Risc Zero go bindings
           run: make test_risc_zero_go_bindings_linux

.github/workflows/test-sp1.yml

@@ -6,6 +6,9 @@ on:
     branches: [main]
   pull_request:
     branches: ["*"]
+    paths:
+      - 'operator/sp1/**'
+      - '.github/workflows/test-sp1.yml'
 
 jobs:
     test:
@@ -16,6 +19,9 @@ jobs:
           with:
             go-version: '1.22'
             cache: false
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
         - name: Test SP1 Rust
           run: make test_sp1_rust_ffi
         - name: Test SP1 go bindings

.gitmodules

@@ -13,3 +13,6 @@
 [submodule "examples/zkquiz/contracts/lib/openzeppelin-contracts"]
 	path = examples/zkquiz/contracts/lib/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+[submodule "examples/validating-public-input/contracts/lib/forge-std"]
+	path = examples/validating-public-input/contracts/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std