Fix Cargo lock error

Summary:

Test Plan:

assets/scripts/smoke.sh

@@ -47,6 +47,12 @@ cargo build --release --package cargo-nexus --bin cargo-nexus
 ./target/release/cargo-nexus nexus new "$PROJECT_NAME"
 cp "$1" "$PROJECT_NAME/src/main.rs"
 cd "$PROJECT_NAME"
+cargo update
+
+ls -lab .
+
+cargo version -v
+cat Cargo.lock
 
 # Link the test program to the latest runtime code
 sed -e "s#git = \"https://github.com/nexus-xyz/nexus-zkvm.git\"#path = \"$ORIGINAL_DIR/runtime\"#" Cargo.toml > Cargo.tmp && mv Cargo.tmp Cargo.toml
@@ -55,4 +61,4 @@ sed -e "s#git = \"https://github.com/nexus-xyz/nexus-zkvm.git\"#path = \"$ORIGIN
 "$ORIGINAL_DIR/target/release/cargo-nexus" nexus prove
 "$ORIGINAL_DIR/target/release/cargo-nexus" nexus verify
 
-cleanup
+# cleanup

assets/scripts/test_sdk.sh

@@ -36,6 +36,7 @@ function check_project_directory() {
 }
 
 function build_cargo_nexus() {
+cargo update
 cargo build --release --package cargo-nexus --bin cargo-nexus
 }
 
@@ -59,6 +60,11 @@ pushd src/guest
 $CARGO_NEXUS nexus run
 popd
 
+ls -lab .
+
+cargo version -v
+cat Cargo.lock
+
 cargo run --release
 }
 

cli/src/command/host.rs

@@ -182,6 +182,6 @@ const GUEST_TEMPLATE_SRC_MAIN: &str = include_str!(concat!(guest_examples_dir!()
 
 // freeze toolchain that works with all provers
 const GUEST_RUST_TOOLCHAIN: &str = r#"[toolchain]
-channel = "1.77.0"
+channel = "1.80.0"
 targets = ["riscv32i-unknown-none-elf"]
 "#;

cli/src/command/new.rs

@@ -76,6 +76,7 @@ const TEMPLATE_SRC_MAIN: &str = include_str!(concat!(examples_dir!(), "/src/main
 
 // freeze toolchain that works with all provers
 const RUST_TOOLCHAIN: &str = r#"[toolchain]
-channel = "1.77.0"
+channel = "1.80.0"
+
 targets = ["riscv32i-unknown-none-elf"]
-"#;
+"#;

runtime/Cargo.toml

@@ -11,7 +11,7 @@ categories = { workspace = true }
 
 [dependencies]
 nexus-rt-macros = { path = "macros", version = "0.1.0" }
-postcard = { version = "1.0.10", features = ["alloc"], default_features = false }
+postcard = { version = "1.0.10", features = ["alloc"], default-features = false }
 serde = { version = "1.0", default-features = false }
 
 [lib]

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.10", features = ["alloc"], default_features = false }
+postcard = { version = "1.0.10", features = ["alloc"], default-features = false }
 uuid = { version = "1.9.1", features = ["v4", "fast-rng"] }
 thiserror = "1.0.61"