@permissionless-technologies/upp-sdk 0.2.1 → 0.3.1

package/dist/stark-BcTD1OaJ.d.cts

@@ -0,0 +1,185 @@
+import { Address, Hex } from 'viem';
+
+/**
+ * STARK Utilities — Amount scaling, witness building, Fiat-Shamir
+ *
+ * These functions must produce identical outputs to the Rust Stwo prover
+ * (stwo-prover/src/) and the Solidity verifier.
+ *
+ * M31 field: p = 2^31 - 1 = 2,147,483,647
+ * Amount precision: 0.001 tokens (1e15 wei scale factor)
+ */
+
+/** Matches Solidity STARK_AMOUNT_SCALE = 1e15 */
+declare const STARK_AMOUNT_SCALE: bigint;
+/** State tree depth (Merkle tree for commitments) */
+declare const STARK_STATE_TREE_DEPTH = 32;
+/** ASP tree depth */
+declare const STARK_ASP_TREE_DEPTH = 20;
+/** Check if a wei amount is STARK-scale aligned and fits in M31. */
+declare function isStarkAligned(amount: bigint): boolean;
+/**
+ * Scale a wei amount down for the STARK circuit.
+ * Precision: 0.001 tokens (1e15 wei). Max: ~2.1M tokens.
+ *
+ * @returns The scaled amount as a number (fits in M31)
+ * @throws If not aligned to STARK_AMOUNT_SCALE or exceeds M31
+ */
+declare function scaleAmountForStark(weiAmount: bigint): number;
+/** Truncate a bigint to fit in M31 (modular reduction). */
+declare function truncateToM31(value: bigint): number;
+/** Convert an Ethereum address to an M31 field element (truncated). */
+declare function addressToM31(addr: Address): number;
+/**
+ * Split a 254-bit spending secret into 8 M31 limbs (248 bits of entropy).
+ *
+ * Each limb holds 31 bits (reduced mod M31_P). The secret is split
+ * little-endian: limb[0] = lowest 31 bits, limb[7] = highest bits.
+ *
+ * This matches the Rust prover's expectation of `[M31; 8]` for owner_secret.
+ */
+declare function splitSecretToM31Limbs(secret: bigint): number[];
+/**
+ * Pack an M31 digest (4 M31 elements) into a uint128 for Solidity.
+ * Each element occupies 32 bits (little-endian packing).
+ */
+declare function packM31Digest(digest: [number, number, number, number]): bigint;
+/**
+ * Compute the Fiat-Shamir public inputs seed for a STARK withdrawal.
+ * Must produce the same hash as Solidity and Rust.
+ */
+declare function computeWithdrawPublicInputsSeed(params: {
+    nullifier: Hex;
+    stateRoot: bigint;
+    aspRoot: bigint;
+    aspId: bigint;
+    token: Address;
+    amount: bigint;
+    recipient: Address;
+    isRagequit: boolean;
+}): Hex;
+/**
+ * Compute the Fiat-Shamir public inputs seed for a STARK transfer.
+ * Must produce the same hash as Solidity and Rust.
+ */
+declare function computeTransferPublicInputsSeed(params: {
+    nullifier: Hex;
+    stateRoot: bigint;
+    aspRoot: bigint;
+    token: Address;
+    outputCommitment1: Hex;
+    outputCommitment2: Hex;
+}): Hex;
+/**
+ * Witness inputs for the STARK withdrawal prover.
+ * All numeric values are u32 (must fit in M31 field, i.e. < 2^31 - 1).
+ * Hex string fields are for Fiat-Shamir seed binding.
+ */
+interface StarkWithdrawWitness {
+    owner_secret: number[];
+    input_amount: number;
+    input_blinding: number;
+    input_origin: number;
+    token: number;
+    leaf_index: number;
+    state_path_elements: number[];
+    state_path_indices: number[];
+    asp_path_elements: number[];
+    asp_path_indices: number[];
+    withdraw_amount: number;
+    change_amount: number;
+    change_blinding: number;
+    recipient: number;
+    is_ragequit: number;
+    nullifier_hex: string;
+    state_root_hex: string;
+    asp_root_hex: string;
+    asp_id_hex: string;
+    token_address_hex: string;
+    amount_hex: string;
+    recipient_address_hex: string;
+    is_ragequit_bool: boolean;
+}
+/**
+ * Witness inputs for the STARK transfer prover (1-in-2-out).
+ * All numeric values are u32 (must fit in M31 field).
+ */
+interface StarkTransferWitness {
+    owner_secret: number[];
+    input_amount: number;
+    input_blinding: number;
+    input_origin: number;
+    token: number;
+    leaf_index: number;
+    state_path_elements: number[];
+    state_path_indices: number[];
+    asp_path_elements: number[];
+    asp_path_indices: number[];
+    output1_amount: number;
+    output1_owner_hash: [number, number, number, number];
+    output1_blinding: number;
+    output1_origin: number;
+    output2_amount: number;
+    output2_owner_hash: [number, number, number, number];
+    output2_blinding: number;
+    output2_origin: number;
+    is_ragequit: number;
+    nullifier_hex: string;
+    state_root_hex: string;
+    asp_root_hex: string;
+    token_address_hex: string;
+    output_commitment_1_hex: string;
+    output_commitment_2_hex: string;
+}
+/**
+ * Build a complete STARK withdrawal witness from note data.
+ */
+declare function buildStarkWithdrawWitness(params: {
+    ownerSecret: number[];
+    inputAmount: number;
+    inputBlinding: number;
+    inputOrigin: number;
+    token: number;
+    leafIndex: number;
+    withdrawAmount: number;
+    changeAmount: number;
+    changeBlinding: number;
+    recipient: number;
+    isRagequit: number;
+    nullifierHex: Hex;
+    stateRootBigInt: bigint;
+    aspRootBigInt: bigint;
+    aspIdBigInt: bigint;
+    tokenAddress: Address;
+    amountWei: bigint;
+    recipientAddress: Address;
+    isRagequitBool: boolean;
+}): StarkWithdrawWitness;
+/**
+ * Build a complete STARK transfer witness (1-in-2-out).
+ */
+declare function buildStarkTransferWitness(params: {
+    ownerSecret: number[];
+    inputAmount: number;
+    inputBlinding: number;
+    inputOrigin: number;
+    token: number;
+    leafIndex: number;
+    output1Amount: number;
+    output1OwnerHash: [number, number, number, number];
+    output1Blinding: number;
+    output1Origin: number;
+    output2Amount: number;
+    output2OwnerHash: [number, number, number, number];
+    output2Blinding: number;
+    output2Origin: number;
+    isRagequit: number;
+    nullifierHex: Hex;
+    stateRootBigInt: bigint;
+    aspRootBigInt: bigint;
+    tokenAddress: Address;
+    outputCommitment1Hex: Hex;
+    outputCommitment2Hex: Hex;
+}): StarkTransferWitness;
+
+export { STARK_AMOUNT_SCALE as S, STARK_ASP_TREE_DEPTH as a, STARK_STATE_TREE_DEPTH as b, type StarkTransferWitness as c, type StarkWithdrawWitness as d, addressToM31 as e, buildStarkTransferWitness as f, buildStarkWithdrawWitness as g, computeTransferPublicInputsSeed as h, computeWithdrawPublicInputsSeed as i, isStarkAligned as j, splitSecretToM31Limbs as k, packM31Digest as p, scaleAmountForStark as s, truncateToM31 as t };

