diff --git a/Cargo.lock b/Cargo.lock
index f7d680a58..bb6111dd8 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -112,60 +112,6 @@ version = "1.0.89"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "86fdf8605db99b54d3cd748a44c6d04df638eb5dafb219b135d0149bd0db01f6"
 
-[[package]]
-name = "ark-ff"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ec847af850f44ad29048935519032c33da8aa03340876d351dfab5660d2966ba"
-dependencies = [
- "ark-ff-asm",
- "ark-ff-macros",
- "ark-serialize",
- "ark-std",
- "derivative",
- "digest",
- "itertools 0.10.5",
- "num-bigint",
- "num-traits",
- "paste",
- "rustc_version",
- "zeroize",
-]
-
-[[package]]
-name = "ark-ff-asm"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3ed4aa4fe255d0bc6d79373f7e31d2ea147bcf486cba1be5ba7ea85abdb92348"
-dependencies = [
- "quote",
- "syn 1.0.109",
-]
-
-[[package]]
-name = "ark-ff-macros"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7abe79b0e4288889c4574159ab790824d0033b9fdcb2a112a3182fac2e514565"
-dependencies = [
- "num-bigint",
- "num-traits",
- "proc-macro2",
- "quote",
- "syn 1.0.109",
-]
-
-[[package]]
-name = "ark-serialize"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "adb7b85a02b83d2f22f89bd5cac66c9c89474240cb6207cb1efc16d098e822a5"
-dependencies = [
- "ark-std",
- "digest",
- "num-bigint",
-]
-
 [[package]]
 name = "ark-std"
 version = "0.4.0"
@@ -277,9 +223,9 @@ checksum = "79296716171880943b8470b5f8d03aa55eb2e645a4874bdbb28adb49162e012c"
 
 [[package]]
 name = "bytemuck"
-version = "1.18.0"
+version = "1.19.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "94bbb0ad554ad961ddc5da507a12a29b14e4ae5bda06b19f575a3e6079d2e2ae"
+checksum = "8334215b81e418a0a7bdb8ef0849474f40bb10c8b71f1c4ed315cff49f32494d"
 
 [[package]]
 name = "byteorder"
@@ -295,9 +241,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5"
 
 [[package]]
 name = "cc"
-version = "1.1.28"
+version = "1.1.30"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2e80e3b6a3ab07840e1cae9b0666a63970dc28e8ed5ffbcdacbfc760c281bfc1"
+checksum = "b16803a61b81d9eabb7eae2588776c4c1e584b738ede45fdbb4c972cec1e9945"
 dependencies = [
  "shlex",
 ]
@@ -313,8 +259,8 @@ dependencies = [
  "anyhow",
  "ceno-examples",
  "elf",
- "strum 0.25.0",
- "strum_macros 0.25.3",
+ "strum",
+ "strum_macros",
  "tracing",
 ]
 
