@succinctlabs/sp1-wasm-verifier 5.0.4 → 5.0.6

package/README.md

@@ -0,0 +1,19 @@
+# SP1 Wasm verification
+
+This repo wraps the [`sp1-verifier`](https://github.com/succinctlabs/sp1) crate in Wasm bindings, and invoke it from JavaScript (Node.js).
+
+## Usage
+
+Install the node module with the following command:
+
+```bash
+npm install sp1-wasm-verifier
+```
+
+`sp1-wasm-verifier` declare the following functions:
+
+```js
+function verify_groth16(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: string): boolean;
+function verify_plonk(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: string): boolean
+function verify_compressed(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: Uint8Array): boolean;
+```

package/package.json

@@ -1,39 +1,31 @@
 {
-  "name": "@succinctlabs/sp1-wasm-verifier",
-  "version": "5.0.4",
-  "description": "A rust verifier for BN254 curve",
-  "main": "./sp1_wasm_verifier.js",
-  "module": "./sp1_wasm_verifier.js",
-  "types": "./sp1_wasm_verifier.d.ts",
-  "type": "module",
-  "react-native": "./sp1_wasm_verifier_rn.js",
-  "sideEffects": false,
-  "author": "Bhargav Annem, Yuwen Zhang",
-  "license": "MIT OR Apache-2.0",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/succinctlabs/example-sp1-wasm-verifier"
-  },
-  "bugs": {
-    "url": "https://github.com/succinctlabs/example-sp1-wasm-verifier/issues"
-  },
-  "homepage": "https://github.com/succinctlabs/example-sp1-wasm-verifier#readme",
-  "readme": "README.md",
-  "keywords": [
-    "zero-knowledge",
-    "cryptography",
-    "zkSNARK",
-    "SNARK",
-    "gnark",
-    "bn254",
-    "verifier",
-    "wasm"
-  ],
-  "files": [
-    "sp1_wasm_verifier.js",
-    "sp1_wasm_verifier_rn.js",
-    "sp1_wasm_verifier_bg.js",
-    "sp1_wasm_verifier_bg.wasm",
-    "sp1_wasm_verifier.d.ts"
-  ]
+    "name": "@succinctlabs/sp1-wasm-verifier",
+    "type": "module",
+    "collaborators": [
+        "Bhargav Annem, Yuwen Zhang"
+    ],
+    "description": "A rust verifier for BN254 curve",
+    "version": "5.0.6",
+    "license": "MIT/Apache-2.0",
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/succinctlabs/example-sp1-wasm-verifier"
+    },
+    "files": [
+        "sp1_wasm_verifier_bg.wasm",
+        "sp1_wasm_verifier.js",
+        "sp1_wasm_verifier.d.ts"
+    ],
+    "main": "sp1_wasm_verifier.js",
+    "types": "sp1_wasm_verifier.d.ts",
+    "sideEffects": [
+        "./snippets/*"
+    ],
+    "keywords": [
+        "zero-knowledge",
+        "cryptography",
+        "zkSNARK",
+        "SNARK",
+        "gnark"
+    ]
 }

package/sp1_wasm_verifier.d.ts

@@ -1,23 +1,54 @@
 /* tslint:disable */
 /* eslint-disable */
-
-/**
- * Wrapper around [`sp1_verifier::CompressedVerifier::verify_sp1_proof`].
- *
- * We hardcode the Plonk VK bytes to only verify SP1 proofs.
- */
-export function verify_compressed(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: Uint8Array): boolean;
-
 /**
  * Wrapper around [`sp1_verifier::Groth16Verifier::verify`].
  *
  * We hardcode the Groth16 VK bytes to only verify SP1 proofs.
  */
 export function verify_groth16(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: string): boolean;
-
 /**
  * Wrapper around [`sp1_verifier::PlonkVerifier::verify`].
  *
  * We hardcode the Plonk VK bytes to only verify SP1 proofs.
  */
 export function verify_plonk(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: string): boolean;
