@auditable/privacy-pool-zk-sdk 0.8.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);
@@ -297,6 +292,9 @@ function buildStealthAddressSignMessage(address, domain, nonce = DEFAULT_STEALTH
     ].join('\n');
 }
 
+const DOM_ENC = 1346719299n;
+const DOM_AUDIT_TAG = 1346458695n;
+const DOM_OUTPUT_NOTE_TAG = 1347310663n;
 const BABYJUB_SUBGROUP_ORDER = 2736030358979909402780800718157159386076813972158567259200215660948447373041n;
 /**
  * Map any integer into `(0, l)` so it satisfies circom `LessThan(252)` vs
@@ -774,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
@@ -984,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);
@@ -1146,29 +1183,30 @@ async function __wbg_init(module_or_path) {
 }
 
 var wasmBindings = /*#__PURE__*/Object.freeze({
-	__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,
-	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 });
         }
@@ -1195,464 +1233,178 @@ 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()}`);
-	}
-    }
-
-    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;
-    }
-    
-
-    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 buff;
+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 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;
-
-	//prime number
-	this.instance.exports.getRawPrime();
-
-	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;
-        }
-
-	return buff;
+    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',
+        };
     }
-
+    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;
 }
 
-
-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;
+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);
     }
+    return trimmed;
 }
 
-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;
+const isNode = typeof process !== 'undefined' && !!process.versions?.node;
+function toUint8Array(src) {
+    if (src instanceof Uint8Array) {
+        return src;
     }
-    if (size) {
-	var i = size - res.length;
-	while (i>0) {
-	    res.unshift(0);
-	    i--;
-	}
+    if (src instanceof ArrayBuffer) {
+        return new Uint8Array(src);
     }
-    return res;
+    return new Uint8Array(src.buffer, src.byteOffset, src.byteLength);
 }
-
-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 nodeEnvArtifactBaseUrl() {
+    if (!isNode) {
+        return undefined;
     }
-    return res;
+    const fromEnv = process.env.ZK_ARTIFACT_BASE_URL?.trim();
+    return fromEnv ? trimArtifactBaseUrl(fromEnv) : undefined;
 }
-
-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 resolveZkArtifactBaseUrl(explicit) {
+    const trimmed = explicit?.trim();
+    if (trimmed) {
+        return trimArtifactBaseUrl(trimmed);
     }
+    return nodeEnvArtifactBaseUrl() ?? defaultZkArtifactBaseUrl();
 }
-
-function normalize(n, prime) {
-    let res = BigInt(n) % prime;
-    if (res < 0) res += prime;
-    return res
+function isHttpUrl(value) {
+    return /^https?:\/\//i.test(value) || value.startsWith('file:');
 }
-
-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;
+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.`);
     }
-    let shash = hash.toString(16);
-    let n = 16 - shash.length;
-    shash = '0'.repeat(n).concat(shash);
-    return shash;
+    return fs.readFileSync(filePath);
 }
-
-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;
-        }
-        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);
-        }
+async function fetchArtifact(url) {
+    const response = await fetch(url);
+    if (!response.ok) {
+        throw new Error(`Failed to fetch ${url}: ${String(response.status)}`);
     }
-    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 };
-    }
-    const calculator = await wc.default(wasmBuffer);
-    const wtns = await calculator.calculateWTNSBin(input, 0);
-    return wtns;
+    return new Uint8Array(await response.arrayBuffer());
 }
-
-// @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.
- */
-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);
+function remoteArtifactHref(base, fileName) {
+    const withSlash = `${trimArtifactBaseUrl(base)}/`;
+    if (isHttpUrl(withSlash)) {
+        return new URL(fileName, withSlash).href;
     }
-    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);
+    if (typeof window !== 'undefined') {
+        return new URL(fileName, new URL(withSlash, window.location.href)).href;
     }
-    else {
-        throw new Error('In browser, you must pass zkey to PrivacyPoolSDK.init(). ' +
-            'Load the zkey file via fetch() and pass the ArrayBuffer.');
+    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),
+        };
     }
-    const wtnsData = toUint8Array(wtns);
-    const { proof, publicSignals } = await snarkjs__namespace.groth16.prove({ type: 'mem', data: zkeyData }, { type: 'mem', data: wtnsData });
-    return { proof, publicSignals };
+    return loadBundledCircuitArtifacts(config.circuit, artifactBaseUrl);
 }
 
 /** Bech32 HRP for {@link DecodedEphemeralKey} only (`x ‖ y`, 64 bytes). */