@@ -342,7 +288,7 @@ dependencies = [
  "generic_static",
  "glob",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "mpcs",
  "multilinear_extensions",
  "paste",
@@ -352,8 +298,8 @@ dependencies = [
  "rayon",
  "serde",
  "serde_json",
- "strum 0.25.0",
- "strum_macros 0.25.3",
+ "strum",
+ "strum_macros",
  "sumcheck",
  "tempfile",
  "thread_local",
@@ -434,7 +380,7 @@ version = "4.5.18"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4ac6a0c7b1a9e9a5186361f67dfa1b88213572f427fb9ab038efb2bd8c582dab"
 dependencies = [
- "heck 0.5.0",
+ "heck",
  "proc-macro2",
  "quote",
  "syn 2.0.79",
@@ -564,9 +510,9 @@ dependencies = [
 
 [[package]]
 name = "critical-section"
-version = "1.1.3"
+version = "1.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f64009896348fc5af4222e9cf7d7d82a95a256c634ebcf61c53e4ea461422242"
+checksum = "790eea4361631c5e7d22598ecd5723ff611904e3344ce8720784c93e3d83d40b"
 
 [[package]]
 name = "crossbeam-channel"
@@ -621,7 +567,8 @@ dependencies = [
 [[package]]
 name = "ctr"
 version = "0.9.2"
-source = "git+https://github.com/RustCrypto/block-modes?rev=78fefba#78fefba5a80f3d788fd8ba7c4483625148f5dc18"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0369ee1ad671834580515889b80f2ea915f23b8be8d0daa4bbaf2ac5c7590835"
 dependencies = [
  "cipher",
 ]
@@ -635,17 +582,6 @@ dependencies = [
  "uuid",
 ]
 
-[[package]]
-name = "derivative"
-version = "2.2.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 1.0.109",
-]
-
 [[package]]
 name = "digest"
 version = "0.10.7"
@@ -819,7 +755,7 @@ dependencies = [
  "ff",
  "ff_ext",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "multilinear_extensions",
  "pprof",
  "rayon",
@@ -843,7 +779,7 @@ dependencies = [
  "ff_ext",
  "gkr",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "multilinear_extensions",
  "simple-frontend",
  "sumcheck",
@@ -862,7 +798,7 @@ version = "0.1.0"
 source = "git+https://github.com/hero78119/Goldilocks#7798793666c1205d50fc80b32b23a4430fce31e5"
 dependencies = [
  "ff",
- "halo2curves 0.1.0",
+ "halo2curves",
  "itertools 0.12.1",
  "rand_core",
  "serde",
@@ -910,25 +846,6 @@ dependencies = [
  "subtle",
 ]
 
-[[package]]
-name = "halo2curves"
-version = "0.3.3"
-source = "git+https://github.com/privacy-scaling-explorations/halo2curves?tag=0.3.3#8e4cb9f0c66c864e8ca25da07f50ae95f664a5b7"
-dependencies = [
- "ff",
- "group",
- "lazy_static",
- "num-bigint",
- "num-traits",
- "pasta_curves",
- "paste",
- "rand",
- "rand_core",
- "serde",
- "static_assertions",
- "subtle",
-]
-
 [[package]]
 name = "hashbrown"
 version = "0.14.5"
@@ -946,12 +863,6 @@ version = "0.15.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1e087f84d4f86bf4b218b927129862374b72199ae7d8657835f1e89000eea4fb"
 
-[[package]]
-name = "heck"
-version = "0.4.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8"
-
 [[package]]
 name = "heck"
 version = "0.5.0"
@@ -1057,6 +968,15 @@ dependencies = [
  "either",
 ]
 
+[[package]]
+name = "itertools"
+version = "0.13.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
+dependencies = [
+ "either",
+]
+
 [[package]]
 name = "itoa"
 version = "1.0.11"
@@ -1065,9 +985,9 @@ checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b"
 
 [[package]]
 name = "js-sys"
-version = "0.3.71"
+version = "0.3.72"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0cb94a0ffd3f3ee755c20f7d8752f45cac88605a4dcf808abcff72873296ec7b"
+checksum = "6a88f1bda2bd75b0452a14784937d796722fdebfe50df998aeb3f0b7603019a9"
 dependencies = [
  "wasm-bindgen",
 ]
@@ -1102,9 +1022,9 @@ dependencies = [
 
 [[package]]
 name = "libc"
-version = "0.2.159"
+version = "0.2.161"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "561d97a539a36e26a9a5fad1ea11a3039a67714694aaa379433e580854bc3dc5"
+checksum = "8e9489c2807c139ffd9c1794f4af0ebe86a828db53ecdc7fea2111d0fed085d1"
 
 [[package]]
 name = "linux-raw-sys"
@@ -1177,8 +1097,7 @@ dependencies = [
  "generic-array",
  "gkr",
  "goldilocks",
- "halo2curves 0.3.3",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "multilinear_extensions",
  "num-bigint",
  "num-integer",
@@ -1203,7 +1122,7 @@ dependencies = [
  "ff",
  "ff_ext",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "log",
  "rayon",
  "serde",
@@ -1536,9 +1455,9 @@ dependencies = [
 
 [[package]]
 name = "proc-macro2"
-version = "1.0.87"
+version = "1.0.88"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b3e4daa0dcf6feba26f985457cdf104d4b4256fc5a09547140f3631bb076b19a"
+checksum = "7c3a7fc5db1e57d5a779a352c8cdb57b29aa4c40cc69c3a68a7fedc815fbf2f9"
 dependencies = [
  "unicode-ident",
 ]
@@ -1717,15 +1636,6 @@ version = "0.1.24"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "719b953e2095829ee67db738b3bfa9fa368c94900df327b3f07fe6e794d2fe1f"
 
-[[package]]
-name = "rustc_version"
-version = "0.4.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"
-dependencies = [
- "semver",
-]
-
 [[package]]
 name = "rustix"
 version = "0.38.37"
@@ -1741,9 +1651,9 @@ dependencies = [
 
 [[package]]
 name = "rustversion"
-version = "1.0.17"
+version = "1.0.18"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "955d28af4278de8121b7ebeb796b6a45735dc01436d898801014aced2773a3d6"
+checksum = "0e819f2bc632f285be6d7cd36e25940d45b2391dd6d9b939e79de557f7014248"
 
 [[package]]
 name = "ryu"
@@ -1766,12 +1676,6 @@ version = "1.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
 
-[[package]]
-name = "semver"
-version = "1.0.23"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "61697e0a1c7e512e84a621326239844a24d8207b4669b41bc18b32ea5cbf988b"
-
 [[package]]
 name = "serde"
 version = "1.0.210"
@@ -1837,7 +1741,7 @@ dependencies = [
  "ff",
  "ff_ext",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "rayon",
  "serde",
 ]
@@ -1855,7 +1759,7 @@ dependencies = [
  "gkr",
  "gkr-graph",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "mpcs",
  "multilinear_extensions",
  "paste",
@@ -1864,8 +1768,8 @@ dependencies = [
  "serde",
  "simple-frontend",
  "singer-utils",
- "strum 0.25.0",
- "strum_macros 0.25.3",
+ "strum",
+ "strum_macros",
  "tracing",
  "tracing-flame",
  "tracing-subscriber",
@@ -1882,11 +1786,11 @@ dependencies = [
  "gkr",
  "gkr-graph",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "multilinear_extensions",
  "simple-frontend",
- "strum 0.26.3",
- "strum_macros 0.26.4",
+ "strum",
+ "strum_macros",
  "sumcheck",
  "transcript",
 ]
@@ -1927,38 +1831,19 @@ version = "0.11.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"
 
-[[package]]
-name = "strum"
-version = "0.25.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "290d54ea6f91c969195bdbcd7442c8c2a2ba87da8bf60a7ee86a235d4bc1e125"
-
 [[package]]
 name = "strum"
 version = "0.26.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8fec0f0aef304996cf250b31b5a10dee7980c85da9d759361292b8bca5a18f06"
 
-[[package]]
-name = "strum_macros"
-version = "0.25.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "23dc1fa9ac9c169a78ba62f0b841814b7abae11bdd047b9c58f893439e309ea0"
-dependencies = [
- "heck 0.4.1",
- "proc-macro2",
- "quote",
- "rustversion",
- "syn 2.0.79",
-]
-
 [[package]]
 name = "strum_macros"
 version = "0.26.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4c6bee85a5a24955dc440386795aa378cd9cf82acd5f764469152d2270e581be"
 dependencies = [
- "heck 0.5.0",
+ "heck",
  "proc-macro2",
  "quote",
  "rustversion",
@@ -1975,7 +1860,6 @@ checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
 name = "sumcheck"
 version = "0.1.0"
 dependencies = [
- "ark-ff",
  "ark-std",
  "const_env",
  "criterion",
@@ -1983,12 +1867,13 @@ dependencies = [
  "ff",
  "ff_ext",
  "goldilocks",
- "itertools 0.12.1",
+ "itertools 0.13.0",
  "multilinear_extensions",
  "pprof",
  "rayon",
  "serde",
  "tracing",
+ "tracing-flame",
  "transcript",
 ]
 
@@ -2186,7 +2071,6 @@ dependencies = [
  "ff",
  "ff_ext",
  "goldilocks",
- "halo2curves 0.1.0",
  "poseidon",
  "rayon",
  "serde",
@@ -2234,9 +2118,9 @@ checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"
 
 [[package]]
 name = "uuid"
-version = "1.10.0"
+version = "1.11.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "81dfa00651efa65069b0b6b651f4aaa31ba9e3c3ce0137aaad053604ee7e0314"
+checksum = "f8c5f0a0af699448548ad1a2fbf920fb4bee257eae39953ba95cb84891a0446a"
 
 [[package]]
 name = "valuable"
@@ -2268,9 +2152,9 @@ checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
 
 [[package]]
 name = "wasm-bindgen"
-version = "0.2.94"
+version = "0.2.95"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ef073ced962d62984fb38a36e5fdc1a2b23c9e0e1fa0689bb97afa4202ef6887"
+checksum = "128d1e363af62632b8eb57219c8fd7877144af57558fb2ef0368d0087bddeb2e"
 dependencies = [
  "cfg-if",
  "once_cell",
@@ -2279,9 +2163,9 @@ dependencies = [
 
 [[package]]
 name = "wasm-bindgen-backend"
-version = "0.2.94"
+version = "0.2.95"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c4bfab14ef75323f4eb75fa52ee0a3fb59611977fd3240da19b2cf36ff85030e"
+checksum = "cb6dd4d3ca0ddffd1dd1c9c04f94b868c37ff5fac97c30b97cff2d74fce3a358"
 dependencies = [
  "bumpalo",
  "log",
@@ -2294,9 +2178,9 @@ dependencies = [
 
 [[package]]
 name = "wasm-bindgen-macro"
-version = "0.2.94"
+version = "0.2.95"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7bec9830f60924d9ceb3ef99d55c155be8afa76954edffbb5936ff4509474e7"
+checksum = "e79384be7f8f5a9dd5d7167216f022090cf1f9ec128e6e6a482a2cb5c5422c56"
 dependencies = [
  "quote",
  "wasm-bindgen-macro-support",
@@ -2304,9 +2188,9 @@ dependencies = [
 
 [[package]]
 name = "wasm-bindgen-macro-support"
-version = "0.2.94"
+version = "0.2.95"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4c74f6e152a76a2ad448e223b0fc0b6b5747649c3d769cc6bf45737bf97d0ed6"
+checksum = "26c6ab57572f7a24a4985830b120de1594465e5d500f24afe89e16b4e833ef68"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2317,15 +2201,15 @@ dependencies = [
 
 [[package]]
 name = "wasm-bindgen-shared"
-version = "0.2.94"
+version = "0.2.95"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a42f6c679374623f295a8623adfe63d9284091245c3504bde47c17a3ce2777d9"
+checksum = "65fc09f10666a9f147042251e0dda9c18f166ff7de300607007e96bdebc1068d"
 
 [[package]]
 name = "web-sys"
-version = "0.3.71"
+version = "0.3.72"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "44188d185b5bdcae1052d08bcbcf9091a5524038d4572cc4f4f2bb9d5554ddd9"
+checksum = "f6488b90108c040df0fe62fa815cbdee25124641df01814dd7282749234c6112"
 dependencies = [
  "js-sys",
  "wasm-bindgen",
@@ -2549,23 +2433,3 @@ dependencies = [
  "quote",
  "syn 2.0.79",
 ]
-
-[[package]]
-name = "zeroize"
-version = "1.8.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ced3678a2879b30306d323f4542626697a464a97c0a07c9aebf7ebca65cd4dde"
-dependencies = [
- "zeroize_derive",
-]
-
-[[package]]
-name = "zeroize_derive"
-version = "1.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce36e65b0d2999d2aafac989fb249189a141aee1f53c612c1f37d72631959f69"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.79",
-]
diff --git a/Cargo.toml b/Cargo.toml
index 6a33ae906..fc601342b 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -24,20 +24,33 @@ license = "MIT OR Apache-2.0"
 version = "0.1.0"
 
 [workspace.dependencies]
-ark-std = { version = "0.4" }
-# ark-std = { version = "0.4", features = ["print-trace"] }
-ark-poly = "0.4"
+ark-std = "0.4"
+cfg-if = "1.0"
+const_env = "0.1"
 criterion = { version = "0.5", features = ["html_reports"] }
+crossbeam-channel = "0.5"
 ff = "0.13"
 goldilocks = { git = "https://github.com/zhenfeizhang/Goldilocks" }
-halo2curves = "0.1.0"
+itertools = "0.13"
+paste = "1"
+plonky2 = "0.2"
 poseidon = { path = "./poseidon" }
-rand_chacha = { version = "0.3.1", features = ["serde1"] }
-rand_core = "0.6.4"
+pprof = { version = "0.13", features = ["flamegraph"] }
+rand = "0.8"
+rand_chacha = { version = "0.3", features = ["serde1"] }
+rand_core = "0.6"
 rand_xorshift = "0.3"
 rayon = "1.10"
 serde = { version = "1.0", features = ["derive"] }
-subtle = "2.6.1"
+serde_json = "1.0"
+strum = "0.26"
+strum_macros = "0.26"
+subtle = "2.6"
+tracing = { version = "0.1", features = [
+  "attributes",
+] }
+tracing-flame = "0.2"
+tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 
 [patch."https://github.com/zhenfeizhang/Goldilocks"]
 goldilocks = { git = "https://github.com/hero78119/Goldilocks" }
diff --git a/ceno_emul/Cargo.toml b/ceno_emul/Cargo.toml
index db805207f..4345ce65b 100644
--- a/ceno_emul/Cargo.toml
+++ b/ceno_emul/Cargo.toml
@@ -6,12 +6,10 @@ version.workspace = true
 
 [dependencies]
 anyhow = { version = "1.0", default-features = false }
-elf = { version = "0.7.4" }
-strum = "0.25.0"
-strum_macros = "0.25.3"
-tracing = { version = "0.1", default-features = false, features = [
-  "attributes",
-] }
+elf = "0.7"
+strum.workspace = true
+strum_macros.workspace = true
+tracing.workspace = true
 
 [dev-dependencies]
 ceno-examples = { path = "../examples-builder" }
diff --git a/ceno_rt/Cargo.toml b/ceno_rt/Cargo.toml
index a4f4b0c73..744be80d9 100644
--- a/ceno_rt/Cargo.toml
+++ b/ceno_rt/Cargo.toml
@@ -5,5 +5,5 @@ name = "ceno_rt"
 version.workspace = true
 
 [dependencies]
-riscv = "0.11.1"
-riscv-rt = "0.12.2"
+riscv = "0.11"
+riscv-rt = "0.12"
diff --git a/ceno_zkvm/Cargo.toml b/ceno_zkvm/Cargo.toml
index 16c81fe26..75ce2c2e7 100644
--- a/ceno_zkvm/Cargo.toml
+++ b/ceno_zkvm/Cargo.toml
@@ -15,31 +15,31 @@ serde.workspace = true
 ceno_emul = { path = "../ceno_emul" }
 ff_ext = { path = "../ff_ext" }
 mpcs = { path = "../mpcs" }
-multilinear_extensions = { version = "0.1.0", path = "../multilinear_extensions" }
-sumcheck = { version = "0.1.0", path = "../sumcheck" }
+multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+sumcheck = { version = "0", path = "../sumcheck" }
 transcript = { path = "../transcript" }
 
-itertools = "0.12.1"
-paste = "1.0.15"
-strum = "0.25.0"
-strum_macros = "0.25.3"
-tracing = "0.1.40"
-tracing-flame = "0.2.0"
-tracing-subscriber = { version = "0.3.18", features = ["env-filter"] }
+itertools.workspace = true
+paste.workspace = true
+strum.workspace = true
+strum_macros.workspace = true
+tracing.workspace = true
+tracing-flame.workspace = true
+tracing-subscriber.workspace = true
 
-clap = { version = "4.5.20", features = ["derive"] }
-generic_static = "0.2.0"
-rand = "0.8"
-tempfile = "3.13.0"
-thread_local = "1.1.8"
+clap = { version = "4.5", features = ["derive"] }
+generic_static = "0.2"
+rand.workspace = true
+tempfile = "3.13"
+thread_local = "1.1"
 
 [dev-dependencies]
-base64 = "0.22.1"
-cfg-if = "1.0.0"
-const_env = "0.1.2"
-criterion = { version = "0.5", features = ["html_reports"] }
-pprof = { version = "0.13", features = ["flamegraph"] }
-serde_json = "1.0.129"
+base64 = "0.22"
+cfg-if.workspace = true
+const_env.workspace = true
+criterion.workspace = true
+pprof.workspace = true
+serde_json.workspace = true
 
 [build-dependencies]
 glob = "0.3"
diff --git a/examples/Cargo.lock b/examples/Cargo.lock
index cab8ac8ef..5b2e6944d 100644
--- a/examples/Cargo.lock
+++ b/examples/Cargo.lock
@@ -12,9 +12,9 @@ dependencies = [
 
 [[package]]
 name = "critical-section"
-version = "1.1.3"
+version = "1.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f64009896348fc5af4222e9cf7d7d82a95a256c634ebcf61c53e4ea461422242"
+checksum = "790eea4361631c5e7d22598ecd5723ff611904e3344ce8720784c93e3d83d40b"
 
 [[package]]
 name = "embedded-hal"
@@ -31,9 +31,9 @@ dependencies = [
 
 [[package]]
 name = "proc-macro2"
-version = "1.0.87"
+version = "1.0.88"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b3e4daa0dcf6feba26f985457cdf104d4b4256fc5a09547140f3631bb076b19a"
+checksum = "7c3a7fc5db1e57d5a779a352c8cdb57b29aa4c40cc69c3a68a7fedc815fbf2f9"
 dependencies = [
  "unicode-ident",
 ]
diff --git a/gkr-graph/Cargo.toml b/gkr-graph/Cargo.toml
index 86a02c88b..a8dfbf8d7 100644
--- a/gkr-graph/Cargo.toml
+++ b/gkr-graph/Cargo.toml
@@ -10,8 +10,8 @@ ff.workspace = true
 ff_ext = { path = "../ff_ext" }
 gkr = { path = "../gkr", features = ["parallel"] }
 goldilocks.workspace = true
-itertools = "0.12.1"
-multilinear_extensions = { version = "0.1.0", path = "../multilinear_extensions" }
-simple-frontend = { version = "0.1.0", path = "../simple-frontend" }
-sumcheck = { version = "0.1.0", path = "../sumcheck" }
-transcript = { version = "0.1.0", path = "../transcript" }
+itertools.workspace = true
+multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+simple-frontend = { version = "0", path = "../simple-frontend" }
+sumcheck = { version = "0", path = "../sumcheck" }
+transcript = { version = "0", path = "../transcript" }
diff --git a/gkr/Cargo.toml b/gkr/Cargo.toml
index a86a5bd82..702791bd0 100644
--- a/gkr/Cargo.toml
+++ b/gkr/Cargo.toml
@@ -9,26 +9,26 @@ ark-std.workspace = true
 ff.workspace = true
 goldilocks.workspace = true
 
-const_env = "0.1.2"
-crossbeam-channel = "0.5.13"
+const_env.workspace = true
+crossbeam-channel.workspace = true
 ff_ext = { path = "../ff_ext" }
-itertools = "0.12.1"
+itertools.workspace = true
 multilinear_extensions = { path = "../multilinear_extensions" }
 rayon.workspace = true
 serde.workspace = true
-serde_json = "1.0.129"
+serde_json.workspace = true
 simple-frontend = { path = "../simple-frontend" }
 sumcheck = { path = "../sumcheck" }
-tracing = "0.1.40"
-tracing-flame = "0.2.0"
-tracing-subscriber = { version = "0.3.18", features = ["env-filter"] }
+tracing.workspace = true
+tracing-flame.workspace = true
+tracing-subscriber.workspace = true
 transcript = { path = "../transcript" }
 
 [dev-dependencies]
-cfg-if = "1.0.0"
-criterion = { version = "0.5", features = ["html_reports"] }
-pprof = { version = "0.13", features = ["flamegraph"] }
-tiny-keccak = { version = "2.0.2", features = ["keccak"] }
+cfg-if.workspace = true
+criterion.workspace = true
+pprof.workspace = true
+tiny-keccak = { version = "2.0", features = ["keccak"] }
 
 [features]
 default = []
diff --git a/mpcs/Cargo.toml b/mpcs/Cargo.toml
index f4f966cdc..1bac310d2 100644
--- a/mpcs/Cargo.toml
+++ b/mpcs/Cargo.toml
@@ -6,33 +6,31 @@ version.workspace = true
 
 [dependencies]
 aes = "0.8"
-ark-std = { version = "0.4" }
-bitvec = "1.0.1"
-blake2 = { version = "0.10.6" }
-blake2b_simd = "1.0.2"
-ctr = { git = "https://github.com/RustCrypto/block-modes", rev = "78fefba" }
+ark-std.workspace = true
+bitvec = "1.0"
+blake2 = "0.10"
+blake2b_simd = "1.0"
+ctr = "0.9"
 ff.workspace = true
 ff_ext = { path = "../ff_ext" }
-generic-array = { version = "0.14.7", features = ["serde"] }
+# TODO: move to version 1, once our dependencies are updated
+generic-array = { version = "0.14", features = ["serde"] }
 goldilocks.workspace = true
-halo2_curves = { git = "https://github.com/privacy-scaling-explorations/halo2curves", tag = "0.3.3", package = "halo2curves", features = [
-  "derive_serde",
-] }
-itertools = "0.12.1"
+itertools.workspace = true
 multilinear_extensions = { path = "../multilinear_extensions" }
-num-bigint = "0.4.6"
-num-integer = "0.1.46"
-plonky2 = "0.2.2"
+num-bigint = "0.4"
+num-integer = "0.1"
+plonky2.workspace = true
 poseidon.workspace = true
-rand = "0.8"
+rand.workspace = true
 rand_chacha.workspace = true
-rayon = { version = "1.10.0", optional = true }
+rayon = { workspace = true, optional = true }
 serde.workspace = true
-sha3 = "0.10.8"
+sha3 = "0.10"
 transcript = { path = "../transcript" }
 
 [dev-dependencies]
-criterion = { version = "0.5", features = ["html_reports"] }
+criterion.workspace = true
 gkr = { path = "../gkr" }
 simple-frontend = { path = "../simple-frontend" }
 
diff --git a/multilinear_extensions/Cargo.toml b/multilinear_extensions/Cargo.toml
index 8216aa0a6..3f659c76e 100644
--- a/multilinear_extensions/Cargo.toml
+++ b/multilinear_extensions/Cargo.toml
@@ -9,15 +9,15 @@ ark-std.workspace = true
 ff.workspace = true
 ff_ext = { path = "../ff_ext" }
 goldilocks.workspace = true
-itertools = "0.12.1"
+itertools.workspace = true
 rayon.workspace = true
 serde.workspace = true
-tracing = "0.1.40"
-tracing-flame = "0.2.0"
-tracing-subscriber = { version = "0.3.18", features = ["env-filter"] }
+tracing.workspace = true
+tracing-flame.workspace = true
+tracing-subscriber.workspace = true
 
 [dev-dependencies]
-criterion = { version = "0.5", features = ["html_reports"] }
+criterion.workspace = true
 env_logger = "0.11"
 log = "0.4"
 
diff --git a/poseidon/Cargo.toml b/poseidon/Cargo.toml
index 8f48e5be4..489f4efc1 100644
--- a/poseidon/Cargo.toml
+++ b/poseidon/Cargo.toml
@@ -9,12 +9,12 @@ criterion.workspace = true
 ff.workspace = true
 goldilocks.workspace = true
 serde.workspace = true
-unroll = "0.1.5"
+unroll = "0.1"
 
 [dev-dependencies]
 ark-std.workspace = true
-plonky2 = "0.2.2"
-rand = "0.8.5"
+plonky2.workspace = true
+rand.workspace = true
 
 [[bench]]
 harness = false
diff --git a/simple-frontend/Cargo.toml b/simple-frontend/Cargo.toml
index f56c18d57..f91166644 100644
--- a/simple-frontend/Cargo.toml
+++ b/simple-frontend/Cargo.toml
@@ -10,6 +10,6 @@ ark-std.workspace = true
 ff.workspace = true
 ff_ext = { path = "../ff_ext" }
 goldilocks.workspace = true
-itertools = "0.12.1"
+itertools.workspace = true
 rayon.workspace = true
 serde.workspace = true
diff --git a/singer-utils/Cargo.toml b/singer-utils/Cargo.toml
index 9352a53bc..e679b06ef 100644
--- a/singer-utils/Cargo.toml
+++ b/singer-utils/Cargo.toml
@@ -11,11 +11,11 @@ ff_ext = { path = "../ff_ext" }
 goldilocks.workspace = true
 
 gkr = { path = "../gkr", features = ["parallel"] }
-gkr-graph = { version = "0.1.0", path = "../gkr-graph" }
-itertools = "0.12.1"
+gkr-graph = { version = "0", path = "../gkr-graph" }
+itertools.workspace = true
 multilinear_extensions = { path = "../multilinear_extensions", features = ["parallel"] }
-simple-frontend = { version = "0.1.0", path = "../simple-frontend" }
-strum = "0.26.3"
-strum_macros = "0.26.4"
-sumcheck = { version = "0.1.0", path = "../sumcheck" }
-transcript = { version = "0.1.0", path = "../transcript" }
+simple-frontend = { version = "0", path = "../simple-frontend" }
+strum.workspace = true
+strum_macros.workspace = true
+sumcheck = { version = "0", path = "../sumcheck" }
+transcript = { version = "0", path = "../transcript" }
diff --git a/singer/Cargo.toml b/singer/Cargo.toml
index f8fb56330..b9ab3bc95 100644
--- a/singer/Cargo.toml
+++ b/singer/Cargo.toml
@@ -13,26 +13,26 @@ serde.workspace = true
 
 ff_ext = { path = "../ff_ext" }
 gkr = { path = "../gkr", features = ["parallel"] }
-gkr-graph = { version = "0.1.0", path = "../gkr-graph" }
+gkr-graph = { version = "0", path = "../gkr-graph" }
 mpcs = { path = "../mpcs" }
-multilinear_extensions = { version = "0.1.0", path = "../multilinear_extensions" }
-simple-frontend = { version = "0.1.0", path = "../simple-frontend" }
-singer-utils = { version = "0.1.0", path = "../singer-utils" }
+multilinear_extensions = { version = "0", path = "../multilinear_extensions" }
+simple-frontend = { version = "0", path = "../simple-frontend" }
+singer-utils = { version = "0", path = "../singer-utils" }
 transcript = { path = "../transcript" }
 
-itertools = "0.12.1"
-paste = "1.0.15"
-strum = "0.25.0"
-strum_macros = "0.25.3"
-tracing = "0.1.40"
-tracing-flame = "0.2.0"
-tracing-subscriber = { version = "0.3.18", features = ["env-filter"] }
+itertools.workspace = true
+paste.workspace = true
+strum.workspace = true
+strum_macros.workspace = true
+tracing-flame.workspace = true
+tracing-subscriber.workspace = true
 
 [dev-dependencies]
-cfg-if = "1.0.0"
-const_env = "0.1.2"
-criterion = { version = "0.5", features = ["html_reports"] }
-pprof = { version = "0.13", features = ["flamegraph"] }
+cfg-if.workspace = true
+const_env.workspace = true
+criterion.workspace = true
+pprof.workspace = true
+tracing.workspace = true
 
 [features]
 dbg-add-opcode = []
diff --git a/sumcheck/Cargo.toml b/sumcheck/Cargo.toml
index 38759703a..b9ec5b0a3 100644
--- a/sumcheck/Cargo.toml
+++ b/sumcheck/Cargo.toml
@@ -5,24 +5,24 @@ name = "sumcheck"
 version.workspace = true
 
 [dependencies]
-ark-ff = "0.4.2"
 ark-std.workspace = true
-const_env = "0.1.2"
+const_env.workspace = true
 ff.workspace = true
 ff_ext = { path = "../ff_ext" }
 goldilocks.workspace = true
-itertools = "0.12.1"
+itertools.workspace = true
 rayon.workspace = true
 serde.workspace = true
-tracing = "0.1.40"
+tracing.workspace = true
+tracing-flame.workspace = true
 
-crossbeam-channel = "0.5.13"
+crossbeam-channel.workspace = true
 multilinear_extensions = { path = "../multilinear_extensions", features = ["parallel"] }
 transcript = { path = "../transcript" }
 
 [dev-dependencies]
-criterion = { version = "0.5", features = ["html_reports"] }
-pprof = { version = "0.13", features = ["flamegraph"] }
+criterion.workspace = true
+pprof.workspace = true
 
 [[bench]]
 harness = false
diff --git a/transcript/Cargo.toml b/transcript/Cargo.toml
index c05cc3b20..3b4a79d8c 100644
--- a/transcript/Cargo.toml
+++ b/transcript/Cargo.toml
@@ -6,11 +6,10 @@ version.workspace = true
 
 [dependencies]
 ark-std.workspace = true
-crossbeam-channel = "0.5.13"
+crossbeam-channel.workspace = true
 ff.workspace = true
 ff_ext = { path = "../ff_ext" }
 goldilocks.workspace = true
-halo2curves.workspace = true
 poseidon.workspace = true
 rayon.workspace = true
 serde.workspace = true