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

get_solidity_verifier does not output a Solidity program that is able to verify a proof #1677

Closed
kevaundray opened this issue Aug 20, 2023 · 1 comment
Closed

get_solidity_verifier does not output a Solidity program that is able to verify a proof #1677

kevaundray opened this issue Aug 20, 2023 · 1 comment
Labels
C-bb-bin Component: Barretenberg executable binary

Comments

@kevaundray
Copy link
Contributor

Problem

When I run the get_solidity_verifier from the bb command, I'd expect that I get a solidity file(s) that will allow me to verify any proof created using the verification key embedded in the solidity file.

Currently it only outputs a solidity file with two functions, verificationKeyHash and loadVerificationKey. The main thing it is missing is a verify method, but more broadly the BaseUltraVerifier contract.

Solution

Add the necessary files to allow one to verify an UltraPlonk proof
@kevaundray kevaundray added the C-bb.js Component: bb.js - wrapping bberg in js label Aug 20, 2023
@github-project-automation github-project-automation bot moved this to Todo in A3 Aug 20, 2023
@TomAFrench TomAFrench mentioned this issue Sep 2, 2023
Closed
@TomAFrench TomAFrench added this to Noir Sep 5, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Sep 5, 2023
@TomAFrench TomAFrench mentioned this issue Sep 5, 2023
Merged
5 tasks
@kevaundray kevaundray mentioned this issue Sep 5, 2023
Closed
4 tasks
@TomAFrench TomAFrench added C-bb-bin Component: Barretenberg executable binary and removed C-bb.js Component: bb.js - wrapping bberg in js labels Sep 15, 2023
@Savio-Sou
Copy link
Member

Is still still relevant?

codygunton pushed a commit that referenced this issue Jan 23, 2024
@PhilWindle @jonybur
Merge pull request #1678 from AztecProtocol/defi-bridge-project
40476bb 
* Copied index.html to output (#1661)

* Generate htnl file (#1662)

* Deployment fix (#1663)

* Deployment fixes (#1665)

* Deployment fix attempt (#1667)

* Updated falafel and kebab terraform with new project directory structure (#1670)

* Reduce the amount of logging in kebab (#1668)

* Reduce the amount of logging in kebab

* Logging improvement

* Bug fix

* Reverted erroneous change

* Pw/increase faucet drip (#1669)

* Increased the faucet drip size

* Force contract redeployment

* Deploy terraform from correct directory (#1671)

* JB/Website grants updates (#1666)

* Add new grant

* Improve research images

* Mini typo

* JB/Website build manifest (#1672)

* Add website to build manifest

* JB/Brand iteration (#1673)

* Small build change

* JB/Fix website deployment (#1676)

* Fix deployment

* JB/Fix website deploy (#1677)

* Fix deploy

Co-authored-by: Jonathan Bursztyn <[email protected]>
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Apr 20, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Apr 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-bb-bin Component: Barretenberg executable binary
Projects
A3
Archived in project
Milestone
No milestone
3 participants
@TomAFrench @kevaundray @Savio-Sou