Add rln-prover code (from VAC repository)

.gitattributes

@@ -24,5 +24,7 @@ prover/prover-assets/**/**/**/*.bin binary
 prover/prover-assets/**/**/**/**/*.bin binary
 prover/prover-assets/kzgsrs/* binary
 
+rln-prover/rln_proof/resources/*.bin binary
+
 *.woff2 binary
 

.github/actions/setup-nodejs/action.yml

@@ -5,7 +5,7 @@ inputs:
   node-version:
     description: 'The version of node to use'
     required: true
-    default: '20.17.0'
+    default: '22.x'
   pnpm-version:
     description: 'The version of pnpm to use'
     required: true

.github/workflows/coordinator-testing.yml

@@ -8,8 +8,9 @@ on:
   workflow_call:
     inputs:
       commit_tag:
-        required: true
+        required: false
         type: string
+        default: 'local'
     secrets:
       DOCKERHUB_USERNAME:
         required: false

.github/workflows/main.yml

@@ -31,16 +31,13 @@ jobs:
     name: Filter commit changes
     outputs:
       changed-file-count: ${{ steps.filter.outputs.all_count }}
-      coordinator: ${{ steps.filter.outputs.coordinator }}
-      staterecovery: ${{ steps.filter.outputs.staterecovery }}
       postman: ${{ steps.filter.outputs.postman }}
-      prover: ${{ steps.filter.outputs.prover }}
       transaction-exclusion-api: ${{ steps.filter.outputs.transaction-exclusion-api }}
       has-changes-requiring-build: ${{ steps.exclusion-filter.outputs.has-changes-requiring-build }}
       contracts-excluding-local-deployment-artifacts: ${{ steps.exclusion-filter.outputs.contracts-excluding-local-deployment-artifacts }}
       contracts-excluding-local-deployment-artifacts-count: ${{ steps.exclusion-filter.outputs.contracts-excluding-local-deployment-artifacts_count }}
-      smart-contracts: ${{ steps.filter.outputs.smart-contracts }}
       linea-sequencer-plugin: ${{ steps.filter.outputs.linea-sequencer-plugin }}
+      rln-prover: ${{ steps.filter.outputs.rln-prover  }}
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -53,42 +50,12 @@ jobs:
           filters: |
             all:
               - '**/**'
-            coordinator:
-              - 'coordinator/**'
-              - 'testdata/**'
-              - 'buildSrc/**'
-              - 'jvm-libs/**'
-              - 'gradle/**'
-              - 'build.gradle'
-              - 'gradle.properties'
-              - 'settings.gradle'
-              - '.github/workflows/coordinator-*.yml'
-              - '.github/workflows/main.yml'
-              - 'config/common/traces-limits-v2.toml'
-              - 'config/coordinator/**'
-              - 'e2e/**'
-              - 'docker/compose-*.yml'
-            staterecovery:
-              - 'state-recovery/**'
-              - 'buildSrc/**'
-              - 'jvm-libs/**'
-              - 'gradle/**'
-              - 'build.gradle'
-              - 'gradle.properties'
-              - 'settings.gradle'
-              - '.github/workflows/staterecovery-*.yml'
-              - '.github/workflows/main.yml'
             postman:
               - 'postman/**'
               - 'sdk/**'
               - 'ts-libs/linea-native-libs/**'
               - '.github/workflows/postman-*.yml'
               - '.github/workflows/main.yml'
-            prover:
-              - 'prover/**'
-              - '.github/workflows/prover-*.yml'
-              - '.github/workflows/main.yml'
-              - 'constraints'
             transaction-exclusion-api:
               - 'transaction-exclusion-api/**'
               - 'jvm-libs/generic/extensions/futures/**'
@@ -106,15 +73,13 @@ jobs:
               - 'build.gradle'
               - 'gradle.properties'
               - 'settings.gradle'
-            smart-contracts:
-              - 'contracts/**'
-              - 'testdata/**'
-              - 'prover/**'
-              - '.github/workflows/main.yml'
-              - '.github/workflows/run-smc-tests.yml'
             linea-sequencer-plugin:
               - 'besu-plugins/linea-sequencer/**'
               - '.github/workflows/linea-sequencer-plugin-testing.yml'
+            rln-prover:
+              - 'rln-prover/**'
+              - '.github/workflows/main.yml'
+              - '.githb/workflows/rln-prover-tests.yml'
 
       - name: Filter out commit changes
         uses: dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36 #v3.0.2
@@ -140,13 +105,10 @@ jobs:
     if: ${{ needs.filter-commit-changes.outputs.has-changes-requiring-build == 'true' }}
     uses: ./.github/workflows/testing.yml
     with:
-      coordinator_changed: ${{ needs.filter-commit-changes.outputs.coordinator || 'false' }}
       linea_sequencer_changed: ${{ needs.filter-commit-changes.outputs.linea-sequencer-plugin || 'false' }}
       postman_changed: ${{ needs.filter-commit-changes.outputs.postman || 'false' }}
-      prover_changed: ${{ needs.filter-commit-changes.outputs.prover || 'false' }}
-      smart_contracts_changed: ${{ needs.filter-commit-changes.outputs.smart-contracts || 'false' }}
-      staterecovery_changed: ${{ needs.filter-commit-changes.outputs.staterecovery || 'false' }}
       transaction_exclusion_api_changed: ${{ needs.filter-commit-changes.outputs.transaction-exclusion-api || 'false' }}
+      rln_prover_changed: ${{ needs.filter-commit-changes.outputs.rln-prover || 'false' }}
     secrets: inherit
 
   # Always complete successfully even if no tests run

.github/workflows/rln-prover-tests.yml

@@ -0,0 +1,91 @@
+name: RLN prover tests
+
+permissions:
+  contents: read
+  actions: read
+
+on:
+  workflow_call:
+
+env:
+  PROTOC_VERSION: "3.25.3"
+  RUST_LOG: "debug"
+  RUST_BACKTRACE: "full"
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    name: Run RLN prover tests
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install stable toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt, clippy
+      - name: Install protoc
+        uses: taiki-e/install-action@v2
+        with:
+          tool: protoc@${{ env.PROTOC_VERSION }}
+      - uses: Swatinem/rust-cache@v2
+        with:
+          shared-key: "stable"
+          workspaces: "rln-prover"
+      - name: Check formatting
+        if: success() || failure()
+        working-directory: rln-prover
+        run: cargo fmt --all -- --check
+      - name: Check clippy
+        if: success() || failure()
+        working-directory: rln-prover
+        run: cargo clippy --all-targets --release -- -D warnings
+
+  test:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    name: Test
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install stable toolchain
+        uses: dtolnay/rust-toolchain@stable
+      - name: Install protoc
+        uses: taiki-e/install-action@v2
+        with:
+          tool: protoc@${{ env.PROTOC_VERSION }}
+      - uses: Swatinem/rust-cache@v2
+        with:
+          shared-key: "stable"
+          workspaces: "rln-prover"
+      - name: Install foundry
+        uses: foundry-rs/foundry-toolchain@v1
+      - name: Test
+        working-directory: rln-prover
+        run: cargo test -v --release -- --nocapture
+
+  unused-deps:
+    needs: [lint, test]
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    name: Unused Dependencies
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install nightly toolchain
+        uses: dtolnay/rust-toolchain@nightly
+      - name: Install protoc
+        uses: taiki-e/install-action@v2
+        with:
+          tool: protoc@${{ env.PROTOC_VERSION }}
+      - uses: Swatinem/rust-cache@v2
+        with:
+          shared-key: "nightly"
+          workspaces: "rln-prover"
+      - name: Install cargo-udeps
+        uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-udeps
+      - name: Check unused dependencies
+        working-directory: rln-prover
+        run: cargo +nightly udeps --all-targets --all-features
+

.github/workflows/run-smc-tests.yml

@@ -8,8 +8,9 @@ on:
   workflow_call:
     inputs:
       commit_tag:
-        required: true
+        required: false
         type: string
+        default: 'local'
 
 env:
   GOPROXY: "https://proxy.golang.org"

.github/workflows/staterecovery-testing.yml

@@ -8,8 +8,9 @@ on:
   workflow_call:
     inputs:
       commit_tag:
-        required: true
+        required: false
         type: string
+        default: 'local'
     secrets:
       DOCKERHUB_USERNAME:
         required: false

.github/workflows/status-network-ci.yml

@@ -38,7 +38,7 @@ jobs:
         uses: "actions/setup-node@v3"
         with:
           cache: "pnpm"
-          node-version: "lts/*"
+          node-version: "22.x"
 
       - name: "Install the Node.js dependencies"
         run: "pnpm install"
@@ -158,7 +158,7 @@ jobs:
         uses: "actions/setup-node@v3"
         with:
           cache: "pnpm"
