Zkcuda

Cargo.toml

@@ -1,6 +1,11 @@
 [workspace]
 resolver = "2"
-members = [ "circuit-std-rs","expander_compiler", "expander_compiler/ec_go_lib"]
+members = [
+    "circuit-std-rs",
+    "expander_compiler",
+    "expander_compiler/ec_go_lib",
+    "expander_compiler/macros"
+]
 
 [profile.test]
 opt-level = 3
@@ -24,9 +29,11 @@ mpi_config = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
 gkr_field_config = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
 expander_config = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev", package = "config" }
 expander_circuit = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev", package = "circuit" }
+expander_transcript = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev", package = "transcript" }
 gkr = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
 gf2 = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
 mersenne31 = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
-expander_transcript = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev", package = "transcript" }
 crosslayer_prototype = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev"}
-
+poly_commit = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev", package = "poly_commit" }
+polynomials = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }
+sumcheck = { git = "https://github.com/PolyhedraZK/Expander", branch = "dev" }

expander_compiler/Cargo.toml

@@ -21,7 +21,11 @@ gkr.workspace = true
 arith.workspace = true
 gf2.workspace = true
 mersenne31.workspace = true
+macros = {path = "./macros" }
 crosslayer_prototype.workspace = true
+poly_commit.workspace = true
+polynomials.workspace = true
+sumcheck.workspace = true
 
 [dev-dependencies]
 rayon = "1.9"

expander_compiler/macros/Cargo.toml

@@ -0,0 +1,12 @@
+[package]
+name = "macros"
+version = "0.1.0"
+edition = "2021"
+
+[lib]
+proc-macro = true
+
+[dependencies]
+syn = "2.0"
+quote = "1.0"
+proc-macro2 = "1.0"