From 8c95bafb6ddb9e91ee3ef605abe27dcbc537a45e Mon Sep 17 00:00:00 2001
From: duc-nx <>
Date: Mon, 9 Dec 2024 16:06:23 -0500
Subject: [PATCH] Fix Cargo lock error

Summary:

Test Plan:
---
 cli/src/command/host.rs | 3 ++-
 cli/src/command/new.rs  | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/cli/src/command/host.rs b/cli/src/command/host.rs
index 352a057d2..9ecdfff3f 100644
--- a/cli/src/command/host.rs
+++ b/cli/src/command/host.rs
@@ -182,6 +182,7 @@ 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"]
 "#;
diff --git a/cli/src/command/new.rs b/cli/src/command/new.rs
index c7de2b8b7..249b2a7f1 100644
--- a/cli/src/command/new.rs
+++ b/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"]
 "#;