Skip to content
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

Jump to bottom

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

Merged
merged 4 commits into from
Mar 8, 2023
Merged

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

merged 4 commits into from
Mar 8, 2023
+1,664 −0

Conversation

phated
Copy link
Contributor

@phated phated commented Mar 2, 2023 •
edited
Loading

Description

This upstreams the Noir DSL as developed in https://github.com/noir-lang/aztec-connect and attempts to align with the upstream changes (such as passing a nullptr as pippenger_lagrange). I also tried to apply various refactoring and cleanup where possible but my C++ is terrible—so please let me know where things should be better.

This is currently a draft because I think we are going to cleanup some of the turbo_proofs APIs but I need to catch @vezenovm when he is back from EthDenver.

Checklist:

  • I have reviewed my diff in github, line by line.
  • Every change is related to the PR description.
  • I have linked this pull request to the issue(s) that it resolves.
  • There are no unexpected formatting changes, superfluous debug logs, or commented-out code.
  • There are no circuit changes, OR specifications in /markdown/specs have been updated.
  • There are no circuit changes, OR a cryptographer has been assigned for review.
  • I've updated any terraform that needs updating (e.g. environment variables) for deployment.
  • The branch has been rebased against the head of its merge target.
  • I'm happy for the PR to be merged at the reviewer's next convenience.
  • New functions, classes, etc. have been documented according to the doxygen comment format. Classes and structs must have @brief describing the intended functionality.
  • If existing code has been modified, such documentation has been added or updated.

@phated
Copy link
Contributor Author

phated commented Mar 2, 2023

I chatted with @vezenovm about which APIs to keep for use in "barretenberg_wrapper" and "barretenberg_wasm" so this is ready for review!

Need to get @kevaundray to review all my refactoring (in case I did something that won't work for Noir) and then crypto-dev folks to review how to make this C++ code better.

@phated phated marked this pull request as ready for review March 2, 2023 23:57
kevaundray
kevaundray approved these changes Mar 3, 2023
View reviewed changes
Copy link
Contributor

@kevaundray kevaundray left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like what we were doing previously with parts of it cleaned up (gracias :) )

@Savio-Sou Savio-Sou modified the milestone: UltraPlonk in Noir Mar 6, 2023
@phated phated requested a review from suyash67 March 6, 2023 15:52
@codygunton codygunton removed their request for review March 6, 2023 20:14
@kevaundray kevaundray mentioned this pull request Mar 7, 2023
Merged
6 tasks
@phated
Copy link
Contributor Author

phated commented Mar 7, 2023

I'm squashing this all for a rebase on master, so if anyone needs the individual commits, you should look now

@phated phated mentioned this pull request Mar 7, 2023
Merged
11 tasks
@phated phated force-pushed the phated/acir-format branch from f7f0cd1 to 9c67dfe Compare March 7, 2023 19:44
@kevaundray kevaundray merged commit 54fab22 into master Mar 8, 2023
@kevaundray kevaundray deleted the phated/acir-format branch March 8, 2023 18:45
@github-actions github-actions bot mentioned this pull request Jun 15, 2023
Merged
@github-actions github-actions bot mentioned this pull request Jul 11, 2023
Merged
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 22, 2023
@phated @kevaundray @vezenovm
feat: Add Noir DSL with acir_format and turbo_proofs namespaces (Azte…
cfcc10a 
…cProtocol/barretenberg#198)

* feat: Add Noir DSL with acir_format and turbo_proofs namespaces

* chore: Upstream changes to fix proving key serialization in turbo_proofs (AztecProtocol/barretenberg#204)
---------

Co-authored-by: kevaundray <[email protected]>
Co-authored-by: Maxim Vezenov <[email protected]>
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 24, 2023
@phated @kevaundray @vezenovm
feat: Add Noir DSL with acir_format and turbo_proofs namespaces (Azte…
35c7fcf 
…cProtocol/barretenberg#198)

* feat: Add Noir DSL with acir_format and turbo_proofs namespaces

* chore: Upstream changes to fix proving key serialization in turbo_proofs (AztecProtocol/barretenberg#204)
---------

Co-authored-by: kevaundray <[email protected]>
Co-authored-by: Maxim Vezenov <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vezenovm vezenovm vezenovm left review comments

@kevaundray kevaundray kevaundray approved these changes

@dbanks12 dbanks12 dbanks12 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@phated @kevaundray @vezenovm @dbanks12 @Savio-Sou