@ethproofs/airbender-wasm-stark-verifier 0.1.0

package/README.md

@@ -0,0 +1,41 @@
+# ethproofs-verifier
+
+
+First - download the airbender proof from ethproofs.
+
+Run:
+
+```
+RUST_MIN_STACK=267108864 cargo run --release -- --input-file ~/Downloads/matter-labs_f9c5e994-96fc-45c0-98fe-835a53313a62_705856.bin
+```
+
+You'll get the output like this:
+
+```
+End params (recursion verification key): [592082644, 914832686, 2098567393, 2326800689, 2139187838, 4177631951, 1218871476, 1805766682]
+Basic program (verification key): [2515378349, 4234595854, 3925512183, 4162864624, 1989541961, 1232249954, 1448623067, 1605092683]
+Public input (per block): [2820680802, 124999842, 2275559499, 200691927, 3104886037, 3143080570, 941459835, 587801584]
+```
+
+The first 2 things are verification keys (for recursion and for the 'basic' program).
+In theory they should be always 'constant' (and you should build the program + recursion program and check that they match).
+
+The last entry (public input), would differ for each block, and it represents the hash of the commitment to the block (that contains information like new & old state roots etc).
+
+
+## Additional options
+
+You can pass `--output_layouts_dir` to output the created setup files to a new directory.
+
+You can also run with `--use-existing-layout` to use pre-created layouts (which would make program run a lot faster).
+
+
+# Wasm
+
+```shell
+cargo install wasm-bindgen-cli
+```
+
+```shell
+RUSTFLAGS='--cfg getrandom_backend="wasm_js"' wasm-pack build --target web --no-opt
+```

package/package.json

@@ -0,0 +1,62 @@
+{
+  "name": "@ethproofs/airbender-wasm-stark-verifier",
+  "version": "0.1.0",
+  "description": "WASM wrapper for Airbender STARK verifier",
+  "type": "module",
+  "main": "pkg/ethproofs_verifier_lib.js",
+  "module": "pkg/ethproofs_verifier_lib.js",
+  "types": "pkg/ethproofs_verifier_lib.d.ts",
+  "exports": {
+    ".": {
+      "types": "./pkg/ethproofs_verifier_lib.d.ts",
+      "import": "./pkg/ethproofs_verifier_lib.js",
+      "require": "./pkg/ethproofs_verifier_lib.js"
+    },
+    "./pkg/*": "./pkg/*"
+  },
+  "files": [
+    "pkg/",
+    "README.md",
+    "test-browser.html",
+    "test-serve.mjs"
+  ],
+  "scripts": {
+    "build": "wasm-pack build --target bundler --out-dir pkg --no-opt",
+    "build:node": "wasm-pack build --target nodejs --out-dir pkg-node  --no-opt",
+    "build:web": "wasm-pack build --target web --out-dir pkg-web --no-opt",
+    "build:all": "npm run build && npm run build:node && npm run build:web",
+    "test": "npm run build && node test-serve.mjs",
+    "test:node": "npm run build:node && node test-node.mjs"
+  },
+  "keywords": [
+    "wasm",
+    "webassembly",
+    "stark",
+    "verifier",
+    "airbender",
+    "zero-knowledge",
+    "zk",
+    "proof",
+    "blockchain",
+    "cryptography"
+  ],
+  "author": "Ethproofs",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/ethproofs/airbender-wasm-stark-verifier"
+  },
+  "homepage": "https://github.com/ethproofs/airbender-wasm-stark-verifier#readme",
+  "bugs": {
+    "url": "https://github.com/ethproofs/airbender-wasm-stark-verifier/issues"
+  },
+  "engines": {
+    "node": ">=16.0.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "devDependencies": {
+    "wasm-pack": "^1.3.4"
+  }
+}

package/pkg/README.md

