@hyperdag/proof-verifier 0.1.0 → 0.2.0

package/pkg/hyperdag_proof_verifier_bg.js

@@ -1,170 +1,170 @@
-export function init_panic_hook() {
-    wasm.init_panic_hook();
-}
-
-/**
- * @param {string} input_json
- * @returns {string}
- */
-export function verify_proof(input_json) {
-    let deferred2_0;
-    let deferred2_1;
-    try {
-        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(input_json, wasm.__wbindgen_export2, wasm.__wbindgen_export3);
-        const len0 = WASM_VECTOR_LEN;
-        wasm.verify_proof(retptr, ptr0, len0);
-        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
-        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
-        deferred2_0 = r0;
-        deferred2_1 = r1;
-        return getStringFromWasm0(r0, r1);
-    } finally {
-        wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export(deferred2_0, deferred2_1, 1);
-    }
-}
-export function __wbg_error_a6fa202b58aa1cd3(arg0, arg1) {
-    let deferred0_0;
-    let deferred0_1;
-    try {
-        deferred0_0 = arg0;
-        deferred0_1 = arg1;
-        console.error(getStringFromWasm0(arg0, arg1));
-    } finally {
-        wasm.__wbindgen_export(deferred0_0, deferred0_1, 1);
-    }
-}
-export function __wbg_new_227d7c05414eb861() {
-    const ret = new Error();
-    return addHeapObject(ret);
-}
-export function __wbg_stack_3b0d974bbf31e44f(arg0, arg1) {
-    const ret = getObject(arg1).stack;
-    const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export2, wasm.__wbindgen_export3);
-    const len1 = WASM_VECTOR_LEN;
-    getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
-    getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
-}
-export function __wbindgen_object_drop_ref(arg0) {
-    takeObject(arg0);
-}
-function addHeapObject(obj) {
-    if (heap_next === heap.length) heap.push(heap.length + 1);
-    const idx = heap_next;
-    heap_next = heap[idx];
-
-    heap[idx] = obj;
-    return idx;
-}
-
-function dropObject(idx) {
-    if (idx < 1028) return;
-    heap[idx] = heap_next;
-    heap_next = idx;
-}
-
-let cachedDataViewMemory0 = null;
-function getDataViewMemory0() {
-    if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || (cachedDataViewMemory0.buffer.detached === undefined && cachedDataViewMemory0.buffer !== wasm.memory.buffer)) {
-        cachedDataViewMemory0 = new DataView(wasm.memory.buffer);
-    }
-    return cachedDataViewMemory0;
-}
-
-function getStringFromWasm0(ptr, len) {
-    return decodeText(ptr >>> 0, len);
-}
-
-let cachedUint8ArrayMemory0 = null;
-function getUint8ArrayMemory0() {
-    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
-        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
-    }
-    return cachedUint8ArrayMemory0;
-}
-
-function getObject(idx) { return heap[idx]; }
-
-let heap = new Array(1024).fill(undefined);
-heap.push(undefined, null, true, false);
-
-let heap_next = heap.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 = cachedTextEncoder.encodeInto(arg, view);
-
-        offset += ret.written;
-        ptr = realloc(ptr, len, offset, 1) >>> 0;
-    }
-
-    WASM_VECTOR_LEN = offset;
-    return ptr;
-}
-
-function takeObject(idx) {
-    const ret = getObject(idx);
-    dropObject(idx);
-    return ret;
-}
-
-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));
-}
-
-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;
-
-
-let wasm;
-export function __wbg_set_wasm(val) {
-    wasm = val;
-}
+export function init_panic_hook() {
+    wasm.init_panic_hook();
+}
+
+/**
+ * @param {string} input_json
+ * @returns {string}
+ */
+export function verify_proof(input_json) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(input_json, wasm.__wbindgen_export2, wasm.__wbindgen_export3);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.verify_proof(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export(deferred2_0, deferred2_1, 1);
+    }
+}
+export function __wbg_error_a6fa202b58aa1cd3(arg0, arg1) {
+    let deferred0_0;
+    let deferred0_1;
+    try {
+        deferred0_0 = arg0;
+        deferred0_1 = arg1;
+        console.error(getStringFromWasm0(arg0, arg1));
+    } finally {
+        wasm.__wbindgen_export(deferred0_0, deferred0_1, 1);
+    }
+}
+export function __wbg_new_227d7c05414eb861() {
+    const ret = new Error();
+    return addHeapObject(ret);
+}
+export function __wbg_stack_3b0d974bbf31e44f(arg0, arg1) {
+    const ret = getObject(arg1).stack;
+    const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export2, wasm.__wbindgen_export3);
+    const len1 = WASM_VECTOR_LEN;
+    getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+    getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+}
+export function __wbindgen_object_drop_ref(arg0) {
+    takeObject(arg0);
+}
+function addHeapObject(obj) {
+    if (heap_next === heap.length) heap.push(heap.length + 1);
+    const idx = heap_next;
+    heap_next = heap[idx];
+
+    heap[idx] = obj;
+    return idx;
+}
+
+function dropObject(idx) {
+    if (idx < 1028) return;
+    heap[idx] = heap_next;
+    heap_next = idx;
+}
+
+let cachedDataViewMemory0 = null;
+function getDataViewMemory0() {
+    if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || (cachedDataViewMemory0.buffer.detached === undefined && cachedDataViewMemory0.buffer !== wasm.memory.buffer)) {
+        cachedDataViewMemory0 = new DataView(wasm.memory.buffer);
+    }
+    return cachedDataViewMemory0;
+}
+
+function getStringFromWasm0(ptr, len) {
+    return decodeText(ptr >>> 0, len);
+}
+
+let cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+function getObject(idx) { return heap[idx]; }
+
+let heap = new Array(1024).fill(undefined);
+heap.push(undefined, null, true, false);
+
+let heap_next = heap.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 = cachedTextEncoder.encodeInto(arg, view);
+
+        offset += ret.written;
+        ptr = realloc(ptr, len, offset, 1) >>> 0;
+    }
+
+    WASM_VECTOR_LEN = offset;
+    return ptr;
+}
+
+function takeObject(idx) {
+    const ret = getObject(idx);
+    dropObject(idx);
+    return ret;
+}
+
+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));
+}
+
+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;
+
+
+let wasm;
+export function __wbg_set_wasm(val) {
+    wasm = val;
+}

