@veilo/sdk-core 0.3.3 → 0.5.0

package/dist/esm/index.d.ts

@@ -0,0 +1,17 @@
+export * from "./client.js";
+export * from "./utxo.js";
+export * from "./config.js";
+export * from "./merkle.js";
+export * from "./proof.js";
+export * from "./events.js";
+export { createVeiloProgram, createReadonlyVeiloProgram, PRIVACY_POOL_IDL, PRIVACY_POOL_PROGRAM_ID, } from "./program.js";
+export * from "./shield/index.js";
+export { createTransactionProver, createSwapProver, verifyProof, } from "./prover.js";
+export type { CircuitArtifacts } from "./prover.js";
+export * from "./compactNote.js";
+export { randomBytes, randomBytes32 } from "./random.js";
+export * from "./relayer.js";
+export * from "./cloak.js";
+export { withRpcRetry, DEFAULT_RPC_RETRY } from "./retry.js";
+export type { RpcRetryPolicy } from "./retry.js";
+export { initPoseidon, getPoseidon, BN254_FR_MODULUS, bytesToBigIntBE, bigIntToBytesBE, frToBigInt, poseidon1, poseidon2, poseidon3, poseidon4, pubkeyToField, } from "./poseidon.js";

package/dist/esm/index.js

@@ -1,22 +1,31 @@
 // Core client functions
-export * from "./client";
+export * from "./client.js";
 // UTXO types and functions (replaces note.ts)
-export * from "./utxo";
+export * from "./utxo.js";
 // Configuration constants and types
-export * from "./config";
+export * from "./config.js";
 // Merkle tree implementation
-export * from "./merkle";
+export * from "./merkle.js";
 // Proof types and helpers
-export * from "./proof";
+export * from "./proof.js";
 // On-chain event scanning and tree reconstruction
-export * from "./events";
+export * from "./events.js";
 // Program factory and IDL
-export { createVeiloProgram, PRIVACY_POOL_IDL, PRIVACY_POOL_PROGRAM_ID, } from "./program";
+export { createVeiloProgram, createReadonlyVeiloProgram, PRIVACY_POOL_IDL, PRIVACY_POOL_PROGRAM_ID, } from "./program.js";
+// Wallet-agnostic shielding — build an unsigned deposit for any external wallet
+export * from "./shield/index.js";
 // Proof generation (requires snarkjs peer dependency)
-export { createTransactionProver, verifyProof } from "./prover";
+export { createTransactionProver, createSwapProver, verifyProof, } from "./prover.js";
+// Compact note ciphers — the on-chain payload that makes notes recoverable
+// from chain data alone, without any relayer involvement.
+export * from "./compactNote.js";
+// Cross-platform CSPRNG (no node:crypto import — safe in browser bundles)
+export { randomBytes, randomBytes32 } from "./random.js";
 // Relayer API client
-export * from "./relayer";
+export * from "./relayer.js";
+// Veilo Cloak Partner API client and helpers
+export * from "./cloak.js";
 // RPC retry / resilience
-export { withRpcRetry, DEFAULT_RPC_RETRY } from "./retry";
+export { withRpcRetry, DEFAULT_RPC_RETRY } from "./retry.js";
 // Poseidon hash functions
-export { initPoseidon, getPoseidon, BN254_FR_MODULUS, bytesToBigIntBE, bigIntToBytesBE, frToBigInt, poseidon1, poseidon2, poseidon3, poseidon4, pubkeyToField, } from "./poseidon";
+export { initPoseidon, getPoseidon, BN254_FR_MODULUS, bytesToBigIntBE, bigIntToBytesBE, frToBigInt, poseidon1, poseidon2, poseidon3, poseidon4, pubkeyToField, } from "./poseidon.js";

package/dist/esm/merkle.d.ts

