@permissionless-technologies/upp-sdk 0.3.5 → 0.4.0

package/dist/utils/index.cjs

@@ -1,231 +1,230 @@
 'use strict';
 
-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');
-var chunkJWNXBALH_cjs = require('../chunk-JWNXBALH.cjs');
+var chunkI5EKGD4P_cjs = require('../chunk-I5EKGD4P.cjs');
+var chunkSWTNJPK5_cjs = require('../chunk-SWTNJPK5.cjs');
+var chunkIIUKM5VE_cjs = require('../chunk-IIUKM5VE.cjs');
+var chunkU3YFYMWF_cjs = require('../chunk-U3YFYMWF.cjs');
+var chunkUFEDJJSH_cjs = require('../chunk-UFEDJJSH.cjs');
+var chunkHEHXSV47_cjs = require('../chunk-HEHXSV47.cjs');
 require('../chunk-G7VZBCD6.cjs');
 
 
 
 Object.defineProperty(exports, "addPoints", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.addPoints; }
+  get: function () { return chunkI5EKGD4P_cjs.addPoints; }
 });
 Object.defineProperty(exports, "computeSharedSecret", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.computeSharedSecret; }
+  get: function () { return chunkI5EKGD4P_cjs.computeSharedSecret; }
 });
 Object.defineProperty(exports, "deriveDecryptionViewingKey", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.deriveDecryptionViewingKey; }
+  get: function () { return chunkI5EKGD4P_cjs.deriveDecryptionViewingKey; }
 });
 Object.defineProperty(exports, "deriveEncryptionViewingKey", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.deriveEncryptionViewingKey; }
+  get: function () { return chunkI5EKGD4P_cjs.deriveEncryptionViewingKey; }
 });
 Object.defineProperty(exports, "getBasePoint", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.getBasePoint; }
+  get: function () { return chunkI5EKGD4P_cjs.getBasePoint; }
 });
 Object.defineProperty(exports, "getSubOrder", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.getSubOrder; }
+  get: function () { return chunkI5EKGD4P_cjs.getSubOrder; }
 });
 Object.defineProperty(exports, "isOnCurve", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.isOnCurve; }
+  get: function () { return chunkI5EKGD4P_cjs.isOnCurve; }
 });
 Object.defineProperty(exports, "mulPointScalar", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.mulPointScalar; }
+  get: function () { return chunkI5EKGD4P_cjs.mulPointScalar; }
 });
 Object.defineProperty(exports, "packPoint", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.packPoint; }
+  get: function () { return chunkI5EKGD4P_cjs.packPoint; }
 });
 Object.defineProperty(exports, "pointToTuple", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.pointToTuple; }
+  get: function () { return chunkI5EKGD4P_cjs.pointToTuple; }
 });
 Object.defineProperty(exports, "privateToPublic", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.privateToPublic; }
+  get: function () { return chunkI5EKGD4P_cjs.privateToPublic; }
 });
 Object.defineProperty(exports, "tupleToPoint", {
   enumerable: true,
-  get: function () { return chunkTSF6HEVS_cjs.tupleToPoint; }
+  get: function () { return chunkI5EKGD4P_cjs.tupleToPoint; }
 });
 Object.defineProperty(exports, "STARK_AMOUNT_SCALE", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.STARK_AMOUNT_SCALE; }
+  get: function () { return chunkSWTNJPK5_cjs.STARK_AMOUNT_SCALE; }
 });
 Object.defineProperty(exports, "STARK_ASP_TREE_DEPTH", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.STARK_ASP_TREE_DEPTH; }
+  get: function () { return chunkSWTNJPK5_cjs.STARK_ASP_TREE_DEPTH; }
 });
 Object.defineProperty(exports, "STARK_STATE_TREE_DEPTH", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.STARK_STATE_TREE_DEPTH; }
+  get: function () { return chunkSWTNJPK5_cjs.STARK_STATE_TREE_DEPTH; }
 });
 Object.defineProperty(exports, "addressToM31", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.addressToM31; }
+  get: function () { return chunkSWTNJPK5_cjs.addressToM31; }
 });
 Object.defineProperty(exports, "buildStarkTransferWitness", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.buildStarkTransferWitness; }
