@succinctlabs/sp1-wasm-verifier 5.0.1

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

@@ -0,0 +1,27 @@
+{
+    "name": "@succinctlabs/sp1-wasm-verifier",
+    "collaborators": [
+        "Bhargav Annem, Yuwen Zhang"
+    ],
+    "description": "A rust verifier for BN254 curve",
+    "version": "5.0.1",
+    "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",
+    "keywords": [
+        "zero-knowledge",
+        "cryptography",
+        "zkSNARK",
+        "SNARK",
+        "gnark"
+    ]
+}

package/sp1_wasm_verifier.d.ts

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

package/sp1_wasm_verifier.js

@@ -0,0 +1,16 @@
+
+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);
+wasm.__wbindgen_start();
+
+export * from "./sp1_wasm_verifier_bg.js";