github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 17:48:21 -05:00
Code Issues Packages Projects Releases Wiki Activity

point halo2 to our forks so powdr lib uses do not need to patch it themselves

Browse Source
This commit is contained in:
Leo Alt
2024-03-19 12:19:37 +01:00
parent af97517048
commit a19a5443ca
2 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
Cargo.toml
View File

@@ -44,8 +44,3 @@ overflow-checks = true
panic = 'unwind'
incremental = true # This is true because target is cached
codegen-units = 256
# This can be removed when upgrading to the next release of Halo2, because this has been merged:
# https://github.com/privacy-scaling-explorations/halo2/pull/292
[patch."https://github.com/privacy-scaling-explorations/halo2"]
halo2_proofs = { git = "https://github.com/georgwiese/halo2", branch = "make-emit-public-v0.3.0", features = ["circuit-params"] }

8
halo2/Cargo.toml
View File

@@ -11,9 +11,13 @@ repository = { workspace = true }
powdr-ast = { path = "../ast" }
powdr-number = { path = "../number" }
halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", tag = "v0.3.0", features = ["circuit-params"] }
# TODO change this once Halo2 releases 0.3.1
#halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2", tag = "v0.3.0", features = ["circuit-params"] }
halo2_proofs = { git = "https://github.com/powdr-labs/halo2", branch = "make-emit-public-v0.3.0", features = ["circuit-params"] }
halo2_curves = { version = "0.6.1", package = "halo2curves" }
snark-verifier = { git = "https://github.com/privacy-scaling-explorations/snark-verifier", tag = "v2024_01_31" }
# TODO change this once Halo2 releases 0.3.1 and snark-verifier uses it
#snark-verifier = { git = "https://github.com/privacy-scaling-explorations/snark-verifier", tag = "v2024_01_31" }
snark-verifier = { git = "https://github.com/powdr-labs/snark-verifier", branch = "powdr-halo2" }
num-traits = "0.2.15"
num-integer = "0.1.45"