working patch

Author: prajwolrg

artifacts/sp1/schnorr/Cargo.lock

@@ -15,4 +15,5 @@ mock = ["strata-sp1-adapter/mock"]
 
 [patch.crates-io]
 sha2-v0-10-8 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", branch = "patch-sha2-v0.10.8" }
-secp256k1 = { git = "https://github.com/sp1-patches/rust-secp256k1", branch = "patch-secp256k1-v0.29.1" }
+secp256k1 = { path = "../rust-secp256k1" }
+k256 = { path = "../../../../../../playground/elliptic-curves/k256" }

artifacts/sp1/schnorr/Cargo.toml

@@ -9,5 +9,7 @@ use schnorr::process_schnorr_sig;
 use strata_sp1_adapter::Sp1ZkVmEnv;
 
 pub fn main() {
-    process_schnorr_sig(&Sp1ZkVmEnv)
+    println!("cycle-tracker-start: compute");
+    process_schnorr_sig(&Sp1ZkVmEnv);
+    println!("cycle-tracker-end: compute");
 }

artifacts/sp1/schnorr/src/main.rs

@@ -71,6 +71,7 @@ mod tests {
 
         let sk = *sk.as_ref();
         let pk = pk.serialize();
+        dbg!(pk);
 
         let sig = sign_schnorr_sig(&msg, &sk);
         assert!(verify_schnorr_sig(&sig, &msg, &pk));

examples/schnorr/src/lib.rs

@@ -1,13 +1,13 @@
 use strata_zkvm::{ProofType, ZkVmEnv, ZkVmInputResult, ZkVmProver};
 
-use crate::{verify_schnorr_sig, SchnorrSigInput};
+use crate::{verify_schnorr_sig, verify_schnorr_sig_k256, SchnorrSigInput};
 
 pub fn process_schnorr_sig(zkvm: &impl ZkVmEnv) {
     let sig = zkvm.read_buf();
     let msg: [u8; 32] = zkvm.read_serde();
     let pk: [u8; 32] = zkvm.read_serde();
 
-    let result = verify_schnorr_sig(&sig.try_into().unwrap(), &msg, &pk);
+    let result = verify_schnorr_sig_k256(&sig.try_into().unwrap(), &msg, &pk);
 
     zkvm.commit_serde(&result);
 }