aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkm/host/src/main.rs
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-02-10 14:29:15 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-02-10 14:29:15 +0200
commit1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7a (patch)
tree55944e6d38a0e4b717577c74632cafd649cc6994 /zkvms/zkm/host/src/main.rs
parent10fb5333c341445303205bc25fb121630a99b27b (diff)
downloadzkVMs-benchmarks-1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7a.tar
zkVMs-benchmarks-1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7a.tar.gz
zkVMs-benchmarks-1cb88615eaa0b6a37d42d99c59ad1e23c5d5aa7a.zip
docs(zkvms/zkm): Add detailed documentation comments
Diffstat (limited to 'zkvms/zkm/host/src/main.rs')
-rw-r--r--zkvms/zkm/host/src/main.rs1
1 files changed, 1 insertions, 0 deletions
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