chore: remaining renamings

crates/cli/src/commands/bench.rs

@@ -49,7 +49,7 @@ impl BenchCmd {
         let exe_path = build_args.exe_path(&elf_path);
         let exe = read_exe_from_file(&exe_path)?;
 
-        // TODO: read from axiom.toml
+        // TODO: read from openvm.toml
         let app_log_blowup = 2;
         let engine = BabyBearPoseidon2Engine::new(
             FriParameters::standard_with_100_bits_conjectured_security(app_log_blowup),

crates/cli/src/commands/build.rs

@@ -90,7 +90,7 @@ pub struct BinTypeFilter {
 
 // Returns the path to the ELF file if it is unique.
 pub(crate) fn build(build_args: &BuildArgs) -> Result<Option<PathBuf>> {
-    println!("[axiom] Building the package...");
+    println!("[openvm] Building the package...");
     let target_filter = TargetFilter {
         name_substr: build_args.name.clone(),
         kind: if build_args.bin_type_filter.bin {
@@ -124,7 +124,7 @@ pub(crate) fn build(build_args: &BuildArgs) -> Result<Option<PathBuf>> {
 
     if build_args.transpile {
         let elf_path = elf_path?;
-        println!("[axiom] Transpiling the package...");
+        println!("[openvm] Transpiling the package...");
         let output_path = build_args.exe_path(&elf_path);
         let transpiler = if let Some(transpiler_config) = build_args.transpiler_config.clone() {
             let app_config: AppConfig<SdkVmConfig> = read_to_struct_toml(&transpiler_config)?;
@@ -141,18 +141,18 @@ pub(crate) fn build(build_args: &BuildArgs) -> Result<Option<PathBuf>> {
         write_exe_to_file(exe, &output_path)?;
 
         println!(
-            "[axiom] Successfully transpiled to {}",
+            "[openvm] Successfully transpiled to {}",
             output_path.display()
         );
         Ok(Some(elf_path))
     } else if let Ok(elf_path) = elf_path {
         println!(
-            "[axiom] Successfully built the package: {}",
+            "[openvm] Successfully built the package: {}",
             elf_path.display()
         );
         Ok(Some(elf_path))
     } else {
-        println!("[axiom] Successfully built the package");
+        println!("[openvm] Successfully built the package");
         Ok(None)
     }
 }

crates/toolchain/build/src/lib.rs

@@ -167,7 +167,7 @@ pub fn cargo_command(subcmd: &str, rust_flags: &[&str]) -> Command {
 
     // let rust_src = get_env_var("OPENVM_RUST_SRC");
     // if !rust_src.is_empty() {
-    // TODO[jpw]: only do this for custom src once we make axiom toolchain
+    // TODO[jpw]: only do this for custom src once we make openvm toolchain
     args.push("-Z");
     args.push("build-std=alloc,core,proc_macro,panic_abort,std");
     args.push("-Z");

extensions/ecc/guest/Cargo.toml

@@ -22,7 +22,7 @@ openvm-ecc-sw-setup = { workspace = true }
 openvm-algebra-moduli-setup = { workspace = true }
 
 # Used for `halo2curves` feature
-# TODO[yj]: Integrate with halo2curves-axiom first before transitioning to PSE halo2curves
+# TODO[yj]: Transition to PSE halo2curves
 halo2curves-axiom = { workspace = true, optional = true }
 # halo2curves = { version = "0.7.0", optional = true }
 group = "0.13.0"