replace rkyv with custom serde

Cargo.toml

@@ -3,6 +3,7 @@ members = [
   "ceno_cli",
   "ceno_emul",
   "ceno_host",
+  "ceno_serde",
   "ceno_rt",
   "ceno_zkvm",
   "ceno_recursion",
@@ -59,7 +60,6 @@ rand = "0.8"
 rand_chacha = { version = "0.3", features = ["serde1"] }
 rand_core = "0.6"
 rayon = "1.10"
-rkyv = { version = "0.8", features = ["pointer_width_32"] }
 rustc-hash = "2.0.0"
 secp = "0.4.1"
 serde = { version = "1.0", features = ["derive", "rc"] }

ceno_cli/example/Cargo.toml

@@ -7,7 +7,3 @@ version = "0.1.0"
 
 [dependencies]
 ceno_rt = { path = "../../ceno_rt" }
-rkyv = { version = "0.8", default-features = false, features = [
-  "alloc",
-  "bytecheck",
-] }

ceno_cli/example/src/main.rs

@@ -1,5 +1,4 @@
 extern crate ceno_rt;
-use rkyv::Archived;
 
 fn is_prime(n: u32) -> bool {
     if n < 2 {
@@ -17,10 +16,10 @@ fn is_prime(n: u32) -> bool {
 }
 
 fn main() {
-    let n: &Archived<u32> = ceno_rt::read();
+    let n: u32 = ceno_rt::read();
     let mut cnt_primes = 0;
 
-    for i in 0..=n.into() {
+    for i in 0..=n {
         cnt_primes += is_prime(i) as u32;
     }
 

ceno_host/Cargo.toml

@@ -12,8 +12,9 @@ version.workspace = true
 [dependencies]
 anyhow.workspace = true
 ceno_emul = { path = "../ceno_emul" }
+ceno_serde = { path = "../ceno_serde" }
 itertools.workspace = true
-rkyv.workspace = true
+serde.workspace = true
 tiny-keccak.workspace = true
 
 [dev-dependencies]