Skip to content

Commit 9998069

Browse files
committed
upgrade zkvm dep
1 parent fcda68b commit 9998069

File tree

3 files changed

+18
-14
lines changed

3 files changed

+18
-14
lines changed

Cargo.lock

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

Cargo.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,9 @@ repository = "https://github.com/scroll-tech/scroll"
1717
version = "4.5.47"
1818

1919
[workspace.dependencies]
20-
scroll-zkvm-prover = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "c77b3bd" }
21-
scroll-zkvm-verifier = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "c77b3bd" }
22-
scroll-zkvm-types = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "c77b3bd" }
20+
scroll-zkvm-prover = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "060be4c" }
21+
scroll-zkvm-verifier = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "060be4c" }
22+
scroll-zkvm-types = { git = "https://github.com/scroll-tech/zkvm-prover", rev = "060be4c" }
2323

2424
sbv-primitives = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master", features = ["scroll", "rkyv"] }
2525
sbv-utils = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }

crates/libzkp/src/verifier/universal.rs

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,10 @@ pub struct Verifier {
1717

1818
impl Verifier {
1919
pub fn new(assets_dir: &str, fork: ForkName) -> Self {
20-
let verifier_bin = Path::new(assets_dir).join("verifier.bin");
20+
let verifier_bin = Path::new(assets_dir);
2121

2222
Self {
23-
verifier: UniversalVerifier::setup(&verifier_bin).expect("Setting up chunk verifier"),
23+
verifier: UniversalVerifier::setup(verifier_bin).expect("Setting up chunk verifier"),
2424
fork,
2525
}
2626
}
@@ -32,12 +32,16 @@ impl ProofVerifier for Verifier {
3232
TaskType::Chunk => {
3333
let proof = serde_json::from_slice::<ChunkProof>(proof).unwrap();
3434
assert!(proof.pi_hash_check(self.fork));
35-
UniversalVerifier::verify_stark_proof(proof.as_root_proof(), &proof.vk).unwrap()
35+
self.verifier
36+
.verify_stark_proof(proof.as_root_proof(), &proof.vk)
37+
.unwrap()
3638
}
3739
TaskType::Batch => {
3840
let proof = serde_json::from_slice::<BatchProof>(proof).unwrap();
3941
assert!(proof.pi_hash_check(self.fork));
40-
UniversalVerifier::verify_stark_proof(proof.as_root_proof(), &proof.vk).unwrap()
42+
self.verifier
43+
.verify_stark_proof(proof.as_root_proof(), &proof.vk)
44+
.unwrap()
4145
}
4246
TaskType::Bundle => {
4347
let proof = serde_json::from_slice::<BundleProof>(proof).unwrap();

0 commit comments

Comments
 (0)