+  get: function () { return chunkSWTNJPK5_cjs.buildStarkTransferWitness; }
 });
 Object.defineProperty(exports, "buildStarkWithdrawWitness", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.buildStarkWithdrawWitness; }
+  get: function () { return chunkSWTNJPK5_cjs.buildStarkWithdrawWitness; }
 });
 Object.defineProperty(exports, "computeTransferPublicInputsSeed", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.computeTransferPublicInputsSeed; }
+  get: function () { return chunkSWTNJPK5_cjs.computeTransferPublicInputsSeed; }
 });
 Object.defineProperty(exports, "computeWithdrawPublicInputsSeed", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.computeWithdrawPublicInputsSeed; }
+  get: function () { return chunkSWTNJPK5_cjs.computeWithdrawPublicInputsSeed; }
 });
 Object.defineProperty(exports, "isStarkAligned", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.isStarkAligned; }
+  get: function () { return chunkSWTNJPK5_cjs.isStarkAligned; }
 });
 Object.defineProperty(exports, "packM31Digest", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.packM31Digest; }
+  get: function () { return chunkSWTNJPK5_cjs.packM31Digest; }
 });
 Object.defineProperty(exports, "scaleAmountForStark", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.scaleAmountForStark; }
+  get: function () { return chunkSWTNJPK5_cjs.scaleAmountForStark; }
 });
 Object.defineProperty(exports, "splitSecretToM31Limbs", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.splitSecretToM31Limbs; }
+  get: function () { return chunkSWTNJPK5_cjs.splitSecretToM31Limbs; }
 });
 Object.defineProperty(exports, "truncateToM31", {
   enumerable: true,
-  get: function () { return chunk3YZSIYJC_cjs.truncateToM31; }
+  get: function () { return chunkSWTNJPK5_cjs.truncateToM31; }
 });
 Object.defineProperty(exports, "MAX_TREE_DEPTH", {
   enumerable: true,
-  get: function () { return chunkEUP7MBAH_cjs.MAX_TREE_DEPTH; }
+  get: function () { return chunkIIUKM5VE_cjs.MAX_TREE_DEPTH; }
 });
 Object.defineProperty(exports, "MerkleTree", {
   enumerable: true,
-  get: function () { return chunkEUP7MBAH_cjs.MerkleTree; }
+  get: function () { return chunkIIUKM5VE_cjs.MerkleTree; }
 });
 Object.defineProperty(exports, "buildMerkleTree", {
   enumerable: true,
-  get: function () { return chunkEUP7MBAH_cjs.buildMerkleTree; }
+  get: function () { return chunkIIUKM5VE_cjs.buildMerkleTree; }
 });
 Object.defineProperty(exports, "getMerkleProof", {
   enumerable: true,
-  get: function () { return chunkEUP7MBAH_cjs.getMerkleProof; }
+  get: function () { return chunkIIUKM5VE_cjs.getMerkleProof; }
 });
 Object.defineProperty(exports, "verifyMerkleProof", {
   enumerable: true,
-  get: function () { return chunkEUP7MBAH_cjs.verifyMerkleProof; }
+  get: function () { return chunkIIUKM5VE_cjs.verifyMerkleProof; }
 });
 Object.defineProperty(exports, "DIGEST_SIZE", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.DIGEST_SIZE; }
+  get: function () { return chunkU3YFYMWF_cjs.DIGEST_SIZE; }
 });
 Object.defineProperty(exports, "M31_P", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.M31_P; }
+  get: function () { return chunkU3YFYMWF_cjs.M31_P; }
 });
 Object.defineProperty(exports, "SECRET_LIMBS", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.SECRET_LIMBS; }
+  get: function () { return chunkU3YFYMWF_cjs.SECRET_LIMBS; }
 });
 Object.defineProperty(exports, "computeStarkCommitment", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.computeStarkCommitment; }
+  get: function () { return chunkU3YFYMWF_cjs.computeStarkCommitment; }
 });
 Object.defineProperty(exports, "computeStarkNullifier", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.computeStarkNullifier; }
