Skip to content

Commit

Permalink
adapt new solidity_render
Browse files Browse the repository at this point in the history
  • Loading branch information
junyu0312 authored and lanbones committed Jun 7, 2023
1 parent 6ab2680 commit d30f3d5
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 11 deletions.
5 changes: 3 additions & 2 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ anyhow = "1.0.68"
ark-std = { version = "0.3.0", features = ["print-trace"] }
downcast-rs = "1.2.0"
env_logger = "0.9.3"
halo2aggregator-s = { git = "https://github.com/DelphinusLab/halo2aggregator-s.git", rev = "922f265c5990a69fcbaa9f5ffc94cd3d644cb84f" }
halo2aggregator-s = { git = "https://github.com/DelphinusLab/halo2aggregator-s.git", tag = "bisect-lookup-0.1.0" }
halo2_proofs = { git = "https://github.com/junyu0312/halo2", branch = "gpu", default-features = true }
log = "0.4.17"
md5 = "0.7.0"
Expand Down
15 changes: 7 additions & 8 deletions src/cli/exec.rs
Original file line number Diff line number Diff line change
Expand Up @@ -472,14 +472,13 @@ pub fn exec_solidity_aggregate_proof(
solidity_render(
&(path_in.to_str().unwrap().to_owned() + "/*"),
path_out.to_str().unwrap(),
vec![
vec!["AggregatorConfig.sol.tera".to_owned()],
(0..SOLIDITY_VERIFY_STEPS)
.map(|i| format!("AggregatorVerifierStep{}.sol.tera", i + 1))
.into_iter()
.collect::<Vec<String>>(),
]
.concat(),
vec![(
"AggregatorConfig.sol.tera".to_owned(),
"AggregatorConfig.sol".to_owned(),
)],
"AggregatorVerifierStepStart.sol.tera",
"AggregatorVerifierStepEnd.sol.tera",
|i| format!("AggregatorVerifierStep{}.sol", i + 1),
&zkwasm_params_verifier,
&verifier_params_verifier,
&vkey,
Expand Down

0 comments on commit d30f3d5

Please sign in to comment.