feat: Add noir types package

package.json

@@ -5,8 +5,9 @@
     "workspaces": [
         "compiler/wasm",
         "compiler/source-resolver",
-        "tooling/noirc_abi_wasm",
         "compiler/integration-tests",
+        "tooling/noir_js_types",
+        "tooling/noirc_abi_wasm",
         "tooling/noir_js",
         "acvm-repo/acvm_js",
         "release-tests"

tooling/noir_js/package.json

@@ -9,6 +9,7 @@
   "type": "module",
   "dependencies": {
     "@noir-lang/acvm_js": "workspace:*",
+    "@noir-lang/types": "workspace:*",
     "@noir-lang/noirc_abi": "workspace:*",
     "fflate": "^0.8.0"
   },

tooling/noir_js/src/index.ts

@@ -5,3 +5,5 @@ export { acvm, abi };
 
 export { generateWitness } from './witness_generation.js';
 export { acirToUint8Array, witnessMapToUint8Array } from './serialize.js';
+
+export { Noir } from './program.js';

tooling/noir_js/src/program.ts

@@ -1,10 +1,10 @@
 /* eslint-disable  @typescript-eslint/no-explicit-any */
-import { Backend } from './backend/backend_interface.js';
+import { Backend, CompiledCircuit } from '@noir-lang/types';
 import { generateWitness } from './witness_generation.js';
 
 export class Noir {
   constructor(
-    private circuit: { bytecode: string; abi: any },
+    private circuit: CompiledCircuit,
     private backend: Backend,
   ) {}
 

tooling/noir_js/src/witness_generation.ts

@@ -2,12 +2,10 @@ import { abiEncode } from '@noir-lang/noirc_abi';
 import { base64Decode } from './base64_decode.js';
 import { executeCircuit } from '@noir-lang/acvm_js';
 import { witnessMapToUint8Array } from './serialize.js';
+import { CompiledCircuit } from '@noir-lang/types';
 
 // Generates the witnesses needed to feed into the chosen proving system
-export async function generateWitness(
-  compiledProgram: { bytecode: string; abi: unknown },
-  inputs: unknown,
-): Promise<Uint8Array> {
+export async function generateWitness(compiledProgram: CompiledCircuit, inputs: unknown): Promise<Uint8Array> {
   // Throws on ABI encoding error
   const witnessMap = abiEncode(compiledProgram.abi, inputs, null);
 

tooling/noir_js/test/backend/barretenberg.ts

@@ -3,7 +3,7 @@
 // @ts-ignore
 import { Barretenberg, Crs, RawBuffer } from '@aztec/bb.js';
 import { acirToUint8Array } from '../../src/index.js';
-import { Backend } from '../../src/backend/backend_interface.js';
+import { Backend } from '@noir-lang/types';
 
 export class BarretenbergBackend implements Backend {
   // These type assertions are used so that we don't

tooling/noir_js_types/.eslintignore

@@ -0,0 +1 @@
+node_modules

tooling/noir_js_types/.eslintrc.cjs

@@ -0,0 +1,3 @@
+module.exports = {
+  extends: ['../../.eslintrc.js'],
+};

tooling/noir_js_types/.prettierrc

@@ -0,0 +1,6 @@
+{
+  "parser": "typescript",
+  "printWidth": 120,
+  "singleQuote": true,
+  "trailingComma": "all"
+}

tooling/noir_js/src/backend/backend_interface.ts → tooling/noir_js_types/lib/types.ts

@@ -11,3 +11,8 @@ export interface Backend {
 
   verifyIntermediateProof(proof: Uint8Array): Promise<boolean>;
 }
+
+export type CompiledCircuit = {
+  bytecode: string;
+  abi: object;
+};

tooling/noir_js_types/package.json

@@ -0,0 +1,14 @@
+{
+  "name": "@noir-lang/types",
+  "collaborators": [
+    "The Noir Team <team@noir-lang.org>"
+  ],
+  "version": "0.14.1",
+  "packageManager": "yarn@3.5.1",
+  "license": "(MIT OR Apache-2.0)",
+  "files": [
+    "lib",
+    "package.json"
+  ],
+  "types": "lib/types.ts"
+}

yarn.lock

@@ -519,6 +519,12 @@ __metadata:
   languageName: unknown
   linkType: soft
 
+"@noir-lang/types@workspace:tooling/noir_js_types":
+  version: 0.0.0-use.local
+  resolution: "@noir-lang/types@workspace:tooling/noir_js_types"
+  languageName: unknown
+  linkType: soft
+
 "@npmcli/fs@npm:^3.1.0":
   version: 3.1.0
   resolution: "@npmcli/fs@npm:3.1.0"