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"] "#;