fmt

scroll-tech · Oct 31, 2024 · e605d85 · e605d85
1 parent 3e9e8d2
commit e605d85
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 3 deletions.
diff --git a/ceno_emul/src/vm_state.rs b/ceno_emul/src/vm_state.rs
@@ -1,7 +1,13 @@
 use std::collections::HashMap;
 
 use super::rv32im::EmuContext;
-use crate::{Program, addr::{ByteAddr, RegIdx, Word, WordAddr}, platform::Platform, rv32im::{DecodedInstruction, Emulator, TrapCause}, tracer::{Change, StepRecord, Tracer}, PC_STEP_SIZE};
+use crate::{
+    PC_STEP_SIZE, Program,
+    addr::{ByteAddr, RegIdx, Word, WordAddr},
+    platform::Platform,
+    rv32im::{DecodedInstruction, Emulator, TrapCause},
+    tracer::{Change, StepRecord, Tracer},
+};
 use anyhow::{Result, anyhow};
 use std::{iter::from_fn, ops::Deref, sync::Arc};
 

diff --git a/ceno_zkvm/src/instructions/riscv/rv32im.rs b/ceno_zkvm/src/instructions/riscv/rv32im.rs
@@ -13,6 +13,7 @@ use crate::{
             mulh::MulhuInstruction,
             shift::{SllInstruction, SrlInstruction},
             shift_imm::{SlliInstruction, SraiInstruction, SrliInstruction},
+            slti::SltiInstruction,
             sltu::SltuInstruction,
             *,
         },
@@ -29,7 +30,6 @@ use itertools::Itertools;
 use num_traits::cast::ToPrimitive;
 use std::collections::{BTreeMap, BTreeSet};
 use strum::IntoEnumIterator;
-use crate::instructions::riscv::slti::SltiInstruction;
 
 use super::{
     arith::AddInstruction,

diff --git a/sumcheck/src/prover_v2.rs b/sumcheck/src/prover_v2.rs
@@ -100,7 +100,12 @@ impl<'a, E: ExtensionField> IOPProverStateV2<'a, E> {
                             &challenge,
                         );
                         if thread_id < 2 {
-                            tracing::debug!("thread {}: sumcheck round {}/{}", thread_id, i+1, num_variables);
+                            tracing::debug!(
+                                "thread {}: sumcheck round {}/{}",
+                                thread_id,
+                                i + 1,
+                                num_variables
+                            );
                         }
                         thread_based_transcript.append_field_element_exts(&prover_msg.evaluations);