+/**
+ * Wrapper around [`sp1_verifier::CompressedVerifier::verify_sp1_proof`].
+ *
+ * We hardcode the Plonk VK bytes to only verify SP1 proofs.
+ */
+export function verify_compressed(proof: Uint8Array, public_inputs: Uint8Array, sp1_vk_hash: Uint8Array): boolean;
+
+export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
+
+export interface InitOutput {
+  readonly memory: WebAssembly.Memory;
+  readonly verify_compressed: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+  readonly verify_groth16: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+  readonly verify_plonk: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+  readonly __wbindgen_export_0: WebAssembly.Table;
+  readonly __wbindgen_malloc: (a: number, b: number) => number;
+  readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
+  readonly __wbindgen_start: () => void;
+}
+
+export type SyncInitInput = BufferSource | WebAssembly.Module;
+/**
+* Instantiates the given `module`, which can either be bytes or
+* a precompiled `WebAssembly.Module`.
+*
+* @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
+*
+* @returns {InitOutput}
+*/
+export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
+
+/**
+* If `module_or_path` is {RequestInfo} or {URL}, makes a request and
+* for everything else, calls `WebAssembly.instantiate` directly.
+*
+* @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
+*
+* @returns {Promise<InitOutput>}
+*/
+export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;

package/sp1_wasm_verifier.js

@@ -1,16 +1,281 @@
+let wasm;
 
-let imports = {};
-import * as import0 from './sp1_wasm_verifier_bg.js';
-imports['./sp1_wasm_verifier_bg.js'] = import0;
+let cachedUint8ArrayMemory0 = null;
 
-import { readFileSync } from 'node:fs';
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
 
-const wasmUrl = new URL('sp1_wasm_verifier_bg.wasm', import.meta.url);
-const wasmBytes = readFileSync(wasmUrl);
-const wasmModule = new WebAssembly.Module(wasmBytes);
-const wasm = new WebAssembly.Instance(wasmModule, imports).exports;
-export { wasm as __wasm };
-imports["./sp1_wasm_verifier_bg.js"].__wbg_set_wasm(wasm, wasmModule);
-wasm.__wbindgen_start();
+let cachedTextDecoder = (typeof TextDecoder !== 'undefined' ? new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }) : { decode: () => { throw Error('TextDecoder not available') } } );
 
