Epic: Add Noir function solvers into TS

[TomAFrench]

In Expose black box function solvers into TS#2811 we exposed black box functions to typescript so that users can easily calculate values in the same way as which it will be calculated inside their circuits.

A number of useful functions are only implemented in Noir however, e.g. Poseidon, Sha256, etc. so we should expose methods to easily execute custom Noir programs and use their return values in user business logic.

Tasks

Preview Give feedback

1. Add execute method to @noir-lang/noir_js #3080
   +0
2. Add executeSync function to acvm_js #3084
   enhancement js +2
3. Create a Noir --> TypeScript codegen tool #3348
   8 of 8
   enhancement js +2

With #3080 we can already achieve the funcitonality with const { returnValue } = await new Noir(program_json).execute(inputs).

Outstanding tasks being:

• Replace the above JS snippet with a const returnValue = executeCircuit(program_json, inputs) syntax to be more functional
  • This requires the executeSync function to be added to acvm_js so we can execute ACIR without foreign calls in a sync fashion.
• Simplify generating a TS package from a Noir library
  • As the execute function can hardly match native TS packages in computation speeds given its ACVM overheads
  • Possible approaches could be
    • add a #[codegen-ts] attribute to mark a function as one to be compiled into a function for users to call.
    • codegen typesafe wrappers around executeCircuit which enforce type safety on the inputs.

[Savio-Sou]

Assigning P-HIGH P-MEDIUM to this Epic, as this helps the Private Kernel Circuit rewrite project plus very useful for Noir app devs in general, but not necessarily blocking any project.

[Savio-Sou]

Closing as completed instead as we do have noir_codegen now that largely if not fully fulfill this Issue's original purpose: https://noir-lang.org/docs/getting_started/tooling/noir_codegen