package/dist/stark-BcTD1OaJ.d.ts

@@ -0,0 +1,185 @@
+import { Address, Hex } from 'viem';
+
+/**
+ * STARK Utilities — Amount scaling, witness building, Fiat-Shamir
+ *
+ * These functions must produce identical outputs to the Rust Stwo prover
+ * (stwo-prover/src/) and the Solidity verifier.
+ *
+ * M31 field: p = 2^31 - 1 = 2,147,483,647
+ * Amount precision: 0.001 tokens (1e15 wei scale factor)
+ */
+
+/** Matches Solidity STARK_AMOUNT_SCALE = 1e15 */
+declare const STARK_AMOUNT_SCALE: bigint;
+/** State tree depth (Merkle tree for commitments) */
+declare const STARK_STATE_TREE_DEPTH = 32;
+/** ASP tree depth */
+declare const STARK_ASP_TREE_DEPTH = 20;
+/** Check if a wei amount is STARK-scale aligned and fits in M31. */
+declare function isStarkAligned(amount: bigint): boolean;
+/**
+ * Scale a wei amount down for the STARK circuit.
+ * Precision: 0.001 tokens (1e15 wei). Max: ~2.1M tokens.
+ *
+ * @returns The scaled amount as a number (fits in M31)
+ * @throws If not aligned to STARK_AMOUNT_SCALE or exceeds M31
+ */
+declare function scaleAmountForStark(weiAmount: bigint): number;
+/** Truncate a bigint to fit in M31 (modular reduction). */
+declare function truncateToM31(value: bigint): number;
+/** Convert an Ethereum address to an M31 field element (truncated). */
+declare function addressToM31(addr: Address): number;
+/**
+ * Split a 254-bit spending secret into 8 M31 limbs (248 bits of entropy).
+ *
+ * Each limb holds 31 bits (reduced mod M31_P). The secret is split
+ * little-endian: limb[0] = lowest 31 bits, limb[7] = highest bits.
+ *
+ * This matches the Rust prover's expectation of `[M31; 8]` for owner_secret.
+ */
+declare function splitSecretToM31Limbs(secret: bigint): number[];
+/**
+ * Pack an M31 digest (4 M31 elements) into a uint128 for Solidity.
+ * Each element occupies 32 bits (little-endian packing).
+ */
+declare function packM31Digest(digest: [number, number, number, number]): bigint;
+/**
+ * Compute the Fiat-Shamir public inputs seed for a STARK withdrawal.
+ * Must produce the same hash as Solidity and Rust.
+ */
+declare function computeWithdrawPublicInputsSeed(params: {
+    nullifier: Hex;
+    stateRoot: bigint;
+    aspRoot: bigint;
+    aspId: bigint;
+    token: Address;
+    amount: bigint;
+    recipient: Address;
+    isRagequit: boolean;
+}): Hex;
+/**
+ * Compute the Fiat-Shamir public inputs seed for a STARK transfer.
+ * Must produce the same hash as Solidity and Rust.
+ */
+declare function computeTransferPublicInputsSeed(params: {
+    nullifier: Hex;
+    stateRoot: bigint;
+    aspRoot: bigint;
+    token: Address;
+    outputCommitment1: Hex;
+    outputCommitment2: Hex;
+}): Hex;
+/**
+ * Witness inputs for the STARK withdrawal prover.
+ * All numeric values are u32 (must fit in M31 field, i.e. < 2^31 - 1).
+ * Hex string fields are for Fiat-Shamir seed binding.
+ */
+interface StarkWithdrawWitness {
+    owner_secret: number[];
+    input_amount: number;
+    input_blinding: number;
+    input_origin: number;
+    token: number;
+    leaf_index: number;
+    state_path_elements: number[];
+    state_path_indices: number[];
+    asp_path_elements: number[];
+    asp_path_indices: number[];
+    withdraw_amount: number;
+    change_amount: number;
+    change_blinding: number;
+    recipient: number;
+    is_ragequit: number;
+    nullifier_hex: string;
+    state_root_hex: string;
+    asp_root_hex: string;
+    asp_id_hex: string;
+    token_address_hex: string;
+    amount_hex: string;
+    recipient_address_hex: string;
+    is_ragequit_bool: boolean;
+}
+/**
+ * Witness inputs for the STARK transfer prover (1-in-2-out).
+ * All numeric values are u32 (must fit in M31 field).
+ */
+interface StarkTransferWitness {
+    owner_secret: number[];
+    input_amount: number;
+    input_blinding: number;
+    input_origin: number;
+    token: number;
+    leaf_index: number;
+    state_path_elements: number[];
+    state_path_indices: number[];
+    asp_path_elements: number[];
+    asp_path_indices: number[];
+    output1_amount: number;
+    output1_owner_hash: [number, number, number, number];
+    output1_blinding: number;
+    output1_origin: number;
+    output2_amount: number;
+    output2_owner_hash: [number, number, number, number];
+    output2_blinding: number;
+    output2_origin: number;
+    is_ragequit: number;
+    nullifier_hex: string;
+    state_root_hex: string;
+    asp_root_hex: string;
+    token_address_hex: string;
+    output_commitment_1_hex: string;
+    output_commitment_2_hex: string;
+}
+/**
+ * Build a complete STARK withdrawal witness from note data.
+ */
+declare function buildStarkWithdrawWitness(params: {
+    ownerSecret: number[];
+    inputAmount: number;
+    inputBlinding: number;
+    inputOrigin: number;
+    token: number;
+    leafIndex: number;
+    withdrawAmount: number;
+    changeAmount: number;
+    changeBlinding: number;
+    recipient: number;
+    isRagequit: number;
+    nullifierHex: Hex;
+    stateRootBigInt: bigint;
+    aspRootBigInt: bigint;
+    aspIdBigInt: bigint;
+    tokenAddress: Address;
+    amountWei: bigint;
+    recipientAddress: Address;
+    isRagequitBool: boolean;
+}): StarkWithdrawWitness;
+/**
+ * Build a complete STARK transfer witness (1-in-2-out).
+ */
+declare function buildStarkTransferWitness(params: {
+    ownerSecret: number[];
+    inputAmount: number;
+    inputBlinding: number;
+    inputOrigin: number;
+    token: number;
+    leafIndex: number;
+    output1Amount: number;
+    output1OwnerHash: [number, number, number, number];
+    output1Blinding: number;
+    output1Origin: number;
+    output2Amount: number;
+    output2OwnerHash: [number, number, number, number];
+    output2Blinding: number;
+    output2Origin: number;
+    isRagequit: number;
+    nullifierHex: Hex;
+    stateRootBigInt: bigint;
+    aspRootBigInt: bigint;
+    tokenAddress: Address;
+    outputCommitment1Hex: Hex;
+    outputCommitment2Hex: Hex;
+}): StarkTransferWitness;
+
+export { STARK_AMOUNT_SCALE as S, STARK_ASP_TREE_DEPTH as a, STARK_STATE_TREE_DEPTH as b, type StarkTransferWitness as c, type StarkWithdrawWitness as d, addressToM31 as e, buildStarkTransferWitness as f, buildStarkWithdrawWitness as g, computeTransferPublicInputsSeed as h, computeWithdrawPublicInputsSeed as i, isStarkAligned as j, splitSecretToM31Limbs as k, packM31Digest as p, scaleAmountForStark as s, truncateToM31 as t };

package/dist/{transfer-4OF2JWXX.js → transfer-4GJJTWMH.js}

@@ -1,8 +1,8 @@
-export { buildTransfer, buildUPPTransferCircuitInputs, computeNullifier, formatOutputForContract, getMerkleProofsForNotes, syncMerkleTree } from './chunk-CZ23JMAQ.js';
-import './chunk-P37MRZ73.js';
+export { buildTransfer, buildUPPTransferCircuitInputs, computeNullifier, formatOutputForContract, getMerkleProofsForNotes, syncMerkleTree } from './chunk-56LZ2RV6.js';
 import './chunk-ZU6J7KMY.js';
+import './chunk-P37MRZ73.js';
 import './chunk-V23OSL25.js';
 import './chunk-S4B7GYLN.js';
 import './chunk-Z6ZWNWWR.js';
-//# sourceMappingURL=transfer-4OF2JWXX.js.map
-//# sourceMappingURL=transfer-4OF2JWXX.js.map
+//# sourceMappingURL=transfer-4GJJTWMH.js.map
+//# sourceMappingURL=transfer-4GJJTWMH.js.map

package/dist/{transfer-4OF2JWXX.js.map → transfer-4GJJTWMH.js.map}

@@ -1 +1 @@
-{"version":3,"sources":[],"names":[],"mappings":"","file":"transfer-4OF2JWXX.js"}
+{"version":3,"sources":[],"names":[],"mappings":"","file":"transfer-4GJJTWMH.js"}

package/dist/{transfer-DKZuJnRM.d.cts → transfer-BzyernBd.d.cts}

@@ -165,8 +165,6 @@ type Commitment = Hex;
  */
 type Nullifier = Hex;
 
