feat: Add Noir DSL with acir_format and turbo_proofs namespaces (#198)

* feat: Add Noir DSL with acir_format and turbo_proofs namespaces * chore: Upstream changes to fix proving key serialization in turbo_proofs (#204) --------- Co-authored-by: kevaundray <[email protected]> Co-authored-by: Maxim Vezenov <[email protected]>
AztecProtocol · Mar 8, 2023 · 54fab22 · 54fab22
1 parent 0171a49
commit 54fab22
Show file tree

Hide file tree

Showing 31 changed files with 1,664 additions and 0 deletions.
diff --git a/cpp/src/aztec/CMakeLists.txt b/cpp/src/aztec/CMakeLists.txt
@@ -51,6 +51,7 @@ add_subdirectory(honk)
 add_subdirectory(plonk)
 add_subdirectory(stdlib)
 add_subdirectory(join_split_example)
+add_subdirectory(dsl)
 
 if(BENCHMARKS)
     add_subdirectory(benchmark)
@@ -83,6 +84,8 @@ if(WASM)
         $<TARGET_OBJECTS:stdlib_pedersen_objects>
         $<TARGET_OBJECTS:stdlib_blake2s_objects>
         $<TARGET_OBJECTS:stdlib_blake3s_objects>
+        $<TARGET_OBJECTS:acir_format_objects>
+        $<TARGET_OBJECTS:turbo_proofs_objects>
     )
 
     # With binaryen installed, it seems its wasm backend optimiser gets invoked automatically.
@@ -138,6 +141,8 @@ if(WASM)
         $<TARGET_OBJECTS:stdlib_sha256_objects>
         $<TARGET_OBJECTS:stdlib_aes128_objects>
         $<TARGET_OBJECTS:stdlib_merkle_tree_objects>
+        $<TARGET_OBJECTS:acir_format_objects>
+        $<TARGET_OBJECTS:turbo_proofs_objects>
     )
 else()
     # For use when compiling dependent cpp projects
@@ -165,6 +170,8 @@ else()
         $<TARGET_OBJECTS:stdlib_sha256_objects>
         $<TARGET_OBJECTS:stdlib_aes128_objects>
         $<TARGET_OBJECTS:stdlib_merkle_tree_objects>
+        $<TARGET_OBJECTS:acir_format_objects>
+        $<TARGET_OBJECTS:turbo_proofs_objects>
         $<TARGET_OBJECTS:env_objects>
     )
 

diff --git a/cpp/src/aztec/dsl/CMakeLists.txt b/cpp/src/aztec/dsl/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_subdirectory(acir_format)
+add_subdirectory(turbo_proofs)
diff --git a/cpp/src/aztec/dsl/acir_format/CMakeLists.txt b/cpp/src/aztec/dsl/acir_format/CMakeLists.txt
@@ -0,0 +1,11 @@
+barretenberg_module(
+    acir_format
+    plonk
+    stdlib_primitives
+    stdlib_sha256
+    stdlib_blake2s
+    stdlib_pedersen
+    stdlib_merkle_tree
+    stdlib_schnorr
+    crypto_sha256
+)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		add_subdirectory(acir_format)
		add_subdirectory(turbo_proofs)