From 1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7a Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 14:29:15 +0200
Subject: docs(zkvms/zkm): Add detailed documentation comments

---
 zkvms/zkm/host/src/main.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'zkvms/zkm/host/src/main.rs')

diff --git a/zkvms/zkm/host/src/main.rs b/zkvms/zkm/host/src/main.rs
index e71c121..3706b36 100644
--- a/zkvms/zkm/host/src/main.rs
+++ b/zkvms/zkm/host/src/main.rs
@@ -39,6 +39,7 @@ async fn prove(
 ) {
     prover_input.execute_only = false;
 
+    // As far as I can tell, we cannot evade generating the sol verifier step
     match prover_client
         .setup_and_generate_sol_verifier("local", &vk_path, &prover_input)
         .await
-- 
cgit v1.2.3