diff options
Diffstat (limited to 'zkvms/zkwasm')
| -rw-r--r-- | zkvms/zkwasm/host/src/main.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/zkvms/zkwasm/host/src/main.rs b/zkvms/zkwasm/host/src/main.rs index 288c3a5..6a23504 100644 --- a/zkvms/zkwasm/host/src/main.rs +++ b/zkvms/zkwasm/host/src/main.rs @@ -5,6 +5,7 @@ use zkvms_host_io::{ PrivateInput, PublicInput, RunType::{Execute, Prove, Verify}, RunWith, + output_proof_size_raw, }; static PUBLIC_INPUT_PATH: &str = "public_input.bin"; @@ -94,6 +95,9 @@ fn main() { .arg("--public").arg(public_input.clone()) .arg("--private").arg(private_input.clone()) .arg("--output").arg(output.clone())); + + let proofSize = std::fs::metadata(output.clone() + "/prog.0.transcript.data").unwrap().len(); + output_proof_size_raw(proofSize as usize); }, Verify => { run(zkwasm_command("prove") @@ -104,6 +108,9 @@ fn main() { .arg("--output") .arg(output.clone())); + let proofSize = std::fs::metadata(output.clone() + "/prog.0.transcript.data").unwrap().len(); + output_proof_size_raw(proofSize as usize); + benchmarkable! { run(Command::new("zkwasm-cli") .arg("--params").arg(params.clone()) |
