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.

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

feat: Replace Backend involvement in execution with barretenberg_black_box_solver crate #2423

Closed
wants to merge 7 commits into from

Conversation

TomAFrench
Copy link
Member

Description

Problem*

Resolves #2422
Resolves noir-lang/acvm#492

Summary*

The PR vendors the BlackBoxFunctionSolver implementation from acvm-backend-barretenberg into a new crate barretenberg_black_box_solver.

Draft until we remove this implementation from acvm-backend-barretenberg to avoid blowing up the binary size.

Documentation

  • This PR requires documentation updates when merged.

    • I will submit a noir-lang/docs PR.
    • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@TomAFrench TomAFrench changed the title feat: add barretenberg_black_box_solver crate to remove Backend involvement in execution feat: Replace Backend involvement in execution with barretenberg_black_box_solver crate Aug 24, 2023
* master:
  chore: improve error message for InternalError (#2429)
  chore: Add stdlib to every crate as it is added to graph (#2392)
  feat: create equivalence relationships for intermediate witnesses from multiplication (#2414)
  chore(ci): Fix version of `cross` to 0.2.5 (#2426)
  fix: Correct off-by-one errors in lexer spans (#2393)
@TomAFrench
Copy link
Member Author

This currently bumps binary sizes by ~4-5MB

@TomAFrench
Copy link
Member Author

Ah, I imagine this will fail due to needing extra tweaks to flake setup for macos.

@TomAFrench
Copy link
Member Author

Closing in favour of noir-lang/acvm#494

@TomAFrench TomAFrench closed this Aug 29, 2023
@TomAFrench TomAFrench deleted the black-box-solver-crate branch August 29, 2023 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant