@auditable/privacy-pool-zk-sdk 0.7.0 → 0.9.1-rc.0

package/dist/cli.js

@@ -3,32 +3,27 @@
 
 var fs = require('fs');
 var stellarSdk = require('@stellar/stellar-sdk');
-var snarkjs = require('snarkjs');
+var circomlibjs = require('circomlibjs');
 
 var _documentCurrentScript = typeof document !== 'undefined' ? document.currentScript : null;
 function _interopNamespaceDefault(e) {
-	var n = Object.create(null);
-	if (e) {
-		Object.keys(e).forEach(function (k) {
-			if (k !== 'default') {
-				var d = Object.getOwnPropertyDescriptor(e, k);
-				Object.defineProperty(n, k, d.get ? d : {
-					enumerable: true,
-					get: function () { return e[k]; }
-				});
-			}
-		});
-	}
-	n.default = e;
-	return Object.freeze(n);
+    var n = Object.create(null);
+    if (e) {
+        Object.keys(e).forEach(function (k) {
+            if (k !== 'default') {
+                var d = Object.getOwnPropertyDescriptor(e, k);
+                Object.defineProperty(n, k, d.get ? d : {
+                    enumerable: true,
+                    get: function () { return e[k]; }
+                });
+            }
+        });
+    }
+    n.default = e;
+    return Object.freeze(n);
 }
 
 var fs__namespace = /*#__PURE__*/_interopNamespaceDefault(fs);
-var snarkjs__namespace = /*#__PURE__*/_interopNamespaceDefault(snarkjs);
-
-function getDefaultExportFromCjs (x) {
-	return x && x.__esModule && Object.prototype.hasOwnProperty.call(x, 'default') ? x['default'] : x;
-}
 
 var dist = {};
 
@@ -205,7 +200,7 @@ dist.bech32m = getLibraryFromEncoding('bech32m');
 const STEALTH_ADDRESS_HRP = 'stpl1';
 /** BIP-173 default 90 is too small for 64-byte payload (32+32 field coords) after 8→5 bit conversion. */
 const BECH32_STEALTH_LIMIT = 1023;