@@ -1663,7 +1415,7 @@ 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) {
+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');
@@ -1671,7 +1423,7 @@ function normalizeHex$1(hex) {
     return s.length % 2 === 0 ? s : `0${s}`;
 }
 function hexToBytes(hex) {
-    const norm = normalizeHex$1(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);
@@ -1792,6 +1544,7 @@ function sharedSecretFromRecipientPreimage(ecdhShared, preimage) {
     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 = [
@@ -1816,37 +1569,23 @@ function resolveDepositSlot(slot) {
     }
     return slot;
 }
-function buildUniformAuditParams(applicationId = DEFAULT_APPLICATION_ID, auditPublicKey) {
+function buildUniformAuditParams(applicationId = DEFAULT_APPLICATION_ID, auditPublicKey, _nAuditSlots = TRANSACTION_N_AUDIT_SLOTS) {
     return {
         applicationId,
-        noteAuditPublicKeys: [
-            auditPublicKey,
-            auditPublicKey,
-            auditPublicKey,
-            auditPublicKey,
-        ],
-        auditEphemeralScalars: [
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-            randomFrDecimal253(),
-        ],
+        noteAuditPublicKey: auditPublicKey,
+        auditEphemeralScalar: 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',
-        ],
+        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';
+        }),
     };
 }
 /**
@@ -1864,12 +1603,17 @@ function resolveAuditPublicKeyFromEnv(auditPublicKey) {
     }
     return DEMO_AUDIT_PUBLIC_KEY;
 }
-function resolveTransactionAuditParams(applicationId, auditPublicKey) {
-    return buildUniformAuditParams(applicationId, resolveAuditPublicKeyFromEnv(auditPublicKey));
+function resolveTransactionAuditParams(applicationId, auditPublicKey, nAuditSlots = TRANSACTION_N_AUDIT_SLOTS) {
+    return buildUniformAuditParams(applicationId, resolveAuditPublicKeyFromEnv(auditPublicKey), nAuditSlots);
 }
 
 /** 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;
 /**
@@ -1877,7 +1621,30 @@ const BN254_SCALAR_MOD = 2188824287183927522224640574525727508854836440041603434
  * (matches `libs/cryptography` `scalar_mul_253`).
  */
 const BN254_BABYJUB_SCALAR_MAX_EXCLUSIVE = 1n << 253n;
-function normalizeHex(hex) {
+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}`);
+        }
+        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');
@@ -1886,7 +1653,7 @@ function normalizeHex(hex) {
 }
 /** 32-byte field coordinate (hex, no 0x) → decimal string mod BN254 scalar field. */
 function coordHexToDecimal(hex) {
-    const h = normalizeHex(hex);
+    const h = normalizeHex$1(hex);
     if (h.length > 64) {
         throw new Error('withdrawal-transaction-input: coordinate hex too long');
     }
@@ -1898,7 +1665,7 @@ function coordHexToDecimal(hex) {
  * Integer must be < 2^253 (not reduced mod r — values ≥ 2^253 are rejected).
  */
 function scalarHexToFrDecimal(hex) {
-    const h = normalizeHex(hex);
+    const h = normalizeHex$1(hex);
     if (h.length > 64) {
         throw new Error('withdrawal-transaction-input: scalar hex too long');
     }
@@ -1913,7 +1680,7 @@ function scalarHexToFrDecimal(hex) {
  * (`withdrawAddressHi` / `withdrawAddressLo`). No mod-r; each half fits in 128 bits.
  */
 function ed25519PubkeyPayloadHexToWithdrawFrDecimals(hex) {
-    const h = normalizeHex(hex).padStart(64, '0').slice(-64);
+    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) };
@@ -1930,18 +1697,18 @@ function stellarContractAddressToAssetFrDecimals(address) {
 /** 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)}`);
