@noir-lang/noir_js 0.23.0 → 0.24.0

package/lib/program.cjs

@@ -85,13 +85,13 @@ class Noir {
      *
      * @example
      * ```typescript
-     * async generateFinalProof(input)
+     * async generateProof(input)
      * ```
      *
      */
-    async generateFinalProof(inputs, foreignCallHandler) {
+    async generateProof(inputs, foreignCallHandler) {
         const { witness } = await this.execute(inputs, foreignCallHandler);
-        return this.getBackend().generateFinalProof(witness);
+        return this.getBackend().generateProof(witness);
     }
     /**
      *
@@ -101,12 +101,12 @@ class Noir {
      *
      * @example
      * ```typescript
-     * async verifyFinalProof(proof)
+     * async verifyProof(proof)
      * ```
      *
      */
-    async verifyFinalProof(proofData) {
-        return this.getBackend().verifyFinalProof(proofData);
+    async verifyProof(proofData) {
+        return this.getBackend().verifyProof(proofData);
     }
 }
 exports.Noir = Noir;

package/lib/program.d.ts

@@ -40,11 +40,11 @@ export declare class Noir {
      *
      * @example
      * ```typescript
-     * async generateFinalProof(input)
+     * async generateProof(input)
      * ```
      *
      */
-    generateFinalProof(inputs: InputMap, foreignCallHandler?: ForeignCallHandler): Promise<ProofData>;
+    generateProof(inputs: InputMap, foreignCallHandler?: ForeignCallHandler): Promise<ProofData>;
     /**
      *
      * @description
@@ -53,9 +53,9 @@ export declare class Noir {
      *
      * @example
      * ```typescript
-     * async verifyFinalProof(proof)
+     * async verifyProof(proof)
      * ```
      *
      */
-    verifyFinalProof(proofData: ProofData): Promise<boolean>;
+    verifyProof(proofData: ProofData): Promise<boolean>;
 }

package/lib/program.mjs

@@ -59,13 +59,13 @@ export class Noir {
      *
      * @example
      * ```typescript
-     * async generateFinalProof(input)
+     * async generateProof(input)
      * ```
      *
      */
-    async generateFinalProof(inputs, foreignCallHandler) {
+    async generateProof(inputs, foreignCallHandler) {
         const { witness } = await this.execute(inputs, foreignCallHandler);
-        return this.getBackend().generateFinalProof(witness);
+        return this.getBackend().generateProof(witness);
     }
     /**
      *
@@ -75,11 +75,11 @@ export class Noir {
      *
      * @example
      * ```typescript
-     * async verifyFinalProof(proof)
+     * async verifyProof(proof)
      * ```
      *
      */
-    async verifyFinalProof(proofData) {
-        return this.getBackend().verifyFinalProof(proofData);
+    async verifyProof(proofData) {
+        return this.getBackend().verifyProof(proofData);
     }
 }

package/lib/witness_generation.cjs

@@ -19,6 +19,13 @@ const defaultForeignCallHandler = async (name, args) => {
         // If a user needs to print values then they should provide a custom foreign call handler.
         return [];
     }
+    else if (name == 'assert_message') {
+        // By default we do not do anything for `assert_message` foreign calls due to a need for formatting,
+        // however we provide an empty response in order to not halt execution.
+        //
+        // If a user needs to use dynamic assertion messages then they should provide a custom foreign call handler.
+        return [];
+    }
     throw Error(`Unexpected oracle during execution: ${name}(${args.join(', ')})`);
 };
 // Generates the witnesses needed to feed into the chosen proving system

package/lib/witness_generation.mjs

@@ -16,6 +16,13 @@ const defaultForeignCallHandler = async (name, args) => {
         // If a user needs to print values then they should provide a custom foreign call handler.
         return [];
     }
+    else if (name == 'assert_message') {
+        // By default we do not do anything for `assert_message` foreign calls due to a need for formatting,
+        // however we provide an empty response in order to not halt execution.
+        //
+        // If a user needs to use dynamic assertion messages then they should provide a custom foreign call handler.
+        return [];
+    }
     throw Error(`Unexpected oracle during execution: ${name}(${args.join(', ')})`);
 };
 // Generates the witnesses needed to feed into the chosen proving system

package/package.json

@@ -3,7 +3,7 @@
   "contributors": [
     "The Noir Team <team@noir-lang.org>"
   ],
-  "version": "0.23.0",
+  "version": "0.24.0",
   "packageManager": "yarn@3.5.1",
   "license": "(MIT OR Apache-2.0)",
   "type": "module",
@@ -17,9 +17,9 @@
     "url": "https://github.com/noir-lang/noir/issues"
   },
   "dependencies": {
-    "@noir-lang/acvm_js": "0.39.0",
-    "@noir-lang/noirc_abi": "0.23.0",
-    "@noir-lang/types": "0.23.0"
+    "@noir-lang/acvm_js": "0.40.0",
+    "@noir-lang/noirc_abi": "0.24.0",
+    "@noir-lang/types": "0.24.0"
   },
   "files": [
     "lib",
@@ -37,7 +37,8 @@
   "scripts": {
     "dev": "tsc-multi --watch",
     "build": "tsc-multi",
-    "test": "yarn test:node:esm && yarn test:node:cjs",
+    "test": "yarn test:compile_program && yarn test:node:esm && yarn test:node:cjs",
+    "test:compile_program": "./scripts/compile_test_programs.sh",
     "test:node:esm": "mocha --timeout 25000 --exit --config ./.mocharc.json",
     "test:node:cjs": "mocha --timeout 25000 --exit --config ./.mocharc.cjs.json",
     "prettier": "prettier 'src/**/*.ts'",
@@ -53,7 +54,7 @@
     "@types/node": "^20.6.2",
     "@types/prettier": "^3",
     "chai": "^4.3.8",
-    "eslint": "^8.50.0",
+    "eslint": "^8.56.0",
     "eslint-plugin-prettier": "^5.0.0",
     "mocha": "^10.2.0",
     "prettier": "3.0.3",