github/scroll
1
1
Fork 0
mirror of https://github.com/scroll-tech/scroll.git synced 2026-04-23 03:00:50 -04:00
Code Issues Packages Projects Releases Wiki Activity

try

Browse Source
This commit is contained in:
Zhuo Zhang
2024-04-08 09:13:30 +00:00
parent be67b9753a
commit 322fa948da
4 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
common/libzkp/impl/Cargo.lock generated
View File

@@ -4494,6 +4494,7 @@ dependencies = [
"serde",
"serde_derive",
"serde_json",
"snark-verifier-sdk",
]
[[package]]

1
common/libzkp/impl/Cargo.toml
View File

@@ -24,6 +24,7 @@ bls12_381 = { git = "https://github.com/scroll-tech/bls12_381", branch = "feat/i
[dependencies]
halo2_proofs = { git = "https://github.com/scroll-tech/halo2.git", branch = "v1.1" }
snark-verifier-sdk = { git = "https://github.com/scroll-tech/snark-verifier", branch = "develop", default-features = false, features = ["loader_halo2", "loader_evm", "halo2-pse"] }
prover = { git = "https://github.com/scroll-tech/zkevm-circuits.git", tag = "v0.10.0rc3", default-features = false, features = ["parallel_syn", "scroll", "shanghai"] }
base64 = "0.13.0"

2
common/libzkp/impl/src/batch.rs
View File

@@ -155,7 +155,7 @@ pub unsafe extern "C" fn verify_batch_proof(proof: *const c_char, hardfork_id: u
let verified = panic_catch(|| {
if hardfork_id == 1 {
// before upgrade#2: 4844
verify_evm_calldata(include!("evm_verifier_fork_1.bin"), proof.calldata())
verify_evm_calldata(include_bytes!("evm_verifier_fork_1.bin").to_vec(), proof.calldata())
} else {
VERIFIER.get().unwrap().verify_agg_evm_proof(proof)
}

2
common/libzkp/interface/libzkp.h
View File

@@ -3,7 +3,7 @@ void init_batch_verifier(char* params_dir, char* assets_dir);
char* get_batch_vk();
char* check_chunk_proofs(char* chunk_proofs);
char* gen_batch_proof(char* chunk_hashes, char* chunk_proofs);
char verify_batch_proof(char* proof);
char verify_batch_proof(char* proof, size_t fork_id);
void init_chunk_prover(char* params_dir, char* assets_dir);
void init_chunk_verifier(char* params_dir, char* assets_dir);