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

bump zkvm-prover from 0.1.0-rc.7 to 0.1.0-rc.8

Browse Source
This commit is contained in:
kunxian xia
2025-03-17 14:05:41 +08:00
parent 27b0dabd02
commit ad32dd6fb4
5 changed files with 1149 additions and 635 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

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

@@ -14,8 +14,8 @@ ruint = { git = "https://github.com/scroll-tech/uint.git", branch = "v1.12.3" }
tiny-keccak = { git = "https://github.com/scroll-tech/tiny-keccak", branch = "scroll-patch-v2.0.2-openvm-v1.0.0-rc.1" }
[dependencies]
euclid_prover = { git = "https://github.com/scroll-tech/zkvm-prover.git", tag = "v0.1.0-rc.7", package = "scroll-zkvm-prover" }
euclid_verifier = { git = "https://github.com/scroll-tech/zkvm-prover.git", tag = "v0.1.0-rc.7", package = "scroll-zkvm-verifier" }
euclid_prover = { git = "https://github.com/scroll-tech/zkvm-prover.git", tag = "v0.1.0-rc.8", package = "scroll-zkvm-prover" }
euclid_verifier = { git = "https://github.com/scroll-tech/zkvm-prover.git", tag = "v0.1.0-rc.8", package = "scroll-zkvm-verifier" }
base64 = "0.13.0"
env_logger = "0.9.0"

1158
zkvm-prover/Cargo.lock generated
View File

File diff suppressed because it is too large Load Diff

2
zkvm-prover/Cargo.toml
View File

@@ -18,7 +18,7 @@ serde = { version = "1.0.198", features = ["derive"] }
serde_json = "1.0.116"
futures = "0.3.30"
scroll-zkvm-prover = { git = "https://github.com/scroll-tech/zkvm-prover", tag = "v0.1.0-rc.7" }
scroll-zkvm-prover = { git = "https://github.com/scroll-tech/zkvm-prover", tag = "v0.1.0-rc.8" }
ethers-core = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
ethers-providers = { git = "https://github.com/scroll-tech/ethers-rs.git", branch = "v2.0.7" }
scroll-proving-sdk = { git = "https://github.com/scroll-tech/scroll-proving-sdk.git", rev = "af95d2a", features = [

35
zkvm-prover/src/zk_circuits_handler/euclid.rs
View File

@@ -6,7 +6,7 @@ use async_trait::async_trait;
use scroll_proving_sdk::prover::{proving_service::ProveRequest, ProofType};
use scroll_zkvm_prover::{
task::{batch::BatchProvingTask, bundle::BundleProvingTask, chunk::ChunkProvingTask},
BatchProver, BundleProver, ChunkProver,
BatchProver, BundleProver, ChunkProver, ProverConfig,
};
use tokio::sync::Mutex;
pub struct EuclidHandler {
@@ -24,18 +24,39 @@ impl EuclidHandler {
let cache_dir = workspace_path.join("cache");
let chunk_exe = workspace_path.join("chunk/app.vmexe");
let chunk_app_config = workspace_path.join("chunk/openvm.toml");
let chunk_prover = ChunkProver::setup(chunk_exe, chunk_app_config, Some(cache_dir.clone()))
.expect("Failed to setup chunk prover");
let chunk_prover = ChunkProver::setup(
chunk_exe,
chunk_app_config,
Some(cache_dir.clone()),
ProverConfig {
segment_len: Some((1 << 22) - 100),
},
)
.expect("Failed to setup chunk prover");
let batch_exe = workspace_path.join("batch/app.vmexe");
let batch_app_config = workspace_path.join("batch/openvm.toml");
let batch_prover = BatchProver::setup(batch_exe, batch_app_config, Some(cache_dir.clone()))
.expect("Failed to setup batch prover");
let batch_prover = BatchProver::setup(
batch_exe,
batch_app_config,
Some(cache_dir.clone()),
ProverConfig {
segment_len: Some((1 << 22) - 100),
},
)
.expect("Failed to setup batch prover");
let bundle_exe = workspace_path.join("bundle/app.vmexe");
let bundle_app_config = workspace_path.join("bundle/openvm.toml");
let bundle_prover = BundleProver::setup(bundle_exe, bundle_app_config, Some(cache_dir))
.expect("Failed to setup bundle prover");
let bundle_prover = BundleProver::setup(
bundle_exe,
bundle_app_config,
Some(cache_dir),
ProverConfig {
segment_len: Some((1 << 22) - 100),
},
)
.expect("Failed to setup bundle prover");
Self {
chunk_prover,