refactor dependency point to new gkr-backend (#1045)

To enable shared lib between cpu/gpu
besides, add a new feature "parallel" `ceno_zkvm/Cargo.toml` to enable
parallel features on dependency of `gkr-backend`, as `gkr-backend`
default features was disabled.

### benchmarks
shows no impact 

| Benchmark | Median Time (s) | Median Change (%) |

|----------------------------------|------------------|----------------------------------|
| fibonacci_max_steps_1048576 | 2.5186 | +2.51% (Change within noise) |
| fibonacci_max_steps_2097152 | 4.4531 | +0.32% (No change detected) |
| fibonacci_max_steps_4194304 | 8.5974 | +2.60% (No change detected) |

Author: hero78119

Cargo.lock

@@ -7,16 +7,6 @@ members = [
   "ceno_zkvm",
   "examples-builder",
   "examples",
-  "mpcs",
-  "multilinear_extensions",
-  "sumcheck_macro",
-  "poseidon",
-  "gkr_iop",
-  "sumcheck",
-  "transcript",
-  "whir",
-  "witness",
-  "p3",
 ]
 resolver = "2"
 
@@ -30,34 +20,26 @@ repository = "https://github.com/scroll-tech/ceno"
 version = "0.1.0"
 
 [workspace.dependencies]
+ff_ext = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "ff_ext", rev = "v1.0.0-alpha.2" }
+mpcs = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "mpcs", rev = "v1.0.0-alpha.2" }
+multilinear_extensions = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "multilinear_extensions", rev = "v1.0.0-alpha.2" }
+p3 = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "p3", rev = "v1.0.0-alpha.2" }
+poseidon = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "poseidon", rev = "v1.0.0-alpha.2" }
+sumcheck = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "sumcheck", rev = "v1.0.0-alpha.2" }
+transcript = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "transcript", rev = "v1.0.0-alpha.2" }
+whir = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "whir", rev = "v1.0.0-alpha.2" }
+witness = { git = "https://github.com/scroll-tech/gkr-backend.git", package = "witness", rev = "v1.0.0-alpha.2" }
+
 anyhow = { version = "1.0", default-features = false }
 bincode = "1"
 clap = { version = "4.5", features = ["derive"] }
 criterion = { version = "0.5", features = ["html_reports"] }
 either = { version = "1.15.*", features = ["serde"] }
 itertools = "0.13"
 ndarray = "*"
-num-bigint = { version = "0.4.6" }
 num-derive = "0.4"
 num-traits = "0.2"
-p3 = { path = "p3" }
-p3-baby-bear = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-challenger = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-commit = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-dft = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-field = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-fri = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-goldilocks = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-matrix = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-maybe-rayon = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-mds = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-merkle-tree = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-poseidon = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-poseidon2 = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-symmetric = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-p3-util = { git = "https://github.com/Plonky3/plonky3", rev = "1ba4e5c" }
-paste = "1"
-poseidon = { path = "./poseidon" }
+
 pprof2 = { version = "0.13", features = ["flamegraph"] }
 prettytable-rs = "^0.10"
 proptest = "1"
@@ -72,7 +54,6 @@ serde_json = "1.0"
 strum = "0.26"
 strum_macros = "0.26"
 substrate-bn = { version = "0.6.0" }
-sumcheck = { path = "sumcheck" }
 thiserror = "1" # do we need this?
 thread_local = "1.1"
 tiny-keccak = { version = "2.0.2", features = ["keccak"] }

Cargo.toml

@@ -29,9 +29,9 @@ tikv-jemallocator = { version = "0.6", optional = true }
 ceno_emul = { path = "../ceno_emul" }
 ceno_host = { path = "../ceno_host" }
 ceno_zkvm = { path = "../ceno_zkvm" }
-ff_ext = { path = "../ff_ext" }
+ff_ext.workspace = true
 gkr_iop = { path = "../gkr_iop" }
-mpcs = { path = "../mpcs" }
+mpcs.workspace = true
 
 [build-dependencies]
 vergen-git2 = { version = "1", features = ["build", "cargo", "rustc", "emit_and_set"] }

ceno_cli/Cargo.toml

@@ -13,9 +13,9 @@ version.workspace = true
 anyhow.workspace = true
 ceno_rt = { path = "../ceno_rt" }
 elf = "0.7"
-ff_ext = { version = "0", path = "../ff_ext" }
+ff_ext.workspace = true
 itertools.workspace = true
-multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+multilinear_extensions.workspace = true
 num-derive.workspace = true
 num-traits.workspace = true
 rrs_lib = { package = "rrs-succinct", version = "0.1.0" }

ceno_emul/Cargo.toml

@@ -15,17 +15,18 @@ ceno-examples = { path = "../examples-builder" }
 ceno_emul = { path = "../ceno_emul" }
 ceno_host = { path = "../ceno_host" }
 either.workspace = true
-ff_ext = { path = "../ff_ext" }
+ff_ext.workspace = true
 gkr_iop = { path = "../gkr_iop" }
-mpcs = { path = "../mpcs" }
-multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+mpcs.workspace = true
+multilinear_extensions.workspace = true
 p3.workspace = true
 rayon.workspace = true
 serde.workspace = true
 serde_json.workspace = true
 sumcheck.workspace = true
-transcript = { path = "../transcript" }
-witness = { path = "../witness" }
+transcript.workspace = true
+whir.workspace = true
+witness.workspace = true
 
 itertools.workspace = true
 ndarray.workspace = true
@@ -59,7 +60,7 @@ ceno-examples = { path = "../examples-builder" }
 glob = "0.3"
 
 [features]
-default = ["forbid_overflow", "nightly-features", "u16limb_circuit"]
+default = ["forbid_overflow", "nightly-features", "u16limb_circuit", "parallel"]
 flamegraph = ["pprof2/flamegraph", "pprof2/criterion"]
 forbid_overflow = []
 goldilocks = ["forbid_overflow", "nightly-features"]
@@ -74,6 +75,7 @@ nightly-features = [
   "transcript/nightly-features",
   "witness/nightly-features",
 ]
+parallel = ["whir/parallel", "p3/parallel", "multilinear_extensions/parallel", "mpcs/parallel"]
 sanity-check = ["mpcs/sanity-check"]
 u16limb_circuit = ["ceno_emul/u16limb_circuit"]