@@ -0,0 +1,77 @@
+export type MerklePath = {
+    /** Index of the leaf in the tree (0-based) */
+    leafIndex: number;
+    /** Sibling hashes from leaf level up to (but not including) the root */
+    path: Uint8Array[];
+    /**
+     * 0 = current node is left child, sibling is right
+     * 1 = current node is right child, sibling is left
+     * (matches your Circom `pathIndices` semantics)
+     */
+    indices: number[];
+};
+/**
+ * Circuit-compatible Merkle path format.
+ * The pathIndex is used directly (circuit converts to bits internally via Num2Bits).
+ */
+export type CircuitMerklePath = {
+    /** Leaf index (circuit converts to bits internally) */
+    pathIndex: number;
+    /** Sibling hashes as field elements */
+    pathElements: bigint[];
+};
+export type Bytes32 = Uint8Array;
+/**
+ * Fixed-depth binary Merkle tree over BN254 Fr:
+ * - Leaves and internal nodes are 32-byte big-endian Fr elements.
+ * - Hash is Poseidon(2)(left, right).
+ * - Unfilled leaves use the Poseidon zero chain:
+ *     zero[0] = 0
+ *     zero[i+1] = Poseidon(zero[i], zero[i])
+ *
+ * Depth must match:
+ *   - Circom WithdrawCircuit(depth)
+ *   - Rust MERKLE_TREE_HEIGHT
+ */
+export declare class MerkleTree {
+    readonly depth: number;
+    readonly zeroes: Uint8Array[];
+    readonly layers: Uint8Array[][];
+    nextIndex: number;
+    constructor(depth?: number);
+    get capacity(): number;
+    get root(): Uint8Array;
+    /**
+     * Insert a leaf and recompute the path up to the root.
+     * Returns the leaf index and the new root.
+     */
+    insert(leaf: Uint8Array): {
+        index: number;
+        root: Uint8Array;
+    };
+    /**
+     * Return Merkle proof (path + indices) for a given leaf index.
+     * This feeds directly into the Circom `MerklePathVerifier(depth)`:
+     *  - `pathElements[i]` = sibling
+     *  - `pathIndices[i]`  = 0/1 as defined above
+     */
+    getPath(index: number): MerklePath;
+    /**
+     * Return Merkle proof in circuit-compatible format.
+     * The circuit uses pathIndex directly and converts to bits via Num2Bits(levels).
+     */
+    getCircuitPath(index: number): CircuitMerklePath;
+}
+/**
+ * The Poseidon zero chain: `z[0] = 0`, `z[i+1] = Poseidon(z[i], z[i])`.
+ *
+ * This is the `zeroes` array a `MerkleTree` builds in its constructor, without
+ * the tree. Deposits need a Merkle path for their dummy inputs, but the circuit
+ * disables the path check when a input amount is zero (`enabled <== 1 - IsZero(amount)`
+ * in transaction.circom), so the values are never constrained — only their
+ * count is.
+ *
+ * Allocating a full depth-22 `MerkleTree` for this costs ~130 MB and several
+ * seconds. This costs 22 hashes. Any deposit-shaped transaction should use it.
+ */
+export declare function poseidonZeroChain(depth?: number): Uint8Array[];

package/dist/esm/merkle.js

@@ -1,4 +1,4 @@
-import { BN254_FR_MODULUS, bytesToBigIntBE, bigIntToBytesBE, getPoseidon, frToBigInt, } from "./poseidon";
+import { BN254_FR_MODULUS, bytesToBigIntBE, bigIntToBytesBE, getPoseidon, frToBigInt, } from "./poseidon.js";
 // Poseidon-based hash of two 32-byte field elements.
 function hashPair(left, right) {
     if (left.length !== 32 || right.length !== 32) {
@@ -127,3 +127,25 @@ export class MerkleTree {
         };
     }
 }
+/**
+ * The Poseidon zero chain: `z[0] = 0`, `z[i+1] = Poseidon(z[i], z[i])`.
+ *
+ * This is the `zeroes` array a `MerkleTree` builds in its constructor, without
+ * the tree. Deposits need a Merkle path for their dummy inputs, but the circuit
+ * disables the path check when a input amount is zero (`enabled <== 1 - IsZero(amount)`
+ * in transaction.circom), so the values are never constrained — only their
+ * count is.
+ *
+ * Allocating a full depth-22 `MerkleTree` for this costs ~130 MB and several
+ * seconds. This costs 22 hashes. Any deposit-shaped transaction should use it.
+ */
+export function poseidonZeroChain(depth = 22) {
+    const zeroes = [];
+    let zero = bigIntToBytesBE(0n);
+    zeroes.push(zero);
+    for (let level = 1; level <= depth; level++) {
+        zero = hashPair(zero, zero);
+        zeroes.push(zero);
+    }
+    return zeroes;
+}

