Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kevaundray merged 4 commits into from
Mar 8, 2023
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
49afe08
feat: Add Noir DSL with acir_format and turbo_proofs namespaces
kevaundray Feb 17, 2023
9c67dfe
chore: Upstream changes to fix proving key serialization in turbo_pro…
vezenovm Mar 7, 2023
b0c744c
replace commented out code
kevaundray Mar 7, 2023
85b8616
Trigger CI
kevaundray Mar 7, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions cpp/src/aztec/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down Expand Up @@ -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.
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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>
)

Expand Down
2 changes: 2 additions & 0 deletions cpp/src/aztec/dsl/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
add_subdirectory(acir_format)
add_subdirectory(turbo_proofs)
11 changes: 11 additions & 0 deletions cpp/src/aztec/dsl/acir_format/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
barretenberg_module(
acir_format
plonk
stdlib_primitives
stdlib_sha256
stdlib_blake2s
stdlib_pedersen
stdlib_merkle_tree
stdlib_schnorr
crypto_sha256
)
Loading