diff options
Diffstat (limited to 'zkvms/nexus')
| -rw-r--r-- | zkvms/nexus/host/src/main.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs index 9693d02..68593fc 100644 --- a/zkvms/nexus/host/src/main.rs +++ b/zkvms/nexus/host/src/main.rs @@ -2,6 +2,7 @@ use nexus_sdk::{stwo::seq::Stwo, Local, Prover, Verifiable, Viewable}; use zkvms_host_io::{ benchmarkable, read_args, Input, Return, RunType::{Execute, Prove, Verify}, + output_proof_size, }; fn main() { @@ -20,10 +21,12 @@ fn main() { let prover: Stwo<Local> = Stwo::new_from_file(&elf_path).expect("failed to load guest program"); println!("Proving execution of vm..."); - let (view, _) = prover + let (view, proof) = prover .prove_with_input(&run_info.private_input, &run_info.public_input) .expect("failed to prove program"); + output_proof_size(&proof); + println!( " output is {:?}!", view @@ -44,6 +47,8 @@ fn main() { .prove_with_input(&run_info.private_input, &run_info.public_input) .expect("failed to prove program"); + output_proof_size(&proof); + println!( " output is {:?}!", view.public_output::<Return>() |