package/dist/esm/notes/encryption.d.ts

@@ -0,0 +1,41 @@
+import { PublicKey } from "@solana/web3.js";
+import type { SerializedUTXO } from "./model.js";
+/**
+ * Encrypted UTXO note — can be broadcast alongside a transaction so the
+ * recipient can recover their note without a server.
+ */
+export type EncryptedNote = {
+    /** 24-byte NaCl box nonce */
+    nonce: Uint8Array;
+    /** Ciphertext containing amount + blinding + privateKey */
+    ciphertext: Uint8Array;
+    /** Sender's ephemeral 32-byte X25519 public key */
+    senderEphemeralPubkey: Uint8Array;
+};
+/**
+ * Derive a NaCl X25519 encryption keypair from a UTXO private key.
+ * The keypair is deterministic: same privateKey always yields the same pair.
+ */
+export declare function deriveEncryptionKeypair(privateKey: bigint): {
+    publicKey: Uint8Array;
+    secretKey: Uint8Array;
+};
+/**
+ * Encrypt a UTXO so the recipient can recover it from on-chain events.
+ *
+ * Plaintext layout (72 bytes):
+ *   [0..8]   amount  — 8-byte little-endian u64
+ *   [8..40]  blinding — 32-byte big-endian field element
+ *   [40..72] privateKey — 32-byte big-endian field element
+ *
+ * Uses ephemeral-key NaCl box so the sender key is single-use.
+ */
+export declare function encryptUTXONote(utxo: SerializedUTXO & {
+    privateKey: bigint;
+}, recipientEncPubkey: Uint8Array): EncryptedNote;
+/**
+ * Try to decrypt an encrypted UTXO note using the recipient's private key.
+ * Returns the SerializedUTXO if decryption succeeds and the commitment
+ * matches, or `null` if the note was not intended for this key.
+ */
+export declare function decryptUTXONote(note: EncryptedNote, recipientPrivateKey: bigint, commitment: Uint8Array, mintAddress: PublicKey): SerializedUTXO | null;

package/dist/esm/notes/encryption.js

@@ -0,0 +1,67 @@
+import { sha256 } from "@noble/hashes/sha256";
+import nacl from "tweetnacl";
+import { BN254_FR_MODULUS, bigIntToBytesBE, bytesToBigIntBE, pubkeyToField, } from "../poseidon.js";
+import { commitUTXO, derivePublicKey } from "./model.js";
+/**
+ * Derive a NaCl X25519 encryption keypair from a UTXO private key.
+ * The keypair is deterministic: same privateKey always yields the same pair.
+ */
+export function deriveEncryptionKeypair(privateKey) {
+    const seed = sha256(bigIntToBytesBE(privateKey));
+    return nacl.box.keyPair.fromSecretKey(seed);
+}
+/**
+ * Encrypt a UTXO so the recipient can recover it from on-chain events.
+ *
+ * Plaintext layout (72 bytes):
+ *   [0..8]   amount  — 8-byte little-endian u64
+ *   [8..40]  blinding — 32-byte big-endian field element
+ *   [40..72] privateKey — 32-byte big-endian field element
+ *
+ * Uses ephemeral-key NaCl box so the sender key is single-use.
+ */
+export function encryptUTXONote(utxo, recipientEncPubkey) {
+    const nonce = nacl.randomBytes(nacl.box.nonceLength); // 24 bytes
+    const ephemeral = nacl.box.keyPair();
+    const amountBuf = new Uint8Array(8);
+    let v = utxo.amount;
+    for (let i = 0; i < 8; i++) {
+        amountBuf[i] = Number(v & 0xffn);
+        v >>= 8n;
+    }
+    const plaintext = new Uint8Array(72);
+    plaintext.set(amountBuf, 0);
+    plaintext.set(bigIntToBytesBE(utxo.blinding), 8);
+    plaintext.set(bigIntToBytesBE(utxo.privateKey), 40);
+    const sharedKey = nacl.box.before(recipientEncPubkey, ephemeral.secretKey);
+    const ciphertext = nacl.box.after(plaintext, nonce, sharedKey);
+    return { nonce, ciphertext, senderEphemeralPubkey: ephemeral.publicKey };
+}
+/**
+ * Try to decrypt an encrypted UTXO note using the recipient's private key.
+ * Returns the SerializedUTXO if decryption succeeds and the commitment
+ * matches, or `null` if the note was not intended for this key.
+ */
+export function decryptUTXONote(note, recipientPrivateKey, commitment, mintAddress) {
+    const { secretKey } = deriveEncryptionKeypair(recipientPrivateKey);
+    const sharedKey = nacl.box.before(note.senderEphemeralPubkey, secretKey);
+    const plaintext = nacl.box.open.after(note.ciphertext, note.nonce, sharedKey);
+    if (!plaintext || plaintext.length < 72)
+        return null;
+    let amount = 0n;
+    for (let i = 7; i >= 0; i--)
+        amount = (amount << 8n) | BigInt(plaintext[i]);
+    const blinding = bytesToBigIntBE(plaintext.slice(8, 40)) % BN254_FR_MODULUS;
+    const privateKey = bytesToBigIntBE(plaintext.slice(40, 72)) % BN254_FR_MODULUS;
+    const pubkey = derivePublicKey(privateKey);
+    const utxo = {
+        amount,
+        pubkey,
+        blinding,
+        mintAddress: pubkeyToField(mintAddress),
+    };
+    const expectedCommitment = commitUTXO(utxo);
+    if (!expectedCommitment.every((b, i) => b === commitment[i]))
+        return null;
+    return { ...utxo, commitment, privateKey };
+}