@@ -0,0 +1,41 @@
+# ethproofs-verifier
+
+
+First - download the airbender proof from ethproofs.
+
+Run:
+
+```
+RUST_MIN_STACK=267108864 cargo run --release -- --input-file ~/Downloads/matter-labs_f9c5e994-96fc-45c0-98fe-835a53313a62_705856.bin
+```
+
+You'll get the output like this:
+
+```
+End params (recursion verification key): [592082644, 914832686, 2098567393, 2326800689, 2139187838, 4177631951, 1218871476, 1805766682]
+Basic program (verification key): [2515378349, 4234595854, 3925512183, 4162864624, 1989541961, 1232249954, 1448623067, 1605092683]
+Public input (per block): [2820680802, 124999842, 2275559499, 200691927, 3104886037, 3143080570, 941459835, 587801584]
+```
+
+The first 2 things are verification keys (for recursion and for the 'basic' program).
+In theory they should be always 'constant' (and you should build the program + recursion program and check that they match).
+
+The last entry (public input), would differ for each block, and it represents the hash of the commitment to the block (that contains information like new & old state roots etc).
+
+
+## Additional options
+
+You can pass `--output_layouts_dir` to output the created setup files to a new directory.
+
+You can also run with `--use-existing-layout` to use pre-created layouts (which would make program run a lot faster).
+
+
+# Wasm
+
+```shell
+cargo install wasm-bindgen-cli
+```
+
+```shell
+RUSTFLAGS='--cfg getrandom_backend="wasm_js"' wasm-pack build --target web --no-opt
+```

package/pkg/ethproofs_verifier_lib.d.ts

@@ -0,0 +1,3 @@
+/* tslint:disable */
+/* eslint-disable */
+export function verify_stark(data: Uint8Array): Array<any>;

package/pkg/ethproofs_verifier_lib.js

@@ -0,0 +1,5 @@
+import * as wasm from "./ethproofs_verifier_lib_bg.wasm";
+export * from "./ethproofs_verifier_lib_bg.js";
+import { __wbg_set_wasm } from "./ethproofs_verifier_lib_bg.js";
+__wbg_set_wasm(wasm);
+wasm.__wbindgen_start();

package/pkg/ethproofs_verifier_lib_bg.js

@@ -0,0 +1,86 @@
+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;
+}
+
+let cachedTextDecoder = new TextDecoder('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 TextDecoder('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;
+}
+/**
+ * @param {Uint8Array} data
+ * @returns {Array<any>}
+ */
+export function verify_stark(data) {
+    const ptr0 = passArray8ToWasm0(data, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.verify_stark(ptr0, len0);
+    return ret;
+}
+
+export function __wbg___wbindgen_throw_b855445ff6a94295(arg0, arg1) {
+    throw new Error(getStringFromWasm0(arg0, arg1));
+};
+
+export function __wbg_new_e17d9f43105b08be() {
+    const ret = new Array();
+    return ret;
+};
+
+export function __wbg_push_df81a39d04db858c(arg0, arg1) {
+    const ret = arg0.push(arg1);
+    return ret;
+};
+
+export function __wbindgen_cast_2241b6af4c4b2941(arg0, arg1) {
+    // Cast intrinsic for `Ref(String) -> Externref`.
+    const ret = getStringFromWasm0(arg0, arg1);
+    return ret;
+};
+
+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);
+    ;
+};
+

package/pkg/ethproofs_verifier_lib_bg.wasm.d.ts

@@ -0,0 +1,7 @@
+/* tslint:disable */
+/* eslint-disable */
+export const memory: WebAssembly.Memory;
+export const verify_stark: (a: number, b: number) => any;
+export const __wbindgen_externrefs: WebAssembly.Table;
+export const __wbindgen_malloc: (a: number, b: number) => number;
+export const __wbindgen_start: () => void;

package/pkg/package.json

@@ -0,0 +1,17 @@
+{
+  "name": "ethproofs_verifier",
+  "type": "module",
+  "version": "0.1.0",
+  "files": [
+    "ethproofs_verifier_lib_bg.wasm",
+    "ethproofs_verifier_lib.js",
+    "ethproofs_verifier_lib_bg.js",
+    "ethproofs_verifier_lib.d.ts"
+  ],
+  "main": "ethproofs_verifier_lib.js",
+  "types": "ethproofs_verifier_lib.d.ts",
+  "sideEffects": [
+    "./ethproofs_verifier_lib.js",
+    "./snippets/*"
+  ]
+}