feat: Remove CI and docker images for CPU prover & compressor (#2540)

## What ❔

Remove CI workflows & docker images for the CPU prover and compressor.

## Why ❔

CPU implementations are no longer supported and will be removed from
code soon.
Less CI workflows is better.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk fmt` and `zk lint`.

.github/workflows/build-docker-from-tag.yml

@@ -26,7 +26,6 @@ jobs:
     runs-on: [ubuntu-latest]
     outputs:
       image_tag_suffix: ${{ steps.set.outputs.image_tag_suffix }}
-      prover_fri_cpu_key_id: ${{ steps.extract-prover-fri-setup-key-ids.outputs.cpu_short_commit_sha }}
       prover_fri_gpu_key_id: ${{ steps.extract-prover-fri-setup-key-ids.outputs.gpu_short_commit_sha }}
     steps:
       - uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4

.github/workflows/build-prover-template.yml

@@ -50,11 +50,9 @@ jobs:
       matrix:
         component:
           - witness-generator
-          - prover-fri
           - prover-gpu-fri
           - witness-vector-generator
           - prover-fri-gateway
-          - proof-fri-compressor
           - proof-fri-gpu-compressor
     outputs:
       protocol_version: ${{ steps.protocolversion.outputs.protocol_version }}
@@ -87,12 +85,6 @@ jobs:
           ci_run git config --global --add safe.directory /usr/src/zksync/contracts
           ci_run zk
 
-      # We need the CRS only for the fri compressor.
-      - name: download CRS for CPU compressor
-        if: matrix.component == 'proof-fri-compressor'
-        run: |
-          ci_run run_retried curl -LO https://storage.googleapis.com/matterlabs-setup-keys-us/setup-keys/setup_2\^26.key
-
       - name: download CRS for GPU compressor
         if: matrix.component == 'proof-fri-gpu-compressor'
         run: |

.github/workflows/release-test-stage.yml

@@ -42,7 +42,6 @@ jobs:
     runs-on: [matterlabs-deployer-stage]
     outputs:
       image_tag_suffix: ${{ steps.generate-tag-suffix.outputs.image_tag_suffix }}
-      prover_fri_cpu_key_id: ${{ steps.extract-prover-fri-setup-key-ids.outputs.cpu_short_commit_sha }}
       prover_fri_gpu_key_id: ${{ steps.extract-prover-fri-setup-key-ids.outputs.gpu_short_commit_sha }}
     steps:
       - uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4

infrastructure/zk/src/docker.ts

@@ -5,16 +5,13 @@ const IMAGES = [
     'server-v2',
     'external-node',
     'contract-verifier',
-    'prover-v2',
     'local-node',
     'zk-environment',
     'circuit-synthesizer',
     'witness-generator',
-    'prover-fri',
     'prover-gpu-fri',
     'witness-vector-generator',
     'prover-fri-gateway',
-    'proof-fri-compressor',
     'proof-fri-gpu-compressor',
     'snapshots-creator',
     'verified-sources-fetcher'
@@ -84,9 +81,7 @@ function defaultTagList(image: string, imageTagSha: string, imageTagShaTS: strin
     if (
         protocolVersionTag &&
         [
-            'proof-fri-compressor',
             'proof-fri-gpu-compressor',
-            'prover-fri',
             'prover-fri-gateway',
             'prover-gpu-fri',
             'witness-generator',
@@ -117,22 +112,16 @@ async function _build(image: string, tagList: string[], dockerOrg: string, platf
     if (platform != '') {
         buildArgs += `--platform=${platform} `;
     }
-    if (image === 'prover-v2') {
-        const eraBellmanCudaRelease = process.env.ERA_BELLMAN_CUDA_RELEASE;
-        buildArgs += `--build-arg ERA_BELLMAN_CUDA_RELEASE=${eraBellmanCudaRelease} `;
-    }
     if (image === 'prover-gpu-fri') {
         const cudaArch = process.env.CUDA_ARCH;
         buildArgs += `--build-arg CUDA_ARCH='${cudaArch}' `;
     }
     buildArgs += extraArgs;
 
-    const imagePath = image === 'prover-v2' ? 'prover' : image;
-
     const buildCommand =
         `DOCKER_BUILDKIT=1 docker buildx build ${tagsToBuild}` +
         (buildArgs ? ` ${buildArgs}` : '') +
-        ` -f ./docker/${imagePath}/Dockerfile .`;
+        ` -f ./docker/${image}/Dockerfile .`;
 
     await utils.spawn(buildCommand);
 }

prover/extract-setup-data-keys.sh

@@ -1,14 +1,7 @@
 #!/bin/bash
 
-# Define file names
-cpu_file="setup-data-cpu-keys.json"
 gpu_file="setup-data-gpu-keys.json"
 
-# Process CPU file
-value=$(jq -r '.us' "./prover/$cpu_file")
-short_sha=$(echo $value | sed 's|gs://matterlabs-setup-data-us/\(.*\)/|\1|')
-echo "cpu_short_commit_sha=$short_sha"
-
 # Process GPU file
 value=$(jq -r '.us' "./prover/$gpu_file")
 short_sha=$(echo $value | sed 's|gs://matterlabs-setup-data-us/\(.*\)/|\1|')