package/dist/esm/notes/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./model.js";
+export * from "./nullifier.js";
+export * from "./encryption.js";
+export * from "./mailbox.js";
+export * from "./recovery.js";

package/dist/esm/notes/index.js

@@ -0,0 +1,5 @@
+export * from "./model.js";
+export * from "./nullifier.js";
+export * from "./encryption.js";
+export * from "./mailbox.js";
+export * from "./recovery.js";

package/dist/esm/notes/mailbox.d.ts

@@ -0,0 +1,70 @@
+/** Note data stored inside a Blind Mailbox encrypted blob */
+export type BlindMailboxNoteData = {
+    blinding: Uint8Array;
+    leafIndex: number;
+    commitment: Uint8Array;
+    amount: bigint;
+    mintAddress: string;
+    treeId: number;
+};
+/** Encrypted note as returned by the relayer's /api/notes endpoint */
+export type BlindMailboxNote = {
+    commitment: string;
+    ephemeralPublicKey: string;
+    encryptedBlob: string;
+    timestamp?: number;
+    blockHeight?: number;
+    txSignature?: string;
+};
+/** Decrypted note data after calling decryptBlindMailboxNote */
+export type DecryptedNote = {
+    blinding: Uint8Array;
+    leafIndex: number;
+    commitment: Uint8Array;
+    amount: bigint;
+    timestamp: number;
+    mintAddress?: string;
+    treeId: number;
+};
+/** Derive 32-byte encryption key from a shared secret using SHA-512 truncated.
+ *  Must match the production "sha256" helper which uses nacl.hash (SHA-512) [0:32].
+ *
+ *  DO NOT "fix" this to real SHA-256. The name in the sibling implementations
+ *  (`sha256ForNotes`) is a misnomer, but the bytes are load-bearing: changing the
+ *  KDF makes every historical note undecryptable.
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export declare function kdfSHA512_256(secret: Uint8Array): Uint8Array;
+/** Convert an Ed25519 private seed (32 bytes) to an X25519 scalar.
+ *  Equivalent to ed2curve.convertSecretKey(seed).
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export declare function ed25519SeedToX25519Private(seed: Uint8Array): Uint8Array;
+/** Convert an Ed25519 compressed public key (32 bytes) to X25519.
+ *  Equivalent to ed2curve.convertPublicKey(pubkey).
+ *  Edwards y-coord → Montgomery u via: u = (1 + y) / (1 - y) (mod p).
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export declare function ed25519PublicKeyToX25519(pubkey: Uint8Array): Uint8Array;
+/**
+ * Encrypt a UTXO note for a recipient identified by their Solana wallet public key.
+ * Produces a blob the relayer will store and serve via POST /notes/save.
+ *
+ * @param recipientWalletPubkey  32-byte Ed25519 public key (wallet.publicKey.toBytes())
+ * @param noteData               UTXO details to encrypt
+ */
+export declare function encryptBlindMailboxNote(recipientWalletPubkey: Uint8Array, noteData: BlindMailboxNoteData): {
+    ephemeralPublicKey: Uint8Array;
+    encryptedBlob: string;
+};
+/**
+ * Decrypt a Blind Mailbox note using the recipient's Solana wallet private seed.
+ *
+ * @param walletSecretKey  Full 64-byte wallet.secretKey — the first 32 bytes are the seed
+ * @param ephemeralPublicKey  32-byte raw public key stored alongside the encrypted blob.
+ *                            This may be either an Ed25519 pubkey (from Keypair.generate())
+ *                            or a raw X25519 pubkey — the decryption path handles both:
+ *                            if it is an Ed25519 key it is converted; otherwise used directly.
+ * @param encryptedBlob      Base64 string as stored by the relayer
+ */
+export declare function decryptBlindMailboxNote(walletSecretKey: Uint8Array, ephemeralPublicKey: Uint8Array, encryptedBlob: string): DecryptedNote;

