@bitgo/wasm-utxo 4.40.0 → 5.0.0

package/dist/cjs/js/address.d.ts

@@ -5,12 +5,8 @@ import type { CoinName } from "./coinName.js";
  */
 export type AddressFormat = "default" | "cashaddr";
 /**
- * @param canBeShieldedOutput - When set and `address` is a ZIP-316 unified address carrying an
- * Orchard/Ironwood receiver, returns that raw 43-byte receiver instead of a transparent
- * scriptPubKey (there is no scriptPubKey for a shielded output). `address` is only even
- * attempted as a unified address when this is set. If `address` looks like a unified address for
- * this coin's network but is malformed, or has no Orchard/Ironwood receiver (e.g. Sapling-only),
- * this throws rather than falling back to the transparent path.
+ * Convert `address` to its scriptPubKey bytes for `coin`, decoding it as an ordinary transparent
+ * address.
  */
-export declare function toOutputScriptWithCoin(address: string, coin: CoinName, canBeShieldedOutput?: boolean): Uint8Array;
+export declare function toOutputScriptWithCoin(address: string, coin: CoinName): Uint8Array;
 export declare function fromOutputScriptWithCoin(script: Uint8Array, coin: CoinName, format?: AddressFormat): string;

package/dist/cjs/js/address.js

@@ -4,15 +4,11 @@ exports.toOutputScriptWithCoin = toOutputScriptWithCoin;
 exports.fromOutputScriptWithCoin = fromOutputScriptWithCoin;
 const wasm_utxo_js_1 = require("./wasm/wasm_utxo.js");
 /**
- * @param canBeShieldedOutput - When set and `address` is a ZIP-316 unified address carrying an
- * Orchard/Ironwood receiver, returns that raw 43-byte receiver instead of a transparent
- * scriptPubKey (there is no scriptPubKey for a shielded output). `address` is only even
- * attempted as a unified address when this is set. If `address` looks like a unified address for
- * this coin's network but is malformed, or has no Orchard/Ironwood receiver (e.g. Sapling-only),
- * this throws rather than falling back to the transparent path.
+ * Convert `address` to its scriptPubKey bytes for `coin`, decoding it as an ordinary transparent
+ * address.
  */
