Skip to content

Commit 97c6a69

Browse files
committed
wip schnorr patch
1 parent bb85e7a commit 97c6a69

File tree

4 files changed

+40
-17
lines changed

4 files changed

+40
-17
lines changed

artifacts/sp1/schnorr/Cargo.lock

Lines changed: 27 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

artifacts/sp1/schnorr/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,5 +15,5 @@ mock = ["strata-sp1-adapter/mock"]
1515

1616
[patch.crates-io]
1717
sha2-v0-10-8 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", branch = "patch-sha2-v0.10.8" }
18-
secp256k1 = { path = "../rust-secp256k1" }
19-
k256 = { path = "../../../../../../playground/elliptic-curves/k256" }
18+
# k256 = { path = "../../../../../../playground/elliptic-curves/k256" }
19+
secp256k1 = { git = "https://github.com/sp1-patches/rust-secp256k1", branch = "patch-secp256k1-v0.29.1" }

examples/schnorr/src/prover.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
use strata_zkvm::{ProofType, ZkVmEnv, ZkVmInputResult, ZkVmProver};
1+
use strata_zkvm::{ProofType, ZkVmEnv, ZkVmInputResult, ZkVmProver, ZkVmProverPerf};
22

33
use crate::{verify_schnorr_sig, verify_schnorr_sig_k256, SchnorrSigInput};
44

@@ -43,6 +43,8 @@ impl ZkVmProver for SchnorrSigProver {
4343
}
4444
}
4545

46+
impl ZkVmProverPerf for SchnorrSigProver {}
47+
4648
#[cfg(test)]
4749
mod tests {
4850
use std::sync::Arc;

runner/src/programs/schnorr.rs

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
use schnorr::{SchnorrSigInput, SchnorrSigProver};
2-
use strata_zkvm::{ProofReceipt, ZkVmHost, ZkVmProver};
2+
use strata_zkvm::{ProofReceipt, ProofReport, ZkVmHost, ZkVmHostPerf, ZkVmProver, ZkVmProverPerf};
33

4-
fn prove(host: &impl ZkVmHost) -> ProofReceipt {
4+
fn perf_report(host: &impl ZkVmHostPerf) -> ProofReport {
55
let input = SchnorrSigInput::new_random();
6-
SchnorrSigProver::prove(&input, host).unwrap()
6+
let report_name = "schnorr".to_string();
7+
SchnorrSigProver::perf_report(&input, host, report_name).unwrap()
78
}
89

910
#[cfg(feature = "sp1")]
10-
fn sp1_prove() -> ProofReceipt {
11+
fn sp1_proof_report() -> ProofReport {
1112
use strata_sp1_adapter::SP1Host;
1213
use strata_sp1_artifacts::SCHNORR_ELF;
1314
let host = SP1Host::init(&SCHNORR_ELF);
14-
prove(&host)
15+
perf_report(&host)
1516
}
1617

1718
pub fn make_proofs() {
18-
// TODO: add reports
19-
2019
#[cfg(feature = "sp1")]
21-
let _ = sp1_prove();
20+
let report = sp1_proof_report();
21+
println!("{}", report.cycles);
2222
}

0 commit comments

Comments
 (0)