package/dist/esm/notes/mailbox.js

@@ -0,0 +1,154 @@
+import nacl from "tweetnacl";
+import { randomBytes } from "../random.js";
+// -- Internal crypto helpers (no extra dependencies) --------------------------
+/** Derive 32-byte encryption key from a shared secret using SHA-512 truncated.
+ *  Must match the production "sha256" helper which uses nacl.hash (SHA-512) [0:32].
+ *
+ *  DO NOT "fix" this to real SHA-256. The name in the sibling implementations
+ *  (`sha256ForNotes`) is a misnomer, but the bytes are load-bearing: changing the
+ *  KDF makes every historical note undecryptable.
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export function kdfSHA512_256(secret) {
+    return nacl.hash(secret).slice(0, 32);
+}
+/** Convert an Ed25519 private seed (32 bytes) to an X25519 scalar.
+ *  Equivalent to ed2curve.convertSecretKey(seed).
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export function ed25519SeedToX25519Private(seed) {
+    const h = nacl.hash(seed); // SHA-512
+    const scalar = h.slice(0, 32);
+    scalar[0] &= 248;
+    scalar[31] &= 127;
+    scalar[31] |= 64;
+    return scalar;
+}
+const P25519 = (1n << 255n) - 19n;
+function modpow25519(b, e) {
+    let r = 1n;
+    b = b % P25519;
+    while (e > 0n) {
+        if (e & 1n)
+            r = (r * b) % P25519;
+        e >>= 1n;
+        b = (b * b) % P25519;
+    }
+    return r;
+}
+/** Convert an Ed25519 compressed public key (32 bytes) to X25519.
+ *  Equivalent to ed2curve.convertPublicKey(pubkey).
+ *  Edwards y-coord → Montgomery u via: u = (1 + y) / (1 - y) (mod p).
+ *
+ *  @internal Exported for `compactNote.ts`. Not part of the stable public API. */
+export function ed25519PublicKeyToX25519(pubkey) {
+    const pk = new Uint8Array(pubkey);
+    pk[31] &= 0x7f; // clear sign bit to get y as LE integer
+    // Decode little-endian y
+    let y = 0n;
+    for (let i = 31; i >= 0; i--)
+        y = (y << 8n) | BigInt(pk[i]);
+    // u = (1 + y) / (1 - y) mod p
+    const num = (1n + y) % P25519;
+    const den = (((1n - y) % P25519) + P25519) % P25519;
+    const u = (num * modpow25519(den, P25519 - 2n)) % P25519;
+    // Encode as 32-byte LE
+    const out = new Uint8Array(32);
+    let v = u;
+    for (let i = 0; i < 32; i++) {
+        out[i] = Number(v & 0xffn);
+        v >>= 8n;
+    }
+    return out;
+}
+// -- Public API ---------------------------------------------------------------
+/**
+ * Encrypt a UTXO note for a recipient identified by their Solana wallet public key.
+ * Produces a blob the relayer will store and serve via POST /notes/save.
+ *
+ * @param recipientWalletPubkey  32-byte Ed25519 public key (wallet.publicKey.toBytes())
+ * @param noteData               UTXO details to encrypt
+ */
+export function encryptBlindMailboxNote(recipientWalletPubkey, noteData) {
+    // 1. Generate ephemeral Ed25519 keypair seed
+    const ephemeralSeed = randomBytes(32);
+    // Ed25519 public key stored by relayer; dapp recovers X25519 via ed2curve.convertPublicKey()
+    const ephemeralEdPublicKey = nacl.sign.keyPair.fromSeed(new Uint8Array(ephemeralSeed)).publicKey;
+    // X25519 scalar (ed2curve.convertSecretKey equivalent)
+    const ephemeralX25519Private = ed25519SeedToX25519Private(new Uint8Array(ephemeralSeed));
+    // X25519 public key (ed2curve.convertPublicKey equivalent)
+    const recipientX25519Public = ed25519PublicKeyToX25519(recipientWalletPubkey);
+    const sharedSecret = nacl.scalarMult(ephemeralX25519Private, recipientX25519Public);
+    const key = kdfSHA512_256(sharedSecret);
+    // JSON format matches production relayer notes schema
+    const hexArr = (b) => Array.from(b)
+        .map((x) => x.toString(16).padStart(2, "0"))
+        .join("");
+    const noteJson = JSON.stringify({
+        blinding: hexArr(noteData.blinding),
+        leafIndex: noteData.leafIndex,
+        commitment: hexArr(noteData.commitment),
+        amount: noteData.amount.toString(),
+        mintAddress: noteData.mintAddress,
+        timestamp: Date.now(),
+        treeId: noteData.treeId,
+    });
+    const nonce = nacl.randomBytes(24);
+    const plaintext = new TextEncoder().encode(noteJson);
+    const encrypted = nacl.secretbox(plaintext, nonce, key);
+    const combined = new Uint8Array(nonce.length + encrypted.length);
+    combined.set(nonce);
+    combined.set(encrypted, nonce.length);
+    const encryptedBlob = Buffer.from(combined).toString("base64");
+    // Return Ed25519 public key (dapp calls ed2curve.convertPublicKey() to recover X25519)
+    return { ephemeralPublicKey: ephemeralEdPublicKey, encryptedBlob };
+}
+/**
+ * Decrypt a Blind Mailbox note using the recipient's Solana wallet private seed.
+ *
+ * @param walletSecretKey  Full 64-byte wallet.secretKey — the first 32 bytes are the seed
+ * @param ephemeralPublicKey  32-byte raw public key stored alongside the encrypted blob.
+ *                            This may be either an Ed25519 pubkey (from Keypair.generate())
+ *                            or a raw X25519 pubkey — the decryption path handles both:
+ *                            if it is an Ed25519 key it is converted; otherwise used directly.
+ * @param encryptedBlob      Base64 string as stored by the relayer
+ */
+export function decryptBlindMailboxNote(walletSecretKey, ephemeralPublicKey, encryptedBlob) {
+    // 1. Derive recipient X25519 from Ed25519 seed
+    const seed = walletSecretKey.slice(0, 32);
+    const myX25519Private = ed25519SeedToX25519Private(seed);
+    // ephemeralPublicKey may be an Ed25519 pubkey (dapp's Keypair.generate()) or raw X25519;
+    // try Ed25519→X25519 conversion first, fall back to using it directly.
+    let theirPublic;
+    try {
+        theirPublic = ed25519PublicKeyToX25519(ephemeralPublicKey);
+    }
+    catch {
+        theirPublic = ephemeralPublicKey; // already X25519
+    }
+    const sharedSecret = nacl.scalarMult(myX25519Private, theirPublic);
+    const key = kdfSHA512_256(sharedSecret);
+    const combined = Buffer.from(encryptedBlob, "base64");
+    const nonce = combined.slice(0, 24);
+    const ciphertext = combined.slice(24);
+    const decrypted = nacl.secretbox.open(new Uint8Array(ciphertext), new Uint8Array(nonce), key);
+    if (!decrypted) {
+        throw new Error("decryptBlindMailboxNote: decryption failed — wrong key or corrupted blob");
+    }
+    const parsed = JSON.parse(new TextDecoder().decode(decrypted));
+    const hexToBytes = (hex) => {
+        const out = new Uint8Array(hex.length / 2);
+        for (let i = 0; i < hex.length; i += 2)
+            out[i / 2] = parseInt(hex.slice(i, i + 2), 16);
+        return out;
+    };
+    return {
+        blinding: hexToBytes(parsed.blinding),
+        leafIndex: parsed.leafIndex,
+        commitment: hexToBytes(parsed.commitment),
+        amount: BigInt(parsed.amount),
+        timestamp: parsed.timestamp ?? 0,
+        mintAddress: parsed.mintAddress,
+        treeId: parsed.treeId,
+    };
+}

