@succinctlabs/sp1-wasm-verifier 5.0.3 → 5.0.5

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,38 +1,33 @@
 {
     "name": "@succinctlabs/sp1-wasm-verifier",
-    "version": "5.0.3",
-    "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",
+    "collaborators": [
+        "Bhargav Annem, Yuwen Zhang"
+    ],
+    "description": "A rust verifier for BN254 curve",
+    "version": "5.0.5",
+    "license": "MIT/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"
+        "url": "https://github.com/succinctlabs/example-sp1-wasm-verifier"
     },
-    "homepage": "https://github.com/succinctlabs/example-sp1-wasm-verifier#readme",
-    "readme": "README.md",
+    "files": [
+        "sp1_wasm_verifier_bg.wasm",
+        "sp1_wasm_verifier.js",
+        "sp1_wasm_verifier_bg.js",
+        "sp1_wasm_verifier.d.ts"
+    ],
+    "main": "sp1_wasm_verifier.js",
+    "types": "sp1_wasm_verifier.d.ts",
+    "sideEffects": [
+        "./sp1_wasm_verifier.js",
+        "./snippets/*"
+    ],
     "keywords": [
         "zero-knowledge",
         "cryptography",
         "zkSNARK",
         "SNARK",
-        "gnark",
-        "bn254",
-        "verifier",
-        "wasm"
-    ],
-    "files": [
-        "sp1_wasm_verifier.js",
-        "sp1_wasm_verifier.rn.js",
-        "sp1_wasm_verifier_bg.wasm",
-        "sp1_wasm_verifier.d.ts"
+        "gnark"
     ]
 }

package/sp1_wasm_verifier.d.ts

@@ -1,23 +1,20 @@
 /* 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;

package/sp1_wasm_verifier.js

@@ -1,16 +1,5 @@
-
-let imports = {};
-import * as import0 from './sp1_wasm_verifier_bg.js';
-imports['./sp1_wasm_verifier_bg.js'] = import0;
-
-import { readFileSync } from 'node:fs';
-
-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);
+import * as wasm from "./sp1_wasm_verifier_bg.wasm";
+export * from "./sp1_wasm_verifier_bg.js";
+import { __wbg_set_wasm } from "./sp1_wasm_verifier_bg.js";
+__wbg_set_wasm(wasm);
 wasm.__wbindgen_start();
-
-export * from "./sp1_wasm_verifier_bg.js";

package/sp1_wasm_verifier_bg.js

@@ -0,0 +1,181 @@
+let wasm;
+export function __wbg_set_wasm(val) {
+    wasm = val;
+}
+
+
+let cachedUint8ArrayMemory0 = null;
+
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+const lTextDecoder = typeof TextDecoder === 'undefined' ? (0, module.require)('util').TextDecoder : TextDecoder;
+
+let cachedTextDecoder = new lTextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+
+cachedTextDecoder.decode();
+
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+let numBytesDecoded = 0;
+function decodeText(ptr, len) {
+    numBytesDecoded += len;
+    if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
+        cachedTextDecoder = new lTextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+        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 lTextEncoder = typeof TextEncoder === 'undefined' ? (0, module.require)('util').TextEncoder : TextEncoder;
+
+const cachedTextEncoder = new lTextEncoder('utf-8');
+
+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;
+}
+
+export function __wbg_error_4375b917961b0e7a(arg0, arg1) {
+    console.error(getStringFromWasm0(arg0, arg1));
+};
+
+export function __wbindgen_init_externref_table() {
+    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);
+    ;
+};
+
+export function __wbindgen_throw(arg0, arg1) {
+    throw new Error(getStringFromWasm0(arg0, arg1));
+};
+