diff --git a/cli/src/command/host.rs b/cli/src/command/host.rs index 27bbd790..d078f46f 100644 --- a/cli/src/command/host.rs +++ b/cli/src/command/host.rs @@ -117,12 +117,11 @@ fn setup_crate(host_path: PathBuf, rev: Option, tag: Option) -> )?; // 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 index 4e32632a..d23503ce 100644 --- 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 index 7b8748c1..6ce9fc98 100644 --- 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 index 4a254901..09f5e242 100644 --- 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 index ba11dcec..6d7a9c6d 100644 --- 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"