workspace tooling overhaul

.gitignore

@@ -1,7 +1,6 @@
 target
 
-### next line: for us Vim users ;-)
+# editors
 .*.swp
 
-### next line: for our public-parameters files
-*/nexus-public.zst
+.config.env

Cargo.toml

@@ -6,6 +6,8 @@ members = [
     "riscv",
     "vm",
     "tools",
+    "tools/tools-dev",
+    "config",
     "prover",
     "network",
     "supernova",

config/Cargo.toml

@@ -0,0 +1,20 @@
+[package]
+name = "nexus-config"
+authors = { workspace = true }
+version = { workspace = true }
+edition = { workspace = true }
+homepage = { workspace = true }
+repository = { workspace = true }
+publish = { workspace = true }
+keywords = { workspace = true }
+categories = { workspace = true }
+
+[dependencies]
+serde = { version = "1.0", features = ["derive"] }
+config = { version = "0.13.4", default-features = false }
+dotenvy = { version = "0.15.7" }
+
+clap = { workspace = true, optional = true } 
+
+[features]
+clap_derive = ["clap"]

config/bases/network.toml

@@ -0,0 +1,3 @@
+[network.api]
+http_url = "127.0.0.1"
+http_port = 8080

config/bases/vm.toml

@@ -0,0 +1,3 @@
+[vm]
+k = 1             # number of NexusVM instructions proved per Nova folding step.
+nova_impl = "par" # IVC implementation to be used, should be one of "seq" (sequential), "par" (parallel).