Convert a Plonkish circuit in Halo2 into a CCS circuit in sonobe.
This crate works on my fork of halo2 because some of the private members needed to be accessible from external crate. If you wish to convert your circuit you have to add to Cargo.toml
[dependencies]
halo2_proofs = { git = "https://github.com/pnyda/halo2.git", branch = "ccs" }
halo2_gadgets = { git = "https://github.com/pnyda/halo2.git", branch = "ccs" }
If you need to switch dependencies of dependencies at once then you can use:
[patch.crates-io]
halo2_proofs = { git = "https://github.com/pnyda/halo2.git", branch = "ccs" }
halo2_gadgets = { git = "https://github.com/pnyda/halo2.git", branch = "ccs" }