@succinctlabs/sp1-wasm-verifier 5.0.2 → 5.0.4

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@succinctlabs/sp1-wasm-verifier",
-  "version": "5.0.2",
+  "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",
+  "react-native": "./sp1_wasm_verifier_rn.js",
   "sideEffects": false,
   "author": "Bhargav Annem, Yuwen Zhang",
   "license": "MIT OR Apache-2.0",
@@ -31,6 +31,8 @@
   ],
   "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"
   ]

package/sp1_wasm_verifier_bg.js

@@ -0,0 +1,162 @@
+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);
+};