chore: update sp1-verifier with profiling

Author: XuJiandong

.cursor/skills/sp1/SKILL.md

@@ -0,0 +1,41 @@
+---
+name: sp1
+description: How to run and benchmark the SP1 verifier on CKB-VM
+---
+
+# SP1 Verifier on CKB-VM
+
+## Build
+
+Build the SP1 verifier from the project root:
+
+```
+make build CONTRACT=sp1-test
+```
+
+## Estimate Cost Cycles
+
+Run from the project root:
+
+```
+ckb-debugger --max-cycles 35000000000 --bin build/release/sp1-test
+```
+
+An example output of total cycles:
+```
+All cycles: 6168800817(5883.0M)
+```
+
+## Local Debugging
+
+When debugging locally, change the dependency in `Cargo.toml` from:
+
+```toml
+sp1-verifier = { git = "https://github.com/XuJiandong/sp1.git", default-features = false, rev="f5586e9" }
+```
+
+to a local path:
+
+```toml
+sp1-verifier = { path = "../../../sp1/crates/verifier", default-features = false }
+```

Cargo.lock

@@ -8,7 +8,9 @@ edition = "2021"
 [dependencies]
 ckb-std = { version = "0.18.0", default-features = false, features = ["allocator", "dummy-atomic"]} 
 hex = { version = "0.4", default-features = false, features = ["alloc"] }
-sp1-verifier = { version = "5.0.8", default-features = false }
+# debug locally
+# sp1-verifier = { path = "../../../sp1/crates/verifier", default-features = false }
+sp1-verifier = { git = "https://github.com/XuJiandong/sp1.git", default-features = false, rev="f5586e9" }
 
 [features]
 default = []