package/pkg/hyperdag_proof_verifier_bg.wasm.d.ts

@@ -1,9 +1,9 @@
-/* tslint:disable */
-/* eslint-disable */
-export const memory: WebAssembly.Memory;
-export const verify_proof: (a: number, b: number, c: number) => void;
-export const init_panic_hook: () => void;
-export const __wbindgen_export: (a: number, b: number, c: number) => void;
-export const __wbindgen_export2: (a: number, b: number) => number;
-export const __wbindgen_export3: (a: number, b: number, c: number, d: number) => number;
-export const __wbindgen_add_to_stack_pointer: (a: number) => number;
+/* tslint:disable */
+/* eslint-disable */
+export const memory: WebAssembly.Memory;
+export const verify_proof: (a: number, b: number, c: number) => void;
+export const init_panic_hook: () => void;
+export const __wbindgen_export: (a: number, b: number, c: number) => void;
+export const __wbindgen_export2: (a: number, b: number) => number;
+export const __wbindgen_export3: (a: number, b: number, c: number, d: number) => number;
+export const __wbindgen_add_to_stack_pointer: (a: number) => number;

package/pkg/package.json

@@ -1,23 +1,25 @@
-{
-  "name": "hyperdag-proof-verifier",
-  "type": "module",
-  "description": "Client-side Plonky3 STARK verifier for HyperDAG RepID proofs",
-  "version": "0.1.0",
-  "license": "MIT OR Apache-2.0",
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/DealAppSeo/hyperdag-proof-verifier"
-  },
-  "files": [
-    "hyperdag_proof_verifier_bg.wasm",
-    "hyperdag_proof_verifier.js",
-    "hyperdag_proof_verifier_bg.js",
-    "hyperdag_proof_verifier.d.ts"
-  ],
-  "main": "hyperdag_proof_verifier.js",
-  "types": "hyperdag_proof_verifier.d.ts",
-  "sideEffects": [
-    "./hyperdag_proof_verifier.js",
-    "./snippets/*"
-  ]
+{
+  "name": "hyperdag-proof-verifier",
+  "type": "module",
+  "description": "Client-side Plonky3 STARK verifier for HyperDAG RepID proofs",
+  "version": "0.2.0",
+  "license": "MIT OR Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/DealAppSeo/hyperdag-proof-verifier"
+  },
+  "files": [
+    "hyperdag_proof_verifier_bg.wasm",
+    "hyperdag_proof_verifier.js",
+    "hyperdag_proof_verifier_bg.js",
+    "hyperdag_proof_verifier.d.ts",
+    "LICENSE-APACHE",
+    "LICENSE-MIT"
+  ],
+  "main": "hyperdag_proof_verifier.js",
+  "types": "hyperdag_proof_verifier.d.ts",
+  "sideEffects": [
+    "./hyperdag_proof_verifier.js",
+    "./snippets/*"
+  ]
 }

