First interleave draft

Author: Kunming Jiang

Cargo.lock

@@ -13,6 +13,8 @@ members = [
   "sumcheck",
   "transcript",
   "whir",
+  "witness",
+  "p3",
 ]
 resolver = "2"
 
@@ -35,13 +37,16 @@ itertools = "0.13"
 num-bigint = { version = "0.4.6" }
 num-derive = "0.4"
 num-traits = "0.2"
-p3-challenger = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-field = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-goldilocks = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-mds = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-poseidon = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-poseidon2 = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
-p3-symmetric = { git = "https://github.com/scroll-tech/plonky3", rev = "8d2be81" }
+p3-baby-bear = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-challenger = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-field = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-goldilocks = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-matrix = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-maybe-rayon = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-mds = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-poseidon = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-poseidon2 = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
+p3-symmetric = { git = "https://github.com/scroll-tech/plonky3", rev = "20c3cb9" }
 paste = "1"
 plonky2 = "0.2"
 poseidon = { path = "./poseidon" }

Cargo.toml

@@ -10,5 +10,5 @@ repository = "https://github.com/scroll-tech/ceno"
 version = "0.1.0"
 
 [dependencies]
-getrandom = { version = "*", features = ["custom"], default-features = false }
+getrandom = { version = "0.2.15", features = ["custom"], default-features = false }
 rkyv = { version = "0.8", features = ["pointer_width_32"] }

ceno_rt/Cargo.toml

@@ -21,14 +21,13 @@ ceno_emul = { path = "../ceno_emul" }
 ff_ext = { path = "../ff_ext" }
 mpcs = { path = "../mpcs" }
 multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+p3 = { path = "../p3" }
 sumcheck = { version = "0", path = "../sumcheck" }
 transcript = { path = "../transcript" }
+witness = { path = "../witness" }
 
 itertools.workspace = true
 num-traits.workspace = true
-p3-field.workspace = true
-p3-goldilocks.workspace = true
-p3-mds.workspace = true
 paste.workspace = true
 poseidon.workspace = true
 prettytable-rs.workspace = true