+  get: function () { return chunkU3YFYMWF_cjs.computeStarkNullifier; }
 });
 Object.defineProperty(exports, "computeStarkOwnerHash", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.computeStarkOwnerHash; }
+  get: function () { return chunkU3YFYMWF_cjs.computeStarkOwnerHash; }
 });
 Object.defineProperty(exports, "keccakHashTwo", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.keccakHashTwo; }
+  get: function () { return chunkU3YFYMWF_cjs.keccakHashTwo; }
 });
 Object.defineProperty(exports, "keccakM31", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.keccakM31; }
+  get: function () { return chunkU3YFYMWF_cjs.keccakM31; }
 });
 Object.defineProperty(exports, "splitToM31Limbs", {
   enumerable: true,
-  get: function () { return chunkBH24DZ5S_cjs.splitToM31Limbs; }
+  get: function () { return chunkU3YFYMWF_cjs.splitToM31Limbs; }
 });
 Object.defineProperty(exports, "bigintToBytes", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.bigintToBytes; }
+  get: function () { return chunkUFEDJJSH_cjs.bigintToBytes; }
 });
 Object.defineProperty(exports, "bytesToBigint", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.bytesToBigint; }
+  get: function () { return chunkUFEDJJSH_cjs.bytesToBigint; }
 });
 Object.defineProperty(exports, "bytesToHex", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.bytesToHex; }
+  get: function () { return chunkUFEDJJSH_cjs.bytesToHex; }
 });
 Object.defineProperty(exports, "hexToBytes", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.hexToBytes; }
+  get: function () { return chunkUFEDJJSH_cjs.hexToBytes; }
 });
 Object.defineProperty(exports, "randomBytes", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.randomBytes; }
+  get: function () { return chunkUFEDJJSH_cjs.randomBytes; }
 });
 Object.defineProperty(exports, "randomFieldElement", {
   enumerable: true,
-  get: function () { return chunk3HQ7A6ZM_cjs.randomFieldElement; }
+  get: function () { return chunkUFEDJJSH_cjs.randomFieldElement; }
 });
 Object.defineProperty(exports, "BABYJUBJUB_SUBORDER", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.BABYJUBJUB_SUBORDER; }
+  get: function () { return chunkHEHXSV47_cjs.BABYJUBJUB_SUBORDER; }
 });
 Object.defineProperty(exports, "FIELD_PRIME", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.FIELD_PRIME; }
+  get: function () { return chunkHEHXSV47_cjs.FIELD_PRIME; }
 });
 Object.defineProperty(exports, "addressToField", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.addressToField; }
+  get: function () { return chunkHEHXSV47_cjs.addressToField; }
 });
 Object.defineProperty(exports, "fieldToAddress", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.fieldToAddress; }
+  get: function () { return chunkHEHXSV47_cjs.fieldToAddress; }
 });
 Object.defineProperty(exports, "isValidFieldElement", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.isValidFieldElement; }
+  get: function () { return chunkHEHXSV47_cjs.isValidFieldElement; }
 });
 Object.defineProperty(exports, "poseidon", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.poseidon; }
+  get: function () { return chunkHEHXSV47_cjs.poseidon; }
 });
 Object.defineProperty(exports, "poseidonHash", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.poseidonHash; }
+  get: function () { return chunkHEHXSV47_cjs.poseidonHash; }
 });
 Object.defineProperty(exports, "poseidonScalar", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.poseidonScalar; }
+  get: function () { return chunkHEHXSV47_cjs.poseidonScalar; }
 });
 Object.defineProperty(exports, "toFieldElement", {
   enumerable: true,
-  get: function () { return chunkJWNXBALH_cjs.toFieldElement; }
+  get: function () { return chunkHEHXSV47_cjs.toFieldElement; }
 });
 //# sourceMappingURL=index.cjs.map
 //# sourceMappingURL=index.cjs.map

package/dist/utils/index.d.cts

