Merge pull request #1246 from Zokrates/assembly-tweaks

Assembly blocks

.circleci/config.yml

@@ -96,7 +96,7 @@ jobs:
   zokrates_js_build:
     docker:
       - image: zokrates/env:latest
-    resource_class: large
+    resource_class: xlarge
     working_directory: ~/project/zokrates_js
     steps:
       - checkout:
@@ -111,7 +111,7 @@ jobs:
   zokrates_js_test:
     docker:
       - image: zokrates/env:latest
-    resource_class: large
+    resource_class: xlarge
     working_directory: ~/project/zokrates_js
     steps:
       - checkout:

Cargo.toml

@@ -6,6 +6,8 @@ members = [
     "zokrates_cli",
     "zokrates_fs_resolver",
     "zokrates_stdlib",
+    "zokrates_codegen",
+    "zokrates_analysis",
     "zokrates_embed",
     "zokrates_abi",
     "zokrates_test",

changelogs/unreleased/1246-dark64

@@ -0,0 +1 @@
+Introduce constraint generation through assembly blocks

zokrates_analysis/Cargo.toml

@@ -0,0 +1,31 @@
+[package]
+name = "zokrates_analysis"
+version = "0.1.0"
+edition = "2021"
+
+[features]
+default = ["ark", "bellman"]
+ark = ["zokrates_ast/ark", "zokrates_embed/ark", "zokrates_common/ark"]
+bellman = ["zokrates_ast/bellman", "zokrates_embed/bellman", "zokrates_common/bellman"]
+
+[dependencies]
+log = "0.4"
+cfg-if = "0.1"
+num = { version = "0.1.36", default-features = false }
+num-bigint = { version = "0.2", default-features = false }
+lazy_static = "1.4"
+typed-arena = "1.4.1"
+reduce = "0.1.1"
+# serialization and deserialization
+serde = { version = "1.0", features = ["derive"] }
+serde_json = { version = "1.0", features = ["preserve_order"] }
+zokrates_field = { version = "0.5.0", path = "../zokrates_field", default-features = false }
+zokrates_pest_ast = { version = "0.3.0", path = "../zokrates_pest_ast" }
+zokrates_common = { version = "0.1", path = "../zokrates_common", default-features = false }
+zokrates_embed = { version = "0.1.0", path = "../zokrates_embed", default-features = false }
+zokrates_ast = { version = "0.1", path = "../zokrates_ast", default-features = false }
+csv = "1"
+
+[dev-dependencies]
+pretty_assertions = "0.6.1"
+zokrates_fs_resolver = { version = "0.5", path = "../zokrates_fs_resolver"}