hash module

package.json

@@ -56,6 +56,8 @@
     "typescript": "^5.4.2"
   },
   "dependencies": {
+    "@noir-lang/backend_barretenberg": "0.25.0-00d6494.nightly",
+    "@noir-lang/noir_js": "0.25.0-00d6494.nightly",
     "ethers": "^6.11.1"
   }
 }

src/field.ts

@@ -31,6 +31,10 @@ export class Field {
     return new Field(0n);
   }
 
+  hex(): string {
+    return zeroPadValue(toBeHex(this.value), 32);
+  }
+
   add(other: Field): Field {
     return new Field((this.value + other.value) % PRIME);
   }

src/hash.ts

@@ -0,0 +1,46 @@
+import { ProofData } from '@noir-lang/noir_js';
+
+import hash_1 from '@ultralane/circuits/bin/hash_1/target/hash_1.json';
+import hash_2 from '@ultralane/circuits/bin/hash_2/target/hash_2.json';
+import hash_3 from '@ultralane/circuits/bin/hash_3/target/hash_3.json';
+
+import { toBigInt } from 'ethers';
+
+import { circuit } from './utils';
+import { Field } from './field';
+
+export async function hash(preimage: Field[]): Promise<Field> {
+  const json = hash_json(preimage.length);
+  const noir = await circuit(json);
+  const result = await noir.execute({
+    input: preimage.map((x) => x.hex()),
+  });
+  return new Field(toBigInt(result.returnValue as string));
+}
+
+export async function hash_prove(preimage: Field[]): Promise<ProofData> {
+  const json = hash_json(preimage.length);
+  const noir = await circuit(json);
+  const proof = await noir.generateProof({
+    input: preimage.map((x) => x.hex()),
+  });
+  return proof;
+}
+
+export function hash_json(length: number) {
+  let json;
+  switch (length) {
+    case 1:
+      json = hash_1;
+      break;
+    case 2:
+      json = hash_2;
+      break;
+    case 3:
+      json = hash_3;
+      break;
+    default:
+      throw new Error('preimage length not supported: ' + length);
+  }
+  return json;
+}

src/utils.ts

@@ -0,0 +1,9 @@
+import { BarretenbergBackend } from '@noir-lang/backend_barretenberg';
+import { Noir } from '@noir-lang/noir_js';
+
+export async function circuit(json: any) {
+  const backend = new BarretenbergBackend(json);
+  const noir = new Noir(json, backend);
+  await noir.init();
+  return noir;
+}

tsconfig.json

@@ -5,6 +5,7 @@
     "module": "esnext",
     "moduleResolution": "node",
     "target": "esnext",
-    "allowImportingTsExtensions": false
+    "allowImportingTsExtensions": false,
+    "resolveJsonModule": true
   }
 }