Create a Noir --> TypeScript codegen tool

[kevaundray]

Problem

With #3080 we have added the ability to execute Noir functions in TypeScript environments.

Problem is it hardly matches the speed with running native TS code given its ACVM overheads.

Happy Case

We should create a tool for codegening arbitrary Noir functions into TS functions, where developers can then execute such functions natively in TS environments.

For first step, we would have:

// exports.nr

#[export]
unconstrained fn foo(x : u8)-> u8 {
   x
}

This would then make the bytecode for foo be available in a json file to b executed/simulated in typescript.

This becomes a lot nicer once we migrate and finalize our typescript wrapper for the json file which will automaticallt generate the typescript types.

Tasks

Beta Give feedback

1. feat: add noir_codegen package #3392
   +0
2. feat: codegen typed interfaces for functions in noir_codegen #3533
   +0
3. feat: export CompiledCircuit from codegened TS #3589
   +0
4. feat: add support for tuple values in noir_codegen #3592
   +0
5. feat: add support for codegenning multiple functions which use the same structs in their interface #3868
   +0
6. feat: add MVP nargo export command #3870
   +0
7. feat: add foreign call support to noir_codegen functions #3933
   +0
8. Document noir-codegen #4093
   documentation +1
   

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[Savio-Sou]

Updating to E-HIGH as we've already spent >1 week on the objective.

[TomAFrench]

Problem is it hardly matches the speed with running native TS code given its ACVM overheads.

Just to be clear, this will have the exact same overheads as before. We're not transpiling ACIR into Javascript, just adding a more usable wrapper around it.

[Savio-Sou]

Assuming the technical scope was completed, we still need to document the feature.