Update cycle count for memoized reduction steps.

argumentcomputer · Apr 17, 2024 · 1c7517a · 1c7517a
1 parent 7a1b0f6
commit 1c7517a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/ski/program/elf/riscv32im-succinct-zkvm-elf b/examples/ski/program/elf/riscv32im-succinct-zkvm-elf
diff --git a/examples/ski/program/src/main.rs b/examples/ski/program/src/main.rs
@@ -3,9 +3,9 @@
 #![no_main]
 wp1_zkvm::entrypoint!(main);
 
-use ski::{Term, Mem, SKI};
+use ski::{Mem, Term, SKI};
 
-//  INFO summary: cycles=254197, e2e=4552, khz=55.84, proofSize=1.24 MiB
+// INFO summary: cycles=191892, e2e=3704, khz=51.81, proofSize=1.16 MiB
 // (S(K(SI))K)KI evaled to K
 #[allow(dead_code)]
 pub fn main() {