package/pkg-node/README.md

@@ -1,50 +1,51 @@
-# @hyperdag/proof-verifier
-Verify HyperDAG STARK proofs in your browser or Node app. No server trust.
-
-## Why this exists
-HyperDAG's zkp-postcard service generates Plonky3 STARK proofs for every agent decision. If you trust HyperDAG's server when it says `verified: true`, you're just trusting a server. With this package, your code verifies the cryptographic proof itself — locally, deterministically, with no network call.
-
-## Install
-```bash
-npm install @hyperdag/proof-verifier
-```
-
-## Usage (3 lines)
-```js
-import { verify } from '@hyperdag/proof-verifier';
-const result = await verify(proofBytes, statement);
-console.log(result.verified); // true | false
-```
-
-## End-to-end example with the SDK
-```js
-import { TrustShell } from '@hyperdag/trustshell';
-import { verify } from '@hyperdag/proof-verifier';
-
-const trust = new TrustShell({ ...config });
-const decision = await trust.report({ ... });
-const proof = await trust.getProof(decision.proof_job_id);
-const result = await verify(proof.proof_bytes, proof.statement);
-if (!result.verified) throw new Error('proof failed verification — DO NOT TRUST');
-```
-
-## What gets verified
-- The agent had the claimed RepID at the claimed time.
-- The RepID fits within the 32-bit range check relative to the threshold.
-- The statement claim (score > threshold) is cryptographically consistent with the proof.
-
-## Bundle size
-| Target  | .wasm size |
-|---------|-----------|
-| bundler | TBD        |
-| nodejs  | TBD        |
-| web     | TBD        |
-
-## Performance
-Verify time (10-run avg on Node 20, Windows): TBD ms
-
-## Plonky3 version pinning
-This verifier is pinned to the EXACT Plonky3 revisions used by zkp-postcard. Mismatched versions cannot verify. See Cargo.toml.
-
-## License
-MIT OR Apache-2.0
+# @hyperdag/proof-verifier
+Verify HyperDAG STARK proofs in your browser or Node app. No server trust.
+
+## Why this exists
+HyperDAG's zkp-postcard service generates Plonky3 STARK proofs for every agent decision. If you trust HyperDAG's server when it says `verified: true`, you're just trusting a server. With this package, your code verifies the cryptographic proof itself — locally, deterministically, with no network call.
+
+## Install
+```bash
+npm install @hyperdag/proof-verifier
+```
+
+## Usage (3 lines)
+```js
+import { verify } from '@hyperdag/proof-verifier';
+const result = await verify(proofBytes, statement);
+console.log(result.verified); // true | false
+```
+
+## End-to-end example with the SDK
+```js
+import { TrustShell } from '@hyperdag/trustshell';
+import { verify } from '@hyperdag/proof-verifier';
+
+const trust = new TrustShell({ ...config });
+const decision = await trust.report({ ... });
+const proof = await trust.getProof(decision.proof_job_id);
+const result = await verify(proof.proof_bytes, proof.statement);
+if (!result.verified) throw new Error('proof failed verification — DO NOT TRUST');
+```
+
+## What gets verified
+- The agent had the claimed RepID at the claimed time.
+- The RepID fits within the 32-bit range check relative to the threshold.
+- The statement claim (score > threshold) is cryptographically consistent with the proof.
+
+## Bundle size
+| Target  | .wasm size |
+|---------|-----------|
+| bundler | 230 KB    |
+| nodejs  | 230 KB    |
+| web     | 230 KB    |
+
+## Performance
+Verify time (avg on Node 22, Windows): ~110 ms
+Verify time (estimated Chrome/M3): ~150 ms
+
+## Plonky3 version pinning
+This verifier is pinned to the EXACT Plonky3 revisions used by zkp-postcard. Mismatched versions cannot verify. See Cargo.toml.
+
+## License
+MIT OR Apache-2.0

package/pkg-node/hyperdag_proof_verifier.d.ts

@@ -1,6 +1,6 @@
-/* tslint:disable */
-/* eslint-disable */
-
-export function init_panic_hook(): void;
-
-export function verify_proof(input_json: string): string;
+/* tslint:disable */
+/* eslint-disable */
+
+export function init_panic_hook(): void;
+
+export function verify_proof(input_json: string): string;