feat: dockerize prover service

Author: keyleu

.dockerignore

@@ -0,0 +1,9 @@
+.vscode/
+contracts/
+target/
+.git/
+.gitignore
+.env
+*.md
+Dockerfile
+.dockerignore

.env.example

@@ -1,3 +1,7 @@
 ETH_BEACON_RPC=
 ETH_EXECUTION_RPC=
 NETWORK_PRIVATE_KEY=
+LIGHT_CLIENT_CONTRACT=
+API_KEY=
+CHAIN_ID = # Optional, defaults to 1 (Ethereum Mainnet)
+PORT = # Optional, defaults to 50051

Dockerfile

@@ -0,0 +1,16 @@
+FROM rust:1.92-bookworm AS builder
+RUN apt-get update && apt-get install -y protobuf-compiler && rm -rf /var/lib/apt/lists/*
+WORKDIR /app
+COPY . .
+RUN cargo build --release --bin prover-service
+
+FROM debian:bookworm-slim
+RUN apt-get update && apt-get install -y \
+    ca-certificates \
+    libssl3 \
+    && rm -rf /var/lib/apt/lists/*
+
+COPY --from=builder /app/target/release/prover-service /usr/local/bin/
+
+EXPOSE 50051
+ENTRYPOINT ["prover-service"]

service/src/prover/light_client.rs

@@ -2,9 +2,7 @@ use alloy::{providers::ProviderBuilder, sol};
 use alloy_primitives::Address;
 use helios_ethereum::rpc::ConsensusRpc;
 use scripts::light_client::{get_client, get_updates};
-use sp1_sdk::{
-    HashableKey, Prover, ProverClient, SP1ProofWithPublicValues, SP1Stdin, network::NetworkMode,
-};
+use sp1_sdk::{Prover, ProverClient, SP1ProofWithPublicValues, SP1Stdin, network::NetworkMode};
 use tracing::{info, instrument};
 
 use primitives::{ETHEREUM_LIGHT_CLIENT_ELF, helios::Input};
@@ -94,19 +92,14 @@ pub async fn prove(input: Vec<u8>) -> Result<SP1ProofWithPublicValues, String> {
         let mut stdin = SP1Stdin::new();
         stdin.write_vec(input);
 
-        let (pk, vk) = prover_client.setup(ETHEREUM_LIGHT_CLIENT_ELF);
-        info!(vk = %vk.bytes32(), "Verification key");
+        let (pk, _) = prover_client.setup(ETHEREUM_LIGHT_CLIENT_ELF);
 
         let proof = prover_client
             .prove(&pk, &stdin)
             .groth16()
             .run()
             .map_err(|e| e.to_string())?;
 
-        prover_client
-            .verify(&proof, &vk)
-            .map_err(|e| e.to_string())?;
-
         info!("Light client proof complete");
         Ok(proof)
     })

service/src/prover/merkle.rs

@@ -1,9 +1,7 @@
 use alloy::transports::http::reqwest::Url;
 use alloy_primitives::Address;
 use sp1_cc_host_executor::{EvmSketch, Genesis};
-use sp1_sdk::{
-    HashableKey, Prover, ProverClient, SP1ProofWithPublicValues, SP1Stdin, network::NetworkMode,
-};
+use sp1_sdk::{Prover, ProverClient, SP1ProofWithPublicValues, SP1Stdin, network::NetworkMode};
 use tracing::{info, instrument};
 
 use primitives::{
@@ -59,19 +57,14 @@ pub async fn prove(input: Vec<u8>) -> Result<SP1ProofWithPublicValues, String> {
         let mut stdin = SP1Stdin::new();
         stdin.write_vec(input);
 
-        let (pk, vk) = prover_client.setup(HYPERLANE_MERKLE_ELF);
-        info!(vk = %vk.bytes32(), "Verification key");
+        let (pk, _) = prover_client.setup(HYPERLANE_MERKLE_ELF);
 
         let proof = prover_client
             .prove(&pk, &stdin)
             .groth16()
             .run()
             .map_err(|e| e.to_string())?;
 
-        prover_client
-            .verify(&proof, &vk)
-            .map_err(|e| e.to_string())?;
-
         info!("Merkle proof complete");
         Ok(proof)
     })