@provablehq/wasm 0.13.0 → 0.14.0-rc

package/README.md

@@ -41,6 +41,65 @@ yarn build
 
 This will produce `.js` and `.wasm` files inside of the `dist` folder.
 
+### wasm64 build
+
+The separate wasm64 build compiles the same Rust sources and snarkVM version as
+wasm32 for `wasm64-unknown-unknown`, with an 8 GiB maximum, shared memory, atomics
+and the existing Rayon pool. The caller still selects the thread count through
+`initThreadPool(threads)`. Its bindings are published as
+[`@provablehq/wasm64`](../wasm64/README.md), versioned in lockstep
+with `@provablehq/wasm`.
+
+From the repository root:
+
+```bash
+yarn install --immutable
+yarn build:wasm
+yarn build:wasm64
+yarn build:sdk
+```
+
+Both builds use the toolchain in `rust-toolchain.toml`; the wasm64 build also
+needs its `rust-src` component for `-Zbuild-std`. `yarn build:all` includes both
+WASM variants and the SDK. The wasm64 artifacts are written to
+`wasm64/dist/{testnet,mainnet}/` and `sdk/dist/wasm64/{testnet,mainnet}/`.
+Development builds can set `BUILD_DEBUG=1` for the wasm64 build.
+
+The wasm64 build uses Binaryen 125 instead of the wasm32 Binaryen 120, and a
+wasm-bindgen CLI built from source with the same toolchain. It explicitly enables
+the multivalue binding ABI, including for stripped release modules. Set
+`WASM_OPT_BIN` to use a native Binaryen 125 `wasm-opt` executable instead of the
+pinned npm tool.
+Until upstream dependencies support threaded wasm64, the build applies the
+compatibility patches in `build/wasm64/patches/` to checksum-verified crate
+archives under `target/`. These patches implement 64-bit thread/TLS/stack
+addresses and select browser backends in the dependencies. They contain no
+proving diagnostics or changes to proof algorithms. Cargo's shared registry
+sources are never modified. The first build needs network access; subsequent
+builds reuse the prepared dependencies and compiled tools.
+
+`build/wasm64/dependencies.js` generates `wasm64/Cargo.toml` from the current
+SDK manifest, pointing at the same library and license-check sources. The
+separate, tracked `wasm64/Cargo.lock` matches `Cargo.lock` except for the
+patched crates, which resolve to the build-local copies. When updating SDK
+dependencies, prepare the manifest with `node wasm/build/wasm64.js --prepare-only`
+from the repository root, update that lockfile intentionally, and test both
+variants. The snarkVM patches are pinned to the snarkVM release in `Cargo.toml`
+and must be regenerated when it changes. The build itself always uses `--locked`;
+it does not resolve or upgrade dependencies during compilation.
+
+Run `yarn test:sdk:wasm64` on Node.js 24 after building. It runs the SDK test
+suite against the wasm64 build instead of wasm32. Run
+`yarn workspace @provablehq/sdk test:cjs:pack:wasm64` to pack and install the
+three packages into a clean fixture, then test ESM, CommonJS, wasm64 shared
+memory and Rayon workers on both networks. The local execution check downloads
+public SRS parameters if they are not cached. On a Node.js line without wasm64
+shared memory (before 24), add `--expect-unsupported` to assert instead that the
+wasm64 entry points throw the documented error while the wasm32 entry still
+works. The `runtime compat` jobs in `.github/workflows/sdk.yml` run both forms
+on Node.js 20, 22, 24 and 26 for every pull request. The wasm64 GitHub Actions
+workflow also checks the packages' export maps.
+
 ## Testing
 
 Run tests in Node.js

package/dist/mainnet/aleo_wasm.d.ts

@@ -2289,8 +2289,8 @@ export class Metadata {
     static split(): Metadata;
     static transfer_private(): Metadata;
     static transfer_private_to_public(): Metadata;
-    static transfer_public(): Metadata;
     static transfer_public_as_signer(): Metadata;
+    static transfer_public(): Metadata;
     static transfer_public_to_private(): Metadata;
     static unbond_public(): Metadata;
     locator: string;

package/dist/mainnet/index.cjs

@@ -7468,15 +7468,15 @@ class Metadata {
     /**
      * @returns {Metadata}
      */
-    static transfer_public() {
-        const ret = wasm$1.metadata_transfer_public();
+    static transfer_public_as_signer() {
+        const ret = wasm$1.metadata_transfer_public_as_signer();
         return Metadata.__wrap(ret);
     }
     /**
      * @returns {Metadata}
      */
-    static transfer_public_as_signer() {
-        const ret = wasm$1.metadata_transfer_public_as_signer();
+    static transfer_public() {
+        const ret = wasm$1.metadata_transfer_public();
         return Metadata.__wrap(ret);
     }
     /**
@@ -18610,7 +18610,7 @@ function __wbg_get_imports(memory) {
             const ret = getObject(arg0).length;
             return ret;
         },
-        __wbg_log_b9601fb81f5cc1ef: function(arg0, arg1) {
+        __wbg_log_db561a5a443b6901: function(arg0, arg1) {
             console.log(getStringFromWasm0(arg0, arg1));
         },
         __wbg_new_1dbf7428bba60a42: function(arg0) {
@@ -18636,7 +18636,7 @@ function __wbg_get_imports(memory) {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_8331(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_8379(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -18674,7 +18674,7 @@ function __wbg_get_imports(memory) {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_8331(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_8379(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -18821,7 +18821,7 @@ function __wbg_get_imports(memory) {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_spawnWorker_1e5122f444d8e0b9: function(arg0, arg1, arg2, arg3) {
+        __wbg_spawnWorker_3d6f6e215bdb1ac2: function(arg0, arg1, arg2, arg3) {
             const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
             return addHeapObject(ret);
         },
@@ -18908,18 +18908,18 @@ function __wbg_get_imports(memory) {
             return addHeapObject(ret);
         },
         __wbindgen_generic_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 271, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_3057);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 272, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_3083);
             return addHeapObject(ret);
         },
         __wbindgen_generic_0000000000000002: function(arg0, arg1) {
             // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 562, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_8021);
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_8069);
             return addHeapObject(ret);
         },
         __wbindgen_generic_0000000000000003: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 361, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_7955);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 362, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_8003);
             return addHeapObject(ret);
         },
         __wbindgen_generic_0000000000000004: function(arg0) {
@@ -18981,22 +18981,22 @@ function __wbg_get_imports(memory) {
     };
 }
 
-function __wasm_bindgen_func_elem_7955(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7955(arg0, arg1);
+function __wasm_bindgen_func_elem_8003(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_8003(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_3057(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_3057(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_3083(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_3083(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_8331(arg0, arg1, arg2, arg3) {
-    wasm$1.__wasm_bindgen_func_elem_8331(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_8379(arg0, arg1, arg2, arg3) {
+    wasm$1.__wasm_bindgen_func_elem_8379(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
-function __wasm_bindgen_func_elem_8021(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_8069(arg0, arg1, arg2) {
     try {
         const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        wasm$1.__wasm_bindgen_func_elem_8021(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm$1.__wasm_bindgen_func_elem_8069(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {