integrate secp256k1 decompress precompiles

.github/workflows/integration.yml

@@ -141,6 +141,11 @@ jobs:
           RUSTFLAGS: "-C opt-level=3"
         run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/bn254_curve_syscalls
 
+      - name: Run k256 ecrecover (release)
+        env:
+          RUSTFLAGS: "-C opt-level=3"
+        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_ecrecover
+
       - name: Run uint256_mul_syscall (release)
         env:
           RUSTFLAGS: "-C opt-level=3"

Cargo.toml

@@ -100,6 +100,13 @@ opt-level = 3
 [profile.release]
 lto = "thin"
 
+#[patch."https://github.com/scroll-tech/elliptic-curves"]
+#k256 = { path = "../elliptic-curves/k256", default-features = false, features = ["std", "ecdsa"] }
+#
+#[patch."https://github.com/scroll-tech/ceno-patch.git"]
+#ceno_crypto_primitives = { path = "../ceno-patch/crypto-primitives", package = "ceno_crypto_primitives" }
+#ceno_syscall = { path = "../ceno-patch/syscall", package = "ceno_syscall" }
+
 # [patch."https://github.com/scroll-tech/ceno-gpu-mock.git"]
 # ceno_gpu = { path = "../ceno-gpu/cuda_hal", package = "cuda_hal", default-features = false, features=["bb31"] }
 

examples/Cargo.toml

@@ -30,3 +30,6 @@ rkyv = { version = "0.8", default-features = false, features = [
   "bytecheck",
 ] }
 substrate-bn.workspace = true
+
+[features]
+profiling = ["k256/std", "k256/ecdsa", "k256/profiling"]

guest_libs/crypto/Cargo.toml

@@ -23,4 +23,4 @@ alloy-primitives = "1.4"
 revm-precompile = "27"
 
 [features]
-profiling = []
+profiling = ["k256/profiling"]

guest_libs/crypto/src/secp256k1.rs

@@ -24,8 +24,12 @@ pub fn secp256k1_ecrecover(
     }
     let recid = RecoveryId::from_byte(recid).expect("recovery ID is valid");
 
+    #[cfg(feature = "profiling")]
+    syscall_phantom_log_pc_cycle("recover_from_prehash start");
     // recover key
     let recovered_key = VerifyingKey::recover_from_prehash(&msg[..], &sig, recid)?;
+    #[cfg(feature = "profiling")]
+    syscall_phantom_log_pc_cycle("recover_from_prehash end");
     // hash it
     let mut hasher = Keccak::v256();
     let mut hash = [0u8; 32];