Merge branch 'main' into update-microsoft-credit

nexus-xyz · Aug 21, 2024 · aa0c702 · aa0c702
2 parents 03a7ae3 + cf86ffd
commit aa0c702
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 deletions.
diff --git a/cli/src/command/host.rs b/cli/src/command/host.rs
@@ -117,7 +117,17 @@ 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
-    cargo(Some(&guest_path), ["add", "postcard", "-F", "alloc"])?;
+    // Hardcode postcard version to 1.0.8
+    cargo(
+        Some(&guest_path),
+        [
+            "add",
+            "postcard@=1.0.8",
+            "-F",
+            "alloc",
+            "--no-default-features",
+        ],
+    )?;
 
     let mut fp2 = fs::OpenOptions::new()
         .append(true)

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.8", features = ["alloc"] }
 serde = { version = "1.0", default-features = false }
 
 [lib]

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.8", features = ["alloc"] }
 uuid = { version = "1.9.1", features = ["v4", "fast-rng"] }
 thiserror = "1.0.61"