refactor(bolt): compile Jolt verifier through typed plans

Cargo.toml

@@ -41,6 +41,7 @@ members = [
   "crates/jolt-prover",
   "crates/jolt-verifier",
   "crates/jolt-equivalence",
+  "crates/bolt-verifier-runtime",
   "crates/jolt-profiling",
   "crates/jolt-field",
   "jolt-core",
@@ -393,6 +394,7 @@ jolt-sumcheck = { path = "./crates/jolt-sumcheck" }
 jolt-r1cs = { path = "./crates/jolt-r1cs" }
 jolt-witness = { path = "./crates/jolt-witness" }
 bolt = { path = "./crates/bolt" }
+bolt-verifier-runtime = { path = "./crates/bolt-verifier-runtime" }
 jolt-kernels = { path = "./crates/jolt-kernels" }
 jolt-prover = { path = "./crates/jolt-prover" }
 jolt-verifier = { path = "./crates/jolt-verifier" }

crates/bolt-verifier-runtime/Cargo.toml

@@ -0,0 +1,17 @@
+[package]
+name = "bolt-verifier-runtime"
+version = "0.1.0"
+edition = "2021"
+license = "MIT OR Apache-2.0"
+description = "Protocol-generic runtime helpers for Bolt-generated verifier crates"
+repository = "https://github.com/a16z/jolt"
+
+[lints]
+workspace = true
+
+[dependencies]
+jolt-field.workspace = true
+jolt-poly.workspace = true
+jolt-sumcheck.workspace = true
+jolt-transcript.workspace = true
+serde.workspace = true