-/** STARK amount scaling: 1e15 wei per STARK unit (matches contract) */
-declare const STARK_AMOUNT_SCALE: bigint;
 /**
  * A private STARK note in the Universal Private Pool.
  *
@@ -1267,4 +1265,4 @@ declare function formatOutputForContract(note: NoteCreationResult): {
     encryptedNote: Hex;
 };
 
-export { buildUPPTransferCircuitInputs as $, type ASPProof as A, type StealthCircuitType as B, type CircuitArtifacts as C, DEMO_ASP_ID as D, type EncryptedNote as E, type StealthMetaAddress as F, type SwapFillEvent as G, type SwapFillParams as H, type SwapOrder as I, type SwapOrderEvent as J, type SwapOrderParams as K, type TransferContext as L, type MergeParams as M, NOTE_VERSION as N, type TransferParams as O, type Proof as P, type TransferStage as Q, RATE_PRECISION as R, STARK_AMOUNT_SCALE as S, type TransferBuildResult as T, type UPPCircuitInputs as U, type UPPCircuitType as V, type UPPTransferCircuitInputs as W, type UPPWithdrawCircuitInputs as X, type WithdrawParams as Y, buildASPTree as Z, buildTransfer as _, type ASPRoot as a, computeCancelKeyHash as a0, computeFillPercentage as a1, computeGiveAmount as a2, computeMultiOriginASPRoot as a3, computeNullifier as a4, computeRate as a5, computeSingleOriginASPRoot as a6, computeTakeAmount as a7, computeTotalBuyAmount as a8, createDemoASPRoot as a9, useUPPAccount as aA, UPPAccountProvider as aB, type UPPAccountContextType as aC, type ProofSystemType as aD, type IndexerConfig as aE, type SignTypedDataFn as aF, ASP_TREE_DEPTH as aG, filterOrdersByASP as aa, filterOrdersByTokenPair as ab, formatOutputForContract as ac, formatProofForContract as ad, formatRate as ae, generateASPProof as af, generateCancelSecret as ag, generateMultiOriginASPProof as ah, generateProof as ai, generateSingleOriginASPProof as aj, generateStealthProof as ak, generateUPPProof as al, getCancelSecret as am, getMerkleProofsForNotes as an, getOwnOrderIds as ao, getStealthCircuitArtifacts as ap, getUPPCircuitArtifacts as aq, isFillerASPAccepted as ar, isOrderActive as as, removeCancelSecret as at, storeCancelSecret as au, syncMerkleTree as av, verifyASPProof as aw, verifyProof as ax, type NoteCreationResult as ay, type ShieldedNote as az, ASP_TREE_DEPTH$1 as b, type CircuitType as c, type Commitment as d, DEMO_ASP_NAME as e, type MergeRecord as f, type MerkleProofWithNote as g, type Note as h, type NoteWithAmount as i, type Nullifier as j, type ProofResult as k, STATE_TREE_DEPTH as l, SWAP_EVENTS_ABI as m, SWAP_ORDER_CANCELLED_EVENT as n, SWAP_ORDER_CLAIMED_EVENT as o, SWAP_ORDER_FILLED_EVENT as p, SWAP_ORDER_PLACED_EVENT as q, type ShieldParams as r, type SpendableNote as s, type StarkNote as t, type StarkProof as u, type StarkStealthMetaAddress as v, type Stealth1x2CircuitInputs as w, type Stealth2x2CircuitInputs as x, type StealthAddress as y, type StealthCircuitInputs as z };
+export { computeCancelKeyHash as $, type ASPProof as A, type StealthMetaAddress as B, type CircuitArtifacts as C, DEMO_ASP_ID as D, type EncryptedNote as E, type SwapFillEvent as F, type SwapFillParams as G, type SwapOrder as H, type SwapOrderEvent as I, type SwapOrderParams as J, type TransferContext as K, type TransferParams as L, type MergeParams as M, NOTE_VERSION as N, type TransferStage as O, type Proof as P, type UPPCircuitType as Q, RATE_PRECISION as R, STATE_TREE_DEPTH as S, type TransferBuildResult as T, type UPPCircuitInputs as U, type UPPTransferCircuitInputs as V, type UPPWithdrawCircuitInputs as W, type WithdrawParams as X, buildASPTree as Y, buildTransfer as Z, buildUPPTransferCircuitInputs as _, type ASPRoot as a, computeFillPercentage as a0, computeGiveAmount as a1, computeMultiOriginASPRoot as a2, computeNullifier as a3, computeRate as a4, computeSingleOriginASPRoot as a5, computeTakeAmount as a6, computeTotalBuyAmount as a7, createDemoASPRoot as a8, filterOrdersByASP as a9, UPPAccountProvider as aA, type UPPAccountContextType as aB, type ProofSystemType as aC, type IndexerConfig as aD, type SignTypedDataFn as aE, ASP_TREE_DEPTH as aF, filterOrdersByTokenPair as aa, formatOutputForContract as ab, formatProofForContract as ac, formatRate as ad, generateASPProof as ae, generateCancelSecret as af, generateMultiOriginASPProof as ag, generateProof as ah, generateSingleOriginASPProof as ai, generateStealthProof as aj, generateUPPProof as ak, getCancelSecret as al, getMerkleProofsForNotes as am, getOwnOrderIds as an, getStealthCircuitArtifacts as ao, getUPPCircuitArtifacts as ap, isFillerASPAccepted as aq, isOrderActive as ar, removeCancelSecret as as, storeCancelSecret as at, syncMerkleTree as au, verifyASPProof as av, verifyProof as aw, type NoteCreationResult as ax, type ShieldedNote as ay, useUPPAccount as az, ASP_TREE_DEPTH$1 as b, type CircuitType as c, type Commitment as d, DEMO_ASP_NAME as e, type MergeRecord as f, type MerkleProofWithNote as g, type Note as h, type NoteWithAmount as i, type Nullifier as j, type ProofResult as k, SWAP_EVENTS_ABI as l, SWAP_ORDER_CANCELLED_EVENT as m, SWAP_ORDER_CLAIMED_EVENT as n, SWAP_ORDER_FILLED_EVENT as o, SWAP_ORDER_PLACED_EVENT as p, type ShieldParams as q, type SpendableNote as r, type StarkNote as s, type StarkProof as t, type StarkStealthMetaAddress as u, type Stealth1x2CircuitInputs as v, type Stealth2x2CircuitInputs as w, type StealthAddress as x, type StealthCircuitInputs as y, type StealthCircuitType as z };

package/dist/{transfer-SA4NHNJ7.cjs → transfer-CLBDOA63.cjs}

@@ -1,8 +1,8 @@
 'use strict';
 
-var chunk46GGZ3TC_cjs = require('./chunk-46GGZ3TC.cjs');
-require('./chunk-NDM5EJEV.cjs');
+var chunk4MOXKZSE_cjs = require('./chunk-4MOXKZSE.cjs');
 require('./chunk-EUP7MBAH.cjs');
+require('./chunk-NDM5EJEV.cjs');
 require('./chunk-JWNXBALH.cjs');
 require('./chunk-SQKBT2SH.cjs');
 require('./chunk-G7VZBCD6.cjs');
@@ -11,27 +11,27 @@ require('./chunk-G7VZBCD6.cjs');
 
 Object.defineProperty(exports, "buildTransfer", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.buildTransfer; }
+  get: function () { return chunk4MOXKZSE_cjs.buildTransfer; }
 });
 Object.defineProperty(exports, "buildUPPTransferCircuitInputs", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.buildUPPTransferCircuitInputs; }
+  get: function () { return chunk4MOXKZSE_cjs.buildUPPTransferCircuitInputs; }
 });
 Object.defineProperty(exports, "computeNullifier", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.computeNullifier; }
+  get: function () { return chunk4MOXKZSE_cjs.computeNullifier; }
 });
 Object.defineProperty(exports, "formatOutputForContract", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.formatOutputForContract; }
+  get: function () { return chunk4MOXKZSE_cjs.formatOutputForContract; }
 });
 Object.defineProperty(exports, "getMerkleProofsForNotes", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.getMerkleProofsForNotes; }
+  get: function () { return chunk4MOXKZSE_cjs.getMerkleProofsForNotes; }
 });
 Object.defineProperty(exports, "syncMerkleTree", {
   enumerable: true,
-  get: function () { return chunk46GGZ3TC_cjs.syncMerkleTree; }
+  get: function () { return chunk4MOXKZSE_cjs.syncMerkleTree; }
 });
-//# sourceMappingURL=transfer-SA4NHNJ7.cjs.map
-//# sourceMappingURL=transfer-SA4NHNJ7.cjs.map
+//# sourceMappingURL=transfer-CLBDOA63.cjs.map
+//# sourceMappingURL=transfer-CLBDOA63.cjs.map

package/dist/{transfer-SA4NHNJ7.cjs.map → transfer-CLBDOA63.cjs.map}

@@ -1 +1 @@
-{"version":3,"sources":[],"names":[],"mappings":"","file":"transfer-SA4NHNJ7.cjs"}
+{"version":3,"sources":[],"names":[],"mappings":"","file":"transfer-CLBDOA63.cjs"}

package/dist/{transfer-BlmbO-Rd.d.ts → transfer-sqS6mJko.d.ts}

@@ -165,8 +165,6 @@ type Commitment = Hex;
  */
 type Nullifier = Hex;
 
