From f276736ceba61373fb60216256c477ab2ccffe29 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Thu, 16 Jan 2025 12:47:40 +0200
Subject: feat(zkvms): Add zkm host

---
 zkvms/zkm/sdk/src/local/stark.rs | 54 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 54 insertions(+)
 create mode 100644 zkvms/zkm/sdk/src/local/stark.rs

(limited to 'zkvms/zkm/sdk/src/local/stark.rs')

diff --git a/zkvms/zkm/sdk/src/local/stark.rs b/zkvms/zkm/sdk/src/local/stark.rs
new file mode 100644
index 0000000..7960456
--- /dev/null
+++ b/zkvms/zkm/sdk/src/local/stark.rs
@@ -0,0 +1,54 @@
+use super::util;
+use crate::prover::{ProverInput, ProverResult};
+use elf::{endian::AnyEndian, ElfBytes};
+use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
+use zkm_emulator::state::State;
+use zkm_emulator::utils::split_prog_into_segs;
+use zkm_prover::generation::state::{AssumptionReceipts, Receipt};
+
+#[allow(clippy::type_complexity)]
+pub fn prove_stark(
+    input: &ProverInput,
+    storedir: &str,
+    result: &mut ProverResult,
+) -> anyhow::Result<(bool, Option<Vec<u8>>, Option<Vec<u8>>)> {
+    let seg_path = format!("{}/segments", storedir);
+    let seg_size = input.seg_size as usize;
+    let file = ElfBytes::<AnyEndian>::minimal_parse(input.elf.as_slice())
+        .expect("Opening elf file failed");
+    let mut state = State::load_elf(&file);
+    state.patch_elf(&file);
+    state.patch_stack(vec![]);
+
+    state.input_stream.push(input.public_inputstream.clone());
+    state.input_stream.push(input.private_inputstream.clone());
+    for receipt_input in input.receipt_inputs.iter() {
+        state.input_stream.push(receipt_input.clone());
+    }
+
+    let split_start_time = std::time::Instant::now();
+    let (total_steps, seg_num, state) = split_prog_into_segs(state, &seg_path, "", seg_size);
+    result.output_stream = state.public_values_stream.clone();
+    result.total_steps = total_steps as u64;
+    result.split_cost = split_start_time.elapsed().as_millis() as u64;
+    if input.execute_only {
+        return Ok((false, None, None));
+    }
+    log::info!("[The seg_num is:{} ]", &seg_num);
+    const D: usize = 2;
+    type C = PoseidonGoldilocksConfig;
+    type F = <C as GenericConfig<D>>::F;
+    let mut receipts: AssumptionReceipts<F, C, D> = vec![];
+    for receipt_data in input.receipts.iter() {
+        let receipt: Receipt<F, C, D> =
+            bincode::deserialize(receipt_data).map_err(|e| anyhow::anyhow!(e))?;
+        receipts.push(receipt.into());
+    }
+    let receipt = util::prove_segments(&seg_path, "", storedir, "", "", seg_num, 0, receipts)?;
+    let receipt_data = bincode::serialize(&receipt).map_err(|e| anyhow::anyhow!(e))?;
+    Ok((
+        seg_num > 1,
+        Some(receipt_data),
+        Some(receipt.claim().elf_id),
+    ))
+}
-- 
cgit v1.2.3