Context
Now that basic Solidity verifier tests have been reintroduced with #2997, it would be great to expand the tests to cover more barretenberg features exposed through Noir to better guarantee they work end-to-end from a Noir app dev perspective.
Problem
Out of all features, I would suggest prioritizing the testing of ECDSA secp256k1 verification given issues reported with the particular function:
Adding the test for it asap should help provide further insights on how to debug the existing issues.
Objectives
(Open to discussion as I am in lack of barretenberg's technical context to judge if these make sense.)
Add tests that:
- Generate a ECDSA secp256k1 verification proof
- Verify the proof natively
- Generate a corresponding Solidity verifier
- Verify the proof via the Solidity verifier
Using:
- Native barretenberg
- bb binary
- bb.js
Context
Now that basic Solidity verifier tests have been reintroduced with #2997, it would be great to expand the tests to cover more barretenberg features exposed through Noir to better guarantee they work end-to-end from a Noir app dev perspective.
Problem
Out of all features, I would suggest prioritizing the testing of ECDSA secp256k1 verification given issues reported with the particular function:
Adding the test for it asap should help provide further insights on how to debug the existing issues.
Objectives
(Open to discussion as I am in lack of barretenberg's technical context to judge if these make sense.)
Add tests that:
Using: