Re-export postcard in runtime (#280)

* re-export postcard in runtime * bump version * unfreeze version * add postcard usage to guest example * disable postcard default features * fmt * fix
nexus-xyz · Aug 22, 2024 · 2e3fba3 · 2e3fba3
1 parent 4864895
commit 2e3fba3
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/cli/src/command/host.rs b/cli/src/command/host.rs
@@ -117,12 +117,11 @@ fn setup_crate(host_path: PathBuf, rev: Option<String>, tag: Option<String>) ->
     )?;
 
     // add postcard because it is used for (de)serializing from/to the input/output tapes
-    // Hardcode postcard version to 1.0.8
     cargo(
         Some(&guest_path),
         [
             "add",
-            "postcard@=1.0.8",
+            "postcard@1.0.10",
             "-F",
             "alloc",
             "--no-default-features",

diff --git a/examples/src/bin/input_output.rs b/examples/src/bin/input_output.rs
@@ -1,10 +1,10 @@
 #![cfg_attr(target_arch = "riscv32", no_std, no_main)]
 
-use nexus_rt::{println, read_private_input, write_output};
+use nexus_rt::{postcard, println, read_private_input, write_output};
 
 #[nexus_rt::main]
 fn main() {
-    let input = read_private_input::<(u32, u32)>();
+    let input: Result<(u32, u32), postcard::Error> = read_private_input::<(u32, u32)>();
 
     let mut z: i32 = -1;
     if let Ok((x, y)) = input {

diff --git a/runtime/Cargo.toml b/runtime/Cargo.toml
@@ -11,7 +11,7 @@ categories = { workspace = true }
 
 [dependencies]
 nexus-rt-macros = { path = "macros", version = "0.1.0" }
-postcard = { version = "=1.0.8", features = ["alloc"] }
+postcard = { version = "1.0.10", features = ["alloc"], default_features = false }
 serde = { version = "1.0", default-features = false }
 
 [lib]

diff --git a/runtime/src/lib.rs b/runtime/src/lib.rs
@@ -13,3 +13,4 @@ pub use nexus_rt_macros::{main, profile};
 
 mod ecalls;
 pub use ecalls::*;
+pub use postcard;
diff --git a/sdk/Cargo.toml b/sdk/Cargo.toml
@@ -14,7 +14,7 @@ serde.workspace = true
 
 nexus-core = { path = "../core", features = ["prover_nova", "prover_jolt", "prover_hypernova"] }
 nexus-macro = { path = "../macro" }
-postcard = { version = "=1.0.8", features = ["alloc"] }
+postcard = { version = "1.0.10", features = ["alloc"], default_features = false }
 uuid = { version = "1.9.1", features = ["v4", "fast-rng"] }
 thiserror = "1.0.61"