@noir-lang/noir_js 0.18.0 → 0.19.0-e5a1f78.nightly

package/lib/index.cjs

@@ -23,10 +23,18 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Noir = exports.abi = exports.acvm = void 0;
+exports.abi = exports.acvm = exports.Noir = exports.and = exports.xor = exports.sha256 = exports.blake2s256 = exports.keccak256 = exports.ecdsa_secp256k1_verify = exports.ecdsa_secp256r1_verify = void 0;
 const acvm = __importStar(require("@noir-lang/acvm_js"));
 exports.acvm = acvm;
 const abi = __importStar(require("@noir-lang/noirc_abi"));
 exports.abi = abi;
+var acvm_js_1 = require("@noir-lang/acvm_js");
+Object.defineProperty(exports, "ecdsa_secp256r1_verify", { enumerable: true, get: function () { return acvm_js_1.ecdsa_secp256r1_verify; } });
+Object.defineProperty(exports, "ecdsa_secp256k1_verify", { enumerable: true, get: function () { return acvm_js_1.ecdsa_secp256k1_verify; } });
+Object.defineProperty(exports, "keccak256", { enumerable: true, get: function () { return acvm_js_1.keccak256; } });
+Object.defineProperty(exports, "blake2s256", { enumerable: true, get: function () { return acvm_js_1.blake2s256; } });
+Object.defineProperty(exports, "sha256", { enumerable: true, get: function () { return acvm_js_1.sha256; } });
+Object.defineProperty(exports, "xor", { enumerable: true, get: function () { return acvm_js_1.xor; } });
+Object.defineProperty(exports, "and", { enumerable: true, get: function () { return acvm_js_1.and; } });
 var program_js_1 = require("./program.cjs");
 Object.defineProperty(exports, "Noir", { enumerable: true, get: function () { return program_js_1.Noir; } });

package/lib/index.d.ts

@@ -1,5 +1,9 @@
 import * as acvm from '@noir-lang/acvm_js';
 import * as abi from '@noir-lang/noirc_abi';
-export { acvm, abi };
-export { WitnessMap } from '@noir-lang/acvm_js';
+import { CompiledCircuit, ProofData } from '@noir-lang/types';
+export { ecdsa_secp256r1_verify, ecdsa_secp256k1_verify, keccak256, blake2s256, sha256, xor, and, } from '@noir-lang/acvm_js';
+export { WitnessMap, ForeignCallHandler, ForeignCallInput, ForeignCallOutput } from '@noir-lang/acvm_js';
 export { Noir } from './program.js';
+/** @ignore */
+export { acvm, abi };
+export { CompiledCircuit, ProofData };

package/lib/index.mjs

@@ -1,4 +1,6 @@
 import * as acvm from '@noir-lang/acvm_js';
 import * as abi from '@noir-lang/noirc_abi';
-export { acvm, abi };
+export { ecdsa_secp256r1_verify, ecdsa_secp256k1_verify, keccak256, blake2s256, sha256, xor, and, } from '@noir-lang/acvm_js';
 export { Noir } from "./program.mjs";
+/** @ignore */
+export { acvm, abi };

package/lib/program.cjs

@@ -34,6 +34,7 @@ class Noir {
         this.circuit = circuit;
         this.backend = backend;
     }
+    /** @ignore */
     async init() {
         // If these are available, then we are in the
         // web environment. For the node environment, this
@@ -42,6 +43,17 @@ class Noir {
             await Promise.all([(0, noirc_abi_1.default)(), (0, acvm_js_1.default)()]);
         }
     }
+    /**
+     *
+     * @description
+     * Destroys the underlying backend instance.
+     *
+     * @example
+     * ```typescript
+     * await noir.destroy();
+     * ```
+     *
+     */
     async destroy() {
         await this.backend?.destroy();
     }
@@ -51,17 +63,48 @@ class Noir {
         return this.backend;
     }
     // Initial inputs to your program