+    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(hex)}`).toString(10);
+    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(hex)}`));
+    const reduced = canonicalBabyJubScalarFromInteger(BigInt(`0x${normalizeHex$1(hex)}`));
     return reduced.toString(16).padStart(64, '0');
 }
 function zerosTreeSiblings() {
@@ -1950,7 +1717,7 @@ function zerosTreeSiblings() {
 function dummyWithdraw(wasm) {
     const nullifier = randomFrDecimal();
     const secretHex = generateRandomScalarHex32();
-    const secret = (BigInt(`0x${normalizeHex(secretHex)}`) % BN254_SCALAR_MOD).toString(10);
+    const secret = (BigInt(`0x${normalizeHex$1(secretHex)}`) % BN254_SCALAR_MOD).toString(10);
     const scalarHex = randomCanonicalBabyJubScalarHex();
     const privKeyScalar = scalarHexToFrDecimal(scalarHex);
     const pt = wasm.ecdhEphemeralPublicKeyFromScalarHex(scalarHex);
@@ -1991,12 +1758,29 @@ function resolveWithdraw(slot, wasm) {
 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);
+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,
@@ -2005,35 +1789,32 @@ function buildTransactionWitnessInput(publicParams, publicLegs, withdrawSlots, d
         escrowRecipientLo: publicParams.escrowRecipientLo ?? '0',
         sweepOutputOwnerPubX: publicParams.sweepOutputOwnerPubX ?? '0',
         sweepOutputOwnerPubY: publicParams.sweepOutputOwnerPubY ?? '0',
-        privKeyScalars: [w0.privKeyScalar, w1.privKeyScalar],
-        ownerPubs: [w0.ownerPub, w1.ownerPub],
-        paddingRandoms: [w0.paddingRandom, w1.paddingRandom],
-        withdrawnValues: [w0.value, w1.value],
-        withdrawnNullifiers: [w0.nullifier, w1.nullifier],
-        withdrawnSecrets: [w0.secret, w1.secret],
-        withdrawnAssets: [w0.asset, w1.asset],
-        withdrawnEscrowNonces: [w0.escrowNonce, w1.escrowNonce],
-        inputRecipientStellar: [w0.recipientStellar, w1.recipientStellar],
-        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],
-        depositedEscrowNonces: [d0.escrowNonce ?? '0', d1.escrowNonce ?? '0'],
-        outputRecipientStellar: [
-            d0.recipientStellar ?? ['0', '0'],
-            d1.recipientStellar ?? ['0', '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,
-        auditEphemeralScalars: audit.auditEphemeralScalars,
-        noteAuditPublicKeys: audit.noteAuditPublicKeys,
-        publicWithdrawnAssets: publicLegs.publicWithdrawnAssets,
-        publicDepositedAssets: publicLegs.publicDepositedAssets,
-        publicDeposits: publicLegs.publicDeposits,
-        publicWithdrawals: publicLegs.publicWithdrawals,
+        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`. */
@@ -2059,23 +1840,363 @@ function withdrawObjectFromMerkleWitness(witness, ownerPubHex, applicationId, pr
     };
 }
 
+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 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 === "number") {
+        throw new TypeError("coin value must be bigint or decimal string, not number");
     }
-    if (typeof amount === 'bigint') {
+    if (typeof amount === "bigint") {
         if (amount < 0n) {
-            throw new RangeError('amount must be a non-negative integer');
+            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');
+    if (typeof amount !== "string") {
+        throw new TypeError("coin value must be bigint or decimal string, not number");
     }
     const trimmed = amount.trim();
     if (!/^[0-9]+$/.test(trimmed)) {
-        throw new TypeError('coin value decimal string must be a non-negative integer');
+        throw new TypeError("coin value decimal string must be a non-negative integer");
     }
     return trimmed;
 }
@@ -2083,7 +2204,7 @@ function generatedCoinFromWasm(value) {
     const raw = value;
     const precommitementHex = raw.precommitementHex ?? raw.precommitement_hex;
     if (!precommitementHex) {
-        throw new Error('generated coin missing precommitement hex');
+        throw new Error("generated coin missing precommitement hex");
     }
     return {
         coin: raw.coin,
@@ -2093,27 +2214,39 @@ function generatedCoinFromWasm(value) {
     };
 }
 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+.
@@ -2133,28 +2266,28 @@ class PrivacyPoolSDK {
      * @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') {
+    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 owner public key (hex x, y).
      * @param amount Decimal field element (`bigint` | `string`).
      */
-    generateCoinWithOwnerPub(ownerPub, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
+    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 Decimal field element (`bigint` | `string`).
      */
-    generateCoinFromDepositEphemeralScalarHex(scalarHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
+    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 owner pub from recipient hex coords.
      * @param amount Decimal field element (`bigint` | `string`).
      */
-    generateCoinForDepositWithOwnerPubHex(scalarHex, ownerXHex, ownerYHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = '0') {
+    generateCoinForDepositWithOwnerPubHex(scalarHex, ownerXHex, ownerYHex, amount, assetHiDecimal, assetLoDecimal, applicationIdDecimal = "0") {
         return generatedCoinFromWasm(this.wasm.generateCoinForDepositWithOwnerPubHex(scalarHex, ownerXHex, ownerYHex, coinValueDecimal(amount), assetHiDecimal, assetLoDecimal, applicationIdDecimal));
     }
     /**
@@ -2174,18 +2307,18 @@ class PrivacyPoolSDK {
      */
     async proveWithdrawal(coin, state, params) {
         const witness = this.buildWithdrawMerkleWitness(coin, state);
-        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 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()];
@@ -2194,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.
@@ -2241,23 +2374,33 @@ 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,
         };
     }
     /**
@@ -2452,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') {
@@ -2555,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)
@@ -2566,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.
@@ -2724,6 +2885,13 @@ async function handleKytSubmitApproved(args) {
     });
     console.log(txHash);
 }
+function parseStroopsU64(label, raw, _min) {
+    if (!/^\d+$/.test(raw)) {
+        console.error(`Error: ${label} must be a non-negative decimal integer`);
+        process.exit(1);
+    }
+    return BigInt(raw);
+}
 function parseCoinValueDecimal(label, raw, defaultStroops) {
     if (raw === undefined) {
         return defaultStroops.toString(10);
@@ -2815,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,
@@ -2828,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,
             }
             : {}),
@@ -2845,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);
@@ -2862,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'];
@@ -2928,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);