@nockchain/rose-ts 0.1.1-alpha

package/README.md

@@ -0,0 +1,373 @@
+# @nockchain/rose-ts
+
+Pure TypeScript Nockchain wallet primitives — a curated drop-in for protocol-facing APIs in `@nockchain/rose-wasm`, without a WebAssembly runtime.
+
+Use it in Node.js, browsers, React Native, Cloudflare Workers, or anywhere you want Nockchain cryptography and transaction semantics in plain TS.
+
+**Parity bar:** 78 vitest tests compare implemented exports against `@nockchain/rose-wasm` as the oracle. See [roadmap.md](./roadmap.md) for coverage detail.
+
+## Install
+
+```bash
+npm install @nockchain/rose-ts
+```
+
+---
+
+## Wasm parity overview
+
+| | `@nockchain/iris-wasm` | `@nockchain/rose-ts` |
+|--|------------------------|----------------------|
+| Surface | ~280 functions + 4 classes | Curated wallet / v1-tx subset |
+| Runtime | Wasm init required | Plain TS / ESM |
+| v0 tx construction | Supported | **Out of scope** (v0 decode in protobuf OK) |
+| Noun codecs | `*FromNoun` / `*ToNoun` / `*Hash` per type | Selected hash helpers only |
+| gRPC client | `GrpcClient` | `RpcClient` (+ deprecated `GrpcClient` alias) |
+| SLIP-10 / signing | `PrivateKey`, `ExtendedKey` | ✅ parity (`PrivateKey`, `ExtendedKey`) |
+
+---
+
+## APIs only in rose-ts (not wasm)
+
+These helpers exist in pure TS to cover wallet flows wasm does not export as standalone functions:
+
+### Witness assembly (manual spends)
+
+| API | Description |
+|-----|-------------|
+| `lockMerkleProofFromLock(lock, index)` | Merkle proof for spending `lock` at spend-condition index |
+| `witnessNew(lock, index)` | Empty witness shell (`Witness::new`) |
+| `witnessFromLock` | Alias of `witnessNew` |
+| `witnessFromLockMerkleProof(lmp, pkhSigs?, haxMap?)` | Build witness from parts |
+| `witnessClearSignatures(witness)` | Strip `pkh_signature` / `hax_map` |
+| `witnessWithPkhSignature(witness, [pkh, [pubkeyB58, sig]])` | Immutable witness + PKH sig |
+| `witnessWithHaxPreimage(witness, digest, noun)` | Immutable witness + hax preimage |
+| `spendV1FromLock(lock, lockSpIndex, seeds, fee, unlocks?)` | One-shot witness spend constructor |
+
+`SpendBuilder` extras for manual assembly:
+
+| API | Description |
+|-----|-------------|
+| `SpendBuilder.newFromWitness(note, witness, refundLock?)` | Start a spend from a pre-built witness |
+| `setWitness(witness)` | Replace witness (invalidates sigs) |
+| `pushPkhSignature(pkh, pubkeyBase58, signature)` | Add/update a PKH unlock |
+| `pushHaxPreimage(digest, preimageNoun)` | Add/update a hax unlock |
+
+Wasm equivalent today: build witness in Rust via `SpendBuilder.new(note, lock, index)` only; no standalone witness helpers.
+
+### HTLC / multisig spend helpers
+
+| API | Description |
+|-----|-------------|
+| `htlcOrLock(hNock, buyerPkh, sellerPkh, refundHeight)` | OR(claim \| refund) lock tree |
+| `htlcLockRootDigest(...)` | Digest of HTLC lock root |
+| `multisigLock(m, pkhDigests)` | Single-leaf m-of-n PKH lock |
+| `TxBuilder.simpleSpendWithLocks(notes, locks, lockSpIndices, …, options?)` | Explicit lock + index per note; optional `preimageJam` + `outputExtras` |
+| `TxBuilder.simpleSpendHtlc(notes, locks, lockSpIndex, …, options?)` | HTLC: index `0` = claim (requires `preimageJam`), `1` = refund |
+| `TxBuilder.simpleSpendMultisig(notes, locks, lockSpIndex, …, outputExtras?)` | Wrapper over `simpleSpendWithLocks` |
+
+Wasm has only `TxBuilder.simpleSpend(notes, locks, recipient, gift, fee, refundPkh, includeLockData)` — no HTLC/multisig wrappers, no memo/blob on seeds.
+
+### Note-data memo / blob ([nockchain#116](https://github.com/nockchain/nockchain/pull/116))
+
+| API | Description |
+|-----|-------------|
+| `noteDataPushMemo(data, utf8)` | Push `%memo` (non-empty UTF-8) |
+| `noteDataPushBlob(data, utf8)` | Push `%blob` (trimmed UTF-8; empty omits) |
+| `decodePackedBlobUtf8(jamBytes)` | Decode packed belt jam → UTF-8 |
+| `decodeNoteDataPackedUtf8(noun)` | Decode note-data entry value |
+| `encodeBlobBelts(bytes)` | Length-prefixed LE u32 belt packing |
+
+Encoding uses `vecToNoun` (proper list with trailing `0`), matching wallet / explorer jam. Decoder accepts both proper and improper lists.
+
+### Transaction helpers
+
+| API | Description |
+|-----|-------------|
+| `rawTxV1ToNockchainTx(raw)` | Inverse of `nockchainTxToRawTx` |
+| `spendsV1ApplyWitness(spends, witnessData)` | Reattach witness payloads |
+| `nockchainTxOutputs`, `rawTxV1Outputs` | Derive output notes from a tx |
+
+### Crypto
+
+| API | Description |
+|-----|-------------|
+| `PublicKey` class | `fromBeBytes`, `fromHex`, `toHex`, `verify(digest, sig)` |
+| `publicKeyFromHex`, `publicKeyToHex`, `publicKeyVerify` | Functional wrappers |
+
+Wasm exposes `PublicKey` as a type alias to `CheetahPoint` with free functions (`publicKeyFromHex`, …), not a TS class.
+
+---
+
+## Rose-ts extensions to wasm APIs
+
+| Wasm API | Rose-ts difference |
+|----------|-------------------|
+| `TxBuilder.simpleSpend(...)` | **8th argument** `outputExtras?: { memo?, blob? }` on output seeds |
+| `SpendBuilder.addPreimage` / `TxBuilder.addPreimage` | See [behavioral differences](#behavioral-differences-vs-wasm) below |
+| `rawTxFromProtobuf` | Decodes **legacy (v0) spends** inside v1 raw txs (wasm path); rose-ts implements both witness and legacy branches |
+| `GrpcClient` | Prefer `RpcClient` — same wire, clearer naming |
+
+---
+
+## Behavioral differences vs wasm
+
+### Hax preimage hashing (`addPreimage`)
+
+- **HTLC / wallet convention:** Hax preimages in lock trees use the **structural** hash-noun digest (`hashPreimage` / `hashStructuredNoun` / node “hax check”).
+- **rose-ts `addPreimage`:** Cues jam, hashes with `hashNounStructural`, and only attaches when that digest appears in the spend condition’s hax preimage set.
+- **wasm / Rust `SpendBuilder::add_preimage`:** Uses `preimage.hash()` (varlen / “whole” noun hash via Dyck + leaves).
+
+For HTLC locks built with `hashPreimage(jam)` (as in `htlcOrLock`), **rose-ts correctly attaches claim preimages**. Wasm may not attach the same jam when the spend condition lists structural digests — claim spends built only in wasm should be validated before broadcast.
+
+### Memo / blob note-data
+
+- Keys and order on output seeds: `lock` → `blob` → `memo` (when `includeLockData` and extras are set).
+- Packed blob/memo values: `[byte-len, …u32-le limbs…]` jammed as a proper list (`vecToNoun`).
+- Empty memo throws; empty/whitespace blob is omitted.
+
+### Multisig (`multisigLock`)
+
+- Lock **construction** matches wasm (`pkhNew(m, hashes)` + `lockFromList`).
+- **Local** `lockRootHash(multisigLock(...))` fails for `m > 1` until multi-element ZSet hashing is implemented in TS.
+- Use wasm `lockRootHash` as oracle, or build spends via `simpleSpendMultisig` (witness path works for locks wasm can hash).
+
+### V0 protocol
+
+- `SpendBuilder.new` **rejects** v0 notes.
+- v0 spend **decoding** from protobuf is supported; v0 spend **construction** is out of scope.
+
+### Types / wire shapes
+
+- `PkhSignature`: wire `[pkh, [pubkey_base58, {c,s}][]` (TS arrays); wasm typings use `ZMap` — values round-trip the same on the wire.
+- `NoteData`: wire `[key, noun][]`; empty map is `[]`.
+
+---
+
+## Quick reference — transaction building
+
+### Simple PKH spend with memo/blob
+
+```typescript
+import {
+  TxBuilder,
+  txEngineSettingsV1BythosDefault,
+  nockchainTxToRawTx,
+  rawTxToProtobuf,
+} from "@nockchain/rose-ts";
+
+const settings = txEngineSettingsV1BythosDefault();
+const builder = new TxBuilder(settings);
+
+builder.simpleSpend(
+  [note],
+  [{ lock, lock_sp_index: 0 }],
+  recipientPkh,
+  "1000000",
+  null,       // auto fee
+  myPkh,      // change
+  true,       // include lock in note_data
+  { memo: "hello", blob: "nns/v1/claim/example.nock" }
+);
+
+await builder.sign(privateKey);
+const nockTx = builder.build();
+const raw = nockchainTxToRawTx(nockTx);
+```
+
+### HTLC claim
+
+```typescript
+import { htlcOrLock, hashPreimage, TxBuilder } from "@nockchain/rose-ts";
+
+const hNock = hashPreimage(preimageJam);
+const lock = htlcOrLock(hNock, buyerPkh, sellerPkh, 1000n);
+
+builder.simpleSpendHtlc(
+  [note],
+  [lock],
+  0,              // claim branch
+  recipientPkh,
+  gift,
+  null,
+  buyerPkh,
+  true,
+  {
+    preimageJam,
+    outputExtras: { memo: "claim", blob: "payload" },
+  }
+);
+```
+
+### Manual witness spend
+
+```typescript
+import {
+  spendV1FromLock,
+  spendV1NewWitness,
+  witnessWithHaxPreimage,
+  witnessNew,
+} from "@nockchain/rose-ts";
+
+// Option A: one-shot
+const spend = spendV1FromLock(lock, 0, seeds, fee, {
+  haxMap: [[hNock, preimageNoun]],
+});
+
+// Option B: compose
+let witness = witnessNew(lock, 0);
+witness = witnessWithHaxPreimage(witness, hNock, preimageNoun);
+const spend2 = spendV1NewWitness(witness, seeds, fee);
+
+const sb = SpendBuilder.newFromWitness(note, witness, refundLock);
+sb.seed(recipientSeed);
+sb.fee(feePortion);
+```
+
+### Multisig lock (construction)
+
+```typescript
+import { multisigLock, lockRootHash } from "@nockchain/rose-ts";
+
+const lock = multisigLock(2, [pkhA, pkhB, pkhC]);
+// lock_sp_index is 0 for this single-leaf lock
+
+builder.simpleSpendMultisig(
+  [note],
+  [lock],
+  0,
+  recipientPkh,
+  gift,
+  null,
+  myPkh,
+  false,
+  { memo: "2-of-3" }
+);
+```
+
+---
+
+## Getting started (identity → lock → tx)
+
+### Identity
+
+```typescript
+import { hashPublicKey, verifySignature, deriveMasterKeyFromMnemonic, PrivateKey } from "@nockchain/rose-ts";
+
+const master = deriveMasterKeyFromMnemonic(mnemonic, "");
+const pkh = hashPublicKey(master.publicKey);
+const key = PrivateKey.fromBytes(master.privateKey);
+```
+
+### PKH lock
+
+```typescript
+import { pkhSingle, spendConditionNewPkh, lockFromList, lockRootHash } from "@nockchain/rose-ts";
+
+const lock = lockFromList([spendConditionNewPkh(pkhSingle(pkh))]);
+const lockRoot = lockRootHash(lock);
+```
+
+### Connect & submit
+
+```typescript
+import { RpcClient, noteFromProtobuf, rawTxToProtobuf } from "@nockchain/rose-ts";
+
+const client = new RpcClient("http://localhost:8080");
+const balance = await client.getBalanceByFirstName(pkh);
+const note = noteFromProtobuf(balance.notes[0].note);
+
+// ... build & sign ...
+
+await client.sendTransaction(rawTxToProtobuf(raw));
+```
+
+---
+
+## Exported API index (by module)
+
+### Noun (`jam`, `cue`, `tas`, `tasBelts`, `atomToBelts`, `beltsToAtom`, `untas`)
+
+### Crypto
+
+`deriveMasterKey`, `deriveMasterKeyFromMnemonic`, `ExtendedKey`, `PrivateKey`, `PublicKey`, `hashPublicKey`, `signMessage`, `verifySignature`, `publicKeyFromBeBytes`, `publicKeyFromHex`, `publicKeyToHex`, `publicKeyVerify`
+
+### Hash / locks / note-data
+
+`hashPreimage`, `hashNoun`, `hashStructuredNoun`, `hashU64`, `pkhSingle`, `pkhNew`, `pkhHash`, `haxHash`, `haxHashPreimage`, `spendCondition*`, `lockFromList`, `lockFromListBurnpad`, `lockRootHash`, `lockHash`, `lockHeight`, `lockProve`, `noteDataEmpty`, `noteDataPushPkh`, `noteDataPushLock`, `noteDataPushMemo`, `noteDataPushBlob`, `decodeNoteDataPackedUtf8`, `decodePackedBlobUtf8`, `encodeBlobBelts`, `noteHash`, `nameV1`, `nameHash`, `hashName`, `hashSeedV1Digest`, `hashSeedsV1Digest`, `hashSpendV1SigHash`, `hashWitnessDigest`, `hashPkhSignatureDigest`, `hashSpendsV1`, `hashLockMerkleProofDigest`, `seedV1NewSinglePkh`
+
+### Transaction
+
+`TxBuilder`, `SpendBuilder`, `txEngineSettingsV1Default`, `txEngineSettingsV1BythosDefault`, `nockchainTxToRawTx`, `rawTxV1ToNockchainTx`, `rawTxV1New`, `rawTxV1Version`, `rawTxV1InputNames`, `rawTxV1InputSpendConditions`, `spendV1NewWitness`, `spendV1NewLegacy`, `spendV1SigHash`, `spendV1FromLock`, `witnessFromLock`, `witnessNew`, `lockMerkleProofFromLock`, `witnessFromLockMerkleProof`, `witnessClearSignatures`, `witnessWithPkhSignature`, `witnessWithHaxPreimage`, `multisigLock`, `htlcOrLock`, `htlcLockRootDigest`, `nockchainTxOutputs`, `rawTxV1Outputs`, `rawTxTotalFees`, `rawTxV1CalcId`, `spendV1Fee`, `spendV1TotalGifts`, `spendV1UnclampedFee`, `spendsV1Fee`, `spendsV1TotalFees`, `spendsV1TotalGifts`, `spendsV1UnclampedFee`, `spendsV1ApplyWitness`
+
+Types: `OutputNoteData`, `SimpleSpendLockOptions`
+
+### Protobuf (wire)
+
+`noteFromProtobuf`, `noteToProtobuf`, `spendConditionFromProtobuf`, `spendConditionToProtobuf`, `digestFromProtobuf`, `digestToProtobuf`, `rawTxFromProtobuf`, `rawTxToProtobuf`
+
+### RPC
+
+`RpcClient` — `getBalanceByFirstName`, `getBalanceByAddress`, `sendTransaction`, `transactionAccepted`, …
+
+---
+
+## Hybrid setup with rose-wasm
+
+Use wasm when you need an oracle or APIs not yet ported. Rose-ts can verify txs wasm builds:
+
+```typescript
+import init, { TxBuilder as WasmTxBuilder, rawTxFromProtobuf } from "@nockchain/rose-wasm";
+import { TxBuilder, nockchainTxToRawTx, rawTxV1CalcId } from "@nockchain/rose-ts";
+
+await init();
+
+const wasmTx = new WasmTxBuilder(settings).build();
+const tsTx = TxBuilder.fromNockchainTx(wasmTx, settings).build();
+// For PKH paths: rawTxV1CalcId(nockchainTxToRawTx(wasmTx)) === rawTxV1CalcId(nockchainTxToRawTx(tsTx))
+```
+
+Migrate incrementally: keep wasm for exotic noun codecs; use rose-ts for bundler-friendly wallet code paths.
+
+---
+
+## Development
+
+```bash
+npm install
+npm run build
+npm test          # 78 parity tests (requires @nockchain/rose-wasm devDep)
+npm run test:watch
+```
+
+## Related Projects
+
+- [`@nockbox/iris-rs`](https://github.com/nockbox/iris-rs) — iris-rs
+- [`@nockbox/iris-sdk`](https://github.com/nockbox/iris-sdk) — iris-sdk
+- [`roadmap.md`](./roadmap.md) — coverage matrix and next steps
+- [`@nockchain/rose-rs`](../../) — Rust workspace (protocol types, crypto, gRPC proto)
+
+## License
+
+MIT License
+
+Copyright (c) 2026 nockchain.net <oss@nockchain.net>
+Copyright (c) 2025 NockBox inc. <tech@nockbox.org>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/constants.d.ts

@@ -0,0 +1,2 @@
+export declare const DEFAULT_FEE_PER_WORD = 16384n;
+//# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,oBAAoB,SAAS,CAAC"}

package/dist/constants.js

@@ -0,0 +1,2 @@
+export const DEFAULT_FEE_PER_WORD = 16384n;
+//# sourceMappingURL=constants.js.map

package/dist/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AACA,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC"}

package/dist/core/belt.d.ts

@@ -0,0 +1,16 @@
+export declare const PRIME = 18446744069414584321n;
+export declare const PRIME_128 = 18446744069414584321n;
+export type Belt = bigint;
+export declare function basedCheck(a: Belt): boolean;
+export declare function montReduction(a: bigint): Belt;
+export declare function montiply(a: Belt, b: Belt): Belt;
+export declare function montify(a: Belt): Belt;
+export declare function badd(a: Belt, b: Belt): Belt;
+export declare function bneg(a: Belt): Belt;
+export declare function bsub(a: Belt, b: Belt): Belt;
+export declare function reduce(n: bigint): Belt;
+export declare function bmul(a: Belt, b: Belt): Belt;
+export declare function binv(a: Belt): Belt;
+export declare function bpow(mutA: Belt, mutB: Belt): Belt;
+export declare function beltsFromBytes(bytes: Uint8Array): Belt[];
+//# sourceMappingURL=belt.d.ts.map

package/dist/core/belt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"belt.d.ts","sourceRoot":"","sources":["../../src/core/belt.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,KAAK,wBAAwB,CAAC;AAC3C,eAAO,MAAM,SAAS,wBAAwB,CAAC;AAI/C,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO,CAE3C;AAMD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAW7C;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAE/C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAErC;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAQ3C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAElC;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAM3C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAEtC;AAeD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAE3C;AAUD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAWlC;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAiBjD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,EAAE,CAWxD"}

package/dist/core/belt.js

@@ -0,0 +1,120 @@
+import { mustAt } from "./must.js";
+export const PRIME = 18446744069414584321n;
+export const PRIME_128 = 18446744069414584321n;
+const R2 = 18446744065119617025n;
+const U64_MASK = 0xffffffffffffffffn;
+export function basedCheck(a) {
+    return a >= 0n && a < PRIME;
+}
+function u64(x) {
+    return x & U64_MASK;
+}
+export function montReduction(a) {
+    const x1 = (a >> 32n) & 0xffffffffn;
+    const x2 = a >> 64n;
+    const x0 = a & 0xffffffffn;
+    const c = (x0 + x1) << 32n;
+    const f = c >> 64n;
+    const d = c - (x1 + f * PRIME_128);
+    if (x2 >= d) {
+        return u64(x2 - d);
+    }
+    return u64(x2 + PRIME_128 - d);
+}
+export function montiply(a, b) {
+    return montReduction(a * b);
+}
+export function montify(a) {
+    return montReduction(a * R2);
+}
+export function badd(a, b) {
+    const bb = u64(PRIME - b);
+    let r = a - bb;
+    const c = r < 0n;
+    if (c)
+        r += 1n << 64n;
+    const adj = c ? (1n << 32n) - 1n : 0n;
+    r = u64(r - adj);
+    return r;
+}
+export function bneg(a) {
+    return a !== 0n ? u64(PRIME - a) : 0n;
+}
+export function bsub(a, b) {
+    let r = a - b;
+    const c = r < 0n;
+    if (c)
+        r += 1n << 64n;
+    const adj = c ? (1n << 32n) - 1n : 0n;
+    return u64(r - adj);
+}
+export function reduce(n) {
+    return reduce159(u64(n), Number((n >> 64n) & 0xffffffffn), u64(n >> 96n));
+}
+function reduce159(low, mid, high) {
+    let low2 = low - high;
+    if (low2 < 0n)
+        low2 = u64(low2 + PRIME);
+    let product = BigInt(mid) << 32n;
+    product -= product >> 32n;
+    let result = u64(product + low2);
+    if (result < product)
+        result = u64(result + (1n << 64n) - PRIME);
+    if (result >= PRIME)
+        result -= PRIME;
+    return result;
+}
+export function bmul(a, b) {
+    return reduce(a * b);
+}
+function montwopow(a, b) {
+    let res = a;
+    for (let i = 0; i < b; i++) {
+        res = montiply(res, res);
+    }
+    return res;
+}
+export function binv(a) {
+    const y = montify(a);
+    const y2 = montiply(y, montiply(y, y));
+    const y3 = montiply(y, montiply(y2, y2));
+    const y5 = montiply(y2, montwopow(y3, 2));
+    const y10 = montiply(y5, montwopow(y5, 5));
+    const y20 = montiply(y10, montwopow(y10, 10));
+    const y30 = montiply(y10, montwopow(y20, 10));
+    const y31 = montiply(y, montiply(y30, y30));
+    const dup = montiply(montwopow(y31, 32), y31);
+    return montReduction(montiply(y, montiply(dup, dup)));
+}
+export function bpow(mutA, mutB) {
+    let a = mutA;
+    let b = mutB;
+    let c = 1n;
+    if (b === 0n)
+        return c;
+    while (b > 1n) {
+        if ((b & 1n) === 0n) {
+            a = reduce(a * a);
+            b /= 2n;
+        }
+        else {
+            c = reduce(c * a);
+            a = reduce(a * a);
+            b = (b - 1n) / 2n;
+        }
+    }
+    return reduce(c * a);
+}
+export function beltsFromBytes(bytes) {
+    const belts = [];
+    for (let i = 0; i < bytes.length; i += 4) {
+        const chunk = bytes.subarray(i, i + 4);
+        let val = 0n;
+        for (let j = 0; j < chunk.length; j++) {
+            val |= BigInt(mustAt(chunk, j)) << BigInt(j * 8);
+        }
+        belts.push(val);
+    }
+    return belts;
+}
+//# sourceMappingURL=belt.js.map

package/dist/core/belt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"belt.js","sourceRoot":"","sources":["../../src/core/belt.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,MAAM,CAAC,MAAM,KAAK,GAAG,qBAAqB,CAAC;AAC3C,MAAM,CAAC,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAC/C,MAAM,EAAE,GAAG,qBAAqB,CAAC;AACjC,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AAIrC,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;AAC9B,CAAC;AAED,SAAS,GAAG,CAAC,CAAO;IAClB,OAAO,CAAC,GAAG,QAAQ,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC;IACpB,MAAM,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC;IAC3B,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,CAAC;IAC3B,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACZ,OAAO,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC,EAAE,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,CAAO;IACvC,OAAO,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAO;IAC7B,OAAO,aAAa,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAO,EAAE,CAAO;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IACf,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IACjB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAO;IAC1B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAO,EAAE,CAAO;IACnC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,OAAO,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,SAAS,CAAC,GAAS,EAAE,GAAW,EAAE,IAAU;IACnD,IAAI,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACtB,IAAI,IAAI,GAAG,EAAE;QAAE,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IAExC,IAAI,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;IACjC,OAAO,IAAI,OAAO,IAAI,GAAG,CAAC;IAE1B,IAAI,MAAM,GAAG,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACjC,IAAI,MAAM,GAAG,OAAO;QAAE,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACjE,IAAI,MAAM,IAAI,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC;IACrC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAO,EAAE,CAAO;IACnC,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,SAAS,CAAC,CAAO,EAAE,CAAS;IACnC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,CAAO;IAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,IAAU,EAAE,IAAU;IACzC,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IAEvB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;YACpB,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,CAAC,IAAI,EAAE,CAAC;QACV,CAAC;aAAM,CAAC;YACN,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAiB;IAC9C,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/digest.d.ts

@@ -0,0 +1,9 @@
+export type DigestBelts = [bigint, bigint, bigint, bigint, bigint];
+export declare function beltsToUint(belts: DigestBelts): bigint;
+export declare function digestToBase58(belts: DigestBelts): string;
+export declare function digestFromBelts(belts: bigint[]): DigestBelts;
+export declare function digestFromBase58(s: string): DigestBelts;
+export declare function digestBeltsToBase58(belts: DigestBelts): string;
+export declare function digestBeltsToBytes(belts: DigestBelts): Uint8Array;
+export declare function digestBytesFromBase58(s: string): Uint8Array;
+//# sourceMappingURL=digest.d.ts.map

package/dist/core/digest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../../src/core/digest.ts"],"names":[],"mappings":"AAKA,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAInE,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAQtD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAUzD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,WAAW,CAQ5D;AAGD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAoBvD;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAE9D;AAGD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG,UAAU,CAUjE;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,MAAM,GAAG,UAAU,CAE3D"}

package/dist/core/digest.js

@@ -0,0 +1,76 @@
+import { base58 } from "@scure/base";
+import { PRIME } from "./belt.js";
+import { mustAt } from "./must.js";
+import { UBig } from "./ubig.js";
+const DIGEST_BYTE_LEN = 40;
+export function beltsToUint(belts) {
+    let result = 0n;
+    let power = 1n;
+    for (const belt of belts) {
+        result += belt * power;
+        power *= PRIME;
+    }
+    return result;
+}
+export function digestToBase58(belts) {
+    let hex = beltsToUint(belts).toString(16);
+    if (hex.length % 2 !== 0)
+        hex = "0" + hex;
+    const bytes = new Uint8Array(hex.length / 2);
+    for (let i = 0; i < bytes.length; i++) {
+        bytes[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16);
+    }
+    let start = 0;
+    while (start < bytes.length && bytes[start] === 0)
+        start++;
+    return base58.encode(bytes.subarray(start));
+}
+export function digestFromBelts(belts) {
+    return [
+        mustAt(belts, 0),
+        mustAt(belts, 1),
+        mustAt(belts, 2),
+        mustAt(belts, 3),
+        mustAt(belts, 4),
+    ];
+}
+export function digestFromBase58(s) {
+    const decoded = base58.decode(s);
+    const padded = new Uint8Array(DIGEST_BYTE_LEN);
+    padded.set(decoded, DIGEST_BYTE_LEN - decoded.length);
+    let num = UBig.zero();
+    for (const byte of padded) {
+        num = UBig.from((num.value << 8n) | BigInt(byte));
+    }
+    const belts = new Array(5).fill(0n);
+    let remainder = num;
+    const zero = UBig.zero();
+    for (let i = 0; i < 5; i++) {
+        const { quotient, remainder: rem } = remainder.divRem(PRIME);
+        belts[i] = rem.value;
+        remainder = quotient;
+    }
+    if (!remainder.eq(zero)) {
+        throw new Error("invalid digest: too many belts");
+    }
+    return digestFromBelts(belts);
+}
+export function digestBeltsToBase58(belts) {
+    return digestToBase58(belts);
+}
+export function digestBeltsToBytes(belts) {
+    let hex = beltsToUint(belts).toString(16);
+    if (hex.length % 2 !== 0)
+        hex = "0" + hex;
+    const raw = new Uint8Array(hex.length / 2);
+    for (let i = 0; i < raw.length; i++) {
+        raw[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16);
+    }
+    const out = new Uint8Array(DIGEST_BYTE_LEN);
+    out.set(raw, DIGEST_BYTE_LEN - raw.length);
+    return out;
+}
+export function digestBytesFromBase58(s) {
+    return digestBeltsToBytes(digestFromBase58(s));
+}
+//# sourceMappingURL=digest.js.map

package/dist/core/digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../src/core/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,UAAU,WAAW,CAAC,KAAkB;IAC5C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,IAAI,GAAG,KAAK,CAAC;QACvB,KAAK,IAAI,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,IAAI,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1C,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,KAAK,EAAE,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAe;IAC7C,OAAO;QACL,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;KACF,CAAC;AACnB,CAAC;AAGD,MAAM,UAAU,gBAAgB,CAAC,CAAS;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,eAAe,CAAC,CAAC;IAC/C,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,KAAK,GAAa,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,IAAI,SAAS,GAAG,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;QACrB,SAAS,GAAG,QAAQ,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAkB;IACpD,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAGD,MAAM,UAAU,kBAAkB,CAAC,KAAkB;IACnD,IAAI,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1C,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,eAAe,CAAC,CAAC;IAC5C,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,CAAS;IAC7C,OAAO,kBAAkB,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/core/hashable.d.ts

@@ -0,0 +1,21 @@
+import { type DigestBelts } from "./digest.js";
+import type { Digest, Hax, Lock, LockPrimitive, LockRoot, Nicks, Pkh } from "../types.js";
+export declare function hashU64(v: bigint): DigestBelts;
+export declare function hashPair(a: DigestBelts, b: DigestBelts): DigestBelts;
+export declare function hashBool(v: boolean): DigestBelts;
+export declare function hashTuple(a: DigestBelts, b: DigestBelts): DigestBelts;
+export declare function hashString(s: string): DigestBelts;
+export declare function hashPkh(pkh: Pkh | {
+    m: number;
+    hashes: Pkh["hashes"] | readonly Digest[];
+}): DigestBelts;
+export declare function hashHax(hax: Hax | {
+    preimages: Hax["preimages"] | readonly Digest[];
+}): DigestBelts;
+export declare function hashLockPrimitive(prim: LockPrimitive): DigestBelts;
+export declare function hashSpendCondition(sc: readonly LockPrimitive[]): DigestBelts;
+export declare function hashLock(lock: Lock): DigestBelts;
+export declare function hashLockRoot(root: LockRoot): DigestBelts;
+export declare function hashNicks(nicks: Nicks): DigestBelts;
+export declare function hashToDigest(belts: DigestBelts): Digest;
+//# sourceMappingURL=hashable.d.ts.map

package/dist/core/hashable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashable.d.ts","sourceRoot":"","sources":["../../src/core/hashable.ts"],"names":[],"mappings":"AAMA,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAW,KAAK,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AAMnG,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAE9C;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW,CAEpE;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,WAAW,CAEhD;AAMD,wBAAgB,SAAS,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW,CAErE;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAMjD;AA+BD,wBAAgB,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,WAAW,CAGxG;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG;IAAE,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,WAAW,CAGnG;AAaD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,aAAa,GAAG,WAAW,CAWlE;AAGD,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,SAAS,aAAa,EAAE,GAAG,WAAW,CAM5E;AAuBD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,WAAW,CAgBhD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,CAKxD;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,WAAW,CAEnD;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAEvD"}