-    async execute(inputs) {
+    /**
+     * @description
+     * Allows to execute a circuit to get its witness and return value.
+     *
+     * @example
+     * ```typescript
+     * async execute(inputs)
+     * ```
+     */
+    async execute(inputs, foreignCallHandler) {
         await this.init();
-        const witness = await (0, witness_generation_js_1.generateWitness)(this.circuit, inputs);
+        const witness = await (0, witness_generation_js_1.generateWitness)(this.circuit, inputs, foreignCallHandler);
         const { return_value: returnValue } = (0, noirc_abi_1.abiDecode)(this.circuit.abi, witness);
         return { witness: (0, acvm_js_1.compressWitness)(witness), returnValue };
     }
-    // Initial inputs to your program
+    /**
+     *
+     * @description
+     * Generates a witness and a proof given an object as input.
+     *
+     * @example
+     * ```typescript
+     * async generateFinalproof(input)
+     * ```
+     *
+     */
     async generateFinalProof(inputs) {
         const { witness } = await this.execute(inputs);
         return this.getBackend().generateFinalProof(witness);
     }
+    /**
+     *
+     * @description
+     * Instantiates the verification key and verifies a proof.
+     *
+     *
+     * @example
+     * ```typescript
+     * async verifyFinalProof(proof)
+     * ```
+     *
+     */
     async verifyFinalProof(proofData) {
         return this.getBackend().verifyFinalProof(proofData);
     }

package/lib/program.d.ts

@@ -1,16 +1,61 @@
 import { Backend, CompiledCircuit, ProofData } from '@noir-lang/types';
 import { InputMap, InputValue } from '@noir-lang/noirc_abi';
+import { ForeignCallHandler } from '@noir-lang/acvm_js';
 export declare class Noir {
     private circuit;
     private backend?;
     constructor(circuit: CompiledCircuit, backend?: Backend | undefined);
+    /** @ignore */
     init(): Promise<void>;
+    /**
+     *
+     * @description
+     * Destroys the underlying backend instance.
+     *
+     * @example
+     * ```typescript
+     * await noir.destroy();
+     * ```
+     *
+     */
     destroy(): Promise<void>;
     private getBackend;
-    execute(inputs: InputMap): Promise<{
+    /**
+     * @description
+     * Allows to execute a circuit to get its witness and return value.
+     *
+     * @example
+     * ```typescript
+     * async execute(inputs)
+     * ```
+     */
+    execute(inputs: InputMap, foreignCallHandler?: ForeignCallHandler): Promise<{
         witness: Uint8Array;
         returnValue: InputValue;
     }>;
+    /**
+     *
+     * @description
+     * Generates a witness and a proof given an object as input.
+     *
+     * @example
+     * ```typescript
+     * async generateFinalproof(input)
+     * ```
+     *
+     */
     generateFinalProof(inputs: InputMap): Promise<ProofData>;
+    /**
+     *
+     * @description
+     * Instantiates the verification key and verifies a proof.
+     *
+     *
+     * @example
+     * ```typescript
+     * async verifyFinalProof(proof)
+     * ```
+     *
+     */
     verifyFinalProof(proofData: ProofData): Promise<boolean>;
 }

package/lib/program.mjs

@@ -8,6 +8,7 @@ export class Noir {
         this.circuit = circuit;
         this.backend = backend;
     }
+    /** @ignore */
     async init() {
         // If these are available, then we are in the
         // web environment. For the node environment, this
@@ -16,6 +17,17 @@ export class Noir {
             await Promise.all([initAbi(), initACVM()]);
         }
     }
+    /**
+     *
+     * @description
+     * Destroys the underlying backend instance.
+     *
+     * @example
+     * ```typescript
+     * await noir.destroy();
+     * ```
+     *
+     */
     async destroy() {
         await this.backend?.destroy();
     }
@@ -25,17 +37,48 @@ export class Noir {
         return this.backend;
     }
     // Initial inputs to your program
-    async execute(inputs) {
+    /**
+     * @description
+     * Allows to execute a circuit to get its witness and return value.
+     *
+     * @example
+     * ```typescript
+     * async execute(inputs)
+     * ```
+     */
+    async execute(inputs, foreignCallHandler) {
         await this.init();
-        const witness = await generateWitness(this.circuit, inputs);
+        const witness = await generateWitness(this.circuit, inputs, foreignCallHandler);
         const { return_value: returnValue } = abiDecode(this.circuit.abi, witness);
         return { witness: compressWitness(witness), returnValue };
     }
-    // Initial inputs to your program
+    /**
+     *
+     * @description
+     * Generates a witness and a proof given an object as input.
+     *
+     * @example
+     * ```typescript
+     * async generateFinalproof(input)
+     * ```
+     *
+     */
     async generateFinalProof(inputs) {
         const { witness } = await this.execute(inputs);
         return this.getBackend().generateFinalProof(witness);
     }
+    /**
+     *
+     * @description
+     * Instantiates the verification key and verifies a proof.
+     *
+     *
+     * @example
+     * ```typescript
+     * async verifyFinalProof(proof)
+     * ```
+     *
+     */
     async verifyFinalProof(proofData) {
         return this.getBackend().verifyFinalProof(proofData);
     }

package/lib/witness_generation.cjs

@@ -4,16 +4,17 @@ exports.generateWitness = void 0;
 const noirc_abi_1 = require("@noir-lang/noirc_abi");
 const base64_decode_js_1 = require("./base64_decode.cjs");
 const acvm_js_1 = require("@noir-lang/acvm_js");
+const defaultForeignCallHandler = (name, args) => {
+    throw Error(`Unexpected oracle during execution: ${name}(${args.join(', ')})`);
+};
 // Generates the witnesses needed to feed into the chosen proving system
-async function generateWitness(compiledProgram, inputs) {
+async function generateWitness(compiledProgram, inputs, foreignCallHandler = defaultForeignCallHandler) {
     // Throws on ABI encoding error
     const witnessMap = (0, noirc_abi_1.abiEncode)(compiledProgram.abi, inputs);
     // Execute the circuit to generate the rest of the witnesses and serialize
     // them into a Uint8Array.
     try {
-        const solvedWitness = await (0, acvm_js_1.executeCircuit)((0, base64_decode_js_1.base64Decode)(compiledProgram.bytecode), witnessMap, () => {
-            throw Error('unexpected oracle during execution');
-        });
+        const solvedWitness = await (0, acvm_js_1.executeCircuit)((0, base64_decode_js_1.base64Decode)(compiledProgram.bytecode), witnessMap, foreignCallHandler);
         return solvedWitness;
     }
     catch (err) {

package/lib/witness_generation.d.ts

@@ -1,4 +1,4 @@
 import { InputMap } from '@noir-lang/noirc_abi';
-import { WitnessMap } from '@noir-lang/acvm_js';
+import { WitnessMap, ForeignCallHandler } from '@noir-lang/acvm_js';
 import { CompiledCircuit } from '@noir-lang/types';
-export declare function generateWitness(compiledProgram: CompiledCircuit, inputs: InputMap): Promise<WitnessMap>;
+export declare function generateWitness(compiledProgram: CompiledCircuit, inputs: InputMap, foreignCallHandler?: ForeignCallHandler): Promise<WitnessMap>;

package/lib/witness_generation.mjs

@@ -1,16 +1,17 @@
 import { abiEncode } from '@noir-lang/noirc_abi';
 import { base64Decode } from "./base64_decode.mjs";
 import { executeCircuit } from '@noir-lang/acvm_js';
+const defaultForeignCallHandler = (name, args) => {
+    throw Error(`Unexpected oracle during execution: ${name}(${args.join(', ')})`);
+};
 // Generates the witnesses needed to feed into the chosen proving system
-export async function generateWitness(compiledProgram, inputs) {
+export async function generateWitness(compiledProgram, inputs, foreignCallHandler = defaultForeignCallHandler) {
     // Throws on ABI encoding error
     const witnessMap = abiEncode(compiledProgram.abi, inputs);
     // Execute the circuit to generate the rest of the witnesses and serialize
     // them into a Uint8Array.
     try {
-        const solvedWitness = await executeCircuit(base64Decode(compiledProgram.bytecode), witnessMap, () => {
-            throw Error('unexpected oracle during execution');
-        });
+        const solvedWitness = await executeCircuit(base64Decode(compiledProgram.bytecode), witnessMap, foreignCallHandler);
         return solvedWitness;
     }
     catch (err) {

package/package.json

@@ -3,14 +3,14 @@
   "collaborators": [
     "The Noir Team <team@noir-lang.org>"
   ],
-  "version": "0.18.0",
+  "version": "0.19.0-e5a1f78.nightly",
   "packageManager": "yarn@3.5.1",
   "license": "(MIT OR Apache-2.0)",
   "type": "module",
   "dependencies": {
-    "@noir-lang/acvm_js": "0.30.0",
-    "@noir-lang/noirc_abi": "0.18.0",
-    "@noir-lang/types": "0.18.0"
+    "@noir-lang/acvm_js": "0.31.0-e5a1f78.nightly",
+    "@noir-lang/noirc_abi": "0.19.0-e5a1f78.nightly",
+    "@noir-lang/types": "0.19.0-e5a1f78.nightly"
   },
   "files": [
     "lib",