-/** STARK amount scaling: 1e15 wei per STARK unit (matches contract) */
-declare const STARK_AMOUNT_SCALE: bigint;
 /**
  * A private STARK note in the Universal Private Pool.
  *
@@ -1267,4 +1265,4 @@ declare function formatOutputForContract(note: NoteCreationResult): {
     encryptedNote: Hex;
 };
 
-export { buildUPPTransferCircuitInputs as $, type ASPProof as A, type StealthCircuitType as B, type CircuitArtifacts as C, DEMO_ASP_ID as D, type EncryptedNote as E, type StealthMetaAddress as F, type SwapFillEvent as G, type SwapFillParams as H, type SwapOrder as I, type SwapOrderEvent as J, type SwapOrderParams as K, type TransferContext as L, type MergeParams as M, NOTE_VERSION as N, type TransferParams as O, type Proof as P, type TransferStage as Q, RATE_PRECISION as R, STARK_AMOUNT_SCALE as S, type TransferBuildResult as T, type UPPCircuitInputs as U, type UPPCircuitType as V, type UPPTransferCircuitInputs as W, type UPPWithdrawCircuitInputs as X, type WithdrawParams as Y, buildASPTree as Z, buildTransfer as _, type ASPRoot as a, computeCancelKeyHash as a0, computeFillPercentage as a1, computeGiveAmount as a2, computeMultiOriginASPRoot as a3, computeNullifier as a4, computeRate as a5, computeSingleOriginASPRoot as a6, computeTakeAmount as a7, computeTotalBuyAmount as a8, createDemoASPRoot as a9, useUPPAccount as aA, UPPAccountProvider as aB, type UPPAccountContextType as aC, type ProofSystemType as aD, type IndexerConfig as aE, type SignTypedDataFn as aF, ASP_TREE_DEPTH as aG, filterOrdersByASP as aa, filterOrdersByTokenPair as ab, formatOutputForContract as ac, formatProofForContract as ad, formatRate as ae, generateASPProof as af, generateCancelSecret as ag, generateMultiOriginASPProof as ah, generateProof as ai, generateSingleOriginASPProof as aj, generateStealthProof as ak, generateUPPProof as al, getCancelSecret as am, getMerkleProofsForNotes as an, getOwnOrderIds as ao, getStealthCircuitArtifacts as ap, getUPPCircuitArtifacts as aq, isFillerASPAccepted as ar, isOrderActive as as, removeCancelSecret as at, storeCancelSecret as au, syncMerkleTree as av, verifyASPProof as aw, verifyProof as ax, type NoteCreationResult as ay, type ShieldedNote as az, ASP_TREE_DEPTH$1 as b, type CircuitType as c, type Commitment as d, DEMO_ASP_NAME as e, type MergeRecord as f, type MerkleProofWithNote as g, type Note as h, type NoteWithAmount as i, type Nullifier as j, type ProofResult as k, STATE_TREE_DEPTH as l, SWAP_EVENTS_ABI as m, SWAP_ORDER_CANCELLED_EVENT as n, SWAP_ORDER_CLAIMED_EVENT as o, SWAP_ORDER_FILLED_EVENT as p, SWAP_ORDER_PLACED_EVENT as q, type ShieldParams as r, type SpendableNote as s, type StarkNote as t, type StarkProof as u, type StarkStealthMetaAddress as v, type Stealth1x2CircuitInputs as w, type Stealth2x2CircuitInputs as x, type StealthAddress as y, type StealthCircuitInputs as z };
+export { computeCancelKeyHash as $, type ASPProof as A, type StealthMetaAddress as B, type CircuitArtifacts as C, DEMO_ASP_ID as D, type EncryptedNote as E, type SwapFillEvent as F, type SwapFillParams as G, type SwapOrder as H, type SwapOrderEvent as I, type SwapOrderParams as J, type TransferContext as K, type TransferParams as L, type MergeParams as M, NOTE_VERSION as N, type TransferStage as O, type Proof as P, type UPPCircuitType as Q, RATE_PRECISION as R, STATE_TREE_DEPTH as S, type TransferBuildResult as T, type UPPCircuitInputs as U, type UPPTransferCircuitInputs as V, type UPPWithdrawCircuitInputs as W, type WithdrawParams as X, buildASPTree as Y, buildTransfer as Z, buildUPPTransferCircuitInputs as _, type ASPRoot as a, computeFillPercentage as a0, computeGiveAmount as a1, computeMultiOriginASPRoot as a2, computeNullifier as a3, computeRate as a4, computeSingleOriginASPRoot as a5, computeTakeAmount as a6, computeTotalBuyAmount as a7, createDemoASPRoot as a8, filterOrdersByASP as a9, UPPAccountProvider as aA, type UPPAccountContextType as aB, type ProofSystemType as aC, type IndexerConfig as aD, type SignTypedDataFn as aE, ASP_TREE_DEPTH as aF, filterOrdersByTokenPair as aa, formatOutputForContract as ab, formatProofForContract as ac, formatRate as ad, generateASPProof as ae, generateCancelSecret as af, generateMultiOriginASPProof as ag, generateProof as ah, generateSingleOriginASPProof as ai, generateStealthProof as aj, generateUPPProof as ak, getCancelSecret as al, getMerkleProofsForNotes as am, getOwnOrderIds as an, getStealthCircuitArtifacts as ao, getUPPCircuitArtifacts as ap, isFillerASPAccepted as aq, isOrderActive as ar, removeCancelSecret as as, storeCancelSecret as at, syncMerkleTree as au, verifyASPProof as av, verifyProof as aw, type NoteCreationResult as ax, type ShieldedNote as ay, useUPPAccount as az, ASP_TREE_DEPTH$1 as b, type CircuitType as c, type Commitment as d, DEMO_ASP_NAME as e, type MergeRecord as f, type MerkleProofWithNote as g, type Note as h, type NoteWithAmount as i, type Nullifier as j, type ProofResult as k, SWAP_EVENTS_ABI as l, SWAP_ORDER_CANCELLED_EVENT as m, SWAP_ORDER_CLAIMED_EVENT as n, SWAP_ORDER_FILLED_EVENT as o, SWAP_ORDER_PLACED_EVENT as p, type ShieldParams as q, type SpendableNote as r, type StarkNote as s, type StarkProof as t, type StarkStealthMetaAddress as u, type Stealth1x2CircuitInputs as v, type Stealth2x2CircuitInputs as w, type StealthAddress as x, type StealthCircuitInputs as y, type StealthCircuitType as z };

package/dist/utils/index.cjs

@@ -1,7 +1,8 @@
 'use strict';
 
-require('../chunk-GQV47S3N.cjs');
+require('../chunk-PTDVGWHU.cjs');
 var chunkTSF6HEVS_cjs = require('../chunk-TSF6HEVS.cjs');
+var chunk3YZSIYJC_cjs = require('../chunk-3YZSIYJC.cjs');
 var chunkEUP7MBAH_cjs = require('../chunk-EUP7MBAH.cjs');
 var chunkBH24DZ5S_cjs = require('../chunk-BH24DZ5S.cjs');
 var chunk3HQ7A6ZM_cjs = require('../chunk-3HQ7A6ZM.cjs');
@@ -58,6 +59,58 @@ Object.defineProperty(exports, "tupleToPoint", {
   enumerable: true,
   get: function () { return chunkTSF6HEVS_cjs.tupleToPoint; }
 });
+Object.defineProperty(exports, "STARK_AMOUNT_SCALE", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.STARK_AMOUNT_SCALE; }
+});
+Object.defineProperty(exports, "STARK_ASP_TREE_DEPTH", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.STARK_ASP_TREE_DEPTH; }
+});
+Object.defineProperty(exports, "STARK_STATE_TREE_DEPTH", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.STARK_STATE_TREE_DEPTH; }
+});
+Object.defineProperty(exports, "addressToM31", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.addressToM31; }
+});
+Object.defineProperty(exports, "buildStarkTransferWitness", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.buildStarkTransferWitness; }
+});
+Object.defineProperty(exports, "buildStarkWithdrawWitness", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.buildStarkWithdrawWitness; }
+});
+Object.defineProperty(exports, "computeTransferPublicInputsSeed", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.computeTransferPublicInputsSeed; }
+});
+Object.defineProperty(exports, "computeWithdrawPublicInputsSeed", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.computeWithdrawPublicInputsSeed; }
+});
+Object.defineProperty(exports, "isStarkAligned", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.isStarkAligned; }
+});
+Object.defineProperty(exports, "packM31Digest", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.packM31Digest; }
+});
+Object.defineProperty(exports, "scaleAmountForStark", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.scaleAmountForStark; }
+});
+Object.defineProperty(exports, "splitSecretToM31Limbs", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.splitSecretToM31Limbs; }
+});
+Object.defineProperty(exports, "truncateToM31", {
+  enumerable: true,
+  get: function () { return chunk3YZSIYJC_cjs.truncateToM31; }
+});
 Object.defineProperty(exports, "MAX_TREE_DEPTH", {
   enumerable: true,
   get: function () { return chunkEUP7MBAH_cjs.MAX_TREE_DEPTH; }

package/dist/utils/index.d.cts

@@ -1,5 +1,7 @@
 export { M as MAX_TREE_DEPTH, a as MerkleProof, b as MerkleTree, P as Point, c as addPoints, d as buildMerkleTree, e as computeSharedSecret, f as deriveDecryptionViewingKey, g as deriveEncryptionViewingKey, h as getBasePoint, i as getMerkleProof, j as getSubOrder, k as isOnCurve, m as mulPointScalar, p as packPoint, l as pointToTuple, n as privateToPublic, t as tupleToPoint, v as verifyMerkleProof } from '../merkle-mteVOlDf.cjs';
+export { S as STARK_AMOUNT_SCALE, a as STARK_ASP_TREE_DEPTH, b as STARK_STATE_TREE_DEPTH, c as StarkTransferWitness, d as StarkWithdrawWitness, e as addressToM31, f as buildStarkTransferWitness, g as buildStarkWithdrawWitness, h as computeTransferPublicInputsSeed, i as computeWithdrawPublicInputsSeed, j as isStarkAligned, p as packM31Digest, s as scaleAmountForStark, k as splitSecretToM31Limbs, t as truncateToM31 } from '../stark-BcTD1OaJ.cjs';
 export { D as DIGEST_SIZE, a as M31Digest, M as M31Secret, b as M31_P, S as SECRET_LIMBS, c as computeStarkCommitment, d as computeStarkNullifier, e as computeStarkOwnerHash, k as keccakHashTwo, f as keccakM31, s as splitToM31Limbs } from '../keccak-m31-B_AqBbRF.cjs';
+import 'viem';
 
 /**
  * Poseidon Hash Utilities

package/dist/utils/index.d.ts

@@ -1,5 +1,7 @@
 export { M as MAX_TREE_DEPTH, a as MerkleProof, b as MerkleTree, P as Point, c as addPoints, d as buildMerkleTree, e as computeSharedSecret, f as deriveDecryptionViewingKey, g as deriveEncryptionViewingKey, h as getBasePoint, i as getMerkleProof, j as getSubOrder, k as isOnCurve, m as mulPointScalar, p as packPoint, l as pointToTuple, n as privateToPublic, t as tupleToPoint, v as verifyMerkleProof } from '../merkle-mteVOlDf.js';
+export { S as STARK_AMOUNT_SCALE, a as STARK_ASP_TREE_DEPTH, b as STARK_STATE_TREE_DEPTH, c as StarkTransferWitness, d as StarkWithdrawWitness, e as addressToM31, f as buildStarkTransferWitness, g as buildStarkWithdrawWitness, h as computeTransferPublicInputsSeed, i as computeWithdrawPublicInputsSeed, j as isStarkAligned, p as packM31Digest, s as scaleAmountForStark, k as splitSecretToM31Limbs, t as truncateToM31 } from '../stark-BcTD1OaJ.js';
 export { D as DIGEST_SIZE, a as M31Digest, M as M31Secret, b as M31_P, S as SECRET_LIMBS, c as computeStarkCommitment, d as computeStarkNullifier, e as computeStarkOwnerHash, k as keccakHashTwo, f as keccakM31, s as splitToM31Limbs } from '../keccak-m31-B_AqBbRF.js';
+import 'viem';
 
 /**
  * Poseidon Hash Utilities

package/dist/utils/index.js

@@ -1,5 +1,6 @@
-import '../chunk-NCW4AE7L.js';
+import '../chunk-UAVWYXDN.js';
 export { addPoints, computeSharedSecret, deriveDecryptionViewingKey, deriveEncryptionViewingKey, getBasePoint, getSubOrder, isOnCurve, mulPointScalar, packPoint, pointToTuple, privateToPublic, tupleToPoint } from '../chunk-YOWDERVC.js';
+export { STARK_AMOUNT_SCALE, STARK_ASP_TREE_DEPTH, STARK_STATE_TREE_DEPTH, addressToM31, buildStarkTransferWitness, buildStarkWithdrawWitness, computeTransferPublicInputsSeed, computeWithdrawPublicInputsSeed, isStarkAligned, packM31Digest, scaleAmountForStark, splitSecretToM31Limbs, truncateToM31 } from '../chunk-XBNYAAMU.js';
 export { MAX_TREE_DEPTH, MerkleTree, buildMerkleTree, getMerkleProof, verifyMerkleProof } from '../chunk-ZU6J7KMY.js';
 export { DIGEST_SIZE, M31_P, SECRET_LIMBS, computeStarkCommitment, computeStarkNullifier, computeStarkOwnerHash, keccakHashTwo, keccakM31, splitToM31Limbs } from '../chunk-5V5HSN6Y.js';
 export { bigintToBytes, bytesToBigint, bytesToHex, hexToBytes, randomBytes, randomFieldElement } from '../chunk-W77GRBO4.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@permissionless-technologies/upp-sdk",
-  "version": "0.2.1",
+  "version": "0.3.1",
   "description": "Universal Private Pool SDK - Privacy-preserving token operations for any ERC20",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -60,7 +60,7 @@
     "circuits:setup": "node scripts/setup-circuits.js",
     "circuits:verifiers": "node scripts/generate-verifiers.js",
     "deploy:local": "forge script src/contracts/script/DeployUPP.s.sol:DeployUPPLocal --rpc-url http://localhost:8545 --broadcast --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80 && node scripts/extract-deployment.js 31337",
-    "deploy:sepolia": "source .env && forge script src/contracts/script/DeployUPP.s.sol:DeployUPPSepolia --rpc-url ${RPC_ENDPOINT_TESTNET} --broadcast --private-key ${PRIVATE_KEY_TESTNET} && node scripts/extract-deployment.js 11155111",
+    "deploy:sepolia": "source .env && ASP_REGISTRY=${ASP_REGISTRY:-0xfd11c56a23314aa88dfbcc36254f33e5e8b010df} forge script src/contracts/script/DeployUPP.s.sol:DeployUPPSepolia --rpc-url ${RPC_ENDPOINT_TESTNET} --broadcast --private-key ${PRIVATE_KEY_TESTNET} && node scripts/extract-deployment.js 11155111",
     "extract:deployment": "node scripts/extract-deployment.js",
     "generate:abis": "node scripts/generate-abis.js"
   },

package/src/deployments/11155111.json

@@ -1,19 +1,19 @@
 {
-  "UniversalPrivatePool": "0x2a725ec54232981f60574a6b9b7d25d202f6b862",
-  "ASPRegistryHub": "0xbfb30e842412a96463b81b7a68b49116c90aa023",
-  "TestToken": "0xe5dd1b81dfca6ff1a9893d7aa194b3fcd8b5b54a",
-  "TestToken2": "0x34564fbc2e13488d462d152714043375ab419479",
+  "UniversalPrivatePool": "0x95c800a58ff37c85a15f435cf7bca2af288cb5c7",
+  "ASPRegistryHub": "0xfd11c56a23314aa88dfbcc36254f33e5e8b010df",
+  "TestToken": "0xf68645ce430256917ca434a4063c81db59dda611",
+  "TestToken2": "0xe159f88d97ba9663b0c586fc720ec637783db1d4",
   "verifiers": {
-    "TransferVerifier": "0x936cd5213de3cefb3d8f7f0747ec01dbd4c0d33d",
-    "MergeVerifier": "0x21c02ed7e61af9e629aef34b070121c8502c80ad",
-    "WithdrawVerifier": "0x38d8b4240d3ef456de63bfb4c8be35712fd503aa",
-    "JoinSplitVerifier": "0x474f482858cc66292356f9acbcc984ccf482b196",
-    "MergeTransfer2x2Verifier": "0xd0aaa7b28a4240a979df42a2949332405c6964f9",
-    "MergeTransfer4x2Verifier": "0xc5e04a3e865d095145ca92a842b389cf9ea96b30"
+    "TransferVerifier": "0x465261fd85c80e8278a30f04ad4f4558710d6cd3",
+    "MergeVerifier": "0x219e26676e6a72a00ede08e4ebf7d6aa27005676",
+    "WithdrawVerifier": "0x7405f0e1e44d5355d4913543125961790e8b52c0",
+    "JoinSplitVerifier": "0x18e3daed50ca37a1acdea4a26c71ae39ff9b0fb1",
+    "MergeTransfer2x2Verifier": "0x365f5c0ac64f07bc779cdbbcf695ad5024971e06",
+    "MergeTransfer4x2Verifier": "0xbab9f475bcf9377675d01a640b1b70d5a27a8af4"
   },
   "starkVerifiers": {
-    "CircleStarkVerifier": "0xb6af7c846f4ace44b8e8bb06e923acf07a3fcb7f"
+    "CircleStarkVerifier": "0x4a911db5b613b399a2622da296c5163c059714ec"
   },
-  "deployBlock": 10532693,
-  "deployTimestamp": 1774615681231
+  "deployBlock": 10534869,
+  "deployTimestamp": 1774642370446
 }

package/src/deployments/31337.json

@@ -15,5 +15,5 @@
     "CircleStarkVerifier": "0x0dcd1bf9a1b36ce34237eeafef220932846bcd82"
   },
   "deployBlock": 1,
-  "deployTimestamp": 1774604726045
+  "deployTimestamp": 1774617727738
 }