Implement Noir / Barretenberg proof verifiers

[wraitii]

Noir is a Domain Specific Language for SNARK proving systems. It allows you to write SNARKS in a Rusty language and focuses on a simple, familiar syntax.

The purpose of this issue is to Implement verification of Noir proofs using the Barretenberg backend (default for Aztec).

This should be done using a subprocess call to a Typescript-based barretenberg verifier, similar to our `risczero implementation.

Noir lang docs are at https://noir-lang.org/, hub link for noirJs and other related libraries. See also bb.js

Additionally, the matching verifier must be implemented in the verifier repository, see https://github.com/Hyle-org/verifiers-for-hyle/issues/8

[danielcdz]

Hello! I would like to help with this one! I think this issue can take me about 2 to 5 days to complete, exactly the time limit of the OD Hack! I have over 3 years of experience as a software engineer and especially working with Golang, developing micro services and backend applications, I want to apply this knowledge in web3 and blockchain projects, on the other hand, this is my 2nd OD Hack, in the last one I contributed to Go projects for Nethermind

[saimeunt]

Hi @wraitii I'm a returning contributor from previous ODHacks (check my OD profile here) and I'd like to handle this issue.

I've completed NodeGuardians Noir campaign and I'd love to actually use Aztec technologies in a real project. I will carefully review the codebase to understand the logic already implemented for other verifiers before coming up with an appropriate Noir/Barretenberg verifier.

[wraitii]

Hey @danielcdz , @saimeunt , I'll assign this to @saimeunt as it's better targeted for their experience.

Please join our public TG group https://t.me/+daA5zWOJGEQ3NGE0 if you need help 👍

[wraitii]

Done in #33