Merge pull request #115 from 0xPolygonHermez/temporal-fix

cargo update + remove .elf restriction in main_sm
0xPolygonHermez · Oct 16, 2024 · ad59fe6 · ad59fe6
2 parents aabcdd0 + e59e8d3
commit ad59fe6
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 42 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/state-machines/main/src/main_sm.rs b/state-machines/main/src/main_sm.rs
@@ -87,7 +87,7 @@ impl<'a, F: PrimeField> MainSM<F> {
         arith_sm: Arc<ArithSM>,
     ) -> Arc<Self> {
         // If rom_path has an .elf extension it must be converted to a ZisK ROM
-        let zisk_rom = if rom_path.extension().unwrap() == "elf" {
+        let zisk_rom = {
             // Create an instance of the RISCV -> ZisK program converter
             let rv2zk = Riscv2zisk::new(
                 rom_path.display().to_string(),
@@ -103,9 +103,6 @@ impl<'a, F: PrimeField> MainSM<F> {
                     panic!("Application error: {}", e);
                 }
             }
-        } else {
-            // TODO - Remove this when the ZisK ROM is able to be loaded from a file
-            panic!("ROM file must be an ELF file");
         };
 
         // TODO - Compute MAX_ACCUMULATED having the num_rows of the Main AIR