chore: generate proof and verifier for sub machine

0xEigenLabs · Jul 28, 2024 · 25aca7d · 25aca7d
1 parent cde13a1
commit 25aca7d
Show file tree

Hide file tree

Showing 4 changed files with 165 additions and 79 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/recursion/Cargo.toml b/recursion/Cargo.toml
@@ -30,15 +30,15 @@ fields = { path = "../fields", default-features = false }
 starky = { path = "../starky", default-features = false }
 algebraic = { path = "../algebraic", default-features = false }
 
-#powdr =              { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
-#powdr-ast =          { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
-#powdr-pil-analyzer = { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
-#powdr-parser-util  = { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
+powdr =              { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
+powdr-ast =          { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
+powdr-pil-analyzer = { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
+powdr-parser-util  = { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
 
-powdr =              { path = "../../powdr/powdr", default-features = false }
-powdr-ast =          { path = "../../powdr/ast", default-features = false }
-powdr-pil-analyzer = { path = "../../powdr/pil-analyzer", default-features = false }
-powdr-parser-util  = { path = "../../powdr/parser-util", default-features = false }
+#powdr =              { path = "../../powdr/powdr", default-features = false }
+#powdr-ast =          { path = "../../powdr/ast", default-features = false }
+#powdr-pil-analyzer = { path = "../../powdr/pil-analyzer", default-features = false }
+#powdr-parser-util  = { path = "../../powdr/parser-util", default-features = false }
 
 [dev-dependencies]
 env_logger = "0.10"

diff --git a/zkvm/Cargo.toml b/zkvm/Cargo.toml
@@ -10,15 +10,16 @@ itertools = "0.12.0"
 # serialization
 log = "0.4.0"
 
-#powdr =         { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
-powdr =              { path = "../../powdr/powdr", default-features = false }
+powdr =         { git = "https://github.com/0xEigenLabs/powdr", branch = "eigen/v1", default-features = false }
+#powdr =              { path = "../../powdr/powdr", default-features = false }
 starky =         { path = "../starky" }
 recursion =  { path = "../recursion" }
 
 hex = "0.4.3"
 thiserror = "1.0"
 serde_json = "1.0.108"
 anyhow = "1.0.79"
+bincode = "1.3.3"
 
 [dev-dependencies]
 env_logger = "0.10"