feat: bump ere-guests to v0.13 and update docker example

Author: han0110

Cargo.lock

@@ -80,17 +80,16 @@ alloy-rpc-types-engine = "2"
 alloy-rpc-types-eth = "2"
 
 # ere
-ere-platform-core = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 ere-server-client = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 ere-verifier = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 ere-catalog = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 ere-cluster-client-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 ere-verifier-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.13.0" }
 
 # ere-guests
-ere-guests-stateless-validator-common = { git = "https://github.com/eth-act/ere-guests", rev = "e7db7675a3d518a3de38283b02b906052cd0bf8c", features = ["host"], package = "stateless-validator-common" }
-ere-guests-stateless-validator-ethrex = { git = "https://github.com/eth-act/ere-guests", rev = "e7db7675a3d518a3de38283b02b906052cd0bf8c", features = ["host"], package = "stateless-validator-ethrex" }
-ere-guests-stateless-validator-reth = { git = "https://github.com/eth-act/ere-guests", rev = "e7db7675a3d518a3de38283b02b906052cd0bf8c", features = ["host"], package = "stateless-validator-reth" }
+ere-guests-stateless-validator-common = { git = "https://github.com/eth-act/ere-guests", tag = "v0.13.0", features = ["host"], package = "stateless-validator-common" }
+ere-guests-stateless-validator-ethrex = { git = "https://github.com/eth-act/ere-guests", tag = "v0.13.0", features = ["host"], package = "stateless-validator-ethrex" }
+ere-guests-stateless-validator-reth = { git = "https://github.com/eth-act/ere-guests", tag = "v0.13.0", features = ["host"], package = "stateless-validator-reth" }
 
 # local
 zkboost-client = { path = "crates/client" }

Cargo.toml

@@ -62,7 +62,6 @@ alloy-rpc-types-engine.workspace = true
 alloy-rpc-types-eth.workspace = true
 
 # ere
-ere-platform-core.workspace = true
 ere-server-client.workspace = true
 ere-verifier.workspace = true
 ere-cluster-client-zisk.workspace = true

crates/server/Cargo.toml

@@ -5,7 +5,7 @@ use std::{ops::Deref, sync::Arc, time::Duration};
 
 use anyhow::Context;
 use ere_guests_stateless_validator_common::guest::StatelessValidationResult;
-use ere_platform_core::Platform;
+use ere_guests_stateless_validator_ethrex::guest::Platform;
 use ere_server_client::{EncodedProof, Input, PublicValues, zkVMClient};
 use ere_verifier::Verifier;
 use rand::{Rng, rng};

crates/server/src/proof/zkvm.rs

@@ -1,2 +1 @@
 logs/
-config.toml

docker/example/testnet/.gitignore

@@ -62,7 +62,8 @@ services:
       - ./zkboost/config.toml:/app/config.toml:ro
     networks:
       - zkboost
-      - kurtosis
+    extra_hosts:
+      - "host.docker.internal:host-gateway"
     environment:
       - RUST_LOG=info,zkboost=debug
     restart: unless-stopped
@@ -74,6 +75,3 @@ services:
 networks:
   zkboost:
     name: zkboost-local-testnet
-  kurtosis:
-    external: true
-    name: kt-local-testnet

docker/example/testnet/docker-compose.yml

@@ -34,3 +34,10 @@ spamoor_params:
       config:
         throughput: 1
 
+port_publisher:
+  el:
+    enabled: true
+    public_port_start: 32000
+  cl:
+    enabled: true
+    public_port_start: 33000

docker/example/testnet/network_params.yaml

@@ -87,11 +87,4 @@ fi
 
 kurtosis run --enclave $ENCLAVE_NAME github.com/ethpandaops/ethereum-package@$ETHEREUM_PKG_VERSION --args-file $NETWORK_PARAMS_FILE
 
-# Extract the EL container name and generate the zkboost config file.
-EL_NAME=el-1-reth-lighthouse
-EL_UUID=$(kurtosis enclave inspect "$ENCLAVE_NAME" --full-uuids | grep "$EL_NAME" | awk '{print $1}')
-EL_ENDPOINT="http://$EL_NAME--$EL_UUID:8545"
-sed "s|^el_endpoint =.*|el_endpoint = \"$EL_ENDPOINT\"|" "$SCRIPT_DIR/zkboost/config.toml.tmpl" > "$SCRIPT_DIR/zkboost/config.toml"
-echo "Generated zkboost/config.toml with EL endpoint: $EL_ENDPOINT"
-
 echo "Started!"

docker/example/testnet/start_local_testnet.sh

@@ -1,5 +1,5 @@
 port = 3000
-el_endpoint = 
+el_endpoint = "http://host.docker.internal:32003"
 
 [dashboard]
 enabled = true