aboutsummaryrefslogtreecommitdiff
path: root/zkvms/zkwasm
diff options
context:
space:
mode:
Diffstat (limited to 'zkvms/zkwasm')
-rw-r--r--zkvms/zkwasm/host/src/main.rs7
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())