Set opt-level to 3 (nexus-xyz#250)

Summary: Test Plan: Co-authored-by: duc-nx <>
haniefff · Jul 27, 2024 · 1c90a25 · 1c90a25
1 parent e46d1ca
commit 1c90a25
Show file tree

Hide file tree

Showing 8 changed files with 12 additions and 32 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -96,12 +96,6 @@ ark-bls12-381 = { git = "https://github.com/arkworks-rs/curves/", rev = "3fded1f
 codegen-units = 1
 lto = true
 
-[profile.release-unoptimized]
-inherits = "release"
-
-[profile.release-unoptimized.package.example]
-opt-level = 0
-
 [profile.bench]
 inherits = "release"
 debug = true
diff --git a/cli/src/command/host.rs b/cli/src/command/host.rs
@@ -52,10 +52,6 @@ fn setup_crate(host_path: PathBuf) -> anyhow::Result<()> {
             "# Generated by cargo-nexus, do not remove!\n",
             "#\n",
             "# This profile is used for generating proofs, as Nexus VM support for compiler optimizations is still under development.\n",
-            "[profile.release-unoptimized]\n",
-            "inherits = \"release\"\n\n",
-            "[profile.release-unoptimized.package.guest]\n",
-            "opt-level = 0\n\n",
 
             // https://doc.rust-lang.org/1.58.1/cargo/reference/overriding-dependencies.html#working-with-an-unpublished-minor-version
             "# These patches are required for some of the underlying cryptography libraries used by Nexus.\n",
@@ -114,9 +110,6 @@ fn setup_crate(host_path: PathBuf) -> anyhow::Result<()> {
             "# Generated by cargo-nexus, do not remove!\n",
             "#\n",
             "# This profile is used for generating proofs, as Nexus VM support for compiler optimizations is still under development.\n",
-            "[profile.release-unoptimized]\n",
-            "inherits = \"release\"\n",
-            "opt-level = 0"
         )
     )?;
 

diff --git a/cli/src/command/new.rs b/cli/src/command/new.rs
@@ -43,9 +43,6 @@ fn setup_crate(path: PathBuf) -> anyhow::Result<()> {
             "# Generated by cargo-nexus, do not remove!\n",
             "#\n",
             "# This profile is used for generating proofs, as Nexus VM support for compiler optimizations is still under development.\n",
-            "[profile.release-unoptimized]\n",
-            "inherits = \"release\"\n",
-            "opt-level = 0"
         )
     )?;
 

diff --git a/cli/src/command/prove.rs b/cli/src/command/prove.rs
@@ -54,8 +54,8 @@ pub struct LocalProveArgs {
 
 #[derive(Debug, Args)]
 pub struct CommonProveArgs {
-    /// Build artifacts with the specified profile. "release-unoptimized" is default.
-    #[arg(long, default_value = "release-unoptimized")]
+    /// Build artifacts with the specified profile. "release" is default.
+    #[arg(long, default_value = "release")]
     pub profile: String,
 
     /// Name of the bin target to run.

diff --git a/sdk/examples/hypernova.rs b/sdk/examples/hypernova.rs
@@ -7,16 +7,16 @@ const EXAMPLE_NAME: &str = "example";
 
 const TARGET_PATH: &str = concat!(
     env!("CARGO_MANIFEST_DIR"),
-    "/../target/riscv32i-unknown-none-elf/release-unoptimized"
+    "/../target/riscv32i-unknown-none-elf/release"
 );
 
 fn main() {
     let path = std::path::Path::new(TARGET_PATH).join(EXAMPLE_NAME);
     if path.try_exists().is_err() {
         panic!(
             "{}{} was not found, make sure to compile the program \
-             with `cd examples && cargo build --release-unoptimized --bin {}`",
-            "target/riscv32i-unknown-none-elf/release-unoptimized/", EXAMPLE_NAME, EXAMPLE_NAME,
+             with `cd examples && cargo build --release --bin {}`",
+            "target/riscv32i-unknown-none-elf/release/", EXAMPLE_NAME, EXAMPLE_NAME,
         );
     }
 

diff --git a/sdk/examples/nova_io.rs b/sdk/examples/nova_io.rs
@@ -10,16 +10,16 @@ const EXAMPLE_NAME: &str = "input_output";
 
 const TARGET_PATH: &str = concat!(
     env!("CARGO_MANIFEST_DIR"),
-    "/../target/riscv32i-unknown-none-elf/release-unoptimized"
+    "/../target/riscv32i-unknown-none-elf/release"
 );
 
 fn main() {
     let path = std::path::Path::new(TARGET_PATH).join(EXAMPLE_NAME);
     if path.try_exists().is_err() {
         panic!(
             "{}{} was not found, make sure to compile the program \
-             with `cd examples && cargo build --release-unoptimized --bin {}`",
-            "target/riscv32i-unknown-none-elf/release-unoptimized/", EXAMPLE_NAME, EXAMPLE_NAME,
+             with `cd examples && cargo build --release --bin {}`",
+            "target/riscv32i-unknown-none-elf/release/", EXAMPLE_NAME, EXAMPLE_NAME,
         );
     }
 

diff --git a/sdk/examples/nova_nobuild.rs b/sdk/examples/nova_nobuild.rs
@@ -7,16 +7,16 @@ const EXAMPLE_NAME: &str = "example";
 
 const TARGET_PATH: &str = concat!(
     env!("CARGO_MANIFEST_DIR"),
-    "/../target/riscv32i-unknown-none-elf/release-unoptimized"
+    "/../target/riscv32i-unknown-none-elf/release"
 );
 
 fn main() {
     let path = std::path::Path::new(TARGET_PATH).join(EXAMPLE_NAME);
     if path.try_exists().is_err() {
         panic!(
             "{}{} was not found, make sure to compile the program \
-             with `cd examples && cargo build --release-unoptimized --bin {}`",
-            "target/riscv32i-unknown-none-elf/release-unoptimized/", EXAMPLE_NAME, EXAMPLE_NAME,
+             with `cd examples && cargo build --release --bin {}`",
+            "target/riscv32i-unknown-none-elf/release/", EXAMPLE_NAME, EXAMPLE_NAME,
         );
     }
 

diff --git a/sdk/src/compile.rs b/sdk/src/compile.rs
@@ -151,11 +151,7 @@ impl CompileOpts {
         // };
         let target = "riscv32i-unknown-none-elf";
 
-        let profile = if self.debug {
-            "debug"
-        } else {
-            "release-unoptimized"
-        };
+        let profile = if self.debug { "debug" } else { "release" };
 
         let envs = vec![("CARGO_ENCODED_RUSTFLAGS", rust_flags.join("\x1f"))];
         let prog = self.binary.as_str();