1[workspace]
 2members = [
 3    "folding-schemes",
 4    "solidity-verifiers",
 5    "cli",
 6    "frontends"
 7]
 8resolver = "2"
 9
10[patch.crates-io]
11# The following patch is to use a version of ark-r1cs-std compatible with
12# v0.4.0 but that includes two cherry-picked commits from after v0.4.0 which
13# fixes the in-circuit scalar multiplication of the zero point and the
14# y-coordinate of the zero point. The commits are respectively from
15# https://github.com/arkworks-rs/r1cs-std/pull/124 and
16# https://github.com/arkworks-rs/r1cs-std/pull/126, without including other
17# changes done between v0.4.0 and this fix which would break compatibility.
18ark-r1cs-std = { git = "https://github.com/winderica/r1cs-std", branch="cherry-pick" }
19# patch ark_curves to use a cherry-picked version which contains
20# bn254::constraints & grumpkin for v0.4.0 (once arkworks v0.5.0 is released
21# this will no longer be needed)
22ark-bn254 = { git = "https://github.com/arnaucube/ark-curves-cherry-picked", branch="cherry-pick"}
23ark-grumpkin = { git = "https://github.com/arnaucube/ark-curves-cherry-picked", branch="cherry-pick"}