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

chore: bb contract command now returns the templated contract along with the verification key #2021

Closed
wants to merge 8 commits into from

Conversation

kevaundray
Copy link
Contributor

Resolves #1677

Checklist:

Remove the checklist to signal you've completed it. Enable auto-merge if the PR is ready to merge.

  • If the pull request requires a cryptography review (e.g. cryptographic algorithm implementations) I have added the 'crypto' tag.
  • I have reviewed my diff in github, line by line and removed unexpected formatting changes, testing logs, or commented-out code.
  • Every change is related to the PR description.
  • I have linked this pull request to relevant issues (if any exist).

@kevaundray kevaundray marked this pull request as ready for review September 5, 2023 15:48
@TomAFrench TomAFrench changed the title chore!: bb contract command now returns the templated contract along with the verification key chore: bb contract command now returns the templated contract along with the verification key Sep 6, 2023
@kevaundray
Copy link
Contributor Author

Will just keep re-doing CI as the changes here should not affect the tests that are failing

@ludamad
Copy link
Collaborator

ludamad commented Feb 13, 2024

Closed as not relevant per Kev

@ludamad ludamad closed this Feb 13, 2024
@ludamad ludamad deleted the kw/solidity-verifier branch August 22, 2024 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

get_solidity_verifier does not output a Solidity program that is able to verify a proof
2 participants