-          node-version: "lts/*"
+          node-version: "22.x"
 
       - name: "Install the Node.js dependencies"
         run: "pnpm install"

.github/workflows/testing.yml

@@ -7,41 +7,22 @@ permissions:
 on:
   workflow_call:
     inputs:
-      coordinator_changed:
-        required: true
-        type: string
-      staterecovery_changed:
-        required: true
-        type: string
       postman_changed:
         required: true
         type: string
-      prover_changed:
-        required: true
-        type: string
       transaction_exclusion_api_changed:
         required: true
         type: string
-      smart_contracts_changed:
+      linea_sequencer_changed:
         required: true
         type: string
-      linea_sequencer_changed:
+      rln_prover_changed:
         required: true
         type: string
 
 jobs:
   # Cache for pulling Docker images is disabled as we empirically found that this
   # (retrieving cache and loading Docker images) actually increased test time-to-completion
-  coordinator:
-    uses: ./.github/workflows/coordinator-testing.yml
-    if: ${{ inputs.coordinator_changed == 'true' }}
-    secrets: inherit
-
-  prover:
-    uses: ./.github/workflows/prover-testing.yml
-    if: ${{ inputs.prover_changed == 'true' }}
-    secrets: inherit
-
   postman:
     uses: ./.github/workflows/postman-testing.yml
     if: ${{ inputs.postman_changed == 'true' }}
@@ -52,25 +33,20 @@ jobs:
     if: ${{ inputs.transaction_exclusion_api_changed == 'true' }}
     secrets: inherit
 
-  staterecovery:
-    uses: ./.github/workflows/staterecovery-testing.yml
-    if: ${{ inputs.staterecovery_changed == 'true' }}
-    secrets: inherit
-
-  smart-contracts:
-    uses: ./.github/workflows/run-smc-tests.yml
-    if: ${{ inputs.smart_contracts_changed == 'true' }}
-    secrets: inherit
-
   linea-sequencer:
     uses: ./.github/workflows/linea-sequencer-plugin-testing.yml
     if: ${{ inputs.linea_sequencer_changed == 'true' }}
     secrets: inherit
 
+  rln-prover:
+    uses: ./.github/workflows/rln-prover-tests.yml
+    if: ${{ inputs.rln_prover_changed == 'true' }}
+    secrets: inherit
+
   # If all jobs are skipped, the workflow will still succeed.
   always_succeed:
     runs-on: ubuntu-latest
-    if: ${{ inputs.coordinator_changed == 'false' && inputs.prover_changed == 'false' && inputs.postman_changed == 'false' && inputs.transaction_exclusion_api_changed == 'false' }}
+    if: ${{ inputs.postman_changed == 'false' && inputs.transaction_exclusion_api_changed == 'false' && inputs.linea_sequencer_changed == 'false' && inputs.rln_prover_changed == 'false' }}
     steps:
       - name: Ensure Workflow Success
         run: echo "All jobs were skipped, but workflow succeeds."

.gitignore

@@ -145,4 +145,7 @@ __pycache__/
 !prover/**/verifying_key.bin
 !/sdk/src/lib/compressor/bin
 
-custom-besu-package
+custom-besu-package
+lib/forge-std
+lib/openzeppelin-contracts
+lib/openzeppelin-contracts-upgradeable

Makefile

@@ -14,8 +14,11 @@ clean-testnet-folders:
 clean-environment:
 		docker compose -f docker/compose-tracing-v2-ci-extension.yml -f docker/compose-tracing-v2-staterecovery-extension.yml --profile l1 --profile l2 --profile debug --profile staterecovery kill -s 9 || true;
 		docker compose -f docker/compose-tracing-v2-ci-extension.yml -f docker/compose-tracing-v2-staterecovery-extension.yml --profile l1 --profile l2 --profile debug --profile staterecovery down || true;
+		# Ensure RLN stack containers are stopped as well
+		docker rm -f rln-prover karma-service sequencer || true;
 		make clean-local-folders;
-		docker volume rm linea-local-dev linea-logs || true; # ignore failure if volumes do not exist already
+		# Remove both legacy and RLN stack volumes (ignore failures if they don't exist)
+		docker volume rm linea-local-dev linea-logs docker_local-dev docker_logs docker_rln-data || true; # ignore failure if volumes do not exist already
 		docker system prune -f || true;
 
 start-env: COMPOSE_PROFILES:=l1,l2