fix: re-export Platform (#62)

* fix: re-export Platform

* chore: drop nethermind-zisk

Author: han0110

.github/scripts/fetch-elf-for-republish.sh

@@ -1,9 +1,7 @@
 #!/usr/bin/env bash
 #
 # Fetches the prebuilt guest ELF for <guest> listed in artifact-registry.json,
-# verifies its sha256, and writes OUTPUT_DIR/stateless-validator-<guest>.elf. When
-# the entry sets "archive_elf_path", that member is extracted from the downloaded
-# gzip tar archive; otherwise the download is the raw ELF.
+# verifies its sha256, and writes OUTPUT_DIR/stateless-validator-<guest>.elf.
 #
 # Usage: fetch-elf-for-republish.sh <el>-<zkvm>
 #   REGISTRY    artifact-registry.json (default: artifact-registry.json)
@@ -25,12 +23,6 @@ curl -fsSL --proto '=https' --tlsv1.2 --retry 3 "$(entry url)" -o "$WORKSPACE/do
 echo "$(entry sha256) $WORKSPACE/download" | sha256sum -c -
 
 OUT="$OUTPUT_DIR/stateless-validator-$GUEST.elf"
-ARCHIVE_ELF_PATH="$(entry archive_elf_path)"
-if [ -n "$ARCHIVE_ELF_PATH" ]; then
-  tar -xzf "$WORKSPACE/download" -C "$WORKSPACE" "$ARCHIVE_ELF_PATH"
-  mv "$WORKSPACE/$ARCHIVE_ELF_PATH" "$OUT"
-else
-  mv "$WORKSPACE/download" "$OUT"
-fi
+mv "$WORKSPACE/download" "$OUT"
 
 echo "Prepared $OUT"

.github/workflows/integration-test.yml

@@ -28,7 +28,6 @@ jobs:
           - sp1
           - zisk
         include:
-          - { zkvm: zisk, external: true, guest: nethermind }
           - { zkvm: zisk, external: true, guest: zesu }
           - { zkvm: zisk, guest: ethrex, ere_profile: ethrex }
     steps:

artifact-registry.json

@@ -4,12 +4,6 @@
             "el_version": "bal-devnet-7-2026-06-24",
             "url": "https://github.com/Consensys/zesu-zkvm/releases/download/bal-devnet-7-2026-06-24/stateless-validator-zesu-zisk.elf",
             "sha256": "3ed03dce984ca476ee18fa96a4102176931c9863a01496b4a7e46fd601824dfc"
-        },
-        "nethermind-zisk": {
-            "el_version": "zisk-guest-r7",
-            "url": "https://github.com/NethermindEth/nethermind/releases/download/zisk-guest-r7/nethermind-guest-zisk-r7.tar.gz",
-            "sha256": "15a6f5078ea5be9d35666e161969e44dda6d689775813cf417e781892ae70dd0",
-            "archive_elf_path": "nethermind"
         }
     },
     "stateless_validator_static_library": {},

crates/stateless-validator-ethrex/src/guest.rs

@@ -2,7 +2,7 @@
 
 use alloc::{format, vec::Vec};
 