-function normalizeHex$2(hex) {
+function normalizeHex$3(hex) {
     const s = hex.trim().replace(/^0x/i, '');
     if (!/^[0-9a-fA-F]*$/.test(s)) {
         throw new Error('stealth-address: hex must contain only 0-9, a-f');
@@ -213,7 +208,7 @@ function normalizeHex$2(hex) {
     return s.length % 2 === 0 ? s : `0${s}`;
 }
 function hexToBytes$2(hex) {
-    const norm = normalizeHex$2(hex);
+    const norm = normalizeHex$3(hex);
     const out = new Uint8Array(norm.length / 2);
     for (let i = 0; i < out.length; i++) {
         out[i] = parseInt(norm.slice(i * 2, i * 2 + 2), 16);
@@ -227,7 +222,7 @@ function bytesToHex$1(bytes) {
     }
     return s;
 }
-function concatBytes(a, b) {
+function concatBytes$1(a, b) {
     const out = new Uint8Array(a.length + b.length);
     out.set(a, 0);
     out.set(b, a.length);
@@ -243,7 +238,7 @@ function encodeStealthAddress(decoded) {
     if (xb.length !== yb.length) {
         throw new Error('stealth-address: x and y must encode the same number of bytes for a reversible address');
     }
-    const payload = concatBytes(xb, yb);
+    const payload = concatBytes$1(xb, yb);
     const words = bech32.toWords(payload);
     return bech32.encode(STEALTH_ADDRESS_HRP, words, BECH32_STEALTH_LIMIT);
 }
@@ -268,375 +263,57 @@ function decodeStealthAddress(address) {
 
 /** Default nonce when deriving the wallet sign-in message. */
 const DEFAULT_STEALTH_SIGN_NONCE = 'main address';
-/**
- * Plaintext for Stellar wallet message signing (stealth address derivation).
- * Sign the exact bytes of this string (UTF-8) with the stellar account key.
- */
-function buildStealthAddressSignMessage(address, nonce = DEFAULT_STEALTH_SIGN_NONCE) {
-    return `Privacy layer app needs you to sign the message for stealth address derivation with address:\n${address}\n and nonce:\n${nonce}.\n\n This will not authorize any transaction.`;
-}
-
-/** Bech32 HRP for {@link DecodedEphemeralKey} only (`x ‖ y`, 64 bytes). */
-const DECODED_EPHEMERAL_HRP = 'epk1';
-/** Bech32 HRP for {@link DecodedDepositorSharedSecretPreimage} (96 bytes). */
-const DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP = 'epk_dep_pre1';
-const FIELD_BYTES = 32;
-const EPK_POINT_PAYLOAD = FIELD_BYTES * 2;
-const EPK_DEP_PRE_PAYLOAD = FIELD_BYTES * 3;
-const BECH32_LONG_LIMIT = 1023;
-function normalizeHex$1(hex) {
-    const s = hex.trim().replace(/^0x/i, '');
-    if (!/^[0-9a-fA-F]*$/.test(s)) {
-        throw new Error('ephemeral-key: hex must contain only 0-9, a-f');
-    }
-    return s.length % 2 === 0 ? s : `0${s}`;
-}
-function hexToBytes$1(hex) {
-    const norm = normalizeHex$1(hex);
-    const out = new Uint8Array(norm.length / 2);
-    for (let i = 0; i < out.length; i++) {
-        out[i] = parseInt(norm.slice(i * 2, i * 2 + 2), 16);
-    }
-    return out;
-}
-function bytesToHex(bytes) {
-    let s = '';
-    for (let i = 0; i < bytes.length; i++) {
-        s += bytes[i].toString(16).padStart(2, '0');
-    }
-    return s;
-}
-function concat2(a, b) {
-    const out = new Uint8Array(a.length + b.length);
-    out.set(a, 0);
-    out.set(b, a.length);
-    return out;
-}
-function concat3(a, b, c) {
-    const out = new Uint8Array(a.length + b.length + c.length);
-    out.set(a, 0);
-    out.set(b, a.length);
-    out.set(c, a.length + b.length);
-    return out;
-}
-function require32(label, bytes) {
-    if (bytes.length !== FIELD_BYTES) {
-        throw new Error(`ephemeral-key: ${label} must encode exactly ${FIELD_BYTES} bytes, got ${bytes.length}`);
-    }
-}
-/**
- * 32-byte big-endian integer as hex (64 chars), **< 2^253**, so BabyJub ECDH matches
- * `circuits/encryption.circom` `Num2Bits(253)` and `libs/cryptography` `scalar_mul_253`.
- */
-function generateRandomScalarHex32() {
-    const g = globalThis.crypto;
-    if (!g?.getRandomValues) {
-        throw new Error('ephemeral-key: crypto.getRandomValues is required');
-    }
-    const max = 1n << 253n;
-    for (let attempt = 0; attempt < 65536; attempt++) {
-        const b = new Uint8Array(32);
-        g.getRandomValues(b);
-        const hex = bytesToHex(b);
-        if (BigInt(`0x${hex}`) < max) {
-            return hex;
-        }
-    }
-    throw new Error('ephemeral-key: failed to sample scalar < 2^253');
-}
-/** Bech32 `epk1`: encodes `x ‖ y` (64 bytes). */
-function encodeDecodedEphemeralKey(decoded) {
-    const xb = hexToBytes$1(decoded.x);
-    const yb = hexToBytes$1(decoded.y);
-    require32('x', xb);
-    require32('y', yb);
-    const payload = concat2(xb, yb);
-    const words = bech32.toWords(payload);
-    return bech32.encode(DECODED_EPHEMERAL_HRP, words, BECH32_LONG_LIMIT);
-}
-function decodeDecodedEphemeralKey(encoded) {
-    const { prefix, words } = bech32.decode(encoded, BECH32_LONG_LIMIT);
-    if (prefix !== DECODED_EPHEMERAL_HRP) {
-        throw new Error(`ephemeral-key: expected HRP ${DECODED_EPHEMERAL_HRP}, got ${JSON.stringify(prefix)}`);
-    }
-    const bytes = new Uint8Array(bech32.fromWords(words));
-    if (bytes.length !== EPK_POINT_PAYLOAD) {
-        throw new Error(`ephemeral-key: epk1 payload must be ${EPK_POINT_PAYLOAD} bytes, got ${bytes.length}`);
-    }
-    return {
-        x: bytesToHex(bytes.subarray(0, FIELD_BYTES)),
-        y: bytesToHex(bytes.subarray(FIELD_BYTES)),
-    };
-}
-/** Bech32 `epk_dep_pre1`: `randomNonceScalar ‖ recipient.x ‖ recipient.y`. */
-function encodeDepositorSharedSecretPreimage(decoded) {
-    const sb = hexToBytes$1(decoded.randomNonceScalar);
-    const xb = hexToBytes$1(decoded.recipientStealthAddress.x);
-    const yb = hexToBytes$1(decoded.recipientStealthAddress.y);
-    require32('randomNonceScalar', sb);
-    require32('recipientStealthAddress.x', xb);
-    require32('recipientStealthAddress.y', yb);
-    const payload = concat3(sb, xb, yb);
-    const words = bech32.toWords(payload);
-    return bech32.encode(DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP, words, BECH32_LONG_LIMIT);
+/** Domain tag mixed into the spend-scalar digest (H6). */
+const SPEND_SCALAR_DOMAIN_TAG = 'privacy-pool-spend-scalar-v1';
+/** Schema version bound into the spend-scalar message and digest. */
+const OWNER_BOUND_NOTE_SCHEMA_VERSION = 1;
+function resolveSpendScalarSchemaVersion(domain) {
+    return domain.schemaVersion ?? OWNER_BOUND_NOTE_SCHEMA_VERSION;
 }
-function decodeDepositorSharedSecretPreimage(encoded) {
-    const { prefix, words } = bech32.decode(encoded, BECH32_LONG_LIMIT);
-    if (prefix !== DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP) {
-        throw new Error(`ephemeral-key: expected HRP ${DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP}, got ${JSON.stringify(prefix)}`);
-    }
-    const bytes = new Uint8Array(bech32.fromWords(words));
-    if (bytes.length !== EPK_DEP_PRE_PAYLOAD) {
-        throw new Error(`ephemeral-key: epk_dep_pre1 payload must be ${EPK_DEP_PRE_PAYLOAD} bytes, got ${bytes.length}`);
-    }
-    return {
-        randomNonceScalar: bytesToHex(bytes.subarray(0, FIELD_BYTES)),
-        recipientStealthAddress: {
-            x: bytesToHex(bytes.subarray(FIELD_BYTES, FIELD_BYTES * 2)),
-            y: bytesToHex(bytes.subarray(FIELD_BYTES * 2)),
-        },
-    };
-}
-
-const DEFAULT_APPLICATION_ID = '101';
-/** BabyJub audit public key (decimal Fr) used in BDD / local demo when env is unset. */
-const DEMO_AUDIT_PUBLIC_KEY = [
-    '21605515851820432880964235241069234202284600780825340516808373216881770219365',
-    '18856460861531942120859708048677603751294231190189224157283439874962410808705',
-];
-function isActiveWithdraw(slot) {
-    return slot.value !== '0';
-}
-function isActiveDeposit(slot) {
-    return slot.value !== '0';
-}
-function resolveWithdrawSlot(slot) {
-    if (slot === 'dummy') {
-        return null;
-    }
-    return slot;
-}
-function resolveDepositSlot(slot) {
-    if (slot === 'dummy') {
-        return null;
-    }
-    return slot;
-}
-function buildUniformAuditParams(applicationId = DEFAULT_APPLICATION_ID, auditPublicKey) {
-    return {
-        applicationId,
-        noteAuditPublicKeys: [
-            auditPublicKey,
-            auditPublicKey,
-            auditPublicKey,
-            auditPublicKey,
-        ],
-        auditEphemeralScalars: [
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-        ],
-    };
-}
-function resolveSlotApplicationIds(audit, withdrawSlots, depositSlots) {
-    const w0 = resolveWithdrawSlot(withdrawSlots[0]);
-    const w1 = resolveWithdrawSlot(withdrawSlots[1]);
-    const d0 = resolveDepositSlot(depositSlots[0]);
-    const d1 = resolveDepositSlot(depositSlots[1]);
-    return {
-        inputApplicationIds: [
-            w0 && isActiveWithdraw(w0) ? audit.applicationId : '0',
-            w1 && isActiveWithdraw(w1) ? audit.applicationId : '0',
-        ],
-        outputApplicationIds: [
-            d0 && isActiveDeposit(d0) ? audit.applicationId : '0',
-            d1 && isActiveDeposit(d1) ? audit.applicationId : '0',
-        ],
-    };
-}
-function resolveTransactionAuditParams(applicationId, auditPublicKey) {
-    return buildUniformAuditParams(applicationId, auditPublicKey ?? DEMO_AUDIT_PUBLIC_KEY);
-}
-
-/** Matches `Transaction(20, 2, 2, publicNInputs, publicNOutputs, 4, 9)` in `circuits/main.circom`. */
-const TRANSACTION_TREE_DEPTH = 20;
-/** BN254 scalar field modulus (ark `Fr`, circom signals). */
-const BN254_SCALAR_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
 /**
- * BabyJub ECDH in `circuits/encryption.circom` uses `Num2Bits(253)`; scalars must be < 2^253
- * (matches `libs/cryptography` `scalar_mul_253`).
+ * Plaintext for Stellar wallet message signing (spend-key derivation).
+ * Sign the exact bytes of this string (UTF-8) with the stellar account key.
+ *
+ * The derived scalar is the owner-bound spend key for notes in this environment.
  */
-const BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE = 1n << 253n;
-function normalizeHex(hex) {
-    const s = hex.trim().replace(/^0x/i, '');
-    if (!/^[0-9a-fA-F]*$/.test(s)) {
-        throw new Error('withdrawal-transaction-input: invalid hex');
-    }
-    return s.length % 2 === 0 ? s : `0${s}`;
-}
-/** 32-byte field coordinate (hex, no 0x) → decimal string mod BN254 scalar field. */
-function coordHexToDecimal(hex) {
-    const h = normalizeHex(hex);
-    if (h.length > 64) {
-        throw new Error('withdrawal-transaction-input: coordinate hex too long');
-    }
-    const v = BigInt(`0x${h}`);
-    return (v % BN254_SCALAR_MOD).toString(10);
-}
+function buildStealthAddressSignMessage(address, domain, nonce = DEFAULT_STEALTH_SIGN_NONCE) {
+    const schemaVersion = resolveSpendScalarSchemaVersion(domain);
+    return [
+        'Arcane privacy layer: derive your private-note spend key.',
+        '',
+        `Wallet: ${address}`,
+        `Network: ${domain.networkPassphrase}`,
+        `Pool: ${domain.poolContract}`,
+        `Registry: ${domain.registryContract}`,
+        `Schema: owner-bound-note-v${schemaVersion}`,
+        `Nonce: ${nonce}`,
+        '',
+        'This signature derives the key that authorizes spending your private notes in this environment.',
+    ].join('\n');
+}
+
+const DOM_ENC = 1346719299n;
+const DOM_AUDIT_TAG = 1346458695n;
+const DOM_OUTPUT_NOTE_TAG = 1347310663n;
+const BABYJUB_SUBGROUP_ORDER = 2736030358979909402780800718157159386076813972158567259200215660948447373041n;
 /**
- * 32-byte big-endian scalar hex → decimal for circom `ephemeralKeyScalar` / ECDH `priv`.
- * Integer must be < 2^253 (not reduced mod r — values ≥ 2^253 are rejected).
+ * Map any integer into `(0, l)` so it satisfies circom `LessThan(252)` vs
+ * `BABYJUB_SUBGROUP_ORDER` and `BabyPbk`. Values already in range are unchanged.
  */
-function scalarHexToFrDecimal(hex) {
-    const h = normalizeHex(hex);
-    if (h.length > 64) {
-        throw new Error('withdrawal-transaction-input: scalar hex too long');
+function canonicalBabyJubScalarFromInteger(value) {
+    if (value > 0n && value < BABYJUB_SUBGROUP_ORDER) {
+        return value;
     }
-    const v = BigInt(`0x${h.padStart(64, '0').slice(-64)}`);
-    if (v >= BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE) {
-        throw new Error('depositor ephemeral scalar must be < 2^253 (BabyJub Num2Bits); resample with random-scalar');
-    }
-    return v.toString(10);
-}
-/**
- * Stellar G-address Ed25519 payload (32 bytes as 64 hex, optional 0x) → two circom public decimals
- * (`withdrawAddressHi` / `withdrawAddressLo`). No mod-r; each half fits in 128 bits.
- */
-function ed25519PubkeyPayloadHexToWithdrawFrDecimals(hex) {
-    const h = normalizeHex(hex).padStart(64, '0').slice(-64);
-    const hi = BigInt(`0x${h.slice(0, 32)}`);
-    const lo = BigInt(`0x${h.slice(32, 64)}`);
-    return { hi: hi.toString(10), lo: lo.toString(10) };
-}
-/**
- * Stellar contract id (`C…`) → two circom field decimals for `asset[0]`, `asset[1]` (same 32-byte split as accounts).
- */
-function stellarContractAddressToAssetFrDecimals(address) {
-    const raw = stellarSdk.StrKey.decodeContract(address);
-    const hex = Buffer.from(raw).toString('hex');
-    const { hi, lo } = ed25519PubkeyPayloadHexToWithdrawFrDecimals(hex);
-    return [hi, lo];
-}
-/** Uniform random `Fr` as decimal (32 random bytes, mod r). For Poseidon-only inputs (e.g. nullifiers). */
-function randomFrDecimal() {
-    const hex = generateRandomScalarHex32();
-    const v = BigInt(`0x${normalizeHex(hex)}`);
-    return (v % BN254_SCALAR_MOD).toString(10);
-}
-/** Random scalar < 2^253 for BabyJub ECDH / `Num2Bits(253)` (uses {@link generateRandomScalarHex32}). */
-function randomFrDecimal253() {
-    const hex = generateRandomScalarHex32();
-    return BigInt(`0x${normalizeHex(hex)}`).toString(10);
-}
-function zerosTreeSiblings() {
-    return Array(TRANSACTION_TREE_DEPTH).fill('0');
-}
-function dummyWithdraw(wasm) {
-    const nullifier = randomFrDecimal();
-    const secretHex = generateRandomScalarHex32();
-    const secret = (BigInt(`0x${normalizeHex(secretHex)}`) % BN254_SCALAR_MOD).toString(10);
-    const pt = wasm.ecdhEphemeralPublicKeyFromScalarHex(secretHex);
-    return {
-        value: '0',
-        nullifier,
-        secret,
-        asset: ['0', '0'],
-        applicationId: '0',
-        ephemeralKeys: [coordHexToDecimal(pt.x), coordHexToDecimal(pt.y)],
-        stateSiblings: zerosTreeSiblings(),
-        stateIndex: '0',
-    };
-}
-function dummyDeposit(wasm) {
-    const nullifier = randomFrDecimal();
-    const ephemeralKeyScalar = randomFrDecimal253();
-    const skHex = generateRandomScalarHex32();
-    const pt = wasm.ecdhEphemeralPublicKeyFromScalarHex(skHex);
-    return {
-        value: '0',
-        nullifier,
-        ephemeralKeyScalar,
-        asset: ['0', '0'],
-        applicationId: '0',
-        recipientPublicKeys: [coordHexToDecimal(pt.x), coordHexToDecimal(pt.y)],
-    };
-}
-function resolveWithdraw(slot, wasm) {
-    return slot === 'dummy' ? dummyWithdraw(wasm) : slot;
-}
-function resolveDeposit(slot, wasm) {
-    return slot === 'dummy' ? dummyDeposit(wasm) : slot;
-}
-function buildTransactionWitnessInput(publicParams, publicLegs, withdrawSlots, depositSlots, audit, wasm) {
-    const w0 = resolveWithdraw(withdrawSlots[0], wasm);
-    const w1 = resolveWithdraw(withdrawSlots[1], wasm);
-    const d0 = resolveDeposit(depositSlots[0], wasm);
-    const d1 = resolveDeposit(depositSlots[1], wasm);
-    const appIds = resolveSlotApplicationIds(audit, withdrawSlots, depositSlots);
-    return {
-        stateRoot: publicParams.stateRoot,
-        withdrawAddressHi: publicParams.withdrawAddressHi,
-        withdrawAddressLo: publicParams.withdrawAddressLo,
-        privKeyScalar: publicParams.privKeyScalar,
-        withdrawnValues: [w0.value, w1.value],
-        withdrawnNullifiers: [w0.nullifier, w1.nullifier],
-        withdrawnSecrets: [w0.secret, w1.secret],
-        withdrawnAssets: [w0.asset, w1.asset],
-        ephemeralKeys: [w0.ephemeralKeys, w1.ephemeralKeys],
-        stateSiblings: [w0.stateSiblings, w1.stateSiblings],
-        stateIndex: [w0.stateIndex, w1.stateIndex],
-        depositedValues: [d0.value, d1.value],
-        depositedNullifiers: [d0.nullifier, d1.nullifier],
-        depositedAssets: [d0.asset, d1.asset],
-        depositedEphemeralKeyScalars: [d0.ephemeralKeyScalar, d1.ephemeralKeyScalar],
-        depositedRecipientPublicKeys: [d0.recipientPublicKeys, d1.recipientPublicKeys],
-        inputApplicationIds: appIds.inputApplicationIds,
-        outputApplicationIds: appIds.outputApplicationIds,
-        auditEphemeralScalars: audit.auditEphemeralScalars,
-        noteAuditPublicKeys: audit.noteAuditPublicKeys,
-        publicWithdrawnAssets: publicLegs.publicWithdrawnAssets,
-        publicDepositedAssets: publicLegs.publicDepositedAssets,
-        publicDeposits: publicLegs.publicDeposits,
-        publicWithdrawals: publicLegs.publicWithdrawals,
-    };
-}
-/** `stpl1…` stealth address → `[x, y]` as decimal field strings for `depositedRecipientPublicKeys`. */
-function recipientPublicKeysDecimalFromStealthAddress(stealthAddress) {
-    const { x, y } = decodeStealthAddress(stealthAddress);
-    return [coordHexToDecimal(x), coordHexToDecimal(y)];
-}
-/** First withdraw leg: Merkle witness + depositor ECDH point coordinates (hex). */
-function withdrawObjectFromMerkleWitness(witness, depositorEphemeralHex, applicationId) {
-    return {
-        value: witness.value,
-        nullifier: witness.nullifier,
-        secret: witness.secret,
-        asset: witness.withdrawnAsset,
-        applicationId,
-        ephemeralKeys: [
-            coordHexToDecimal(depositorEphemeralHex.x),
-            coordHexToDecimal(depositorEphemeralHex.y),
-        ],
-        stateSiblings: witness.stateSiblings,
-        stateIndex: witness.stateIndex,
-    };
+    return (value % (BABYJUB_SUBGROUP_ORDER - 1n)) + 1n;
 }
 
-function hexToBytes(hex) {
+function hexToBytes$1(hex) {
     const out = new Uint8Array(hex.length / 2);
     for (let i = 0; i < out.length; i++) {
         out[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16);
     }
     return out;
 }
-function bytesToHexLower(bytes) {
-    let s = '';
-    for (let i = 0; i < bytes.length; i++) {
-        s += bytes[i].toString(16).padStart(2, '0');
-    }
-    return s;
-}
 /** Base64 → bytes via `atob` (browsers; Node 16+). No Node `Buffer`. */
 function decodeBase64ToBytes(s) {
     const t = s.replace(/\s/g, '');
@@ -662,7 +339,7 @@ function parseStellarEd25519SignatureRaw(input) {
     const trimmed = input.trim();
     const no0x = trimmed.replace(/^0x/i, '');
     if (/^[0-9a-fA-F]+$/.test(no0x) && no0x.length === 128) {
-        return hexToBytes(no0x.toLowerCase());
+        return hexToBytes$1(no0x.toLowerCase());
     }
     const fromB64 = decodeBase64ToBytes(trimmed);
     if (fromB64.length !== 64) {
@@ -680,29 +357,66 @@ async function sha256(data) {
     copy.set(data);
     return new Uint8Array(await subtle.digest('SHA-256', copy));
 }
+function appendU32BE(parts, value) {
+    const buf = new Uint8Array(4);
+    new DataView(buf.buffer).setUint32(0, value >>> 0, false);
+    parts.push(buf);
+}
+function appendUtf8Prefixed(parts, text) {
+    const bytes = new TextEncoder().encode(text);
+    appendU32BE(parts, bytes.length);
+    parts.push(bytes);
+}
+function concatBytes(parts) {
+    const total = parts.reduce((sum, part) => sum + part.length, 0);
+    const out = new Uint8Array(total);
+    let offset = 0;
+    for (const part of parts) {
+        out.set(part, offset);
+        offset += part.length;
+    }
+    return out;
+}
 /**
- * Stellar Ed25519 signature (hex or base64) → SHA-256(signature bytes) → scalar → WASM ECDH (no UTF-8 seed hash).
+ * Domain-separated spend-scalar digest: SHA-256(
+ *   SPEND_SCALAR_DOMAIN_TAG || network || pool || registry || schemaVersion || signature
+ * ).
  */
-async function stealthAddressFromStellarSignature(ecdhFromScalarHex, encodeStealth, signature) {
+async function spendScalarDigestFromStellarSignature(signature, domain) {
     const raw = parseStellarEd25519SignatureRaw(signature);
-    const scalar = await sha256(raw);
-    const scalarHex = bytesToHexLower(scalar);
-    const decoded = ecdhFromScalarHex(scalarHex);
+    const parts = [new TextEncoder().encode(SPEND_SCALAR_DOMAIN_TAG)];
+    appendUtf8Prefixed(parts, domain.networkPassphrase);
+    appendUtf8Prefixed(parts, domain.poolContract);
+    appendUtf8Prefixed(parts, domain.registryContract);
+    appendU32BE(parts, resolveSpendScalarSchemaVersion(domain));
+    parts.push(raw);
+    return sha256(concatBytes(parts));
+}
+function digestToCanonicalScalar(digest) {
+    let v = 0n;
+    for (let i = 0; i < digest.length; i++) {
+        v = (v << 8n) + BigInt(digest[i]);
+    }
+    return canonicalBabyJubScalarFromInteger(v);
+}
+function canonicalScalarHex(scalar) {
+    return scalar.toString(16).padStart(64, '0');
+}
+/**
+ * Stellar Ed25519 signature (hex or base64) → domain-separated SHA-256 → scalar → WASM ECDH.
+ */
+async function stealthAddressFromStellarSignature(ecdhFromScalarHex, encodeStealth, signature, domain) {
+    const digest = await spendScalarDigestFromStellarSignature(signature, domain);
+    const decoded = ecdhFromScalarHex(canonicalScalarHex(digestToCanonicalScalar(digest)));
     return encodeStealth(decoded);
 }
 /**
- * SHA-256(signature) as 32-byte BE integer, truncated to **253 bits** (same effective scalar as
- * `libs/cryptography` `scalar_mul_253` / circom `Num2Bits(253)`), decimal for `privKeyScalar`.
+ * Domain-separated SHA-256(signature, network, pool, registry, schema) reduced into
+ * `(0, BabyJub subgroup order)` so `privKeyScalar` matches `BabyPbk` and circom `LessThan(l)`.
  */
-async function privKeyScalarDecimalFromStellarSignature(signature) {
-    const raw = parseStellarEd25519SignatureRaw(signature);
-    const h = await sha256(raw);
-    let v = 0n;
-    for (let i = 0; i < h.length; i++) {
-        v = (v << 8n) + BigInt(h[i]);
-    }
-    const mask = BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE - 1n;
-    return (v & mask).toString(10);
+async function privKeyScalarDecimalFromStellarSignature(signature, domain) {
+    const digest = await spendScalarDigestFromStellarSignature(signature, domain);
+    return digestToCanonicalScalar(digest).toString(10);
 }
 
 /* @ts-self-types="./client_sdk_wasm.d.ts" */
@@ -743,35 +457,69 @@ function buildWithdrawMerkleWitness(coin_json, state_json) {
 }
 
 /**
- * Calculate nullifier hash from nullifier decimal string.
+ * Calculate owner-bound nullifier hash from nullifier and spend-scalar decimal strings.
  * Returns hex string (0x...)
  * @param {string} nullifier_decimal
+ * @param {string} priv_key_scalar_decimal
  * @returns {string}
  */
-function calculateNullifierHash(nullifier_decimal) {
-    let deferred3_0;
-    let deferred3_1;
+function calculateNullifierHash(nullifier_decimal, priv_key_scalar_decimal) {
+    let deferred4_0;
+    let deferred4_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(nullifier_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        wasm.calculateNullifierHash(retptr, ptr0, len0);
+        const ptr1 = passStringToWasm0(priv_key_scalar_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.calculateNullifierHash(retptr, ptr0, len0, ptr1, len1);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
         var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
-        var ptr2 = r0;
-        var len2 = r1;
+        var ptr3 = r0;
+        var len3 = r1;
         if (r3) {
-            ptr2 = 0; len2 = 0;
+            ptr3 = 0; len3 = 0;
             throw takeObject(r2);
         }
-        deferred3_0 = ptr2;
-        deferred3_1 = len2;
-        return getStringFromWasm0(ptr2, len2);
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export4(deferred4_0, deferred4_1, 1);
+    }
+}
+
+/**
+ * `R = Poseidon255(2)(hi, lo)`; `scalar` is the raw Poseidon hash when it is
+ * already in `(0, BabyJub subgroup order)`. Out-of-range hashes fail so the
+ * caller can rejection-sample a new nonce.
+ * @param {string} nonce_decimal
+ * @param {string} recipient_hi_decimal
+ * @param {string} recipient_lo_decimal
+ * @returns {any}
+ */
+function derivedEscrowKey(nonce_decimal, recipient_hi_decimal, recipient_lo_decimal) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(nonce_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(recipient_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(recipient_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len2 = WASM_VECTOR_LEN;
+        wasm.derivedEscrowKey(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+        if (r2) {
+            throw takeObject(r1);
+        }
+        return takeObject(r0);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -852,26 +600,28 @@ function ecdhSharedKey(priv_hex, pub_x_hex, pub_y_hex) {
 }
 
 /**
- * Generate a new coin with random nullifier, secret, and shared-secret field elements.
- * `amount` is stroops (u64); JS passes `bigint`.
+ * Generate a new coin with random nullifier, secret, and owner public-key field elements.
+ * `amount_decimal` is an arbitrary-precision decimal field element (never JS `number`).
  * `asset_hi_decimal` / `asset_lo_decimal` are decimal Fr strings for the Stellar asset contract id (two limbs).
  * Returns JSON: { coin: { value, nullifier, secret, commitment, asset_hi, asset_lo }, commitment_hex, precommitement_hex }
- * @param {bigint} amount
+ * @param {string} amount_decimal
  * @param {string} asset_hi_decimal
  * @param {string} asset_lo_decimal
  * @param {string} application_id_decimal
  * @returns {any}
  */
-function generateCoin(amount, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
+function generateCoin(amount_decimal, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr0 = passStringToWasm0(amount_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        const ptr1 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr1 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ptr2 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr2 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len2 = WASM_VECTOR_LEN;
-        wasm.generateCoin(retptr, amount, ptr0, len0, ptr1, len1, ptr2, len2);
+        const ptr3 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len3 = WASM_VECTOR_LEN;
+        wasm.generateCoin(retptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -885,32 +635,34 @@ function generateCoin(amount, asset_hi_decimal, asset_lo_decimal, application_id
 }
 
 /**
- * `Poseidon₁(scalar)` secret + fixed ECDH shared coords (hex), matching an aligned deposit witness.
+ * `Poseidon₁(scalar)` secret + recipient owner public key (hex), matching an aligned deposit witness.
  * @param {string} scalar_hex
- * @param {string} shared_x_hex
- * @param {string} shared_y_hex
- * @param {bigint} amount
+ * @param {string} owner_x_hex
+ * @param {string} owner_y_hex
+ * @param {string} amount_decimal
  * @param {string} asset_hi_decimal
  * @param {string} asset_lo_decimal
  * @param {string} application_id_decimal
  * @returns {any}
  */
-function generateCoinForDepositWithSharedHex(scalar_hex, shared_x_hex, shared_y_hex, amount, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
+function generateCoinForDepositWithOwnerPubHex(scalar_hex, owner_x_hex, owner_y_hex, amount_decimal, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(scalar_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        const ptr1 = passStringToWasm0(shared_x_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr1 = passStringToWasm0(owner_x_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ptr2 = passStringToWasm0(shared_y_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr2 = passStringToWasm0(owner_y_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len2 = WASM_VECTOR_LEN;
-        const ptr3 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr3 = passStringToWasm0(amount_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len3 = WASM_VECTOR_LEN;
-        const ptr4 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr4 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len4 = WASM_VECTOR_LEN;
-        const ptr5 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr5 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len5 = WASM_VECTOR_LEN;
-        wasm.generateCoinForDepositWithSharedHex(retptr, ptr0, len0, ptr1, len1, ptr2, len2, amount, ptr3, len3, ptr4, len4, ptr5, len5);
+        const ptr6 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len6 = WASM_VECTOR_LEN;
+        wasm.generateCoinForDepositWithOwnerPubHex(retptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3, ptr4, len4, ptr5, len5, ptr6, len6);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -926,24 +678,26 @@ function generateCoinForDepositWithSharedHex(scalar_hex, shared_x_hex, shared_y_
 /**
  * `secret` in coin = `Poseidon255(1)(scalar)` per `deposit.circom`; scalar is 32-byte hex (64 chars, optional `0x`).
  * @param {string} scalar_hex
- * @param {bigint} amount
+ * @param {string} amount_decimal
  * @param {string} asset_hi_decimal
  * @param {string} asset_lo_decimal
  * @param {string} application_id_decimal
  * @returns {any}
  */
-function generateCoinFromDepositEphemeralScalarHex(scalar_hex, amount, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
+function generateCoinFromDepositEphemeralScalarHex(scalar_hex, amount_decimal, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(scalar_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        const ptr1 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr1 = passStringToWasm0(amount_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ptr2 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr2 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len2 = WASM_VECTOR_LEN;
-        const ptr3 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr3 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len3 = WASM_VECTOR_LEN;
-        wasm.generateCoinFromDepositEphemeralScalarHex(retptr, ptr0, len0, amount, ptr1, len1, ptr2, len2, ptr3, len3);
+        const ptr4 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len4 = WASM_VECTOR_LEN;
+        wasm.generateCoinFromDepositEphemeralScalarHex(retptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3, ptr4, len4);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -957,29 +711,31 @@ function generateCoinFromDepositEphemeralScalarHex(scalar_hex, amount, asset_hi_
 }
 
 /**
- * Same as `generateCoin`, but commitment uses the given ECDH shared key (64-char hex coords from `ecdhSharedKey`); shared coords are not stored in `coin` JSON.
- * @param {string} shared_x_hex
- * @param {string} shared_y_hex
- * @param {bigint} amount
+ * Same as `generateCoin`, but commitment uses the given owner public key (64-char hex coords).
+ * @param {string} owner_x_hex
+ * @param {string} owner_y_hex
+ * @param {string} amount_decimal
  * @param {string} asset_hi_decimal
  * @param {string} asset_lo_decimal
  * @param {string} application_id_decimal
  * @returns {any}
  */
-function generateCoinWithSharedSecretHex(shared_x_hex, shared_y_hex, amount, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
+function generateCoinWithOwnerPubHex(owner_x_hex, owner_y_hex, amount_decimal, asset_hi_decimal, asset_lo_decimal, application_id_decimal) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(shared_x_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr0 = passStringToWasm0(owner_x_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        const ptr1 = passStringToWasm0(shared_y_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr1 = passStringToWasm0(owner_y_hex, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ptr2 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr2 = passStringToWasm0(amount_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len2 = WASM_VECTOR_LEN;
-        const ptr3 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr3 = passStringToWasm0(asset_hi_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len3 = WASM_VECTOR_LEN;
-        const ptr4 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const ptr4 = passStringToWasm0(asset_lo_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len4 = WASM_VECTOR_LEN;
-        wasm.generateCoinWithSharedSecretHex(retptr, ptr0, len0, ptr1, len1, amount, ptr2, len2, ptr3, len3, ptr4, len4);
+        const ptr5 = passStringToWasm0(application_id_decimal, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len5 = WASM_VECTOR_LEN;
+        wasm.generateCoinWithOwnerPubHex(retptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3, ptr4, len4, ptr5, len5);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -1016,6 +772,38 @@ function proofToHex(proof_json) {
     }
 }
 
+/**
+ * Graph witness + arkworks Groth16 prove. Returns `{ proof_hex, public_hex }`.
+ * @param {Uint8Array} graph
+ * @param {Uint8Array} proving_key
+ * @param {Uint8Array} r1cs
+ * @param {string} inputs_json
+ * @returns {any}
+ */
+function proveGroth16(graph, proving_key, r1cs, inputs_json) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(graph, wasm.__wbindgen_export);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(proving_key, wasm.__wbindgen_export);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passArray8ToWasm0(r1cs, wasm.__wbindgen_export);
+        const len2 = WASM_VECTOR_LEN;
+        const ptr3 = passStringToWasm0(inputs_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len3 = WASM_VECTOR_LEN;
+        wasm.proveGroth16(retptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+        if (r2) {
+            throw takeObject(r1);
+        }
+        return takeObject(r0);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
 /**
  * Convert snarkjs public signals JSON to hex bytes for Soroban contract.
  * @param {string} public_json
@@ -1226,6 +1014,13 @@ function isLikeNone(x) {
     return x === undefined || x === null;
 }
 
+function passArray8ToWasm0(arg, malloc) {
+    const ptr = malloc(arg.length * 1, 1) >>> 0;
+    getUint8ArrayMemory0().set(arg, ptr / 1);
+    WASM_VECTOR_LEN = arg.length;
+    return ptr;
+}
+
 function passStringToWasm0(arg, malloc, realloc) {
     if (realloc === undefined) {
         const buf = cachedTextEncoder.encode(arg);
@@ -1388,28 +1183,30 @@ async function __wbg_init(module_or_path) {
 }
 
 var wasmBindings = /*#__PURE__*/Object.freeze({
-	__proto__: null,
-	buildWithdrawMerkleWitness: buildWithdrawMerkleWitness,
-	calculateNullifierHash: calculateNullifierHash,
-	default: __wbg_init,
-	ecdhEphemeralPublicKey: ecdhEphemeralPublicKey,
-	ecdhEphemeralPublicKeyFromScalarHex: ecdhEphemeralPublicKeyFromScalarHex,
-	ecdhSharedKey: ecdhSharedKey,
-	generateCoin: generateCoin,
-	generateCoinForDepositWithSharedHex: generateCoinForDepositWithSharedHex,
-	generateCoinFromDepositEphemeralScalarHex: generateCoinFromDepositEphemeralScalarHex,
-	generateCoinWithSharedSecretHex: generateCoinWithSharedSecretHex,
-	initSync: initSync,
-	proofToHex: proofToHex,
-	publicToHex: publicToHex
+    __proto__: null,
+    buildWithdrawMerkleWitness: buildWithdrawMerkleWitness,
+    calculateNullifierHash: calculateNullifierHash,
+    default: __wbg_init,
+    derivedEscrowKey: derivedEscrowKey,
+    ecdhEphemeralPublicKey: ecdhEphemeralPublicKey,
+    ecdhEphemeralPublicKeyFromScalarHex: ecdhEphemeralPublicKeyFromScalarHex,
+    ecdhSharedKey: ecdhSharedKey,
+    generateCoin: generateCoin,
+    generateCoinForDepositWithOwnerPubHex: generateCoinForDepositWithOwnerPubHex,
+    generateCoinFromDepositEphemeralScalarHex: generateCoinFromDepositEphemeralScalarHex,
+    generateCoinWithOwnerPubHex: generateCoinWithOwnerPubHex,
+    initSync: initSync,
+    proofToHex: proofToHex,
+    proveGroth16: proveGroth16,
+    publicToHex: publicToHex
 });
 
-const isNode$2 = typeof process !== 'undefined' && !!process.versions?.node;
+const isNode$1 = typeof process !== 'undefined' && !!process.versions?.node;
 let wasmModule = null;
 async function loadWasm(wasmBinary) {
     if (wasmModule)
         return wasmModule;
-    if (isNode$2) {
+    if (isNode$1) {
         if (wasmBinary) {
             initSync({ module: wasmBinary });
         }
@@ -1436,511 +1233,1020 @@ async function loadWasm(wasmBinary) {
     return wasmModule;
 }
 
-var witness_calculator = async function builder(code, options) {
-
-    options = options || {};
-
-    let wasmModule;
-    try {
-	wasmModule = await WebAssembly.compile(code);
-    }  catch (err) {
-	console.log(err);
-	console.log("\nTry to run circom --c in order to generate c++ code instead\n");
-	throw new Error(err);
-    }
-
-    let wc;
-
-    let errStr = "";
-    let msgStr = "";
-    
-    const instance = await WebAssembly.instantiate(wasmModule, {
-        runtime: {
-            exceptionHandler : function(code) {
-		let err;
-                if (code == 1) {
-                    err = "Signal not found.\n";
-                } else if (code == 2) {
-                    err = "Too many signals set.\n";
-                } else if (code == 3) {
-                    err = "Signal already set.\n";
-		} else if (code == 4) {
-                    err = "Assert Failed.\n";
-		} else if (code == 5) {
-                    err = "Not enough memory.\n";
-		} else if (code == 6) {
-                    err = "Input signal array access exceeds the size.\n";
-		} else if (code == 7) {
-                    err = "Out of bounds array access.\n";
-		} else {
-		    err = "Unknown error.\n";
-                }
-                throw new Error(err + errStr);
-            },
-	    printErrorMessage : function() {
-		errStr += getMessage() + "\n";
-                // console.error(getMessage());
-	    },
-	    writeBufferMessage : function() {
-			const msg = getMessage();
-			// Any calls to `log()` will always end with a `\n`, so that's when we print and reset
-			if (msg === "\n") {
-				console.log(msgStr);
-				msgStr = "";
-			} else {
-				// If we've buffered other content, put a space in between the items
-				if (msgStr !== "") {
-					msgStr += " ";
-				}
-				// Then append the message to the message we are creating
-				msgStr += msg;
-			}
-	    },
-	    showSharedRWMemory : function() {
-		printSharedRWMemory ();
-            }
-
-        }
-    });
-
-    const sanityCheck =
-        options;
-//        options &&
-//        (
-//            options.sanityCheck ||
-//            options.logGetSignal ||
-//            options.logSetSignal ||
-//            options.logStartComponent ||
-//            options.logFinishComponent
-//        );
-
-    
-    wc = new WitnessCalculator(instance, sanityCheck);
-    return wc;
-
-    function getMessage() {
-        var message = "";
-	var c = instance.exports.getMessageChar();
-        while ( c != 0 ) {
-	    message += String.fromCharCode(c);
-	    c = instance.exports.getMessageChar();
-	}
-        return message;
-    }
-	
-    function printSharedRWMemory () {
-	const shared_rw_memory_size = instance.exports.getFieldNumLen32();
-	const arr = new Uint32Array(shared_rw_memory_size);
-	for (let j=0; j<shared_rw_memory_size; j++) {
-	    arr[shared_rw_memory_size-1-j] = instance.exports.readSharedRWMemory(j);
-	}
-
-	// If we've buffered other content, put a space in between the items
-	if (msgStr !== "") {
-		msgStr += " ";
-	}
-	// Then append the value to the message we are creating
-	msgStr += (fromArray32(arr).toString());
-	}
-
+/** Off-chain ZK layout table. Must stay byte-identical to `libs/zk::ZkLayoutParams`. */
+const BINDING_ZK_NONCE = 3n;
+const SIX_BY_SIX_BINDING_ZK_NONCE = 7n;
+const V2_PUBLIC_INPUT_PREFIX_LEN = 7;
+const NOTE_AUDIT_LEN$1 = 12;
+const NOTE_OUTPUT_LEN = 6;
+var BundledZkCircuit;
+(function (BundledZkCircuit) {
+    BundledZkCircuit["TwoByTwo"] = "2x2";
+    BundledZkCircuit["SixBySix"] = "6x6";
+})(BundledZkCircuit || (BundledZkCircuit = {}));
+function isDevZkCircuitConfig(config) {
+    return !('circuit' in config);
+}
+const DEFAULT_ZK_CONFIG_NONCE = BINDING_ZK_NONCE;
+const DEFAULT_ZK_CIRCUITS = {
+    [BINDING_ZK_NONCE.toString()]: {
+        nIns: 2,
+        nOuts: 2,
+        publicNInputs: 1,
+        publicNOutputs: 1,
+        circuit: BundledZkCircuit.TwoByTwo,
+    },
+    [SIX_BY_SIX_BINDING_ZK_NONCE.toString()]: {
+        nIns: 6,
+        nOuts: 6,
+        publicNInputs: 1,
+        publicNOutputs: 1,
+        circuit: BundledZkCircuit.SixBySix,
+    },
 };
-
-class WitnessCalculator {
-    constructor(instance, sanityCheck) {
-        this.instance = instance;
-
-	this.version = this.instance.exports.getVersion();
-        this.n32 = this.instance.exports.getFieldNumLen32();
-
-        this.instance.exports.getRawPrime();
-        const arr = new Uint32Array(this.n32);
-        for (let i=0; i<this.n32; i++) {
-            arr[this.n32-1-i] = this.instance.exports.readSharedRWMemory(i);
-        }
-        this.prime = fromArray32(arr);
-
-        this.witnessSize = this.instance.exports.getWitnessSize();
-
-        this.sanityCheck = sanityCheck;
-    }
-    
-    circom_version() {
-	return this.instance.exports.getVersion();
-    }
-
-    async _doCalculateWitness(input_orig, sanityCheck) {
-	//input is assumed to be a map from signals to arrays of bigints
-        this.instance.exports.init((this.sanityCheck || sanityCheck) ? 1 : 0);
-	let prefix = "";
-	var input = new Object();
-	//console.log("Input: ", input_orig);
-	qualify_input(prefix,input_orig,input);
-	//console.log("Input after: ",input);	
-        const keys = Object.keys(input);
-	var input_counter = 0;
-        keys.forEach( (k) => {
-            const h = fnvHash(k);
-            const hMSB = parseInt(h.slice(0,8), 16);
-            const hLSB = parseInt(h.slice(8,16), 16);
-            const fArr = flatArray(input[k]);
-	    let signalSize = this.instance.exports.getInputSignalSize(hMSB, hLSB);
-	    if (signalSize < 0){
-		throw new Error(`Signal ${k} not found\n`);
-	    }
-	    if (fArr.length < signalSize) {
-		throw new Error(`Not enough values for input signal ${k}\n`);
-	    }
-	    if (fArr.length > signalSize) {
-		throw new Error(`Too many values for input signal ${k}\n`);
-	    }
-            for (let i=0; i<fArr.length; i++) {
-                const arrFr = toArray32(normalize(fArr[i],this.prime),this.n32);
-                for (let j=0; j<this.n32; j++) {
-		    this.instance.exports.writeSharedRWMemory(j,arrFr[this.n32-1-j]);
-		}
-		try {
-                    this.instance.exports.setInputSignal(hMSB, hLSB,i);
-		    input_counter++;
-		} catch (err) {
-		    // console.log(`After adding signal ${i} of ${k}`)
-                    throw new Error(err);
-		}
-            }
-
-        });
-	if (input_counter < this.instance.exports.getInputSize()) {
-	    throw new Error(`Not all inputs have been set. Only ${input_counter} out of ${this.instance.exports.getInputSize()}`);
-	}
+function layoutFromCircuitConfig(config) {
+    return zkLayoutFromShapeBinding(config.nIns, config.nOuts, config.publicNInputs, config.publicNOutputs, config.nIns + config.nOuts, NOTE_AUDIT_LEN$1, NOTE_OUTPUT_LEN);
+}
+function resolveZkCircuitConfig(zkCircuits, zkConfigNonce) {
+    const nonce = zkConfigNonce ?? DEFAULT_ZK_CONFIG_NONCE;
+    const circuits = zkCircuits ?? DEFAULT_ZK_CIRCUITS;
+    const config = circuits[nonce.toString()];
+    if (!config) {
+        throw new Error(`no zk circuit configured for nonce ${nonce.toString()}`);
     }
-
-    async calculateWitness(input, sanityCheck) {
-
-        const w = [];
-        await this._doCalculateWitness(input, sanityCheck);
-
-        for (let i=0; i<this.witnessSize; i++) {
-            this.instance.exports.getWitness(i);
-	    const arr = new Uint32Array(this.n32);
-            for (let j=0; j<this.n32; j++) {
-            arr[this.n32-1-j] = this.instance.exports.readSharedRWMemory(j);
-            }
-            w.push(fromArray32(arr));
-        }
-
-        return w;
+    return { nonce, config };
+}
+function bundledCircuitFileNames(circuit) {
+    if (circuit === BundledZkCircuit.SixBySix) {
+        return {
+            graphFileName: 'main_6x6.graph.bin',
+            r1csFileName: 'main_6x6.r1cs.gz',
+            provingKeyFileName: 'main_6x6_proving_key.bin',
+            verificationKeyFileName: 'main_6x6_verification_key.json',
+            zkeyFileName: 'main_6x6_final.zkey',
+        };
     }
-    
-
-    async calculateBinWitness(input, sanityCheck) {
-
-        const buff32 = new Uint32Array(this.witnessSize*this.n32);
-	const buff = new  Uint8Array( buff32.buffer);
-        await this._doCalculateWitness(input, sanityCheck);
-
-        for (let i=0; i<this.witnessSize; i++) {
-            this.instance.exports.getWitness(i);
-	    const pos = i*this.n32;
-            for (let j=0; j<this.n32; j++) {
-		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
-            }
-        }
+    return {
+        graphFileName: 'main.graph.bin',
+        r1csFileName: 'main.r1cs.gz',
+        provingKeyFileName: 'main_proving_key.bin',
+        verificationKeyFileName: 'main_verification_key.json',
+        zkeyFileName: 'main_final.zkey',
+    };
+}
+function zkLayoutFromShapeBinding(nIns, nOuts, publicNInputs, publicNOutputs, nAuditSlots, noteAuditLen, noteOutputLen) {
+    const auditOffset = nIns + nOuts + nOuts * 2;
+    const outputNoteOffset = auditOffset + 2 + nAuditSlots;
+    return {
+        nIns,
+        nOuts,
+        publicNInputs,
+        publicNOutputs,
+        nAuditSlots,
+        noteAuditLen,
+        noteOutputLen,
+        publicInputPrefixLen: V2_PUBLIC_INPUT_PREFIX_LEN,
+        auditOffset,
+        outputNoteOffset,
+    };
+}
+function ciphertextFieldCount(layout) {
+    return layout.nAuditSlots * layout.noteAuditLen + layout.nOuts * layout.noteOutputLen;
+}
 
-	return buff;
+const ZK_ARTIFACT_GITHUB_REPO = "Polynom-Labs/stellar-privacy-layer-contracts";
+const ZK_SDK_PACKAGE_VERSION = "0.9.1-rc.0";
+function defaultZkArtifactBaseUrl(version = ZK_SDK_PACKAGE_VERSION) {
+    const tag = version.startsWith("v") ? version.slice(1) : version;
+    return `https://github.com/${ZK_ARTIFACT_GITHUB_REPO}/releases/download/v${tag}`;
+}
+function trimArtifactBaseUrl(value) {
+    let trimmed = value.trim();
+    while (trimmed.endsWith("/")) {
+        trimmed = trimmed.slice(0, -1);
     }
-    
-
-    async calculateWTNSBin(input, sanityCheck) {
-
-        const buff32 = new Uint32Array(this.witnessSize*this.n32+this.n32+11);
-	const buff = new  Uint8Array( buff32.buffer);
-        await this._doCalculateWitness(input, sanityCheck);
-  
-	//"wtns"
-	buff[0] = "w".charCodeAt(0);
-	buff[1] = "t".charCodeAt(0);
-	buff[2] = "n".charCodeAt(0);
-	buff[3] = "s".charCodeAt(0);
-
-	//version 2
-	buff32[1] = 2;
-
-	//number of sections: 2
-	buff32[2] = 2;
-
-	//id section 1
-	buff32[3] = 1;
-
-	const n8 = this.n32*4;
-	//id section 1 length in 64bytes
-	const idSection1length = 8 + n8;
-	const idSection1lengthHex = idSection1length.toString(16);
-        buff32[4] = parseInt(idSection1lengthHex.slice(0,8), 16);
-        buff32[5] = parseInt(idSection1lengthHex.slice(8,16), 16);
-
-	//this.n32
-	buff32[6] = n8;
+    return trimmed;
+}
 
-	//prime number
-	this.instance.exports.getRawPrime();
+const isNode = typeof process !== 'undefined' && !!process.versions?.node;
+function toUint8Array(src) {
+    if (src instanceof Uint8Array) {
+        return src;
+    }
+    if (src instanceof ArrayBuffer) {
+        return new Uint8Array(src);
+    }
+    return new Uint8Array(src.buffer, src.byteOffset, src.byteLength);
+}
+function nodeEnvArtifactBaseUrl() {
+    if (!isNode) {
+        return undefined;
+    }
+    const fromEnv = process.env.ZK_ARTIFACT_BASE_URL?.trim();
+    return fromEnv ? trimArtifactBaseUrl(fromEnv) : undefined;
+}
+function resolveZkArtifactBaseUrl(explicit) {
+    const trimmed = explicit?.trim();
+    if (trimmed) {
+        return trimArtifactBaseUrl(trimmed);
+    }
+    return nodeEnvArtifactBaseUrl() ?? defaultZkArtifactBaseUrl();
+}
+function isHttpUrl(value) {
+    return /^https?:\/\//i.test(value) || value.startsWith('file:');
+}
+async function readNodeAssetFile(filePath) {
+    const fs = await import('fs');
+    if (!fs.existsSync(filePath)) {
+        throw new Error(`Circuit artifact not found at ${filePath}. Set zkArtifactBaseUrl or ZK_ARTIFACT_BASE_URL.`);
+    }
+    return fs.readFileSync(filePath);
+}
+async function fetchArtifact(url) {
+    const response = await fetch(url);
+    if (!response.ok) {
+        throw new Error(`Failed to fetch ${url}: ${String(response.status)}`);
+    }
+    return new Uint8Array(await response.arrayBuffer());
+}
+function remoteArtifactHref(base, fileName) {
+    const withSlash = `${trimArtifactBaseUrl(base)}/`;
+    if (isHttpUrl(withSlash)) {
+        return new URL(fileName, withSlash).href;
+    }
+    if (typeof window !== 'undefined') {
+        return new URL(fileName, new URL(withSlash, window.location.href)).href;
+    }
+    return `${withSlash}${fileName}`;
+}
+async function loadNamedArtifact(base, fileName) {
+    if (isNode && !isHttpUrl(base)) {
+        const nodePath = await import('path');
+        return readNodeAssetFile(nodePath.resolve(base, fileName));
+    }
+    return fetchArtifact(remoteArtifactHref(base, fileName));
+}
+async function loadBundledCircuitArtifacts(circuit, artifactBaseUrl) {
+    const base = resolveZkArtifactBaseUrl(artifactBaseUrl);
+    const names = bundledCircuitFileNames(circuit);
+    const [graph, r1cs, provingKey] = await Promise.all([
+        loadNamedArtifact(base, names.graphFileName),
+        loadNamedArtifact(base, names.r1csFileName),
+        loadNamedArtifact(base, names.provingKeyFileName),
+    ]);
+    return { graph, r1cs, provingKey };
+}
+async function resolveCircuitArtifacts(config, artifactBaseUrl) {
+    if (isDevZkCircuitConfig(config)) {
+        return {
+            graph: toUint8Array(config.circuitGraph),
+            r1cs: toUint8Array(config.r1cs),
+            provingKey: toUint8Array(config.provingKey),
+        };
+    }
+    return loadBundledCircuitArtifacts(config.circuit, artifactBaseUrl);
+}
 
-	var pos = 7;
-        for (let j=0; j<this.n32; j++) {
-	    buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
-        }
-	pos += this.n32;
-
-	// witness size
-	buff32[pos] = this.witnessSize;
-	pos++;
-
-	//id section 2
-	buff32[pos] = 2;
-	pos++;
-
-	// section 2 length
-	const idSection2length = n8*this.witnessSize;
-	const idSection2lengthHex = idSection2length.toString(16);
-        buff32[pos] = parseInt(idSection2lengthHex.slice(0,8), 16);
-        buff32[pos+1] = parseInt(idSection2lengthHex.slice(8,16), 16);
-
-	pos += 2;
-        for (let i=0; i<this.witnessSize; i++) {
-            this.instance.exports.getWitness(i);
-            for (let j=0; j<this.n32; j++) {
-		buff32[pos+j] = this.instance.exports.readSharedRWMemory(j);
-            }
-	    pos += this.n32;
+/** Bech32 HRP for {@link DecodedEphemeralKey} only (`x ‖ y`, 64 bytes). */
+const DECODED_EPHEMERAL_HRP = 'epk1';
+/** Bech32 HRP for {@link DecodedDepositorSharedSecretPreimage} (96 bytes). */
+const DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP = 'epk_dep_pre1';
+const FIELD_BYTES = 32;
+const EPK_POINT_PAYLOAD = FIELD_BYTES * 2;
+const EPK_DEP_PRE_PAYLOAD = FIELD_BYTES * 3;
+const BECH32_LONG_LIMIT = 1023;
+function normalizeHex$2(hex) {
+    const s = hex.trim().replace(/^0x/i, '');
+    if (!/^[0-9a-fA-F]*$/.test(s)) {
+        throw new Error('ephemeral-key: hex must contain only 0-9, a-f');
+    }
+    return s.length % 2 === 0 ? s : `0${s}`;
+}
+function hexToBytes(hex) {
+    const norm = normalizeHex$2(hex);
+    const out = new Uint8Array(norm.length / 2);
+    for (let i = 0; i < out.length; i++) {
+        out[i] = parseInt(norm.slice(i * 2, i * 2 + 2), 16);
+    }
+    return out;
+}
+function bytesToHex(bytes) {
+    let s = '';
+    for (let i = 0; i < bytes.length; i++) {
+        s += bytes[i].toString(16).padStart(2, '0');
+    }
+    return s;
+}
+function concat2(a, b) {
+    const out = new Uint8Array(a.length + b.length);
+    out.set(a, 0);
+    out.set(b, a.length);
+    return out;
+}
+function concat3(a, b, c) {
+    const out = new Uint8Array(a.length + b.length + c.length);
+    out.set(a, 0);
+    out.set(b, a.length);
+    out.set(c, a.length + b.length);
+    return out;
+}
+function require32(label, bytes) {
+    if (bytes.length !== FIELD_BYTES) {
+        throw new Error(`ephemeral-key: ${label} must encode exactly ${FIELD_BYTES} bytes, got ${bytes.length}`);
+    }
+}
+/**
+ * 32-byte big-endian integer as hex (64 chars), **< 2^253**, so BabyJub ECDH matches
+ * `circuits/encryption.circom` `Num2Bits(253)` and `libs/cryptography` `scalar_mul_253`.
+ */
+function generateRandomScalarHex32() {
+    const g = globalThis.crypto;
+    if (!g?.getRandomValues) {
+        throw new Error('ephemeral-key: crypto.getRandomValues is required');
+    }
+    const max = 1n << 253n;
+    for (let attempt = 0; attempt < 65536; attempt++) {
+        const b = new Uint8Array(32);
+        g.getRandomValues(b);
+        const hex = bytesToHex(b);
+        if (BigInt(`0x${hex}`) < max) {
+            return hex;
         }
-
-	return buff;
     }
-
+    throw new Error('ephemeral-key: failed to sample scalar < 2^253');
 }
-
-
-function qualify_input_list(prefix,input,input1){
-    if (Array.isArray(input)) {
-	for (let i = 0; i<input.length; i++) {
-	    let new_prefix = prefix + "[" + i + "]";
-	    qualify_input_list(new_prefix,input[i],input1);
-	}
-    } else {
-	qualify_input(prefix,input,input1);
-    }
-}
-
-function qualify_input(prefix,input,input1) {
-    if (Array.isArray(input)) {
-	let a = flatArray(input);
-	if (a.length > 0) {
-	    let t = typeof a[0];
-	    for (let i = 1; i<a.length; i++) {
-		if (typeof a[i] != t){
-		    throw new Error(`Types are not the same in the key ${prefix}`);
-		}
-	    }
-	    if (t == "object") {
-		qualify_input_list(prefix,input,input1);
-	    } else {
-		input1[prefix] = input;
-	    }
-	} else {	    
-	    input1[prefix] = input;
-	}
-    } else if (typeof input == "object") {
-        const keys = Object.keys(input);
-	keys.forEach( (k) => {
-	    let new_prefix = prefix == ""? k : prefix + "." + k;
-	    qualify_input(new_prefix,input[k],input1);
-	});
-    } else {
-	input1[prefix] = input;
+/** Bech32 `epk1`: encodes `x ‖ y` (64 bytes). */
+function encodeDecodedEphemeralKey(decoded) {
+    const xb = hexToBytes(decoded.x);
+    const yb = hexToBytes(decoded.y);
+    require32('x', xb);
+    require32('y', yb);
+    const payload = concat2(xb, yb);
+    const words = bech32.toWords(payload);
+    return bech32.encode(DECODED_EPHEMERAL_HRP, words, BECH32_LONG_LIMIT);
+}
+function decodeDecodedEphemeralKey(encoded) {
+    const { prefix, words } = bech32.decode(encoded, BECH32_LONG_LIMIT);
+    if (prefix !== DECODED_EPHEMERAL_HRP) {
+        throw new Error(`ephemeral-key: expected HRP ${DECODED_EPHEMERAL_HRP}, got ${JSON.stringify(prefix)}`);
+    }
+    const bytes = new Uint8Array(bech32.fromWords(words));
+    if (bytes.length !== EPK_POINT_PAYLOAD) {
+        throw new Error(`ephemeral-key: epk1 payload must be ${EPK_POINT_PAYLOAD} bytes, got ${bytes.length}`);
     }
+    return {
+        x: bytesToHex(bytes.subarray(0, FIELD_BYTES)),
+        y: bytesToHex(bytes.subarray(FIELD_BYTES)),
+    };
 }
-
-function toArray32(rem,size) {
-    const res = []; //new Uint32Array(size); //has no unshift
-    const radix = BigInt(0x100000000);
-    while (rem) {
-        res.unshift( Number(rem % radix));
-        rem = rem / radix;
+/** Bech32 `epk_dep_pre1`: `randomNonceScalar ‖ recipient.x ‖ recipient.y`. */
+function encodeDepositorSharedSecretPreimage(decoded) {
+    const sb = hexToBytes(decoded.randomNonceScalar);
+    const xb = hexToBytes(decoded.recipientStealthAddress.x);
+    const yb = hexToBytes(decoded.recipientStealthAddress.y);
+    require32('randomNonceScalar', sb);
+    require32('recipientStealthAddress.x', xb);
+    require32('recipientStealthAddress.y', yb);
+    const payload = concat3(sb, xb, yb);
+    const words = bech32.toWords(payload);
+    return bech32.encode(DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP, words, BECH32_LONG_LIMIT);
+}
+function decodeDepositorSharedSecretPreimage(encoded) {
+    const { prefix, words } = bech32.decode(encoded, BECH32_LONG_LIMIT);
+    if (prefix !== DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP) {
+        throw new Error(`ephemeral-key: expected HRP ${DEPOSITOR_SHARED_SECRET_PREIMAGE_HRP}, got ${JSON.stringify(prefix)}`);
+    }
+    const bytes = new Uint8Array(bech32.fromWords(words));
+    if (bytes.length !== EPK_DEP_PRE_PAYLOAD) {
+        throw new Error(`ephemeral-key: epk_dep_pre1 payload must be ${EPK_DEP_PRE_PAYLOAD} bytes, got ${bytes.length}`);
     }
-    if (size) {
-	var i = size - res.length;
-	while (i>0) {
-	    res.unshift(0);
-	    i--;
-	}
+    return {
+        randomNonceScalar: bytesToHex(bytes.subarray(0, FIELD_BYTES)),
+        recipientStealthAddress: {
+            x: bytesToHex(bytes.subarray(FIELD_BYTES, FIELD_BYTES * 2)),
+            y: bytesToHex(bytes.subarray(FIELD_BYTES * 2)),
+        },
+    };
+}
+
+/**
+ * Depositor: `randomNonceScalar * recipientStealthPoint` (same as circom `ECDH` with depositor scalar).
+ */
+function sharedSecretFromDepositorPreimage(ecdhShared, preimage) {
+    const out = ecdhShared(preimage.randomNonceScalar, preimage.recipientStealthAddress.x, preimage.recipientStealthAddress.y);
+    return { x: out.x, y: out.y };
+}
+/**
+ * Recipient: `recipientScalar * ephemeralKey` (same shared point as depositor path when keys match).
+ */
+function sharedSecretFromRecipientPreimage(ecdhShared, preimage) {
+    const out = ecdhShared(preimage.recipientScalar, preimage.ephemeralKey.x, preimage.ephemeralKey.y);
+    return { x: out.x, y: out.y };
+}
+
+const TRANSACTION_N_AUDIT_SLOTS = 4;
+const DEFAULT_APPLICATION_ID = '101';
+/** BabyJub audit public key (decimal Fr) used in BDD / local demo when env is unset. */
+const DEMO_AUDIT_PUBLIC_KEY = [
+    '21605515851820432880964235241069234202284600780825340516808373216881770219365',
+    '18856460861531942120859708048677603751294231190189224157283439874962410808705',
+];
+function isActiveWithdraw(slot) {
+    return slot.value !== '0';
+}
+function isActiveDeposit(slot) {
+    return slot.value !== '0';
+}
+function resolveWithdrawSlot(slot) {
+    if (slot === 'dummy') {
+        return null;
     }
-    return res;
+    return slot;
 }
-
-function fromArray32(arr) { //returns a BigInt
-    var res = BigInt(0);
-    const radix = BigInt(0x100000000);
-    for (let i = 0; i<arr.length; i++) {
-        res = res*radix + BigInt(arr[i]);
+function resolveDepositSlot(slot) {
+    if (slot === 'dummy') {
+        return null;
     }
-    return res;
+    return slot;
 }
-
-function flatArray(a) {
-    var res = [];
-    fillArray(res, a);
-    return res;
-
-    function fillArray(res, a) {
-        if (Array.isArray(a)) {
-            for (let i=0; i<a.length; i++) {
-                fillArray(res, a[i]);
-            }
-        } else {
-            res.push(a);
-        }
-    }
+function buildUniformAuditParams(applicationId = DEFAULT_APPLICATION_ID, auditPublicKey, _nAuditSlots = TRANSACTION_N_AUDIT_SLOTS) {
+    return {
+        applicationId,
+        noteAuditPublicKey: auditPublicKey,
+        auditEphemeralScalar: randomFrDecimal253(),
+    };
 }
-
-function normalize(n, prime) {
-    let res = BigInt(n) % prime;
-    if (res < 0) res += prime;
-    return res
+function resolveSlotApplicationIds(audit, withdrawSlots, depositSlots) {
+    return {
+        inputApplicationIds: withdrawSlots.map((slot) => {
+            const resolved = resolveWithdrawSlot(slot);
+            return resolved && isActiveWithdraw(resolved) ? audit.applicationId : '0';
+        }),
+        outputApplicationIds: depositSlots.map((slot) => {
+            const resolved = resolveDepositSlot(slot);
+            return resolved && isActiveDeposit(resolved) ? audit.applicationId : '0';
+        }),
+    };
 }
-
-function fnvHash(str) {
-    const uint64_max = BigInt(2) ** BigInt(64);
-    let hash = BigInt("0xCBF29CE484222325");
-    for (var i = 0; i < str.length; i++) {
-	hash ^= BigInt(str[i].charCodeAt());
-	hash *= BigInt(0x100000001B3);
-	hash %= uint64_max;
+/**
+ * Prefer an explicit key, then `NOTE_AUDIT_PUBLIC_KEY_X`/`_Y` env (decimal Fr),
+ * then the built-in demo key. Used by CLI/`demo.sh` for per-app audit pubkeys.
+ */
+function resolveAuditPublicKeyFromEnv(auditPublicKey) {
+    if (auditPublicKey) {
+        return auditPublicKey;
     }
-    let shash = hash.toString(16);
-    let n = 16 - shash.length;
-    shash = '0'.repeat(n).concat(shash);
-    return shash;
+    const x = process.env.NOTE_AUDIT_PUBLIC_KEY_X?.trim();
+    const y = process.env.NOTE_AUDIT_PUBLIC_KEY_Y?.trim();
+    if (x && y) {
+        return [x, y];
+    }
+    return DEMO_AUDIT_PUBLIC_KEY;
+}
+function resolveTransactionAuditParams(applicationId, auditPublicKey, nAuditSlots = TRANSACTION_N_AUDIT_SLOTS) {
+    return buildUniformAuditParams(applicationId, resolveAuditPublicKeyFromEnv(auditPublicKey), nAuditSlots);
 }
 
-var witnessCalculatorModule = /*@__PURE__*/getDefaultExportFromCjs(witness_calculator);
-
-const isNode$1 = typeof process !== 'undefined' && !!process.versions?.node;
-async function generateWitness(input, circuitWasm) {
-    let wasmBuffer;
-    let wc;
-    if (isNode$1) {
-        const fs = await import('fs');
-        const nodePath = await import('path');
-        const { fileURLToPath } = await import('url');
-        const dir = nodePath.dirname(fileURLToPath((typeof document === 'undefined' ? require('u' + 'rl').pathToFileURL(__filename).href : (_documentCurrentScript && _documentCurrentScript.tagName.toUpperCase() === 'SCRIPT' && _documentCurrentScript.src || new URL('cli.js', document.baseURI).href))));
-        const assetsDir = nodePath.resolve(dir, '..', 'assets');
-        wc = { default: witnessCalculatorModule };
-        if (circuitWasm) {
-            wasmBuffer = circuitWasm;
+/** Matches `Transaction(20, 2, 2, publicNInputs, publicNOutputs, 4, 12, 6)` in `circuits/main.circom`. */
+const TRANSACTION_TREE_DEPTH = 20;
+const TRANSACTION_N_INS = 2;
+const TRANSACTION_N_OUTS = 2;
+/** Must match `Transaction(..., publicNInputs, publicNOutputs)` and contract `get_public_slot_config`. */
+const TRANSACTION_PUBLIC_N_INPUTS = 1;
+const TRANSACTION_PUBLIC_N_OUTPUTS = 1;
+/** BN254 scalar field modulus (ark `Fr`, circom signals). */
+const BN254_SCALAR_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+/**
+ * BabyJub ECDH in `circuits/encryption.circom` uses `Num2Bits(253)`; scalars must be < 2^253
+ * (matches `libs/cryptography` `scalar_mul_253`).
+ */
+const BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE = 1n << 253n;
+function padPublicLegs(legs, publicNInputs, publicNOutputs) {
+    const padPairs = (values, expected, label) => {
+        if (values.length > expected) {
+            throw new Error(`withdrawal-transaction-input: expected at most ${expected} ${label}`);
         }
-        else {
-            const wasmPath = nodePath.resolve(assetsDir, 'main.wasm');
-            if (!fs.existsSync(wasmPath)) {
-                throw new Error(`Circuit WASM not found at ${wasmPath}. Run build.sh first.`);
-            }
-            wasmBuffer = fs.readFileSync(wasmPath);
+        return [
+            ...values,
+            ...Array.from({ length: expected - values.length }, () => ['0', '0']),
+        ];
+    };
+    const padAmounts = (values, expected, label) => {
+        if (values.length > expected) {
+            throw new Error(`withdrawal-transaction-input: expected at most ${expected} ${label}`);
         }
+        return [...values, ...Array.from({ length: expected - values.length }, () => '0')];
+    };
+    return {
+        publicWithdrawnAssets: padPairs(legs.publicWithdrawnAssets, publicNOutputs, 'public withdrawn assets'),
+        publicDepositedAssets: padPairs(legs.publicDepositedAssets, publicNInputs, 'public deposited assets'),
+        publicDeposits: padAmounts(legs.publicDeposits, publicNInputs, 'public deposits'),
+        publicWithdrawals: padAmounts(legs.publicWithdrawals, publicNOutputs, 'public withdrawals'),
+    };
+}
+function normalizeHex$1(hex) {
+    const s = hex.trim().replace(/^0x/i, '');
+    if (!/^[0-9a-fA-F]*$/.test(s)) {
+        throw new Error('withdrawal-transaction-input: invalid hex');
     }
-    else {
-        if (!circuitWasm) {
-            throw new Error('In browser, you must pass circuitWasm to PrivacyPoolSDK.init(). ' +
-                'Load the circuit WASM file via fetch() and pass the ArrayBuffer.');
-        }
-        wasmBuffer = circuitWasm;
-        wc = { default: witnessCalculatorModule };
+    return s.length % 2 === 0 ? s : `0${s}`;
+}
+/** 32-byte field coordinate (hex, no 0x) → decimal string mod BN254 scalar field. */
+function coordHexToDecimal(hex) {
+    const h = normalizeHex$1(hex);
+    if (h.length > 64) {
+        throw new Error('withdrawal-transaction-input: coordinate hex too long');
     }
-    const calculator = await wc.default(wasmBuffer);
-    const wtns = await calculator.calculateWTNSBin(input, 0);
-    return wtns;
+    const v = BigInt(`0x${h}`);
+    return (v % BN254_SCALAR_MOD).toString(10);
 }
-
-// @ts-ignore - snarkjs types
-const isNode = typeof process !== 'undefined' && !!process.versions?.node;
 /**
- * Normalize BufferSource to Uint8Array. Required for @iden3/binfileutils/fastfile:
- * they read via data.buffer and data.byteOffset, which ArrayBuffer does not have.
+ * 32-byte big-endian scalar hex → decimal for circom `ephemeralKeyScalar` / ECDH `priv`.
+ * Integer must be < 2^253 (not reduced mod r — values ≥ 2^253 are rejected).
  */
-function toUint8Array(src) {
-    if (src instanceof Uint8Array)
-        return src;
-    if (src instanceof ArrayBuffer)
-        return new Uint8Array(src);
-    return new Uint8Array(src.buffer, src.byteOffset, src.byteLength);
-}
-async function generateProof(wtns, zkey) {
-    let zkeyData;
-    if (zkey) {
-        zkeyData = toUint8Array(zkey);
-    }
-    else if (isNode) {
-        const fs = await import('fs');
-        const nodePath = await import('path');
-        const { fileURLToPath } = await import('url');
-        const dir = nodePath.dirname(fileURLToPath((typeof document === 'undefined' ? require('u' + 'rl').pathToFileURL(__filename).href : (_documentCurrentScript && _documentCurrentScript.tagName.toUpperCase() === 'SCRIPT' && _documentCurrentScript.src || new URL('cli.js', document.baseURI).href))));
-        const zkeyPath = nodePath.resolve(dir, '..', 'assets', 'main_final.zkey');
-        if (!fs.existsSync(zkeyPath)) {
-            throw new Error(`Proving key not found at ${zkeyPath}. Run build.sh first.`);
-        }
-        const zkeyBuffer = fs.readFileSync(zkeyPath);
-        zkeyData = toUint8Array(zkeyBuffer);
+function scalarHexToFrDecimal(hex) {
+    const h = normalizeHex$1(hex);
+    if (h.length > 64) {
+        throw new Error('withdrawal-transaction-input: scalar hex too long');
     }
-    else {
-        throw new Error('In browser, you must pass zkey to PrivacyPoolSDK.init(). ' +
-            'Load the zkey file via fetch() and pass the ArrayBuffer.');
+    const v = BigInt(`0x${h.padStart(64, '0').slice(-64)}`);
+    if (v >= BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE) {
+        throw new Error('depositor ephemeral scalar must be < 2^253 (BabyJub Num2Bits); resample with random-scalar');
     }
-    const wtnsData = toUint8Array(wtns);
-    const { proof, publicSignals } = await snarkjs__namespace.groth16.prove({ type: 'mem', data: zkeyData }, { type: 'mem', data: wtnsData });
-    return { proof, publicSignals };
+    return v.toString(10);
 }
-
 /**
- * Depositor: `randomNonceScalar * recipientStealthPoint` (same as circom `ECDH` with depositor scalar).
+ * Stellar G-address Ed25519 payload (32 bytes as 64 hex, optional 0x) → two circom public decimals
+ * (`withdrawAddressHi` / `withdrawAddressLo`). No mod-r; each half fits in 128 bits.
  */
-function sharedSecretFromDepositorPreimage(ecdhShared, preimage) {
-    const out = ecdhShared(preimage.randomNonceScalar, preimage.recipientStealthAddress.x, preimage.recipientStealthAddress.y);
-    return { x: out.x, y: out.y };
+function ed25519PubkeyPayloadHexToWithdrawFrDecimals(hex) {
+    const h = normalizeHex$1(hex).padStart(64, '0').slice(-64);
+    const hi = BigInt(`0x${h.slice(0, 32)}`);
+    const lo = BigInt(`0x${h.slice(32, 64)}`);
+    return { hi: hi.toString(10), lo: lo.toString(10) };
 }
 /**
- * Recipient: `recipientScalar * ephemeralKey` (same shared point as depositor path when keys match).
+ * Stellar contract id (`C…`) → two circom field decimals for `asset[0]`, `asset[1]` (same 32-byte split as accounts).
  */
-function sharedSecretFromRecipientPreimage(ecdhShared, preimage) {
-    const out = ecdhShared(preimage.recipientScalar, preimage.ephemeralKey.x, preimage.ephemeralKey.y);
-    return { x: out.x, y: out.y };
+function stellarContractAddressToAssetFrDecimals(address) {
+    const raw = stellarSdk.StrKey.decodeContract(address);
+    const hex = Buffer.from(raw).toString('hex');
+    const { hi, lo } = ed25519PubkeyPayloadHexToWithdrawFrDecimals(hex);
+    return [hi, lo];
+}
+/** Uniform random `Fr` as decimal (32 random bytes, mod r). For Poseidon-only inputs (e.g. nullifiers). */
+function randomFrDecimal() {
+    const hex = generateRandomScalarHex32();
+    const v = BigInt(`0x${normalizeHex$1(hex)}`);
+    return (v % BN254_SCALAR_MOD).toString(10);
+}
+/** Random scalar < 2^253 for BabyJub ECDH / `Num2Bits(253)` (uses {@link generateRandomScalarHex32}). */
+function randomFrDecimal253() {
+    const hex = generateRandomScalarHex32();
+    return BigInt(`0x${normalizeHex$1(hex)}`).toString(10);
+}
+/** Spend-scalar hex in `(0, BabyJub subgroup order)` so dummy withdraws satisfy `LessThan(l)`. */
+function randomCanonicalBabyJubScalarHex() {
+    const hex = generateRandomScalarHex32();
+    const reduced = canonicalBabyJubScalarFromInteger(BigInt(`0x${normalizeHex$1(hex)}`));
+    return reduced.toString(16).padStart(64, '0');
+}
+function zerosTreeSiblings() {
+    return Array(TRANSACTION_TREE_DEPTH).fill('0');
+}
+function dummyWithdraw(wasm) {
+    const nullifier = randomFrDecimal();
+    const secretHex = generateRandomScalarHex32();
+    const secret = (BigInt(`0x${normalizeHex$1(secretHex)}`) % BN254_SCALAR_MOD).toString(10);
+    const scalarHex = randomCanonicalBabyJubScalarHex();
+    const privKeyScalar = scalarHexToFrDecimal(scalarHex);
+    const pt = wasm.ecdhEphemeralPublicKeyFromScalarHex(scalarHex);
+    return {
+        value: '0',
+        nullifier,
+        secret,
+        asset: ['0', '0'],
+        applicationId: '0',
+        ownerPub: [coordHexToDecimal(pt.x), coordHexToDecimal(pt.y)],
+        privKeyScalar,
+        paddingRandom: randomFrDecimal(),
+        escrowNonce: '0',
+        recipientStellar: ['0', '0'],
+        stateSiblings: zerosTreeSiblings(),
+        stateIndex: '0',
+    };
+}
+function dummyDeposit(wasm) {
+    const nullifier = randomFrDecimal();
+    const ephemeralKeyScalar = randomFrDecimal253();
+    const skHex = generateRandomScalarHex32();
+    const pt = wasm.ecdhEphemeralPublicKeyFromScalarHex(skHex);
+    return {
+        value: '0',
+        nullifier,
+        ephemeralKeyScalar,
+        asset: ['0', '0'],
+        applicationId: '0',
+        recipientPublicKeys: [coordHexToDecimal(pt.x), coordHexToDecimal(pt.y)],
+        escrowNonce: '0',
+        recipientStellar: ['0', '0'],
+    };
+}
+function resolveWithdraw(slot, wasm) {
+    return slot === 'dummy' ? dummyWithdraw(wasm) : slot;
+}
+function resolveDeposit(slot, wasm) {
+    return slot === 'dummy' ? dummyDeposit(wasm) : slot;
+}
+function padWithdrawSlots(slots, nIns) {
+    if (slots.length > nIns) {
+        throw new Error(`withdrawal-transaction-input: expected at most ${nIns} withdraw slots`);
+    }
+    return [...slots, ...Array.from({ length: nIns - slots.length }, () => 'dummy')];
+}
+function padDepositSlots(slots, nOuts) {
+    if (slots.length > nOuts) {
+        throw new Error(`withdrawal-transaction-input: expected at most ${nOuts} deposit slots`);
+    }
+    return [...slots, ...Array.from({ length: nOuts - slots.length }, () => 'dummy')];
+}
+function buildTransactionWitnessInput(publicParams, publicLegs, withdrawSlots, depositSlots, audit, wasm, dims = {}) {
+    const nIns = dims.nIns ?? TRANSACTION_N_INS;
+    const nOuts = dims.nOuts ?? TRANSACTION_N_OUTS;
+    const publicNInputs = dims.publicNInputs ?? TRANSACTION_PUBLIC_N_INPUTS;
+    const publicNOutputs = dims.publicNOutputs ?? TRANSACTION_PUBLIC_N_OUTPUTS;
+    const paddedWithdraws = padWithdrawSlots(withdrawSlots, nIns);
+    const paddedDeposits = padDepositSlots(depositSlots, nOuts);
+    const paddedLegs = padPublicLegs(publicLegs, publicNInputs, publicNOutputs);
+    const withdraws = paddedWithdraws.map((slot) => resolveWithdraw(slot, wasm));
+    const deposits = paddedDeposits.map((slot) => resolveDeposit(slot, wasm));
+    const appIds = resolveSlotApplicationIds(audit, paddedWithdraws, paddedDeposits);
+    return {
+        stateRoot: publicParams.stateRoot,
+        withdrawAddressHi: publicParams.withdrawAddressHi,
+        withdrawAddressLo: publicParams.withdrawAddressLo,
+        escrowRecipientHi: publicParams.escrowRecipientHi ?? '0',
+        escrowRecipientLo: publicParams.escrowRecipientLo ?? '0',
+        sweepOutputOwnerPubX: publicParams.sweepOutputOwnerPubX ?? '0',
+        sweepOutputOwnerPubY: publicParams.sweepOutputOwnerPubY ?? '0',
+        privKeyScalars: withdraws.map((w) => w.privKeyScalar),
+        ownerPubs: withdraws.map((w) => w.ownerPub),
+        paddingRandoms: withdraws.map((w) => w.paddingRandom),
+        withdrawnValues: withdraws.map((w) => w.value),
+        withdrawnNullifiers: withdraws.map((w) => w.nullifier),
+        withdrawnSecrets: withdraws.map((w) => w.secret),
+        withdrawnAssets: withdraws.map((w) => w.asset),
+        withdrawnEscrowNonces: withdraws.map((w) => w.escrowNonce),
+        inputRecipientStellar: withdraws.map((w) => w.recipientStellar),
+        stateSiblings: withdraws.map((w) => w.stateSiblings),
+        stateIndex: withdraws.map((w) => w.stateIndex),
+        depositedValues: deposits.map((d) => d.value),
+        depositedNullifiers: deposits.map((d) => d.nullifier),
+        depositedAssets: deposits.map((d) => d.asset),
+        depositedEphemeralKeyScalars: deposits.map((d) => d.ephemeralKeyScalar),
+        depositedRecipientPublicKeys: deposits.map((d) => d.recipientPublicKeys),
+        depositedEscrowNonces: deposits.map((d) => d.escrowNonce ?? '0'),
+        outputRecipientStellar: deposits.map((d) => d.recipientStellar ?? ['0', '0']),
+        inputApplicationIds: appIds.inputApplicationIds,
+        outputApplicationIds: appIds.outputApplicationIds,
+        auditEphemeralScalar: audit.auditEphemeralScalar,
+        noteAuditPublicKey: audit.noteAuditPublicKey,
+        publicWithdrawnAssets: paddedLegs.publicWithdrawnAssets,
+        publicDepositedAssets: paddedLegs.publicDepositedAssets,
+        publicDeposits: paddedLegs.publicDeposits,
+        publicWithdrawals: paddedLegs.publicWithdrawals,
+    };
+}
+/** `stpl1…` stealth address → `[x, y]` as decimal field strings for `depositedRecipientPublicKeys`. */
+function recipientPublicKeysDecimalFromStealthAddress(stealthAddress) {
+    const { x, y } = decodeStealthAddress(stealthAddress);
+    return [coordHexToDecimal(x), coordHexToDecimal(y)];
+}
+/** First withdraw leg: Merkle witness + owner public key (hex) and matching scalar. */
+function withdrawObjectFromMerkleWitness(witness, ownerPubHex, applicationId, privKeyScalar) {
+    return {
+        value: witness.value,
+        nullifier: witness.nullifier,
+        secret: witness.secret,
+        asset: witness.withdrawnAsset,
+        applicationId,
+        ownerPub: [coordHexToDecimal(ownerPubHex.x), coordHexToDecimal(ownerPubHex.y)],
+        privKeyScalar,
+        paddingRandom: randomFrDecimal(),
+        escrowNonce: '0',
+        recipientStellar: ['0', '0'],
+        stateSiblings: witness.stateSiblings,
+        stateIndex: witness.stateIndex,
+    };
+}
+
+const FR_SIZE$1 = 32;
+const CIPHERTEXT_BLOB_HEADER_BYTES = 4;
+const FR_MODULUS$1 = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+function moduleFr$1(value) {
+    const reduced = value % FR_MODULUS$1;
+    return reduced >= 0n ? reduced : reduced + FR_MODULUS$1;
+}
+function fieldToBytes(value) {
+    let remaining = moduleFr$1(value);
+    const buf = Buffer.alloc(FR_SIZE$1);
+    for (let index = FR_SIZE$1 - 1; index >= 0; index -= 1) {
+        buf[index] = Number(remaining & 0xffn);
+        remaining >>= 8n;
+    }
+    return buf;
+}
+function decimalOrHexToBigint(value) {
+    const trimmed = value.trim();
+    if (/^0x/i.test(trimmed) || /^[0-9a-f]{64}$/i.test(trimmed)) {
+        return BigInt(`0x${trimmed.replace(/^0x/i, '')}`);
+    }
+    return BigInt(trimmed);
+}
+function encodeCiphertextBlob(fields) {
+    const prefix = Buffer.alloc(CIPHERTEXT_BLOB_HEADER_BYTES);
+    prefix.writeUInt32BE(fields.length);
+    return Buffer.concat([
+        prefix,
+        ...fields.map((field) => fieldToBytes(decimalOrHexToBigint(field))),
+    ]);
+}
+function encodeTransactionCiphertextBlob(parameters) {
+    const expected = ciphertextFieldCount(parameters.layout);
+    const fields = [];
+    for (const slot of parameters.auditCiphertexts) {
+        fields.push(...slot);
+    }
+    for (const note of parameters.outputNoteCiphertexts) {
+        fields.push(...note);
+    }
+    if (fields.length !== expected) {
+        throw new Error(`ciphertext blob expected ${String(expected)} fields, got ${String(fields.length)}`);
+    }
+    return encodeCiphertextBlob(fields);
+}
+
+const NOTE_AUDIT_LEN = 12;
+const STREAM_DOMAIN = 1n;
+const FR_SIZE = 32;
+const FR_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+const ONE = 1n;
+const ZERO = 0n;
+let primitivesPromise;
+function primitives() {
+    primitivesPromise ?? (primitivesPromise = Promise.all([
+        circomlibjs.buildBabyjub(),
+        circomlibjs.buildMimc7(),
+        circomlibjs.buildPoseidon(),
+    ]).then(([babyJub, mimc7, poseidon]) => ({ babyJub, mimc7, poseidon })));
+    return primitivesPromise;
+}
+function normalizeHex(value) {
+    return value.trim().replace(/^0x/i, '').padStart(FR_SIZE * 2, '0');
+}
+function bigintFromHex(value) {
+    return BigInt(`0x${normalizeHex(value)}`);
+}
+function bigintFromDecimal(value) {
+    const parsed = BigInt(value);
+    return parsed % FR_MODULUS;
+}
+function bigintToFrHex(value) {
+    let v = moduleFr(value);
+    const buf = Buffer.alloc(FR_SIZE);
+    for (let index = FR_SIZE - 1; index >= 0; index -= 1) {
+        buf[index] = Number(v & 0xffn);
+        v >>= 8n;
+    }
+    return buf.toString('hex');
+}
+function frDecimalToHex(value) {
+    return bigintToFrHex(bigintFromDecimal(value));
+}
+function frDecimalFromBigint(value) {
+    const reduced = value >= ZERO ? value % FR_MODULUS : (value % FR_MODULUS) + FR_MODULUS;
+    return reduced.toString(10);
+}
+function fieldBigint(field, value) {
+    return BigInt(field.toString(value));
+}
+function moduleFr(value) {
+    const reduced = value % FR_MODULUS;
+    return reduced >= ZERO ? reduced : reduced + FR_MODULUS;
+}
+function mimcHash(parameters) {
+    return fieldBigint(parameters.mimc7.F, parameters.mimc7.hash(parameters.mimc7.F.e(parameters.message), parameters.mimc7.F.e(parameters.key)));
+}
+function poseidonHash(poseidon, inputs) {
+    return fieldBigint(poseidon.F, poseidon(inputs.map((input) => poseidon.F.e(input))));
+}
+function deriveEncCipherKey(poseidon, sharedX) {
+    return poseidonHash(poseidon, [DOM_ENC, sharedX]);
+}
+function sharedKeyFromDepositor(parameters) {
+    const scalarHex = frDecimalToHex(parameters.ephemeralKeyScalarDecimal);
+    const shared = parameters.ecdhShared(scalarHex, frDecimalToHex(parameters.recipientPublicKey[0]), frDecimalToHex(parameters.recipientPublicKey[1]));
+    return [bigintFromHex(shared.x), bigintFromHex(shared.y)];
+}
+function poseidonMacTag(parameters) {
+    return poseidonHash(parameters.poseidon, [
+        parameters.domain,
+        parameters.key,
+        parameters.nonce,
+        ...parameters.message,
+    ]);
+}
+function outputNoteTag(parameters) {
+    return poseidonMacTag({
+        poseidon: parameters.poseidon,
+        domain: DOM_OUTPUT_NOTE_TAG,
+        key: parameters.key,
+        nonce: parameters.nonce,
+        message: parameters.plaintext,
+    });
+}
+function encryptFields(parameters) {
+    return parameters.plaintext.map((field, index) => {
+        const seed = poseidonHash(parameters.poseidon, [
+            parameters.nonce,
+            STREAM_DOMAIN,
+            BigInt(index),
+        ]);
+        const stream = mimcHash({
+            mimc7: parameters.mimc7,
+            message: seed,
+            key: parameters.key,
+        });
+        return moduleFr(field + stream);
+    });
+}
+function plaintextBigints(plaintext) {
+    return [
+        bigintFromDecimal(plaintext.value),
+        bigintFromDecimal(plaintext.assetHi),
+        bigintFromDecimal(plaintext.assetLo),
+        bigintFromDecimal(plaintext.nullifier),
+        bigintFromDecimal(plaintext.secret),
+        bigintFromDecimal(plaintext.applicationId),
+    ];
+}
+async function secretFromDepositEphemeralScalarDecimal(ephemeralKeyScalarDecimal) {
+    const { poseidon } = await primitives();
+    const secret = poseidonHash(poseidon, [bigintFromDecimal(ephemeralKeyScalarDecimal)]);
+    return frDecimalFromBigint(secret);
+}
+async function encryptOutputNoteForDeposit(parameters) {
+    const { babyJub, mimc7, poseidon } = await primitives();
+    const secret = await secretFromDepositEphemeralScalarDecimal(parameters.deposit.ephemeralKeyScalar);
+    const plaintext = {
+        value: parameters.deposit.value,
+        assetHi: parameters.deposit.asset[0],
+        assetLo: parameters.deposit.asset[1],
+        nullifier: parameters.deposit.nullifier,
+        secret,
+        applicationId: parameters.deposit.applicationId,
+    };
+    const [sharedX, sharedY] = sharedKeyFromDepositor({
+        babyJub,
+        ecdhShared: parameters.ecdhShared,
+        ephemeralKeyScalarDecimal: parameters.deposit.ephemeralKeyScalar,
+        recipientPublicKey: parameters.deposit.recipientPublicKeys,
+    });
+    const key = deriveEncCipherKey(poseidon, sharedX);
+    const nonce = sharedY;
+    const message = plaintextBigints(plaintext);
+    const ciphertext = encryptFields({ mimc7, poseidon, key, nonce, plaintext: message });
+    const tag = outputNoteTag({ poseidon, key, nonce, plaintext: message });
+    return {
+        ciphertext: ciphertext.map((field) => frDecimalFromBigint(field)),
+        tag: frDecimalFromBigint(tag),
+    };
+}
+function ownerModeFromEscrowNonce(escrowNonce) {
+    return bigintFromDecimal(escrowNonce) === ZERO ? ZERO : ONE;
+}
+function emptyFlagFromValue(value) {
+    return bigintFromDecimal(value) === ZERO ? ONE : ZERO;
+}
+function precommitmentFromOpening(parameters) {
+    const ownerKeyHash = poseidonHash(parameters.poseidon, [
+        parameters.ownerPub[0],
+        parameters.ownerPub[1],
+    ]);
+    return poseidonHash(parameters.poseidon, [
+        parameters.secret,
+        parameters.ownerMode,
+        ownerKeyHash,
+    ]);
+}
+async function encryptNoteAuditSlot(parameters) {
+    if (parameters.plaintext.length !== NOTE_AUDIT_LEN) {
+        throw new Error(`encryptNoteAuditSlot: expected ${String(NOTE_AUDIT_LEN)} limbs`);
+    }
+    const { babyJub, mimc7, poseidon } = await primitives();
+    const [sharedX, sharedY] = sharedKeyFromDepositor({
+        babyJub,
+        ecdhShared: parameters.ecdhShared,
+        ephemeralKeyScalarDecimal: parameters.auditEphemeralScalar,
+        recipientPublicKey: parameters.auditPublicKey,
+    });
+    const key = deriveEncCipherKey(poseidon, sharedX);
+    const nonce = sharedY;
+    const message = parameters.plaintext.map((field) => bigintFromDecimal(field));
+    const ciphertext = encryptFields({ mimc7, poseidon, key, nonce, plaintext: message });
+    const tag = poseidonMacTag({
+        poseidon,
+        domain: DOM_AUDIT_TAG,
+        key,
+        nonce,
+        message,
+    });
+    return {
+        ciphertext: ciphertext.map((field) => frDecimalFromBigint(field)),
+        tag: frDecimalFromBigint(tag),
+    };
+}
+function auditPlaintextForWithdraw(parameters) {
+    const value = parameters.witness.withdrawnValues[parameters.index] ?? '0';
+    const ownerPub = parameters.witness.ownerPubs[parameters.index] ?? ['0', '0'];
+    const escrowNonce = parameters.witness.withdrawnEscrowNonces[parameters.index] ?? '0';
+    const secret = bigintFromDecimal(parameters.witness.withdrawnSecrets[parameters.index] ?? '0');
+    const ownerMode = ownerModeFromEscrowNonce(escrowNonce);
+    const precommitment = precommitmentFromOpening({
+        poseidon: parameters.poseidon,
+        secret,
+        ownerMode,
+        ownerPub: [bigintFromDecimal(ownerPub[0]), bigintFromDecimal(ownerPub[1])],
+    });
+    const asset = parameters.witness.withdrawnAssets[parameters.index] ?? ['0', '0'];
+    const stellar = parameters.witness.inputRecipientStellar[parameters.index] ?? ['0', '0'];
+    return [
+        frDecimalFromBigint(emptyFlagFromValue(value)),
+        value,
+        asset[0],
+        asset[1],
+        frDecimalFromBigint(precommitment),
+        parameters.witness.withdrawnNullifiers[parameters.index] ?? '0',
+        ownerPub[0],
+        ownerPub[1],
+        parameters.witness.inputApplicationIds[parameters.index] ?? '0',
+        stellar[0],
+        stellar[1],
+        escrowNonce,
+    ];
+}
+async function auditPlaintextForDeposit(parameters) {
+    const value = parameters.witness.depositedValues[parameters.index] ?? '0';
+    const ownerPub = parameters.witness.depositedRecipientPublicKeys[parameters.index] ?? ['0', '0'];
+    const escrowNonce = parameters.witness.depositedEscrowNonces[parameters.index] ?? '0';
+    const secret = poseidonHash(parameters.poseidon, [
+        bigintFromDecimal(parameters.witness.depositedEphemeralKeyScalars[parameters.index] ?? '0'),
+    ]);
+    const ownerMode = ownerModeFromEscrowNonce(escrowNonce);
+    const precommitment = precommitmentFromOpening({
+        poseidon: parameters.poseidon,
+        secret,
+        ownerMode,
+        ownerPub: [bigintFromDecimal(ownerPub[0]), bigintFromDecimal(ownerPub[1])],
+    });
+    const asset = parameters.witness.depositedAssets[parameters.index] ?? ['0', '0'];
+    const stellar = parameters.witness.outputRecipientStellar[parameters.index] ?? ['0', '0'];
+    return [
+        frDecimalFromBigint(emptyFlagFromValue(value)),
+        value,
+        asset[0],
+        asset[1],
+        frDecimalFromBigint(precommitment),
+        parameters.witness.depositedNullifiers[parameters.index] ?? '0',
+        ownerPub[0],
+        ownerPub[1],
+        parameters.witness.outputApplicationIds[parameters.index] ?? '0',
+        stellar[0],
+        stellar[1],
+        escrowNonce,
+    ];
+}
+async function encryptTransactionCiphertextBlob(parameters) {
+    const { poseidon } = await primitives();
+    const nIns = parameters.witness.withdrawnValues.length;
+    const nOuts = parameters.witness.depositedValues.length;
+    const nAuditSlots = parameters.layout.nAuditSlots;
+    const auditCiphertexts = [];
+    for (let slot = 0; slot < nAuditSlots; slot += 1) {
+        const plaintext = slot < nIns
+            ? auditPlaintextForWithdraw({
+                poseidon,
+                witness: parameters.witness,
+                index: slot,
+            })
+            : await auditPlaintextForDeposit({
+                poseidon,
+                witness: parameters.witness,
+                index: slot - nIns,
+            });
+        const encrypted = await encryptNoteAuditSlot({
+            auditPublicKey: parameters.witness.noteAuditPublicKey,
+            auditEphemeralScalar: parameters.witness.auditEphemeralScalar,
+            plaintext,
+            ecdhShared: parameters.ecdhShared,
+        });
+        auditCiphertexts.push(encrypted.ciphertext);
+    }
+    const outputNoteCiphertexts = [];
+    for (let index = 0; index < nOuts; index += 1) {
+        const deposit = {
+            value: parameters.witness.depositedValues[index] ?? '0',
+            nullifier: parameters.witness.depositedNullifiers[index] ?? '0',
+            ephemeralKeyScalar: parameters.witness.depositedEphemeralKeyScalars[index] ?? '0',
+            asset: parameters.witness.depositedAssets[index] ?? ['0', '0'],
+            applicationId: parameters.witness.outputApplicationIds[index] ?? '0',
+            recipientPublicKeys: parameters.witness.depositedRecipientPublicKeys[index] ?? ['0', '0'],
+        };
+        const encrypted = await encryptOutputNoteForDeposit({
+            deposit,
+            ecdhShared: parameters.ecdhShared,
+        });
+        outputNoteCiphertexts.push([...encrypted.ciphertext]);
+    }
+    const blob = encodeTransactionCiphertextBlob({
+        layout: parameters.layout,
+        auditCiphertexts,
+        outputNoteCiphertexts,
+    });
+    return {
+        ciphertextHex: blob.toString('hex'),
+        auditCiphertexts,
+        outputNoteCiphertexts,
+    };
 }
 
-/** Stroops amount as WASM `u64` (`bigint`). */
-function wasmU64Stroops(amount) {
-    const b = typeof amount === 'bigint' ? amount : BigInt(amount);
-    if (b < 0n || b > 0xffffffffffffffffn) {
-        throw new RangeError('amount must be a non-negative u64 (stroops)');
+/** Stroops amount as a decimal field string. Reject JS `number` so 18-decimal values cannot silently narrow. */
+function coinValueDecimal(amount) {
+    if (typeof amount === "number") {
+        throw new TypeError("coin value must be bigint or decimal string, not number");
+    }
+    if (typeof amount === "bigint") {
+        if (amount < 0n) {
+            throw new RangeError("amount must be a non-negative integer");
+        }
+        return amount.toString(10);
+    }
+    if (typeof amount !== "string") {
+        throw new TypeError("coin value must be bigint or decimal string, not number");
     }
-    return b;
+    const trimmed = amount.trim();
+    if (!/^[0-9]+$/.test(trimmed)) {
+        throw new TypeError("coin value decimal string must be a non-negative integer");
+    }
+    return trimmed;
+}
+function generatedCoinFromWasm(value) {
+    const raw = value;
+    const precommitementHex = raw.precommitementHex ?? raw.precommitement_hex;
+    if (!precommitementHex) {
+        throw new Error("generated coin missing precommitement hex");
+    }
+    return {
+        coin: raw.coin,
+        commitment_hex: raw.commitment_hex,
+        precommitement_hex: precommitementHex,
+        precommitementHex,
+    };
 }
 class PrivacyPoolSDK {
-    constructor(wasm, options) {
+    constructor(wasm, options, resolved) {
         this.wasm = wasm;
         this.options = options;
+        this.zkConfigNonce = resolved.nonce;
+        this.circuitConfig = resolved.config;
+        this.layout = layoutFromCircuitConfig(resolved.config);
+    }
+    getZkConfigNonce() {
+        return this.zkConfigNonce;
+    }
+    getLayout() {
+        return this.layout;
     }
     /**
      * Initialize the SDK by loading WASM modules.
      *
-     * In Node.js, assets are loaded from the filesystem automatically.
-     * In browser, pass pre-loaded buffers via options:
+     * In Node.js, proving artifacts load from `zkArtifactBaseUrl` or
+     * `ZK_ARTIFACT_BASE_URL`, defaulting to this package's GitHub release.
+     * In browser, pass pre-loaded WASM via options:
      * ```ts
      * const sdk = await PrivacyPoolSDK.init({
      *   wasmBinary: await fetch('/pkg/client_sdk_wasm_bg.wasm').then(r => r.arrayBuffer()),
-     *   circuitWasm: await fetch('/assets/main.wasm').then(r => r.arrayBuffer()),
-     *   zkey: await fetch('/assets/main_final.zkey').then(r => r.arrayBuffer()),
+     *   zkArtifactBaseUrl: 'https://github.com/Polynom-Labs/stellar-privacy-layer-contracts/releases/download/v0.8.0',
      * });
      * ```
      */
     static async init(options) {
         const opts = options ?? {};
         const wasm = await loadWasm(opts.wasmBinary);
-        return new PrivacyPoolSDK(wasm, opts);
+        const resolved = resolveZkCircuitConfig(opts.zkCircuits, opts.zkConfigNonce);
+        const sdk = new PrivacyPoolSDK(wasm, opts, resolved);
+        sdk.circuitArtifacts = await resolveCircuitArtifacts(resolved.config, opts.zkArtifactBaseUrl);
+        return sdk;
     }
     /**
      * Uniform 32-byte scalar as lowercase hex (Web Crypto). Same in browser and Node 19+.
@@ -1949,39 +2255,40 @@ class PrivacyPoolSDK {
         return generateRandomScalarHex32();
     }
     /**
-     * Text to sign with a Stellar wallet for stealth derivation (UTF-8). No WASM required.
+     * Text to sign with a Stellar wallet for spend-key derivation (UTF-8). No WASM required.
+     * The message binds network, pool, registry, and schema version (H6).
      */
-    static buildStealthAddressSignMessage(address, nonce = DEFAULT_STEALTH_SIGN_NONCE) {
-        return buildStealthAddressSignMessage(address, nonce);
+    static buildStealthAddressSignMessage(address, domain, nonce = DEFAULT_STEALTH_SIGN_NONCE) {
+        return buildStealthAddressSignMessage(address, domain, nonce);
     }
     /**
-     * Generate a new coin with random nullifier, secret, and random shared-secret field elements (dev / self-contained tests).
-     * @param amount Stroops encoded as `bigint` or integer `number` (WASM `u64`).
+     * Generate a new coin with random nullifier, secret, and random owner-pub field elements (dev / self-contained tests).
+     * @param amount Decimal field element as `bigint` or decimal `string` (never JS `number`).
      * @param assetHiDecimal / assetLoDecimal Decimal Fr strings for Stellar asset contract id (two limbs).
      */
-    generateCoin(amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
-        return this.wasm.generateCoin(wasmU64Stroops(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal);
+    generateCoin(amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = "0") {
+        return generatedCoinFromWasm(this.wasm.generateCoin(coinValueDecimal(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal));
     }
     /**
-     * Generate a coin with the same commitment shape as on-chain deposit: pass `ecdhSharedKey` output (hex x, y).
-     * @param amount Stroops (`bigint` | `number`).
+     * Generate a coin with the same commitment shape as on-chain deposit: pass owner public key (hex x, y).
+     * @param amount Decimal field element (`bigint` | `string`).
      */
-    generateCoinWithSharedSecret(shared, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
-        return this.wasm.generateCoinWithSharedSecretHex(shared.x, shared.y, wasmU64Stroops(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal);
+    generateCoinWithOwnerPub(ownerPub, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = "0") {
+        return generatedCoinFromWasm(this.wasm.generateCoinWithOwnerPubHex(ownerPub.x, ownerPub.y, coinValueDecimal(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal));
     }
     /**
      * Coin for a depositor `ephemeralKeyScalar` (32-byte hex): `coin.secret = Poseidon255(1)(scalar)` as in `deposit.circom`.
-     * @param amount Stroops (`bigint` | `number`).
+     * @param amount Decimal field element (`bigint` | `string`).
      */
-    generateCoinFromDepositEphemeralScalarHex(scalarHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
-        return this.wasm.generateCoinFromDepositEphemeralScalarHex(scalarHex, wasmU64Stroops(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal);
+    generateCoinFromDepositEphemeralScalarHex(scalarHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = "0") {
+        return generatedCoinFromWasm(this.wasm.generateCoinFromDepositEphemeralScalarHex(scalarHex, coinValueDecimal(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal));
     }
     /**
-     * Aligned deposit coin: `secret = Poseidon₁(scalar)` and ECDH shared key from hex coords (e.g. `ecdhSharedKey(scalar, recipient_x, recipient_y)`).
-     * @param amount Stroops (`bigint` | `number`).
+     * Aligned deposit coin: `secret = Poseidon₁(scalar)` and owner pub from recipient hex coords.
+     * @param amount Decimal field element (`bigint` | `string`).
      */
-    generateCoinForDepositWithSharedHex(scalarHex, sharedXHex, sharedYHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
-        return this.wasm.generateCoinForDepositWithSharedHex(scalarHex, sharedXHex, sharedYHex, wasmU64Stroops(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal);
+    generateCoinForDepositWithOwnerPubHex(scalarHex, ownerXHex, ownerYHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = "0") {
+        return generatedCoinFromWasm(this.wasm.generateCoinForDepositWithOwnerPubHex(scalarHex, ownerXHex, ownerYHex, coinValueDecimal(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal));
     }
     /**
      * Merkle root, path, and coin fields for the first withdraw leg (Rust LeanIMT + Poseidon).
@@ -2000,20 +2307,18 @@ class PrivacyPoolSDK {
      */
     async proveWithdrawal(coin, state, params) {
         const witness = this.buildWithdrawMerkleWitness(coin, state);
-        const w0 = withdrawObjectFromMerkleWitness(witness, {
-            x: params.ephemeralXHex,
-            y: params.ephemeralYHex,
-        }, params.applicationId ?? coin.application_id ?? '0');
+        const ownerPubHex = this.ecdhEphemeralPublicKeyFromScalarHex(BigInt(params.privKeyScalar).toString(16).padStart(64, "0"));
+        const w0 = withdrawObjectFromMerkleWitness(witness, ownerPubHex, params.applicationId ?? coin.application_id ?? "0", params.privKeyScalar);
         const fullV = BigInt(coin.value);
         let publicWithdrawals;
         let deposits;
         if (params.publicWithdrawStroops !== undefined) {
             const W = params.publicWithdrawStroops;
             if (params.changeRecipientStealthAddress === undefined) {
-                throw new Error('proveWithdrawal: changeRecipientStealthAddress is required when publicWithdrawStroops is set');
+                throw new Error("proveWithdrawal: changeRecipientStealthAddress is required when publicWithdrawStroops is set");
             }
             if (W <= 0n || W >= fullV) {
-                throw new Error('proveWithdrawal: publicWithdrawStroops must be strictly between 0 and coin.value');
+                throw new Error("proveWithdrawal: publicWithdrawStroops must be strictly between 0 and coin.value");
             }
             const change = fullV - W;
             publicWithdrawals = [W.toString()];
@@ -2022,29 +2327,29 @@ class PrivacyPoolSDK {
                 nullifier: randomFrDecimal(),
                 ephemeralKeyScalar: randomFrDecimal253(),
                 asset: [coin.asset_hi, coin.asset_lo],
-                applicationId: params.applicationId ?? '0',
+                applicationId: params.applicationId ?? "0",
                 recipientPublicKeys: recipientPublicKeysDecimalFromStealthAddress(params.changeRecipientStealthAddress),
             };
-            deposits = [changeDeposit, 'dummy'];
+            deposits = [changeDeposit];
         }
         else {
             publicWithdrawals = [coin.value];
-            deposits = ['dummy', 'dummy'];
+            deposits = [];
         }
         // On-chain `transact` sends `publicWithdrawals` / `publicWithdrawnAssets` to the withdraw account.
         const publicLegs = {
             publicWithdrawnAssets: [[coin.asset_hi, coin.asset_lo]],
-            publicDepositedAssets: [['0', '0']],
-            publicDeposits: ['0'],
+            publicDepositedAssets: [["0", "0"]],
+            publicDeposits: ["0"],
             publicWithdrawals,
         };
-        return this.proveTransaction({
+        return this.proveTransactionSlots({
             stateRoot: witness.stateRoot,
             withdrawAddressHi: params.withdrawAddressHi,
             withdrawAddressLo: params.withdrawAddressLo,
             privKeyScalar: params.privKeyScalar,
-        }, publicLegs, [w0, 'dummy'], deposits, params.audit
-            ?? resolveTransactionAuditParams(params.applicationId ?? coin.application_id ?? DEFAULT_APPLICATION_ID, DEMO_AUDIT_PUBLIC_KEY));
+        }, publicLegs, [w0], deposits, params.audit ??
+            resolveTransactionAuditParams(params.applicationId ?? coin.application_id ?? DEFAULT_APPLICATION_ID, DEMO_AUDIT_PUBLIC_KEY, this.layout.nAuditSlots));
     }
     /**
      * Convert a snarkjs proof JSON to hex bytes for Soroban.
@@ -2069,39 +2374,50 @@ class PrivacyPoolSDK {
         return this.wasm.ecdhSharedKey(scalarHex, recipientPubXHex, recipientPubYHex);
     }
     /**
-     * `Transaction(20,2,2)` proof from high-level legs: maps to witness input (incl. `"dummy"` ECDH via WASM), then Groth16 → Soroban hex.
-     *
-     * @param publicParams Public inputs: `stateRoot`, `withdrawAddressHi` / `withdrawAddressLo`, `privKeyScalar` (decimal field strings).
-     * @param publicLegs Public token legs (`publicWithdrawnAssets`, `publicDepositedAssets`, `publicDeposits`, `publicWithdrawals`).
-     * @param withdraws Exactly two withdraw slots (`WithdrawObject` or `"dummy"`).
-     * @param deposits Exactly two deposit slots (`DepositObject` or `"dummy"`).
+     * `Transaction(20,nIns,nOuts)` proof from high-level legs: maps to witness input (incl. `"dummy"` ECDH via WASM), then Groth16 → Soroban hex.
+     * Slots are padded to the selected ZK config layout (bundled 2×2 or 6×6).
      */
     async proveTransaction(publicParams, publicLegs, withdraws, deposits, audit) {
+        return this.proveTransactionSlots(publicParams, publicLegs, withdraws, deposits, audit);
+    }
+    async proveTransactionSlots(publicParams, publicLegs, withdraws, deposits, audit) {
         const wasmEcdh = {
             ecdhEphemeralPublicKeyFromScalarHex: (h) => this.wasm.ecdhEphemeralPublicKeyFromScalarHex(h),
         };
-        const witnessInput = buildTransactionWitnessInput(publicParams, publicLegs, withdraws, deposits, audit, wasmEcdh);
-        const wtns = await generateWitness(witnessInput, this.options.circuitWasm);
-        const { proof, publicSignals } = await generateProof(wtns, this.options.zkey);
+        const { nIns, nOuts, publicNInputs, publicNOutputs } = this.layout;
+        const witnessInput = buildTransactionWitnessInput(publicParams, publicLegs, withdraws, deposits, audit, wasmEcdh, { nIns, nOuts, publicNInputs, publicNOutputs });
+        const artifacts = this.circuitArtifacts;
+        if (!artifacts) {
+            throw new Error("PrivacyPoolSDK circuit artifacts are not loaded");
+        }
+        const proved = this.wasm.proveGroth16(artifacts.graph, artifacts.provingKey, artifacts.r1cs, JSON.stringify(witnessInput));
+        const encrypted = await encryptTransactionCiphertextBlob({
+            witness: witnessInput,
+            layout: this.layout,
+            ecdhShared: (priv, pubX, pubY) => this.wasm.ecdhSharedKey(priv, pubX, pubY),
+        });
         return {
-            proof_hex: this.proofToHex(proof),
-            public_hex: this.publicToHex(publicSignals),
+            proof_hex: proved.proof_hex,
+            public_hex: proved.public_hex,
+            ciphertext_hex: encrypted.ciphertextHex,
+            output_note_ephemeral_scalars: witnessInput.depositedEphemeralKeyScalars,
         };
     }
     /**
-     * Calculate nullifier hash: Poseidon(nullifier)
+     * Calculate owner-bound nullifier hash: Poseidon(DOM_NULLIFIER, nullifier, privKeyScalar)
      * @param nullifier Nullifier decimal string from coin data
+     * @param privKeyScalar Spend scalar decimal string
      * @returns Hex string (0x...) of the hash bytes
      */
-    calculateNullifierHash(nullifier) {
-        return this.wasm.calculateNullifierHash(nullifier);
+    calculateNullifierHash(nullifier, privKeyScalar) {
+        return this.wasm.calculateNullifierHash(nullifier, privKeyScalar);
     }
     /**
      * Ed25519 signature from signing {@link buildStealthAddressSignMessage}: **128 hex chars** (optional `0x`)
-     * or **base64** (64 raw bytes after decode). `SHA-256(signature bytes)` → scalar → ECDH → `stpl1` Bech32.
+     * or **base64** (64 raw bytes after decode). Domain-separated SHA-256 → scalar → ECDH → `stpl1` Bech32.
      */
-    async generateStealthAddressFromStellarSignature(signature) {
-        return stealthAddressFromStellarSignature((h) => this.wasm.ecdhEphemeralPublicKeyFromScalarHex(h), encodeStealthAddress, signature);
+    async generateStealthAddressFromStellarSignature(signature, domain) {
+        return stealthAddressFromStellarSignature((h) => this.wasm.ecdhEphemeralPublicKeyFromScalarHex(h), encodeStealthAddress, signature, domain);
     }
     encodeDecodedEphemeralKey(decoded) {
         return encodeDecodedEphemeralKey(decoded);
@@ -2123,38 +2439,6 @@ class PrivacyPoolSDK {
     }
 }
 
-function onboardingContractValue(onboarding) {
-    return {
-        owner: onboarding.owner,
-        temp_public_key_x: onboarding.temp_public_key_x,
-        temp_public_key_y: onboarding.temp_public_key_y,
-        encrypted_private_key: onboarding.encrypted_private_key,
-        notes: {
-            notes: onboarding.notes.map((note) => ({
-                value: note.value,
-                asset_hi: note.asset_hi,
-                asset_lo: note.asset_lo,
-                nullifier: note.nullifier,
-                secret: note.secret,
-                deposited_ephemeral_scalar: note.deposited_ephemeral_scalar,
-            })),
-        },
-        private_address_registration: onboarding.private_address_registration,
-    };
-}
-function onboardingToScVal(onboarding) {
-    return stellarSdk.nativeToScVal(onboardingContractValue(onboarding));
-}
-function onboardingOptionToScVal(onboarding) {
-    if (onboarding === null || onboarding === undefined) {
-        return stellarSdk.xdr.ScVal.scvVoid();
-    }
-    return onboardingToScVal(onboarding);
-}
-function addressToScVal(address) {
-    return stellarSdk.nativeToScVal(address, { type: 'address' });
-}
-
 function signatureBase64ToBytes(signature) {
     const value = signature.trim();
     if (/^(0x)?[0-9a-fA-F]{128}$/.test(value)) {
@@ -2163,6 +2447,9 @@ function signatureBase64ToBytes(signature) {
     return Buffer.from(value, 'base64');
 }
 
+function addressToScVal(address) {
+    return stellarSdk.nativeToScVal(address, { type: 'address' });
+}
 function passageIdHexToScVal(passageIdHex) {
     const bytes = Buffer.from(passageIdHex.replace(/^0x/, ''), 'hex');
     return stellarSdk.xdr.ScVal.scvBytes(bytes);
@@ -2179,7 +2466,6 @@ function helperSubmitWithPassageOperation(helperContractId, params, passageId, e
             stellarSdk.nativeToScVal(params.nonce, { type: 'u64' }),
             stellarSdk.xdr.ScVal.scvBytes(params.proofBytes),
             stellarSdk.xdr.ScVal.scvBytes(params.publicSignalsBytes),
-            onboardingOptionToScVal(params.onboarding),
             passageIdHexToScVal(passageId),
             stellarSdk.xdr.ScVal.scvU32(expiresAtLedger),
             signatureToScVal(signatureBase64ToBytes(signature)),
@@ -2309,6 +2595,20 @@ const COIN_VALUE_STROOPS = 1000000000;
 function resolveApplicationIdFromCli(parsed) {
     return parsed['application-id'] ?? process.env.APPLICATION_ID ?? DEFAULT_APPLICATION_ID;
 }
+function resolveZkInit(parsed) {
+    const explicit = parsed['profile'] ?? process.env.ZK_PROFILE;
+    if (explicit && (explicit === '6x6' || explicit === 'six' || explicit === '6')) {
+        return { zkConfigNonce: SIX_BY_SIX_BINDING_ZK_NONCE };
+    }
+    const envNonce = (process.env.ZK_CONFIG_NONCE ?? '').trim();
+    if (envNonce === '6' || envNonce === '7') {
+        return { zkConfigNonce: SIX_BY_SIX_BINDING_ZK_NONCE };
+    }
+    if (envNonce === '3' || envNonce === '2' || envNonce === '') {
+        return { zkConfigNonce: BINDING_ZK_NONCE };
+    }
+    return { zkConfigNonce: BINDING_ZK_NONCE };
+}
 async function main() {
     const args = process.argv.slice(2);
     if (args.length === 0 || args[0] === '--help' || args[0] === '-h') {
@@ -2337,6 +2637,9 @@ async function main() {
     else if (command === 'priv-scalar-from-signature') {
         await handlePrivScalarFromSignature(args.slice(1));
     }
+    else if (command === 'stealth-pubkey-hex') {
+        handleStealthPubkeyHex(args.slice(1));
+    }
     else if (command === 'kyt-submit-approved') {
         await handleKytSubmitApproved(args.slice(1));
     }
@@ -2364,13 +2667,25 @@ Commands:
 
   stealth-sign-message             Print message to sign (Stellar wallet / stellar CLI)
     --address <G...>               Stellar account address (required)
+    --network-passphrase <string>  Network passphrase bound into the spend scalar
+    --pool <C...>                  Pool contract id bound into the spend scalar
+    --registry <C...>              Registry contract id bound into the spend scalar
+    --schema-version <u32>         Note schema version (default: 1)
     --nonce <string>               Nonce label (default: "main address")
 
   stealth-from-signature           Derive stpl1 stealth address from Ed25519 signature
     --signature <value>            128 hex chars (optional 0x) or standard base64 (64 bytes)
     --signature-file <path>        Read signature from file (whitespace trimmed)
+    --network-passphrase <string>  Spend-scalar domain (same as stealth-sign-message)
+    --pool <C...>
+    --registry <C...>
+    --schema-version <u32>
 
-  priv-scalar-from-signature       Print privKeyScalar (decimal Fr) from Stellar Ed25519 signature (SHA-256(sig) mod r)
+  priv-scalar-from-signature       Print privKeyScalar (decimal Fr) from domain-separated spend digest
+
+  stealth-pubkey-hex                Decode a stpl1 stealth address into its BabyJubJub public key
+    --stealth <stpl1...>            Stealth address to decode
+                                     Prints x hex on line 1, y hex on line 2 (registry public_key_x/public_key_y)
 
   kyt-submit-approved              Submit helper.register_passage + pool.transact with signed non-root auth
     --source-secret <S...>         Secret seed for the depositing/withdrawing Stellar account (or SOURCE_SECRET env)
@@ -2397,10 +2712,12 @@ Commands:
     --public-withdraw-stroops <u64> Optional: amount to withdraw publicly (must be < coin.value). Rest stays in pool as change.
     --change-stealth <stpl1...>    Required with --public-withdraw-stroops: stealth for the change note (same as deposit)
     --application-id <dec>         Application id (decimal Fr); default: APPLICATION_ID env or 101
+    --profile <2x2|6x6>            Circuit artifact profile (default: ZK_PROFILE / ZK_CONFIG_NONCE=7 → 6x6)
     --output-proof <file>          Write proof hex to file
     --output-public <file>         Write public signals hex to file
+    --output-ciphertext <file>     Write userspace MiMC ciphertext blob hex to file
 
-  deposit-proof                  Groth16 proof for deposit-only transact (2 dummy withdraws, 1 deposit + dummy)
+  deposit-proof                  Groth16 proof for deposit-only transact (dummy withdraws, 1 deposit + dummy outs)
     --state-root <dec>           Current Merkle root (decimal Fr), must match pool on submit
     --stealth <stpl1...>         Recipient stealth address (decodes to recipient public key)
     --token <C...>               Asset contract id (or set TOKEN_ADDRESS)
@@ -2408,8 +2725,10 @@ Commands:
     --ephemeral-scalar-hex <hex>  Same 32-byte hex as deposit / generate --scalar
     --value <dec>                Deposit amount (stroops as decimal Fr); optional if --coin (must match coin)
     --application-id <dec>       Application id (decimal Fr); default: APPLICATION_ID env or 101
+    --profile <2x2|6x6>          Circuit artifact profile (default: ZK_PROFILE / ZK_CONFIG_NONCE=7 → 6x6)
     --output-proof <file>        Write proof hex to file
     --output-public <file>       Write public signals hex to file
+    --output-ciphertext <file>   Write userspace MiMC ciphertext blob hex to file
 
 Output (withdraw, deposit-proof):
   Prints proof_hex on first line and public_hex on second line to stdout.
@@ -2478,6 +2797,24 @@ function parseArgs(args) {
     }
     return parsed;
 }
+function requireSpendScalarDomain(parsed) {
+    const networkPassphrase = parsed['network-passphrase'] ?? networkPassphraseFromArgs(parsed);
+    const poolContract = requireParsedArg(parsed, 'pool');
+    const registryContract = requireParsedArg(parsed, 'registry');
+    const schemaRaw = parsed['schema-version'];
+    const domain = {
+        networkPassphrase,
+        poolContract,
+        registryContract,
+    };
+    if (schemaRaw !== undefined) {
+        domain.schemaVersion = Number(schemaRaw);
+    }
+    else {
+        domain.schemaVersion = OWNER_BOUND_NOTE_SCHEMA_VERSION;
+    }
+    return domain;
+}
 function handleStealthSignMessage(args) {
     const parsed = parseArgs(args);
     const address = parsed['address'];
@@ -2486,7 +2823,7 @@ function handleStealthSignMessage(args) {
         process.exit(1);
     }
     const nonce = parsed['nonce'] ?? DEFAULT_STEALTH_SIGN_NONCE;
-    console.log(buildStealthAddressSignMessage(address, nonce));
+    console.log(buildStealthAddressSignMessage(address, requireSpendScalarDomain(parsed), nonce));
 }
 async function handleStealthFromSignature(args) {
     const parsed = parseArgs(args);
@@ -2499,9 +2836,16 @@ async function handleStealthFromSignature(args) {
         process.exit(1);
     }
     const sdk = await PrivacyPoolSDK.init();
-    const stealth = await sdk.generateStealthAddressFromStellarSignature(sig);
+    const stealth = await sdk.generateStealthAddressFromStellarSignature(sig, requireSpendScalarDomain(parsed));
     console.log(stealth);
 }
+function handleStealthPubkeyHex(args) {
+    const parsed = parseArgs(args);
+    const stealth = requireParsedArg(parsed, 'stealth');
+    const { x, y } = decodeStealthAddress(stealth);
+    console.log(x);
+    console.log(y);
+}
 async function handlePrivScalarFromSignature(args) {
     const parsed = parseArgs(args);
     let sig = parsed['signature'];
@@ -2512,7 +2856,7 @@ async function handlePrivScalarFromSignature(args) {
         console.error('Error: --signature <hex> or --signature-file <path> is required');
         process.exit(1);
     }
-    const dec = await privKeyScalarDecimalFromStellarSignature(sig.trim());
+    const dec = await privKeyScalarDecimalFromStellarSignature(sig.trim(), requireSpendScalarDomain(parsed));
     console.log(dec);
 }
 function handleRandomScalar() {
@@ -2541,33 +2885,29 @@ async function handleKytSubmitApproved(args) {
     });
     console.log(txHash);
 }
-function parseStroopsU64(label, raw, defaultStroops) {
-    if (raw === undefined) {
-        return defaultStroops;
-    }
+function parseStroopsU64(label, raw, _min) {
     if (!/^\d+$/.test(raw)) {
-        console.error(`Error: ${label} must be a non-negative decimal integer (stroops u64)`);
+        console.error(`Error: ${label} must be a non-negative decimal integer`);
         process.exit(1);
     }
-    try {
-        const b = BigInt(raw);
-        if (b < 0n || b > 0xffffffffffffffffn) {
-            console.error(`Error: ${label} out of u64 range`);
-            process.exit(1);
-        }
-        return b;
+    return BigInt(raw);
+}
+function parseCoinValueDecimal(label, raw, defaultStroops) {
+    if (raw === undefined) {
+        return defaultStroops.toString(10);
     }
-    catch {
-        console.error(`Error: invalid ${label}`);
+    if (!/^\d+$/.test(raw)) {
+        console.error(`Error: ${label} must be a non-negative decimal integer`);
         process.exit(1);
     }
+    return raw;
 }
 async function handleGenerate(args) {
     const parsed = parseArgs(args);
     const sdk = await PrivacyPoolSDK.init();
     const scalar = parsed['scalar'];
     const stealth = parsed['stealth'];
-    const amount = parseStroopsU64('--amount', parsed['amount'], BigInt(COIN_VALUE_STROOPS));
+    const amount = parseCoinValueDecimal('--amount', parsed['amount'], BigInt(COIN_VALUE_STROOPS));
     const applicationId = resolveApplicationIdFromCli(parsed);
     const token = parsed['token'] ?? process.env.TOKEN_ADDRESS;
     if (!token) {
@@ -2582,8 +2922,7 @@ async function handleGenerate(args) {
     let coin;
     if (scalar && stealth) {
         const { x, y } = decodeStealthAddress(stealth);
-        const shared = sdk.ecdhSharedKey(scalar, x, y);
-        coin = sdk.generateCoinForDepositWithSharedHex(scalar, shared.x, shared.y, amount, assetHi, assetLo, applicationId);
+        coin = sdk.generateCoinForDepositWithOwnerPubHex(scalar, x, y, amount, assetHi, assetLo, applicationId);
     }
     else if (scalar) {
         coin = sdk.generateCoinFromDepositEphemeralScalarHex(scalar, amount, assetHi, assetLo, applicationId);
@@ -2644,9 +2983,10 @@ async function handleWithdraw(args) {
         console.error('Error: --change-stealth is only valid with --public-withdraw-stroops');
         process.exit(1);
     }
-    const sdk = await PrivacyPoolSDK.init();
+    const { zkConfigNonce } = resolveZkInit(parsed);
+    const sdk = await PrivacyPoolSDK.init({ zkConfigNonce });
     const applicationId = resolveApplicationIdFromCli(parsed);
-    const audit = resolveTransactionAuditParams(applicationId);
+    const audit = resolveTransactionAuditParams(applicationId, undefined, sdk.getLayout().nAuditSlots);
     const result = await sdk.proveWithdrawal(coin, state, {
         withdrawAddressHi: withdrawHi,
         withdrawAddressLo: withdrawLo,
@@ -2657,7 +2997,7 @@ async function handleWithdraw(args) {
         audit,
         ...(pubW !== undefined
             ? {
-                publicWithdrawStroops: parseStroopsU64('--public-withdraw-stroops', pubW, 0n),
+                publicWithdrawStroops: parseStroopsU64('--public-withdraw-stroops', pubW),
                 changeRecipientStealthAddress: changeStealth,
             }
             : {}),
@@ -2674,6 +3014,10 @@ async function handleWithdraw(args) {
         fs__namespace.writeFileSync(parsed['output-public'], result.public_hex);
         console.error(`Public signals written to: ${parsed['output-public']}`);
     }
+    if (parsed['output-ciphertext'] && result.ciphertext_hex) {
+        fs__namespace.writeFileSync(parsed['output-ciphertext'], result.ciphertext_hex);
+        console.error(`Ciphertext written to: ${parsed['output-ciphertext']}`);
+    }
 }
 async function handleDepositProof(args) {
     const parsed = parseArgs(args);
@@ -2691,9 +3035,10 @@ async function handleDepositProof(args) {
         process.exit(1);
     }
     const [assetHi, assetLo] = stellarContractAddressToAssetFrDecimals(token);
-    const sdk = await PrivacyPoolSDK.init();
+    const { zkConfigNonce } = resolveZkInit(parsed);
+    const sdk = await PrivacyPoolSDK.init({ zkConfigNonce });
     const applicationId = resolveApplicationIdFromCli(parsed);
-    const audit = resolveTransactionAuditParams(applicationId);
+    const audit = resolveTransactionAuditParams(applicationId, undefined, sdk.getLayout().nAuditSlots);
     const recipientPublicKeys = recipientPublicKeysDecimalFromStealthAddress(parsed['stealth']);
     const coinPath = parsed['coin'];
     const ephemeralScalarHex = parsed['ephemeral-scalar-hex'];
@@ -2757,6 +3102,10 @@ async function handleDepositProof(args) {
         fs__namespace.writeFileSync(parsed['output-public'], result.public_hex);
         console.error(`Public signals written to: ${parsed['output-public']}`);
     }
+    if (parsed['output-ciphertext'] && result.ciphertext_hex) {
+        fs__namespace.writeFileSync(parsed['output-ciphertext'], result.ciphertext_hex);
+        console.error(`Ciphertext written to: ${parsed['output-ciphertext']}`);
+    }
 }
 main().catch((err) => {
     console.error('Error:', err.message || err);