fmt && clippy

Author: hero78119

ceno_host/tests/test_elf.rs

@@ -139,8 +139,7 @@ fn test_bubble_sorting() -> Result<()> {
         CENO_PLATFORM.clone(),
         ceno_examples::quadratic_sorting,
         // Provide some random numbers to sort.
-        CenoStdin::default()
-            .write(&(0..1_000).map(|_| rng.next_u32()).collect::<Vec<_>>())?,
+        CenoStdin::default().write(&(0..1_000).map(|_| rng.next_u32()).collect::<Vec<_>>())?,
         None,
     ));
     for msg in &all_messages {
@@ -155,8 +154,7 @@ fn test_sorting() -> Result<()> {
         CENO_PLATFORM.clone(),
         ceno_examples::sorting,
         // Provide some random numbers to sort.
-        CenoStdin::default()
-            .write(&(0..1000).map(|_| rng.next_u32()).collect::<Vec<_>>())?,
+        CenoStdin::default().write(&(0..1000).map(|_| rng.next_u32()).collect::<Vec<_>>())?,
         None,
     ));
     for (i, msg) in enumerate(&all_messages) {

ceno_rt/src/mmio.rs

@@ -81,7 +81,8 @@ static PUBIO_STATE: RegionStateCell = RegionStateCell::new();
 
 pub fn read_slice<'a>() -> &'a [u8] {
     unsafe {
-        HINT_STATE.with_mut(|state| state.take_slice(&raw const _lengths_of_hints_start, &_hints_start))
+        HINT_STATE
+            .with_mut(|state| state.take_slice(&raw const _lengths_of_hints_start, &_hints_start))
     }
 }
 
@@ -101,7 +102,8 @@ where
 
 pub fn pubio_read_slice<'a>() -> &'a [u8] {
     unsafe {
-        PUBIO_STATE.with_mut(|state| state.take_slice(&raw const _lengths_of_pubio_start, &_pubio_start))
+        PUBIO_STATE
+            .with_mut(|state| state.take_slice(&raw const _lengths_of_pubio_start, &_pubio_start))
     }
 }
 

ceno_serde/src/deserializer.rs

@@ -3,7 +3,10 @@ use alloc::{string::String, vec, vec::Vec};
 use bytemuck::Pod;
 use serde::de::{DeserializeOwned, DeserializeSeed, IntoDeserializer, Visitor};
 
-use crate::{align_up, err::{Error, Result}, WORD_SIZE};
+use crate::{
+    WORD_SIZE, align_up,
+    err::{Error, Result},
+};
 
 /// A reader for reading streams with serialized word-based data
 pub trait WordRead {

ceno_serde/src/lib.rs

@@ -8,9 +8,9 @@ mod deserializer;
 mod err;
 mod serializer;
 
-pub use deserializer::{from_slice, Deserializer, WordRead};
+pub use deserializer::{Deserializer, WordRead, from_slice};
 pub use err::{Error, Result};
-pub use serializer::{to_vec, to_vec_with_capacity, Serializer, WordWrite};
+pub use serializer::{Serializer, WordWrite, to_vec, to_vec_with_capacity};
 
 pub(crate) const WORD_SIZE: usize = 4;
 

ceno_serde/src/serializer.rs

@@ -1,6 +1,9 @@
 use alloc::{string::ToString, vec::Vec};
 
-use crate::{err::{Error, Result}, WORD_SIZE};
+use crate::{
+    WORD_SIZE,
+    err::{Error, Result},
+};
 
 /// A writer for writing streams preferring word-based data.
 pub trait WordWrite {

examples/examples/hints.rs

@@ -1,6 +1,5 @@
 extern crate alloc;
 extern crate ceno_rt;
-use alloc::string::String;
 use ceno_rt::debug_println;
 #[cfg(debug_assertions)]
 use core::fmt::Write;
@@ -10,6 +9,7 @@ fn main() {
     assert!(condition);
     #[cfg(debug_assertions)]
     {
+        use alloc::string::String;
         let msg: String = ceno_rt::read();
         debug_println!("This message is a hint: {msg}");
     }

examples/examples/keccak_no_syscall.rs

@@ -3,10 +3,7 @@ use tiny_keccak::{Hasher, Keccak};
 pub fn main() {
     let times = 100;
     let raw_preimage: Vec<u32> = ceno_rt::read();
-    let preimage: Vec<u8> = raw_preimage
-        .iter()
-        .flat_map(|x| x.to_le_bytes())
-        .collect();
+    let preimage: Vec<u8> = raw_preimage.iter().flat_map(|x| x.to_le_bytes()).collect();
     for i in 0..times {
         let digest = keccak256(&preimage)
             .chunks_exact(4)