-export * from "./sp1_wasm_verifier_bg.js";
+if (typeof TextDecoder !== 'undefined') { cachedTextDecoder.decode(); };
+
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+let numBytesDecoded = 0;
+function decodeText(ptr, len) {
+    numBytesDecoded += len;
+    if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
+        cachedTextDecoder = (typeof TextDecoder !== 'undefined' ? new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }) : { decode: () => { throw Error('TextDecoder not available') } } );
+        cachedTextDecoder.decode();
+        numBytesDecoded = len;
+    }
+    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+}
+
+function getStringFromWasm0(ptr, len) {
+    ptr = ptr >>> 0;
+    return decodeText(ptr, len);
+}
+
+let WASM_VECTOR_LEN = 0;
+
+function passArray8ToWasm0(arg, malloc) {
+    const ptr = malloc(arg.length * 1, 1) >>> 0;
+    getUint8ArrayMemory0().set(arg, ptr / 1);
+    WASM_VECTOR_LEN = arg.length;
+    return ptr;
+}
+
+const cachedTextEncoder = (typeof TextEncoder !== 'undefined' ? new TextEncoder('utf-8') : { encode: () => { throw Error('TextEncoder not available') } } );
+
+const encodeString = (typeof cachedTextEncoder.encodeInto === 'function'
+    ? function (arg, view) {
+    return cachedTextEncoder.encodeInto(arg, view);
+}
+    : function (arg, view) {
+    const buf = cachedTextEncoder.encode(arg);
+    view.set(buf);
+    return {
+        read: arg.length,
+        written: buf.length
+    };
+});
+
+function passStringToWasm0(arg, malloc, realloc) {
+
+    if (realloc === undefined) {
+        const buf = cachedTextEncoder.encode(arg);
+        const ptr = malloc(buf.length, 1) >>> 0;
+        getUint8ArrayMemory0().subarray(ptr, ptr + buf.length).set(buf);
+        WASM_VECTOR_LEN = buf.length;
+        return ptr;
+    }
+
+    let len = arg.length;
+    let ptr = malloc(len, 1) >>> 0;
+
+    const mem = getUint8ArrayMemory0();
+
+    let offset = 0;
+
+    for (; offset < len; offset++) {
+        const code = arg.charCodeAt(offset);
+        if (code > 0x7F) break;
+        mem[ptr + offset] = code;
+    }
+
+    if (offset !== len) {
+        if (offset !== 0) {
+            arg = arg.slice(offset);
+        }
+        ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
+        const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
+        const ret = encodeString(arg, view);
+
+        offset += ret.written;
+        ptr = realloc(ptr, len, offset, 1) >>> 0;
+    }
+
+    WASM_VECTOR_LEN = offset;
+    return ptr;
+}
+/**
+ * Wrapper around [`sp1_verifier::Groth16Verifier::verify`].
+ *
+ * We hardcode the Groth16 VK bytes to only verify SP1 proofs.
+ * @param {Uint8Array} proof
+ * @param {Uint8Array} public_inputs
+ * @param {string} sp1_vk_hash
+ * @returns {boolean}
+ */
+export function verify_groth16(proof, public_inputs, sp1_vk_hash) {
+    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.verify_groth16(ptr0, len0, ptr1, len1, ptr2, len2);
+    return ret !== 0;
+}
+
+/**
+ * Wrapper around [`sp1_verifier::PlonkVerifier::verify`].
+ *
+ * We hardcode the Plonk VK bytes to only verify SP1 proofs.
+ * @param {Uint8Array} proof
+ * @param {Uint8Array} public_inputs
+ * @param {string} sp1_vk_hash
+ * @returns {boolean}
+ */
+export function verify_plonk(proof, public_inputs, sp1_vk_hash) {
+    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.verify_plonk(ptr0, len0, ptr1, len1, ptr2, len2);
+    return ret !== 0;
+}
+
+/**
+ * Wrapper around [`sp1_verifier::CompressedVerifier::verify_sp1_proof`].
+ *
+ * We hardcode the Plonk VK bytes to only verify SP1 proofs.
+ * @param {Uint8Array} proof
+ * @param {Uint8Array} public_inputs
+ * @param {Uint8Array} sp1_vk_hash
+ * @returns {boolean}
+ */
+export function verify_compressed(proof, public_inputs, sp1_vk_hash) {
+    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passArray8ToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.verify_compressed(ptr0, len0, ptr1, len1, ptr2, len2);
+    return ret !== 0;
+}
+
+const EXPECTED_RESPONSE_TYPES = new Set(['basic', 'cors', 'default']);
+
+async function __wbg_load(module, imports) {
+    if (typeof Response === 'function' && module instanceof Response) {
+        if (typeof WebAssembly.instantiateStreaming === 'function') {
+            try {
+                return await WebAssembly.instantiateStreaming(module, imports);
+
+            } catch (e) {
+                const validResponse = module.ok && EXPECTED_RESPONSE_TYPES.has(module.type);
+
+                if (validResponse && module.headers.get('Content-Type') !== 'application/wasm') {
+                    console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve Wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
+
+                } else {
+                    throw e;
+                }
+            }
+        }
+
+        const bytes = await module.arrayBuffer();
+        return await WebAssembly.instantiate(bytes, imports);
+
+    } else {
+        const instance = await WebAssembly.instantiate(module, imports);
+
+        if (instance instanceof WebAssembly.Instance) {
+            return { instance, module };
+
+        } else {
+            return instance;
+        }
+    }
+}
+
+function __wbg_get_imports() {
+    const imports = {};
+    imports.wbg = {};
+    imports.wbg.__wbg_error_4375b917961b0e7a = function(arg0, arg1) {
+        console.error(getStringFromWasm0(arg0, arg1));
+    };
+    imports.wbg.__wbindgen_init_externref_table = function() {
+        const table = wasm.__wbindgen_export_0;
+        const offset = table.grow(4);
+        table.set(0, undefined);
+        table.set(offset + 0, undefined);
+        table.set(offset + 1, null);
+        table.set(offset + 2, true);
+        table.set(offset + 3, false);
+        ;
+    };
+    imports.wbg.__wbindgen_throw = function(arg0, arg1) {
+        throw new Error(getStringFromWasm0(arg0, arg1));
+    };
+
+    return imports;
+}
+
+function __wbg_init_memory(imports, memory) {
+
+}
+
+function __wbg_finalize_init(instance, module) {
+    wasm = instance.exports;
+    __wbg_init.__wbindgen_wasm_module = module;
+    cachedUint8ArrayMemory0 = null;
+
+
+    wasm.__wbindgen_start();
+    return wasm;
+}
+
+function initSync(module) {
+    if (wasm !== undefined) return wasm;
+
+
+    if (typeof module !== 'undefined') {
+        if (Object.getPrototypeOf(module) === Object.prototype) {
+            ({module} = module)
+        } else {
+            console.warn('using deprecated parameters for `initSync()`; pass a single object instead')
+        }
+    }
+
+    const imports = __wbg_get_imports();
+
+    __wbg_init_memory(imports);
+
+    if (!(module instanceof WebAssembly.Module)) {
+        module = new WebAssembly.Module(module);
+    }
+
+    const instance = new WebAssembly.Instance(module, imports);
+
+    return __wbg_finalize_init(instance, module);
+}
+
+async function __wbg_init(module_or_path) {
+    if (wasm !== undefined) return wasm;
+
+
+    if (typeof module_or_path !== 'undefined') {
+        if (Object.getPrototypeOf(module_or_path) === Object.prototype) {
+            ({module_or_path} = module_or_path)
+        } else {
+            console.warn('using deprecated parameters for the initialization function; pass a single object instead')
+        }
+    }
+
+    if (typeof module_or_path === 'undefined') {
+        module_or_path = new URL('sp1_wasm_verifier_bg.wasm', import.meta.url);
+    }
+    const imports = __wbg_get_imports();
+
+    if (typeof module_or_path === 'string' || (typeof Request === 'function' && module_or_path instanceof Request) || (typeof URL === 'function' && module_or_path instanceof URL)) {
+        module_or_path = fetch(module_or_path);
+    }
+
+    __wbg_init_memory(imports);
+
+    const { instance, module } = await __wbg_load(await module_or_path, imports);
+
+    return __wbg_finalize_init(instance, module);
+}
+
+export { initSync };
+export default __wbg_init;

