Prover: Multi-ary projection queries

.github/workflows/prover-testing.yml

@@ -37,9 +37,9 @@ jobs:
       working-directory: prover
       run: if [[ -n $(gofmt -l .) ]]; then echo "please run gofmt"; exit 1; fi
     - name: golangci-lint
-      uses: golangci/golangci-lint-action@v6
+      uses: golangci/golangci-lint-action@v7
       with:
-          version: v1.61.0
+          version: v2.0.2
           working-directory: prover
           args: --timeout=5m
     - name: generated files should not be modified

prover/.golangci.yml

@@ -1,37 +1,41 @@
+version: "2"
+run:
+  issues-exit-code: 1
 linters:
-  disable-all: true
-  # @alex: we will need to sort out the linters because they take too much time
-  # and memory to run practically since we merged go-corset. We shall revise
-  # our toolset.
+  default: none
   enable:
-    # - gofmt
-    # - staticcheck
     - gosec
-    # - gosimple
-    # - govet
     - ineffassign
     - prealloc
-
-run:
-  issues-exit-code: 1
-  # List of build tags, all linters use it.
-  # Default: [].
-  # build-tags:
-
-issues:
-  exclude-dirs:
-    - compressor
-    - zkevm/arithmetization
-  exclude:
-    # Only appears on CI
-    - '.*printf: non-constant format string in call to.*'
-
-linters-settings:
-  staticcheck:
-    checks:
-      - all
-      - '-SA1019' # disable the rule against deprecated code
-      - '-SA1006'
-  gosec:
-    excludes:
-      - G115 # Conversions from int -> uint etc
+  settings:
+    gosec:
+      excludes:
+        - G115
+    staticcheck:
+      checks:
+        - -SA1006
+        - -SA1019
+        - all
+  exclusions:
+    generated: lax
+    presets:
+      - comments
+      - common-false-positives
+      - legacy
+      - std-error-handling
+    rules:
+      - path: (.+)\.go$
+        text: '.*printf: non-constant format string in call to.*'
+    paths:
+      - compressor
+      - zkevm/arithmetization
+      - third_party$
+      - builtin$
+      - examples$
+formatters:
+  exclusions:
+    generated: lax
+    paths:
+      - third_party$
+      - builtin$
+      - examples$