-use ere_platform_core::Platform;
+pub use ere_platform_core::Platform;
 use ethrex_guest_program::{
     common::ExecutionError,
     l1::{DecodedEip8025, validate_eip8025_canonical_execution, validate_eip8025_execution},

crates/stateless-validator-reth/src/guest.rs

@@ -2,7 +2,7 @@
 
 use alloc::{format, vec::Vec};
 
-use ere_platform_core::Platform;
+pub use ere_platform_core::Platform;
 use reth_stateless::{stateless_validation_with_trie, validation::StatelessValidationError};
 use reth_tries::zeth::SparseState;
 use stateless_validator_common::{

crates/stateless-validator-test/src/execution.rs

@@ -26,8 +26,6 @@ pub enum GuestKind {
     Reth,
     /// The zesu guest.
     Zesu,
-    /// The nethermind guest.
-    Nethermind,
 }
 
 impl GuestKind {
@@ -37,7 +35,6 @@ impl GuestKind {
             Self::Ethrex => "ethrex",
             Self::Reth => "reth",
             Self::Zesu => "zesu",
-            Self::Nethermind => "nethermind",
         }
     }
 }

crates/stateless-validator-test/src/execution/zkvm.rs

@@ -1,22 +1,13 @@
 //! Helpers for compiling guest programs and asserting their zkVM execution.
 
-use std::{
-    collections::BTreeMap,
-    fs,
-    io::Read,
-    path::{Path, PathBuf},
-    sync::LazyLock,
-};
+use std::{collections::BTreeMap, fs, path::PathBuf, sync::LazyLock};
 
 use dashmap::DashMap;
 use ere_dockerized::{
     Compiler, CompilerKind, DockerizedCompiler, DockerizedzkVM, DockerizedzkVMConfig, Elf, Input,
     ProverResource, zkVMKind,
 };
 use serde::Deserialize;
-use stateless_validator_common::guest::{
-    StatelessInput, input::new_payload_request::NewPayloadRequest,
-};
 
 use crate::{
     execution::{ExecutionFailure, GuestKind, run_execution},
@@ -37,7 +28,7 @@ pub fn resolve_guest(guest_kind: GuestKind, zkvm_kind: zkVMKind) -> Elf {
     ELF.entry((guest_kind, zkvm_kind))
         .or_insert_with(|| match guest_kind {
             GuestKind::Ethrex | GuestKind::Reth => compile_guest(guest_kind, zkvm_kind),
-            GuestKind::Zesu | GuestKind::Nethermind => download_guest(guest_kind, zkvm_kind),
+            GuestKind::Zesu => download_guest(guest_kind, zkvm_kind),
         })
         .clone()
 }
@@ -65,7 +56,6 @@ pub fn download_guest(guest_kind: GuestKind, zkvm_kind: zkVMKind) -> Elf {
     #[derive(Deserialize)]
     struct GuestSoure {
         url: String,
-        archive_elf_path: Option<String>,
     }
 
     let registry = {
@@ -84,27 +74,7 @@ pub fn download_guest(guest_kind: GuestKind, zkvm_kind: zkVMKind) -> Elf {
         .bytes()
         .unwrap()
         .to_vec();
-    match &source.archive_elf_path {
-        Some(archive_elf_path) => Elf(extract_elf_from_tar_gz(&bytes, archive_elf_path)),
-        None => Elf(bytes),
-    }
-}
-
-/// Extracts the entry at `archive_elf_path` from a gzip-compressed tar archive.
-/// Some prebuilt guests, such as the nethermind ZisK release, distribute the ELF
-/// inside a `.tar.gz` under an extensionless name recorded as `archive_elf_path`
-/// in the registry.
-fn extract_elf_from_tar_gz(bytes: &[u8], archive_elf_path: &str) -> Vec<u8> {
-    let mut archive = tar::Archive::new(flate2::read::GzDecoder::new(bytes));
-    for entry in archive.entries().unwrap() {
-        let mut entry = entry.unwrap();
-        if entry.path().unwrap().as_ref() == Path::new(archive_elf_path) {
-            let mut buf = Vec::new();
-            entry.read_to_end(&mut buf).unwrap();
-            return buf;
-        }
-    }
-    panic!("{archive_elf_path} not found in archive")
+    Elf(bytes)
 }
 
 /// Initializes a CPU-backed zkVM for `elf`.
@@ -128,25 +98,6 @@ pub fn run_stateless_validator_execution(
     let elf = resolve_guest(guest_kind, zkvm_kind);
     let zkvm = init_zkvm(zkvm_kind, elf);
     run_execution(preset_fixtures(preset), &|input| {
-        let input = match guest_kind {
-            GuestKind::Nethermind => nethermind_input(input)?,
-            _ => input,
-        };
         Ok(zkvm.execute(&Input::new().with_stdin(input))?.0.to_vec())
     })
 }
-
-/// Rewrites the schema prefix of `ElectraFulu` variant payload to `0x0000`.
-/// Reference: https://github.com/NethermindEth/nethermind/blob/zisk-guest-r7/src/Nethermind/Nethermind.Stateless.Executor/IO/InputDecoder.cs#L16-L23.
-fn nethermind_input(stateless_input_bytes: Vec<u8>) -> anyhow::Result<Vec<u8>> {
-    let stateless_input = StatelessInput::from_schema_prefixed_ssz(&stateless_input_bytes)
-        .map_err(|err| anyhow::anyhow!("decode stateless_input: {err:?}"))?;
-    let schema_id = match &stateless_input.new_payload_request {
-        NewPayloadRequest::ElectraFulu(_) => [0x00, 0x00],
-        NewPayloadRequest::Gloas(_) => [0x00, 0x01],
-        _ => anyhow::bail!("nethermind r7 supports only ElectraFulu (V3) and Gloas (V4) payloads"),
-    };
-    let mut stateless_input_bytes = stateless_input_bytes;
-    stateless_input_bytes[0..2].copy_from_slice(&schema_id);
-    Ok(stateless_input_bytes)
-}

crates/stateless-validator-test/tests/zkvm_execution.rs

@@ -76,10 +76,3 @@ declare_test!(Reth, Zisk, EestBalDevnet7, failures = 38);
 declare_test!(Zesu, Zisk, EestBalDevnet7, failures = 121);
 // Should be fixed by https://github.com/Consensys/zesu/pull/70.
 declare_test!(Zesu, Zisk, RpcGlamsterdamDevnet5, failures = 50);
-
-// Nethermind
-
-declare_test!(Nethermind, Zisk, RpcBpo2);
-declare_test!(Nethermind, Zisk, RpcGlamsterdamDevnet5);
-// Nethermind divergences + ZisK `zkvm-interface` impl bug.
-declare_test!(Nethermind, Zisk, EestBalDevnet7, failures = 614);