imported correct precompile in mod.rs

succinctlabs · Sep 18, 2024 · e2b88a9 · e2b88a9
1 parent 80ef63d
commit e2b88a9
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 8 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/core/executor/src/programs.rs b/crates/core/executor/src/programs.rs
@@ -93,8 +93,8 @@ pub mod tests {
     pub const UINT256_MUL_ELF: &[u8] =
         include_bytes!("../../../../tests/uint256-mul/elf/riscv32im-succinct-zkvm-elf");
 
-    pub const UMA_MUL_ELF: &[u8] =
-        include_bytes!("../../../../tests/uma-test/elf/riscv32im-succinct-zkvm-elf");
+    pub const U256X2048_MUL_ELF: &[u8] =
+        include_bytes!("../../../../tests/u256x2048-mul/elf/riscv32im-succinct-zkvm-elf");
 
     pub const BLS12381_DECOMPRESS_ELF: &[u8] =
         include_bytes!("../../../../tests/bls12381-decompress/elf/riscv32im-succinct-zkvm-elf");

diff --git a/crates/core/executor/src/syscalls/code.rs b/crates/core/executor/src/syscalls/code.rs
@@ -173,7 +173,7 @@ impl SyscallCode {
             0x00_01_01_2A => SyscallCode::BN254_FP2_SUB,
             0x00_01_01_2B => SyscallCode::BN254_FP2_MUL,
             0x00_00_01_1C => SyscallCode::BLS12381_DECOMPRESS,
-            0x00_01_01_2C => SyscallCode::UMA,
+            0x00_01_01_2C => SyscallCode::U256X2048_MUL,
             _ => panic!("invalid syscall number: {value}"),
         }
     }

diff --git a/crates/core/executor/src/syscalls/mod.rs b/crates/core/executor/src/syscalls/mod.rs
@@ -26,8 +26,8 @@ use precompiles::{
     fptower::{Fp2AddSubSyscall, Fp2MulSyscall, FpOpSyscall},
     keccak256::permute::Keccak256PermuteSyscall,
     sha256::{compress::Sha256CompressSyscall, extend::Sha256ExtendSyscall},
+    u256x2048_mul::U256x2048MulSyscall,
     uint256::Uint256MulSyscall,
-    uma::UmaSyscall,
     weierstrass::{
         add::WeierstrassAddAssignSyscall, decompress::WeierstrassDecompressSyscall,
         double::WeierstrassDoubleAssignSyscall,

diff --git a/crates/zkvm/entrypoint/src/syscalls/mod.rs b/crates/zkvm/entrypoint/src/syscalls/mod.rs
@@ -12,8 +12,8 @@ mod secp256k1;
 mod sha_compress;
 mod sha_extend;
 mod sys;
+mod u256x2048_mul;
 mod uint256_mul;
-mod uma_mul;
 mod unconstrained;
 #[cfg(feature = "verify")]
 mod verify;
@@ -32,8 +32,8 @@ pub use secp256k1::*;
 pub use sha_compress::*;
 pub use sha_extend::*;
 pub use sys::*;
+pub use u256x2048_mul::*;
 pub use uint256_mul::*;
-pub use uma_mul::*;
 pub use unconstrained::*;
 #[cfg(feature = "verify")]
 pub use verify::*;
@@ -105,7 +105,7 @@ pub const BLS12381_DECOMPRESS: u32 = 0x00_00_01_1C;
 pub const UINT256_MUL: u32 = 0x00_01_01_1D;
 
 /// Executes the `UMA` precompile.
-pub const UMA: u32 = 0x00_01_01_2C;
+pub const U256X2048_MUL: u32 = 0x00_01_01_2C;
 
 /// Executes the `BLS12381_ADD` precompile.
 pub const BLS12381_ADD: u32 = 0x00_01_01_1E;

diff --git a/elf/riscv32im-succinct-zkvm-elf b/elf/riscv32im-succinct-zkvm-elf