diff options
Diffstat (limited to 'zkvms/zkm/host/src/main.rs')
| -rw-r--r-- | zkvms/zkm/host/src/main.rs | 1 |
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 |