@@ -4,28 +4,49 @@ export { D as DIGEST_SIZE, a as M31Digest, M as M31Secret, b as M31_P, S as SECR
 import 'viem';
 
 /**
- * Poseidon Hash Utilities
+ * Poseidon Hash Utilities (BLS12-381)
  *
- * Wrapper around circomlibjs Poseidon hash implementation.
- * Used for commitments, nullifiers, and key derivation.
+ * Poseidon hash over the BLS12-381 scalar field (128-bit security).
+ * Uses the poseidon-bls12381 package for hash computation.
+ *
+ * This replaces the previous circomlibjs BN254 Poseidon implementation.
+ * The BLS12-381 field provides 128-bit security (vs ~100-bit for BN254),
+ * meeting the NIST 128-bit minimum standard.
  */
 /**
- * BN254 field prime (same as used in Circom/snarkjs)
+ * BLS12-381 scalar field prime (Fr)
+ *
+ * r = 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001
+ *   = 52435875175126190479447740508185965837690552500527637822603658699938581184513
+ *
+ * This is ~255 bits, providing 128-bit security.
  */
-declare const FIELD_PRIME = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+declare const FIELD_PRIME = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
 /**
- * BabyJubJub subgroup order
+ * @deprecated BabyJubJub is no longer used in BLS12-381 circuits.
+ * Hash-based ownership (ownerHash = Poseidon(secret)) replaces curve operations.
+ * Kept temporarily for backward compatibility with off-chain stealth address code.
  */
 declare const BABYJUBJUB_SUBORDER = 2736030358979909402780800718157159386076813972158567259200215660948447373041n;
 /**
- * Compute Poseidon hash of inputs
+ * Compute Poseidon hash over BLS12-381 scalar field
+ *
+ * Synchronous — no initialization needed (unlike circomlibjs).
+ * The async signature is preserved for backward compatibility.
  *
- * @param inputs - Array of field elements to hash (up to 16 elements)
- * @returns Hash as bigint
+ * @param inputs - Array of field elements to hash (1-6 elements)
+ * @returns Hash as bigint in BLS12-381 scalar field
  *
  * @example
  * ```ts
- * const commitment = await poseidon([amount, blinding, origin, token])
+ * // Note commitment (5 inputs)
+ * const commitment = await poseidon([amount, ownerHash, blinding, origin, token])
+ *
+ * // Nullifier (3 inputs)
+ * const nullifier = await poseidon([oneTimeSecret, leafIndex, commitment])
+ *
+ * // Owner hash (1 input)
+ * const ownerHash = await poseidon([oneTimeSecret])
  * ```
  */
 declare function poseidon(inputs: bigint[]): Promise<bigint>;
@@ -34,8 +55,10 @@ declare function poseidon(inputs: bigint[]): Promise<bigint>;
  */
 declare function poseidonHash(inputs: bigint[]): Promise<`0x${string}`>;
 /**
- * Compute Poseidon hash modulo BabyJubJub suborder
- * Used for deriving scalars for curve operations
+ * @deprecated BabyJubJub scalars are no longer used. Use poseidon() directly.
+ *
+ * Compute Poseidon hash modulo BabyJubJub suborder.
+ * Kept for backward compatibility with off-chain stealth address code.
  */
 declare function poseidonScalar(inputs: bigint[]): Promise<bigint>;
 /**
@@ -47,11 +70,11 @@ declare function addressToField(address: `0x${string}`): bigint;
  */
 declare function fieldToAddress(field: bigint): `0x${string}`;
 /**
- * Check if a value is within the field
+ * Check if a value is within the BLS12-381 scalar field
  */
 declare function isValidFieldElement(value: bigint): boolean;
 /**
- * Reduce a value modulo field prime
+ * Reduce a value modulo BLS12-381 field prime
  */
 declare function toFieldElement(value: bigint): bigint;
 

package/dist/utils/index.d.ts

@@ -4,28 +4,49 @@ export { D as DIGEST_SIZE, a as M31Digest, M as M31Secret, b as M31_P, S as SECR
 import 'viem';
 
 /**
- * Poseidon Hash Utilities
+ * Poseidon Hash Utilities (BLS12-381)
  *
- * Wrapper around circomlibjs Poseidon hash implementation.
- * Used for commitments, nullifiers, and key derivation.
+ * Poseidon hash over the BLS12-381 scalar field (128-bit security).
+ * Uses the poseidon-bls12381 package for hash computation.
+ *
+ * This replaces the previous circomlibjs BN254 Poseidon implementation.
+ * The BLS12-381 field provides 128-bit security (vs ~100-bit for BN254),
+ * meeting the NIST 128-bit minimum standard.
  */
 /**
- * BN254 field prime (same as used in Circom/snarkjs)
+ * BLS12-381 scalar field prime (Fr)
+ *
+ * r = 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001
+ *   = 52435875175126190479447740508185965837690552500527637822603658699938581184513
+ *
+ * This is ~255 bits, providing 128-bit security.
  */
-declare const FIELD_PRIME = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
+declare const FIELD_PRIME = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
 /**
- * BabyJubJub subgroup order
+ * @deprecated BabyJubJub is no longer used in BLS12-381 circuits.
+ * Hash-based ownership (ownerHash = Poseidon(secret)) replaces curve operations.
+ * Kept temporarily for backward compatibility with off-chain stealth address code.
  */
 declare const BABYJUBJUB_SUBORDER = 2736030358979909402780800718157159386076813972158567259200215660948447373041n;
 /**
- * Compute Poseidon hash of inputs
+ * Compute Poseidon hash over BLS12-381 scalar field
+ *
+ * Synchronous — no initialization needed (unlike circomlibjs).
+ * The async signature is preserved for backward compatibility.
  *
- * @param inputs - Array of field elements to hash (up to 16 elements)
- * @returns Hash as bigint
+ * @param inputs - Array of field elements to hash (1-6 elements)
+ * @returns Hash as bigint in BLS12-381 scalar field
  *
  * @example
  * ```ts
- * const commitment = await poseidon([amount, blinding, origin, token])
+ * // Note commitment (5 inputs)
+ * const commitment = await poseidon([amount, ownerHash, blinding, origin, token])
+ *
+ * // Nullifier (3 inputs)
+ * const nullifier = await poseidon([oneTimeSecret, leafIndex, commitment])
+ *
+ * // Owner hash (1 input)
+ * const ownerHash = await poseidon([oneTimeSecret])
  * ```
  */
 declare function poseidon(inputs: bigint[]): Promise<bigint>;
@@ -34,8 +55,10 @@ declare function poseidon(inputs: bigint[]): Promise<bigint>;
  */
 declare function poseidonHash(inputs: bigint[]): Promise<`0x${string}`>;
 /**
- * Compute Poseidon hash modulo BabyJubJub suborder
- * Used for deriving scalars for curve operations
+ * @deprecated BabyJubJub scalars are no longer used. Use poseidon() directly.
+ *
+ * Compute Poseidon hash modulo BabyJubJub suborder.
+ * Kept for backward compatibility with off-chain stealth address code.
  */
 declare function poseidonScalar(inputs: bigint[]): Promise<bigint>;
 /**
@@ -47,11 +70,11 @@ declare function addressToField(address: `0x${string}`): bigint;
  */
 declare function fieldToAddress(field: bigint): `0x${string}`;
 /**
- * Check if a value is within the field
+ * Check if a value is within the BLS12-381 scalar field
  */
 declare function isValidFieldElement(value: bigint): boolean;
 /**
- * Reduce a value modulo field prime
+ * Reduce a value modulo BLS12-381 field prime
  */
 declare function toFieldElement(value: bigint): bigint;
 

package/dist/utils/index.js

@@ -1,10 +1,9 @@
-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';
-export { BABYJUBJUB_SUBORDER, FIELD_PRIME, addressToField, fieldToAddress, isValidFieldElement, poseidon, poseidonHash, poseidonScalar, toFieldElement } from '../chunk-V23OSL25.js';
+export { addPoints, computeSharedSecret, deriveDecryptionViewingKey, deriveEncryptionViewingKey, getBasePoint, getSubOrder, isOnCurve, mulPointScalar, packPoint, pointToTuple, privateToPublic, tupleToPoint } from '../chunk-EHGH6TAW.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-7T4CUE6E.js';
+export { MAX_TREE_DEPTH, MerkleTree, buildMerkleTree, getMerkleProof, verifyMerkleProof } from '../chunk-GPF72JFR.js';
+export { DIGEST_SIZE, M31_P, SECRET_LIMBS, computeStarkCommitment, computeStarkNullifier, computeStarkOwnerHash, keccakHashTwo, keccakM31, splitToM31Limbs } from '../chunk-6TFDBBAQ.js';
+export { bigintToBytes, bytesToBigint, bytesToHex, hexToBytes, randomBytes, randomFieldElement } from '../chunk-UQIM2KT3.js';
+export { BABYJUBJUB_SUBORDER, FIELD_PRIME, addressToField, fieldToAddress, isValidFieldElement, poseidon, poseidonHash, poseidonScalar, toFieldElement } from '../chunk-5QSSX3KR.js';
 import '../chunk-Z6ZWNWWR.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@permissionless-technologies/upp-sdk",
-  "version": "0.3.5",
+  "version": "0.4.0",
   "description": "Universal Private Pool SDK - Privacy-preserving token operations for any ERC20",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -90,12 +90,13 @@
   },
   "dependencies": {
     "@noble/curves": "^1.4.0",
-    "@permissionless-technologies/upc-sdk": "^0.1.0",
+    "@permissionless-technologies/upc-sdk": "^0.3.0",
     "@zk-kit/lean-imt.sol": "^2.0.1",
     "@zk-kit/poseidon-cipher": "^0.3.0",
     "bech32": "^2.0.0",
     "circomlib": "^2.0.5",
     "circomlibjs": "^0.1.7",
+    "poseidon-bls12381": "^1.0.2",
     "poseidon-solidity": "^0.0.5",
     "snarkjs": "^0.7.4"
   },
@@ -107,6 +108,7 @@
     "@types/react-dom": "^19.2.3",
     "@types/snarkjs": "^0.7.8",
     "eslint": "^8.0.0",
+    "poseidon-bls12381-circom": "^1.0.0",
     "react": "^19.0.0",
     "tsup": "^8.0.0",
     "typescript": "^5.0.0",

package/src/contracts/interfaces/IUniversalPrivatePool.sol

@@ -1,6 +1,8 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.20;
 
+import "../src/PlonkVerifierBLS12381.sol";
+
 /// @notice Interface for the Universal Private Pool
 interface IUniversalPrivatePool {
     // ============ Events ============
@@ -129,7 +131,7 @@ interface IUniversalPrivatePool {
     // ============ Transfer ============
 
     function transfer(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier,
         uint256 stateRoot,
         uint256 aspRoot,
@@ -143,7 +145,7 @@ interface IUniversalPrivatePool {
     // ============ Merge ============
 
     function merge(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier1,
         bytes32 nullifier2,
         uint256 stateRoot,
@@ -155,7 +157,7 @@ interface IUniversalPrivatePool {
     // ============ Withdraw ============
 
     function withdraw(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier,
         uint256 stateRoot,
         uint256 aspRoot,
@@ -169,7 +171,7 @@ interface IUniversalPrivatePool {
     // ============ JoinSplit ============
 
     function joinSplit(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32[4] calldata nullifiers,
         uint256 stateRoot,
         uint256 aspRoot,
@@ -184,7 +186,7 @@ interface IUniversalPrivatePool {
     // ============ MergeTransfer ============
 
     function mergeTransfer2x2(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier1,
         bytes32 nullifier2,
         uint256 stateRoot,
@@ -196,7 +198,7 @@ interface IUniversalPrivatePool {
     ) external;
 
     function mergeTransfer4x2(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32[4] calldata nullifiers,
         uint256 stateRoot,
         address token,
@@ -209,7 +211,7 @@ interface IUniversalPrivatePool {
     // ============ Swap ============
 
     function swapOrder(
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier,
         uint256 stateRoot,
         uint256 aspRoot,
@@ -225,7 +227,7 @@ interface IUniversalPrivatePool {
 
     function swapFill(
         bytes32 orderId,
-        uint256[8] calldata proof,
+        PlonkVerifierBLS12381.Proof calldata proof,
         bytes32 nullifier,
         uint256 stateRoot,
         uint256 aspRoot,