-function toOutputScriptWithCoin(address, coin, canBeShieldedOutput) {
-    return wasm_utxo_js_1.AddressNamespace.to_output_script_with_coin(address, coin, canBeShieldedOutput);
+function toOutputScriptWithCoin(address, coin) {
+    return wasm_utxo_js_1.AddressNamespace.to_output_script_with_coin(address, coin);
 }
 function fromOutputScriptWithCoin(script, coin, format) {
     return wasm_utxo_js_1.AddressNamespace.from_output_script_with_coin(script, coin, format);

package/dist/cjs/js/fixedScriptWallet/Dimensions.d.ts

@@ -1,3 +1,4 @@
+import { WasmDimensions } from "../wasm/wasm_utxo.js";
 import type { BitGoPsbt, InputScriptType, SignPath } from "./BitGoPsbt.js";
 import type { CoinName } from "../coinName.js";
 import type { OutputScriptType } from "./scriptType.js";
@@ -17,16 +18,6 @@ export type FromInputOptions = {
      */
     utxolibCompat?: boolean;
 };
-/**
- * Options for output dimension calculation
- */
-export type FromOutputOptions = {
-    /**
-     * Set when `address` may be a ZIP-316 Unified Address whose Orchard receiver should be sized
-     * as a shielded output. Forwarded to `toOutputScriptWithCoin`'s `canBeShieldedOutput`.
-     */
-    isShielded?: boolean;
-};
 /**
  * Dimensions class for estimating transaction virtual size.
  *
@@ -37,7 +28,7 @@ export type FromOutputOptions = {
  */
 export declare class Dimensions {
     private _wasm;
-    private constructor();
+    protected constructor(_wasm: WasmDimensions);
     /**
      * Create empty dimensions (zero weight)
      */
@@ -62,12 +53,10 @@ export declare class Dimensions {
      */
     static fromOutput(script: Uint8Array): Dimensions;
     /**
-     * Create dimensions for a single output from an address.
-     *
-     * Pass `{ isShielded: true }` when `address` may be a ZIP-316 Unified Address whose Orchard
-     * receiver should be sized as a shielded output
+     * Create dimensions for a single output from an address, decoded as an ordinary transparent
+     * address for `network`.
      */
-    static fromOutput(address: string, network: CoinName, options?: FromOutputOptions): Dimensions;
+    static fromOutput(address: string, network: CoinName): Dimensions;
     /**
      * Create dimensions for a single output from script length only
      */

package/dist/cjs/js/fixedScriptWallet/Dimensions.js

@@ -45,12 +45,12 @@ class Dimensions {
         }
         return new Dimensions(wasm_utxo_js_1.WasmDimensions.from_input(params.chain, params.signPath?.signer, params.signPath?.cosigner, compat));
     }
-    static fromOutput(params, network, options) {
+    static fromOutput(params, network) {
         if (typeof params === "string") {
             if (network === undefined) {
                 throw new Error("network is required when passing an address string");
             }
-            const script = (0, address_js_1.toOutputScriptWithCoin)(params, network, options?.isShielded);
+            const script = (0, address_js_1.toOutputScriptWithCoin)(params, network);
             return new Dimensions(wasm_utxo_js_1.WasmDimensions.from_output_script_length(script.length));
         }
         if (typeof params === "object" && "scriptType" in params) {

package/dist/cjs/js/fixedScriptWallet/ZcashDimensions.d.ts

@@ -0,0 +1,45 @@
+import type { CoinName } from "../coinName.js";
+import type { OutputScriptType } from "./scriptType.js";
+import { Dimensions } from "./Dimensions.js";
+/**
+ * Options for {@link ZcashDimensions.fromOutput}.
+ */
+export type ZcashFromOutputOptions = {
+    /**
+     * Set when `address` may be a ZIP-316 Unified Address whose Orchard receiver should be sized
+     * as a shielded output. Forwarded to `zcashAddress.toShieldedReceiverWithCoin`; when unset,
+     * `zcashAddress.toTransparentReceiverWithCoin` is used instead.
+     */
+    isShielded?: boolean;
+};
+/**
+ * Zcash-specific dimensions: resolves ZIP-316 Unified Addresses (transparent or Orchard/Ironwood
+ * shielded receiver) instead of the plain transparent-only decoding {@link Dimensions.fromOutput}
+ * does for every other coin.
+ */
+export declare class ZcashDimensions extends Dimensions {
+    /**
+     * Create dimensions for a single output from script bytes
+     */
+    static fromOutput(script: Uint8Array): Dimensions;
+    /**
+     * Create dimensions for a single output from a Zcash address for `network`.
+     *
+     * Pass `{ isShielded: true }` when `address` may be a ZIP-316 Unified Address whose Orchard
+     * receiver should be sized as a shielded output; otherwise its transparent receiver is
+     * resolved (a UA with no transparent receiver throws rather than falling back to Orchard).
+     */
+    static fromOutput(address: string, network: CoinName, options?: ZcashFromOutputOptions): Dimensions;
+    /**
+     * Create dimensions for a single output from script length only
+     */
+    static fromOutput(params: {
+        length: number;
+    }): Dimensions;
+    /**
+     * Create dimensions for a single output from script type
+     */
+    static fromOutput(params: {
+        scriptType: OutputScriptType;
+    }): Dimensions;
+}

package/dist/cjs/js/fixedScriptWallet/ZcashDimensions.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ZcashDimensions = void 0;
+const wasm_utxo_js_1 = require("../wasm/wasm_utxo.js");
+const zcashAddress_js_1 = require("../zcashAddress.js");
+const Dimensions_js_1 = require("./Dimensions.js");
+/**
+ * Zcash-specific dimensions: resolves ZIP-316 Unified Addresses (transparent or Orchard/Ironwood
+ * shielded receiver) instead of the plain transparent-only decoding {@link Dimensions.fromOutput}
+ * does for every other coin.
+ */
+class ZcashDimensions extends Dimensions_js_1.Dimensions {
+    static fromOutput(params, network, options) {
+        if (typeof params === "string") {
+            if (network === undefined) {
+                throw new Error("network is required when passing an address string");
+            }
+            const receiver = options?.isShielded
+                ? (0, zcashAddress_js_1.toShieldedReceiverWithCoin)(params, network)
+                : (0, zcashAddress_js_1.toTransparentReceiverWithCoin)(params, network);
+            return new ZcashDimensions(wasm_utxo_js_1.WasmDimensions.from_output_script_length(receiver.length));
+        }
+        if (typeof params === "object" && "scriptType" in params) {
+            return Dimensions_js_1.Dimensions.fromOutput(params);
+        }
+        // Both Uint8Array and { length: number } have .length
+        return Dimensions_js_1.Dimensions.fromOutput(params);
+    }
+}
+exports.ZcashDimensions = ZcashDimensions;

package/dist/cjs/js/fixedScriptWallet/ZcashIronwoodWitness.d.ts

@@ -0,0 +1,31 @@
+import { IronwoodWitness as WasmIronwoodWitness } from "../wasm/wasm_utxo.js";
+/**
+ * A validated Merkle witness for an Ironwood/Orchard note commitment.
+ *
+ * Build with {@link ZcashIronwoodWitness.build}: `cmx` is the note commitment being
+ * witnessed, `authPath` must be exactly 32 sibling hashes (32 bytes each, leaf-to-root
+ * order), and `anchor` is the expected note-commitment-tree root. Throws if any input
+ * isn't a canonical field element, or if the witness doesn't recompute to `anchor`.
+ *
+ * wasm-utxo has no chain state, so the raw sibling-hash path must be supplied by the
+ * caller (typically BitGo's backend, querying a Zcash-aware service).
+ */
+export declare class ZcashIronwoodWitness {
+    private _wasm;
+    private constructor();
+    /**
+     * Build and validate a Merkle witness for an Ironwood/Orchard note commitment.
+     * @throws If any input isn't a canonical field element, or the witness doesn't
+     *   recompute to `anchor`
+     */
+    static build(cmx: Uint8Array, position: number, authPath: Uint8Array[], anchor: Uint8Array): ZcashIronwoodWitness;
+    /** The leaf's position in the note commitment tree. */
+    get position(): number;
+    /**
+     * The 32 sibling hashes (leaf-to-root order), flattened into a single 1024-byte array
+     * (32 hashes × 32 bytes each).
+     */
+    get authPath(): Uint8Array;
+    /** @internal */
+    get wasm(): WasmIronwoodWitness;
+}

package/dist/cjs/js/fixedScriptWallet/ZcashIronwoodWitness.js

@@ -0,0 +1,45 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ZcashIronwoodWitness = void 0;
+const wasm_utxo_js_1 = require("../wasm/wasm_utxo.js");
+/**
+ * A validated Merkle witness for an Ironwood/Orchard note commitment.
+ *
+ * Build with {@link ZcashIronwoodWitness.build}: `cmx` is the note commitment being
+ * witnessed, `authPath` must be exactly 32 sibling hashes (32 bytes each, leaf-to-root
+ * order), and `anchor` is the expected note-commitment-tree root. Throws if any input
+ * isn't a canonical field element, or if the witness doesn't recompute to `anchor`.
+ *
+ * wasm-utxo has no chain state, so the raw sibling-hash path must be supplied by the
+ * caller (typically BitGo's backend, querying a Zcash-aware service).
+ */
+class ZcashIronwoodWitness {
+    _wasm;
+    constructor(_wasm) {
+        this._wasm = _wasm;
+    }
+    /**
+     * Build and validate a Merkle witness for an Ironwood/Orchard note commitment.
+     * @throws If any input isn't a canonical field element, or the witness doesn't
+     *   recompute to `anchor`
+     */
+    static build(cmx, position, authPath, anchor) {
+        return new ZcashIronwoodWitness((0, wasm_utxo_js_1.ironwood_build_witness)(cmx, position, authPath, anchor));
+    }
+    /** The leaf's position in the note commitment tree. */
+    get position() {
+        return this._wasm.position;
+    }
+    /**
+     * The 32 sibling hashes (leaf-to-root order), flattened into a single 1024-byte array
+     * (32 hashes × 32 bytes each).
+     */
+    get authPath() {
+        return this._wasm.auth_path;
+    }
+    /** @internal */
+    get wasm() {
+        return this._wasm;
+    }
+}
+exports.ZcashIronwoodWitness = ZcashIronwoodWitness;

package/dist/cjs/js/fixedScriptWallet/ZcashUnifiedAddress.d.ts

@@ -15,6 +15,8 @@ import type { ZcashNetworkName } from "./ZcashBitGoPsbt.js";
  * const ua = ZcashUnifiedAddress.parse(uaString, "zec");
  * const ironwood = ua.orchardReceiver;      // 43 bytes, or undefined
  * const script = ua.transparentScript;      // scriptPubKey bytes, or undefined
+ * ua.hasOrchardReceiver;                    // true iff orchardReceiver is present
+ * ua.hasTransparentReceiver;                // true iff transparentScript is present
  * ua.contains(transparentAddress);          // is it one of this UA's receivers?
  * ```
  */
@@ -43,6 +45,20 @@ export declare class ZcashUnifiedAddress {
      * a `TxOut.scriptPubKey`, or `undefined` if the UA has no transparent receiver.
      */
     get transparentScript(): Uint8Array | undefined;
+    /**
+     * Whether this Unified Address carries an Orchard/Ironwood receiver.
+     *
+     * Equivalent to `orchardReceiver !== undefined`; prefer this when only presence
+     * matters, since it avoids copying the receiver bytes.
+     */
+    get hasOrchardReceiver(): boolean;
+    /**
+     * Whether this Unified Address carries a transparent (P2PKH/P2SH) receiver.
+     *
+     * Equivalent to `transparentScript !== undefined`; prefer this when only presence
+     * matters, since it avoids copying the script bytes.
+     */
+    get hasTransparentReceiver(): boolean;
     /**
      * Whether `candidate` is a receiver of this unified address.
      *

package/dist/cjs/js/fixedScriptWallet/ZcashUnifiedAddress.js

@@ -17,6 +17,8 @@ const wasm_utxo_js_1 = require("../wasm/wasm_utxo.js");
  * const ua = ZcashUnifiedAddress.parse(uaString, "zec");
  * const ironwood = ua.orchardReceiver;      // 43 bytes, or undefined
  * const script = ua.transparentScript;      // scriptPubKey bytes, or undefined
+ * ua.hasOrchardReceiver;                    // true iff orchardReceiver is present
+ * ua.hasTransparentReceiver;                // true iff transparentScript is present
  * ua.contains(transparentAddress);          // is it one of this UA's receivers?
  * ```
  */
@@ -55,6 +57,24 @@ class ZcashUnifiedAddress {
     get transparentScript() {
         return this._wasm.transparentScript;
     }
+    /**
+     * Whether this Unified Address carries an Orchard/Ironwood receiver.
+     *
+     * Equivalent to `orchardReceiver !== undefined`; prefer this when only presence
+     * matters, since it avoids copying the receiver bytes.
+     */
+    get hasOrchardReceiver() {
+        return this._wasm.hasOrchardReceiver;
+    }
+    /**
+     * Whether this Unified Address carries a transparent (P2PKH/P2SH) receiver.
+     *
+     * Equivalent to `transparentScript !== undefined`; prefer this when only presence
+     * matters, since it avoids copying the script bytes.
+     */
+    get hasTransparentReceiver() {
+        return this._wasm.hasTransparentReceiver;
+    }
     /**
      * Whether `candidate` is a receiver of this unified address.
      *

package/dist/cjs/js/fixedScriptWallet/index.d.ts

@@ -12,6 +12,7 @@ export { ZcashBitGoPsbt, type ZcashNetworkName, type ZcashParsedOutput, type Cre
 export { ZcashIronwoodBitGoPsbt, zip302NoMemo, type CreateEmptyIronwoodOptions, type CreateEmptyIronwoodWithConsensusBranchIdOptions, } from "./ZcashIronwoodBitGoPsbt.js";
 export { ZcashUnifiedAddress } from "./ZcashUnifiedAddress.js";
 export { ZcashV6Transaction } from "./ZcashV6Transaction.js";
+export { ZcashIronwoodWitness } from "./ZcashIronwoodWitness.js";
 import type { ScriptType } from "./scriptType.js";
 /**
  * Check if a network supports a given fixed-script wallet script type

package/dist/cjs/js/fixedScriptWallet/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ZcashV6Transaction = exports.ZcashUnifiedAddress = exports.zip302NoMemo = exports.ZcashIronwoodBitGoPsbt = exports.IRONWOOD_VERSION_GROUP_ID = exports.ZcashBitGoPsbt = exports.BitGoKeySubtype = exports.getWalletKeysFromPsbt = exports.BitGoPsbt = exports.requiresPrevTxForP2sh = exports.assertChainCode = exports.chainCodes = exports.ChainCode = exports.inputScriptTypes = exports.outputScriptTypes = exports.Dimensions = exports.address = exports.outputScript = exports.ReplayProtection = exports.RootWalletKeys = void 0;
+exports.ZcashIronwoodWitness = exports.ZcashV6Transaction = exports.ZcashUnifiedAddress = exports.zip302NoMemo = exports.ZcashIronwoodBitGoPsbt = exports.IRONWOOD_VERSION_GROUP_ID = exports.ZcashBitGoPsbt = exports.BitGoKeySubtype = exports.getWalletKeysFromPsbt = exports.BitGoPsbt = exports.requiresPrevTxForP2sh = exports.assertChainCode = exports.chainCodes = exports.ChainCode = exports.inputScriptTypes = exports.outputScriptTypes = exports.Dimensions = exports.address = exports.outputScript = exports.ReplayProtection = exports.RootWalletKeys = void 0;
 exports.supportsScriptType = supportsScriptType;
 exports.createOpReturnScript = createOpReturnScript;
 exports.p2shP2pkOutputScript = p2shP2pkOutputScript;
@@ -44,6 +44,9 @@ Object.defineProperty(exports, "ZcashUnifiedAddress", { enumerable: true, get: f
 // Zcash v6 (Ironwood / NU6.3) transaction
 var ZcashV6Transaction_js_1 = require("./ZcashV6Transaction.js");
 Object.defineProperty(exports, "ZcashV6Transaction", { enumerable: true, get: function () { return ZcashV6Transaction_js_1.ZcashV6Transaction; } });
+// Zcash v6 (Ironwood / NU6.3) Merkle witness
+var ZcashIronwoodWitness_js_1 = require("./ZcashIronwoodWitness.js");
+Object.defineProperty(exports, "ZcashIronwoodWitness", { enumerable: true, get: function () { return ZcashIronwoodWitness_js_1.ZcashIronwoodWitness; } });
 /**
  * Check if a network supports a given fixed-script wallet script type
  *

package/dist/cjs/js/index.d.ts

@@ -1,4 +1,5 @@
 export * as address from "./address.js";
+export * as zcashAddress from "./zcashAddress.js";
 export * as ast from "./ast/index.js";
 export * as bip322 from "./bip322/index.js";
 export * as inscriptions from "./inscriptions.js";
@@ -11,6 +12,7 @@ export * as ecpair from "./ecpair.js";
 export { ECPair } from "./ecpair.js";
 export { BIP32 } from "./bip32.js";
 export { Dimensions } from "./fixedScriptWallet/Dimensions.js";
+export { ZcashDimensions } from "./fixedScriptWallet/ZcashDimensions.js";
 export type WasmUtxoVersionInfo = {
     version: string;
     gitHash: string;

package/dist/cjs/js/index.js

@@ -33,7 +33,7 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.hasPsbtMagic = exports.ZcashTransaction = exports.Transaction = exports.DashTransaction = exports.Psbt = exports.Miniscript = exports.Descriptor = exports.requiresPrevTxForP2sh = exports.isCoinName = exports.isTestnet = exports.isMainnet = exports.getMainnet = exports.Dimensions = exports.BIP32 = exports.ECPair = exports.ecpair = exports.bip32 = exports.descriptorWallet = exports.fixedScriptWallet = exports.utxolibCompat = exports.message = exports.inscriptions = exports.bip322 = exports.ast = exports.address = void 0;
+exports.hasPsbtMagic = exports.ZcashTransaction = exports.Transaction = exports.DashTransaction = exports.Psbt = exports.Miniscript = exports.Descriptor = exports.requiresPrevTxForP2sh = exports.isCoinName = exports.isTestnet = exports.isMainnet = exports.getMainnet = exports.ZcashDimensions = exports.Dimensions = exports.BIP32 = exports.ECPair = exports.ecpair = exports.bip32 = exports.descriptorWallet = exports.fixedScriptWallet = exports.utxolibCompat = exports.message = exports.inscriptions = exports.bip322 = exports.ast = exports.zcashAddress = exports.address = void 0;
 exports.getWasmUtxoVersion = getWasmUtxoVersion;
 exports.isWasmUtxoError = isWasmUtxoError;
 const wasm = __importStar(require("./wasm/wasm_utxo.js"));
@@ -44,6 +44,7 @@ void wasm;
 // Most exports are namespaced to avoid polluting the top-level namespace
 // and to make imports more explicit (e.g., `import { address } from '@bitgo/wasm-utxo'`)
 exports.address = __importStar(require("./address.js"));
+exports.zcashAddress = __importStar(require("./zcashAddress.js"));
 exports.ast = __importStar(require("./ast/index.js"));
 exports.bip322 = __importStar(require("./bip322/index.js"));
 exports.inscriptions = __importStar(require("./inscriptions.js"));
@@ -60,6 +61,8 @@ var bip32_js_1 = require("./bip32.js");
 Object.defineProperty(exports, "BIP32", { enumerable: true, get: function () { return bip32_js_1.BIP32; } });
 var Dimensions_js_1 = require("./fixedScriptWallet/Dimensions.js");
 Object.defineProperty(exports, "Dimensions", { enumerable: true, get: function () { return Dimensions_js_1.Dimensions; } });
+var ZcashDimensions_js_1 = require("./fixedScriptWallet/ZcashDimensions.js");
+Object.defineProperty(exports, "ZcashDimensions", { enumerable: true, get: function () { return ZcashDimensions_js_1.ZcashDimensions; } });
 function getWasmUtxoVersion() {
     return wasm_utxo_js_1.WasmUtxoNamespace.get_wasm_utxo_version();
 }

package/dist/cjs/js/wasm/wasm_utxo.d.ts

@@ -7,12 +7,9 @@ export class AddressNamespace {
     [Symbol.dispose](): void;
     static from_output_script_with_coin(script: Uint8Array, coin: string, format?: string | null): string;
     /**
-     * `can_be_shielded_output`: when set and `address` is a ZIP-316 unified address carrying an
-     * Orchard/Ironwood receiver, returns that raw 43-byte receiver instead of a transparent
-     * scriptPubKey. See [`to_output_script_or_shielded_receiver_with_coin`] for the exact
-     * fallback/error rules.
+     * Convert `address` to its scriptPubKey bytes for `coin`.
      */
-    static to_output_script_with_coin(address: string, coin: string, can_be_shielded_output?: boolean | null): Uint8Array;
+    static to_output_script_with_coin(address: string, coin: string): Uint8Array;
 }
 
 /**
@@ -984,6 +981,27 @@ export class InscriptionsNamespace {
     static sign_reveal_transaction(private_key: Uint8Array, tap_leaf_script: any, commit_tx: WasmTransaction, commit_output_script: Uint8Array, recipient_output_script: Uint8Array, output_value_sats: bigint): Uint8Array;
 }
 
+/**
+ * A validated Merkle witness for an Ironwood/Orchard note commitment, from
+ * [`ironwood_build_witness`].
+ *
+ * Not yet installed anywhere — see [`ironwood_build_witness`]'s docs.
+ */
+export class IronwoodWitness {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    /**
+     * The 32 sibling hashes (leaf-to-root order), flattened into a single 1024-byte array
+     * (32 hashes × 32 bytes each).
+     */
+    readonly auth_path: Uint8Array;
+    /**
+     * The leaf's position in the note commitment tree.
+     */
+    readonly position: number;
+}
+
 export class MessageNamespace {
     private constructor();
     free(): void;
@@ -1777,6 +1795,20 @@ export class ZcashUnifiedAddress {
      * below are infallible. Throws if the address is malformed or on the wrong network.
      */
     static parse(address: string, network: string): ZcashUnifiedAddress;
+    /**
+     * Whether this Unified Address carries an Orchard/Ironwood receiver.
+     *
+     * Equivalent to `orchardReceiver !== undefined`, without cloning the receiver bytes
+     * when the caller only needs presence.
+     */
+    readonly hasOrchardReceiver: boolean;
+    /**
+     * Whether this Unified Address carries a transparent (P2PKH/P2SH) receiver.
+     *
+     * Equivalent to `transparentScript !== undefined`, without cloning the script bytes
+     * when the caller only needs presence.
+     */
+    readonly hasTransparentReceiver: boolean;
     /**
      * The Orchard/Ironwood receiver's raw 43 bytes (diversifier + pk_d), or `undefined`.
      */
@@ -1861,6 +1893,19 @@ export class ZcashV6Transaction {
     readonly ironwoodValueBalance: bigint;
 }
 
+/**
+ * Build and validate a Merkle witness for an Ironwood/Orchard note commitment.
+ *
+ * `cmx` is the note commitment being witnessed; `auth_path` must be exactly 32 sibling hashes (32
+ * bytes each), leaf-to-root order; `anchor` is the expected note-commitment-tree root. Throws if
+ * any input isn't a canonical field element, or if the witness doesn't recompute to `anchor`.
+ *
+ * This crate has no chain state, so the raw sibling-hash path must be supplied by the caller
+ * (typically BitGo's backend, querying a Zcash-aware service). The returned witness is not yet
+ * installed anywhere — hook it into a spend once real-spend construction exists.
+ */
+export function ironwood_build_witness(cmx: Uint8Array, position: number, auth_path: Uint8Array[], anchor: Uint8Array): IronwoodWitness;
+
 /**
  * Check if the inspect feature is enabled.
  *
@@ -1932,6 +1977,43 @@ export function parsePsbtToJson(psbt_bytes: Uint8Array, coin_name: string): stri
  */
 export function parseTxToJson(tx_bytes: Uint8Array, coin_name: string): string;
 
+/**
+ * Whether `address` is a ZIP-316 unified address for `coin`'s network carrying an
+ * Orchard/Ironwood receiver. `false` (never throws) for a malformed/wrong-network unified
+ * address, an ordinary address, or a UA with no Orchard/Ironwood receiver.
+ */
+export function zcashHasOrchardReceiver(address: string, coin: string): boolean;
+
+/**
+ * Whether `address` has a usable transparent receiver for `coin`'s network: either it's a
+ * unified address carrying a transparent receiver, or it's itself a valid transparent address
+ * for `coin`. `false` (never throws) otherwise.
+ */
+export function zcashHasTransparentReceiver(address: string, coin: string): boolean;
+
+export function zcashToShieldedReceiverWithCoin(address: string, coin: string): Uint8Array;
+
+/**
+ * Resolve the Orchard/Ironwood receiver of a ZIP-316 unified address for `coin`'s network, as
+ * its raw 43 bytes (diversifier + `pk_d`) — there is no scriptPubKey for a shielded output, so
+ * this can't return script bytes uniformly and returns raw receiver bytes instead.
+ *
+ * A UA that has no Orchard/Ironwood receiver (e.g. Sapling-only) throws rather than falling back
+ * to the transparent receiver. If `address` merely looks like a unified address for this coin's
+ * network (right Bech32m HRP) but is malformed, this also throws. `address` must be a unified
+ * address — an ordinary transparent address is rejected, since it can never carry a shielded
+ * receiver; use {@link toOutputScriptWithCoin} in `js/address.ts` for the transparent case.
+ * Resolve the transparent receiver of an `address` for `coin`'s network, as its scriptPubKey
+ * bytes. When `address` is a ZIP-316 unified address, resolves its transparent receiver rather
+ * than rejecting the UA string outright — a UA with no transparent receiver (e.g. Orchard-only)
+ * throws rather than falling back to a shielded one. An ordinary (non-UA) address falls through
+ * to the same transparent codec path as any other coin.
+ *
+ * This is the zcash-aware counterpart of `toOutputScriptWithCoin` in `js/address.ts`, which
+ * dispatches here for zcash/tzec so that non-zcash coins never pay for a unified-address check.
+ */
+export function zcashToTransparentReceiverWithCoin(address: string, coin: string): Uint8Array;
+
 /**
  * Return the Zcash consensus branch ID active at `height` on `network`.
  *