Configure Docker image with proper proving keys (#1766)

Add proving key files to Docker image instead of using empty directory.
Change run mode to RPC and update documentation for Docker usage.

Author: sergeytimoshin

prover/server/Dockerfile

@@ -10,12 +10,18 @@ COPY . .
 ENV CGO_ENABLED=0
 RUN go build -v -o /usr/local/bin/light-prover .
 
-RUN mkdir -p /tmp/empty_proving_keys
-
 FROM gcr.io/distroless/base-debian11:nonroot
 
 COPY --from=builder /usr/local/bin/light-prover /usr/local/bin/light-prover
-COPY --chown=nonroot:nonroot --from=builder /tmp/empty_proving_keys /proving-keys/
+
+WORKDIR /proving-keys
+
+COPY --chown=nonroot:nonroot ./proving-keys/mainnet* /proving-keys/
+COPY --chown=nonroot:nonroot ./proving-keys/inclusion* /proving-keys/ 
+COPY --chown=nonroot:nonroot ./proving-keys/non-inclusion_* /proving-keys/
+COPY --chown=nonroot:nonroot ./proving-keys/combined_* /proving-keys/
+
+WORKDIR /
 
 ENTRYPOINT [ "light-prover" ]
-CMD [ "start", "--inclusion", "--non-inclusion", "--keys-dir", "/proving-keys/" ]
+CMD [ "start", "--run-mode", "rpc", "--keys-dir", "/proving-keys/" ]

prover/server/README.md

@@ -102,34 +102,48 @@ To run specific tests cd into respective folder (merkle-tree/prover) and `go tes
 
 ## Docker
 
+The Docker image is configured to include only the necessary proving-key files:
+- Files with `mainnet*` prefix
+- Files with `inclusion*` prefix
+- Files with `non-inclusion_*` prefix
+- Files with `combined_*` prefix
+
+### Building the Docker Image
+
 ```shell
+# First ensure you have the proving keys downloaded
+./scripts/download_keys.sh light
+
+# Build the Docker image with the selected proving keys
+# Make sure to run this command from the prover/server directory
 docker build -t light-prover .
+```
 
+### Running the Docker Image
+
+```shell
 docker run -d \
-  -v /path/to/proving-keys:/proving-keys/:ro \
   -p 3001:3001 \
-  light-prover:latest \
-  start \
-  --run-mode forester-test \
-  --keys-dir /proving-keys/
+  light-prover:latest
 ```
 
-Or in docker compose
+### Docker Compose
 
 ```yaml
 light-prover:
-  # Path to the repo root directory
-  build: ./light-prover
-  volumes:
-    - /host/path/to/proving-keys:/proving-keys
+  # Path to the prover/server directory
+  build: ./prover/server
   ports:
     # Server
     - "3001:3001"
     # Metrics
     - "9998:9998"
+```
 
-  docker compose build
-  docker compose up -d
+```shell
+# Build and run with Docker Compose
+docker compose build
+docker compose up -d
 ```
 
 ## Formal Verification