package/dist/esm/notes/model.d.ts

@@ -0,0 +1,91 @@
+import { PublicKey } from "@solana/web3.js";
+/**
+ * Keypair for UTXO ownership.
+ * Public key is derived via Poseidon: pubkey = Poseidon(privateKey)
+ */
+export type Keypair = {
+    privateKey: bigint;
+    publicKey: bigint;
+};
+/**
+ * UTXO structure matching the circuit's UTXOCommitment template.
+ * commitment = Poseidon(amount, pubkey, blinding, mintAddress)
+ */
+export type UTXO = {
+    /** Amount in lamports/token units */
+    amount: bigint;
+    /** Owner's public key (derived from private key via Poseidon) */
+    pubkey: bigint;
+    /** Random blinding factor for commitment privacy */
+    blinding: bigint;
+    /** Token mint address as field element */
+    mintAddress: bigint;
+};
+/**
+ * Serialized UTXO with precomputed commitment and optional ownership data.
+ */
+export type SerializedUTXO = UTXO & {
+    /** 32-byte commitment: Poseidon(amount, pubkey, blinding, mintAddress) */
+    commitment: Uint8Array;
+    /** Private key for spending (only present for owned UTXOs) */
+    privateKey?: bigint;
+    /** Leaf index in the Merkle tree (set after insertion) */
+    pathIndex?: number;
+};
+/**
+ * Input UTXO with Merkle proof data for spending.
+ */
+export type InputUTXO = SerializedUTXO & {
+    /** Leaf index in the Merkle tree */
+    pathIndex: number;
+    /** Merkle path elements (sibling hashes from leaf to root) */
+    pathElements: Uint8Array[];
+    /** Private key for nullifier derivation */
+    privateKey: bigint;
+};
+/**
+ * Generate a random keypair.
+ * Private key is a random 32-byte scalar.
+ * Public key is derived via Poseidon: pubkey = Poseidon(privateKey)
+ */
+export declare function generateKeypair(): Keypair;
+/**
+ * Derive public key from private key.
+ * Matches circuit's Keypair template: publicKey = Poseidon(privateKey)
+ */
+export declare function derivePublicKey(privateKey: bigint): bigint;
+/**
+ * Create keypair from a known private key.
+ */
+export declare function keypairFromPrivateKey(privateKey: bigint): Keypair;
+/**
+ * Compute UTXO commitment.
+ * Matches circuit's UTXOCommitment template:
+ *   commitment = Poseidon(amount, pubkey, blinding, mintAddress)
+ */
+export declare function commitUTXO(utxo: UTXO): Uint8Array;
+/**
+ * Create a random UTXO with the given parameters.
+ */
+export declare function createUTXO(params: {
+    amount: bigint;
+    pubkey: bigint;
+    mintAddress: PublicKey;
+}): SerializedUTXO;
+/**
+ * Create a UTXO with a specified private key (for owned UTXOs).
+ */
+export declare function createOwnedUTXO(params: {
+    amount: bigint;
+    privateKey: bigint;
+    mintAddress: PublicKey;
+}): SerializedUTXO;
+/**
+ * Create a zero UTXO (for deposits where no input exists).
+ * Zero UTXOs have amount=0 and are used as placeholders in 2-in-2-out transactions.
+ */
+export declare function createZeroUTXO(pubkey: bigint, mintAddress: PublicKey): SerializedUTXO;
+/**
+ * Create a zero UTXO with private key (for owned zero UTXOs).
+ */
+export declare function createOwnedZeroUTXO(privateKey: bigint, mintAddress: PublicKey): SerializedUTXO;