improve prover verification

This commit is contained in:
Zhang Zhuo
2024-03-29 15:59:54 +08:00
parent 5cbda72d5f
commit 2a23d3c192
2 changed files with 12 additions and 12 deletions

View File

@@ -31,7 +31,7 @@ dependencies = [
[[package]]
name = "aggregator"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"ark-std 0.3.0",
"c-kzg",
@@ -521,7 +521,7 @@ checksum = "a3e2c3daef883ecc1b5d58c15adae93470a91d425f3532ba1695849656af3fc1"
[[package]]
name = "bus-mapping"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"eth-types",
"ethers-core",
@@ -1139,7 +1139,7 @@ dependencies = [
[[package]]
name = "eth-types"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"base64 0.13.1",
"ethers-core",
@@ -1293,7 +1293,7 @@ dependencies = [
[[package]]
name = "external-tracer"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"eth-types",
"geth-utils",
@@ -1485,7 +1485,7 @@ dependencies = [
[[package]]
name = "gadgets"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"eth-types",
"halo2_proofs",
@@ -1507,7 +1507,7 @@ dependencies = [
[[package]]
name = "geth-utils"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"env_logger 0.10.0",
"gobuild",
@@ -2142,7 +2142,7 @@ dependencies = [
[[package]]
name = "keccak256"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"env_logger 0.10.0",
"eth-types",
@@ -2292,7 +2292,7 @@ dependencies = [
[[package]]
name = "mock"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"eth-types",
"ethers-core",
@@ -2307,7 +2307,7 @@ dependencies = [
[[package]]
name = "mpt-zktrie"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"eth-types",
"halo2-mpt-circuits",
@@ -2754,7 +2754,7 @@ dependencies = [
[[package]]
name = "prover"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"aggregator",
"anyhow",
@@ -4441,7 +4441,7 @@ dependencies = [
[[package]]
name = "zkevm-circuits"
version = "0.1.0"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0e#c2dc1f7dc4b068e7d4030395fb361f995237e79d"
source = "git+https://github.com/scroll-tech/zkevm-circuits.git?tag=v0.10.0f#39742b15f70586fa2267d1785c8b6bb0a6ed0c3c"
dependencies = [
"array-init",
"bus-mapping",

View File

@@ -24,7 +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" }
prover = { git = "https://github.com/scroll-tech/zkevm-circuits.git", tag = "v0.10.0e", default-features = false, features = ["parallel_syn", "scroll", "shanghai"] }
prover = { git = "https://github.com/scroll-tech/zkevm-circuits.git", tag = "v0.10.0f", default-features = false, features = ["parallel_syn", "scroll", "shanghai"] }
base64 = "0.13.0"
env_logger = "0.9.0"