@succinctlabs/sp1-wasm-verifier 5.0.4 → 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,39 +1,33 @@
 {
-  "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.5",
+    "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_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"
+    ]
 }

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

@@ -1,16 +1,11 @@
 let wasm;
-let wasmModule;
-export function __wbg_set_wasm(exports, module) {
-    wasm = exports;
-    wasmModule = module;
+export function __wbg_set_wasm(val) {
+    wasm = val;
 }
 
-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);
@@ -18,6 +13,31 @@ function getUint8ArrayMemory0() {
     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);
@@ -25,7 +45,25 @@ function passArray8ToWasm0(arg, malloc) {
     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;
@@ -46,13 +84,14 @@ function passStringToWasm0(arg, malloc, realloc) {
         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);
+        const ret = encodeString(arg, view);
 
         offset += ret.written;
         ptr = realloc(ptr, len, offset, 1) >>> 0;
@@ -61,102 +100,82 @@ function passStringToWasm0(arg, malloc, realloc) {
     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`].
+ * Wrapper around [`sp1_verifier::Groth16Verifier::verify`].
  *
- * We hardcode the Plonk VK bytes to only verify SP1 proofs.
+ * We hardcode the Groth16 VK bytes to only verify SP1 proofs.
  * @param {Uint8Array} proof
  * @param {Uint8Array} public_inputs
- * @param {Uint8Array} sp1_vk_hash
+ * @param {string} sp1_vk_hash
  * @returns {boolean}
  */
-export function verify_compressed(proof, public_inputs, sp1_vk_hash) {
+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 = passArray8ToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc);
+    const ptr2 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
     const len2 = WASM_VECTOR_LEN;
-    const ret = wasm.verify_compressed(ptr0, len0, ptr1, len1, ptr2, len2);
+    const ret = wasm.verify_groth16(ptr0, len0, ptr1, len1, ptr2, len2);
     return ret !== 0;
 }
 
 /**
- * Wrapper around [`sp1_verifier::Groth16Verifier::verify`].
+ * Wrapper around [`sp1_verifier::PlonkVerifier::verify`].
  *
- * We hardcode the Groth16 VK bytes to only verify SP1 proofs.
+ * 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_groth16(proof, public_inputs, sp1_vk_hash) {
+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_groth16(ptr0, len0, ptr1, len1, ptr2, len2);
+    const ret = wasm.verify_plonk(ptr0, len0, ptr1, len1, ptr2, len2);
     return ret !== 0;
 }
 
 /**
- * Wrapper around [`sp1_verifier::PlonkVerifier::verify`].
+ * 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 {string} sp1_vk_hash
+ * @param {Uint8Array} sp1_vk_hash
  * @returns {boolean}
  */
-export function verify_plonk(proof, public_inputs, sp1_vk_hash) {
+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 = passStringToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const ptr2 = passArray8ToWasm0(sp1_vk_hash, wasm.__wbindgen_malloc);
     const len2 = WASM_VECTOR_LEN;
-    const ret = wasm.verify_plonk(ptr0, len0, ptr1, len1, ptr2, len2);
+    const ret = wasm.verify_compressed(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) {
+export function __wbg_error_4375b917961b0e7a(arg0, arg1) {
     console.error(getStringFromWasm0(arg0, arg1));
 };
 
 export function __wbindgen_init_externref_table() {
-    const table = wasm.__wbindgen_externrefs;
+    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));
+};
+