package/sp1_wasm_verifier_bg.js

@@ -1,162 +0,0 @@
-let wasm;
-let wasmModule;
-export function __wbg_set_wasm(exports, module) {
-    wasm = exports;
-    wasmModule = module;
-}
-
-function getStringFromWasm0(ptr, len) {
-    ptr = ptr >>> 0;
-    return decodeText(ptr, len);
-}
-
-let cachedUint8ArrayMemory0 = null;
-function getUint8ArrayMemory0() {
-    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
-        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
-    }
-    return cachedUint8ArrayMemory0;
-}
-
-function passArray8ToWasm0(arg, malloc) {
-    const ptr = malloc(arg.length * 1, 1) >>> 0;
-    getUint8ArrayMemory0().set(arg, ptr / 1);
-    WASM_VECTOR_LEN = arg.length;
-    return ptr;
-}
-
-function passStringToWasm0(arg, malloc, realloc) {
-    if (realloc === undefined) {
-        const buf = cachedTextEncoder.encode(arg);
-        const ptr = malloc(buf.length, 1) >>> 0;
-        getUint8ArrayMemory0().subarray(ptr, ptr + buf.length).set(buf);
-        WASM_VECTOR_LEN = buf.length;
-        return ptr;
-    }
-
-    let len = arg.length;
-    let ptr = malloc(len, 1) >>> 0;
-
-    const mem = getUint8ArrayMemory0();
-
-    let offset = 0;
-
-    for (; offset < len; offset++) {
-        const code = arg.charCodeAt(offset);
-        if (code > 0x7F) break;
-        mem[ptr + offset] = code;
-    }
-    if (offset !== len) {
-        if (offset !== 0) {
-            arg = arg.slice(offset);
-        }
-        ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
-        const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
-        const ret = cachedTextEncoder.encodeInto(arg, view);
-
-        offset += ret.written;
-        ptr = realloc(ptr, len, offset, 1) >>> 0;
-    }
-
-    WASM_VECTOR_LEN = offset;
-    return ptr;
-}
-
-let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
-cachedTextDecoder.decode();
-function decodeText(ptr, len) {
-    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
-}
-
-const cachedTextEncoder = new TextEncoder();
-
-if (!('encodeInto' in cachedTextEncoder)) {
-    cachedTextEncoder.encodeInto = function (arg, view) {
-        const buf = cachedTextEncoder.encode(arg);
-        view.set(buf);
-        return {
-            read: arg.length,
-            written: buf.length
-        };
-    }
-}
-
-let WASM_VECTOR_LEN = 0;
-
-/**
- * Wrapper around [`sp1_verifier::CompressedVerifier::verify_sp1_proof`].
- *
- * We hardcode the Plonk VK bytes to only verify SP1 proofs.
- * @param {Uint8Array} proof
- * @param {Uint8Array} public_inputs
- * @param {Uint8Array} sp1_vk_hash
- * @returns {boolean}
- */
-export function verify_compressed(proof, public_inputs, sp1_vk_hash) {
-    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
-    const len1 = WASM_VECTOR_LEN;
-    const ptr2 = passArray8ToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc);
-    const len2 = WASM_VECTOR_LEN;
-    const ret = wasm.verify_compressed(ptr0, len0, ptr1, len1, ptr2, len2);
-    return ret !== 0;
-}
-
-/**
- * Wrapper around [`sp1_verifier::Groth16Verifier::verify`].
- *
- * We hardcode the Groth16 VK bytes to only verify SP1 proofs.
- * @param {Uint8Array} proof
- * @param {Uint8Array} public_inputs
- * @param {string} sp1_vk_hash
- * @returns {boolean}
- */
-export function verify_groth16(proof, public_inputs, sp1_vk_hash) {
-    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
-    const len1 = WASM_VECTOR_LEN;
-    const ptr2 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    const len2 = WASM_VECTOR_LEN;
-    const ret = wasm.verify_groth16(ptr0, len0, ptr1, len1, ptr2, len2);
-    return ret !== 0;
-}
-
-/**
- * Wrapper around [`sp1_verifier::PlonkVerifier::verify`].
- *
- * We hardcode the Plonk VK bytes to only verify SP1 proofs.
- * @param {Uint8Array} proof
- * @param {Uint8Array} public_inputs
- * @param {string} sp1_vk_hash
- * @returns {boolean}
- */
-export function verify_plonk(proof, public_inputs, sp1_vk_hash) {
-    const ptr0 = passArray8ToWasm0(proof, wasm.__wbindgen_malloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ptr1 = passArray8ToWasm0(public_inputs, wasm.__wbindgen_malloc);
-    const len1 = WASM_VECTOR_LEN;
-    const ptr2 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    const len2 = WASM_VECTOR_LEN;
-    const ret = wasm.verify_plonk(ptr0, len0, ptr1, len1, ptr2, len2);
-    return ret !== 0;
-}
-
-export function __wbg___wbindgen_throw_dd24417ed36fc46e(arg0, arg1) {
-    throw new Error(getStringFromWasm0(arg0, arg1));
-};
-
-export function __wbg_error_2e0b9dae3eefa9fd(arg0, arg1) {
-    console.error(getStringFromWasm0(arg0, arg1));
-};
-
-export function __wbindgen_init_externref_table() {
-    const table = wasm.__wbindgen_externrefs;
-    const offset = table.grow(4);
-    table.set(0, undefined);
-    table.set(offset + 0, undefined);
-    table.set(offset + 1, null);
-    table.set(offset + 2, true);
-    table.set(offset + 3, false);
-};