@totemsdk/omnia-vtxo 0.5.4 → 0.6.1

package/dist/anchor.js

@@ -8,7 +8,7 @@
  * real PoW.
  */
 import { computeOmniaTxDigest, omniaDraftToMinimaBytes, } from '@totemsdk/omnia';
-import { serializeTxBody, mineTxPoW, TX_POW_MIN_DIFFICULTY } from '@totemsdk/txpow';
+import { serializeTxBody, mineTxPoW, resolveTxPowTarget } from '@totemsdk/txpow';
 import { concatBytes } from '@totemsdk/core';
 import { buildAndHashPoolScript, POOL_SHARE_PORT_BASE } from './pool-script.js';
 /** Pool output state: STATE(100)=root, STATE(101)=epoch, STATE(102)=exitBlock, STATE(300+k)=share k. */
@@ -75,8 +75,9 @@ export async function anchorBatch(params, deps) {
     if (deps.chainProvider) {
         const mine = deps.mine ?? ((txBody, difficulty) => mineTxPoW(txBody, difficulty));
         const draftBytes = omniaDraftToMinimaBytes(draft);
-        const txBody = serializeTxBody(draftBytes, signature);
-        const mined = await mine(txBody, TX_POW_MIN_DIFFICULTY);
+        const txnDifficulty = await resolveTxPowTarget(deps.chainProvider);
+        const txBody = serializeTxBody(draftBytes, signature, { txnDifficulty });
+        const mined = await mine(txBody, txnDifficulty);
         const fullTxPoW = concatBytes(concatBytes(mined.minedHeaderBytes, new Uint8Array([0x01])), txBody);
         await deps.chainProvider.broadcastTxPoW(Buffer.from(fullTxPoW).toString('hex'));
         result.txpowId = Buffer.from(mined.txpowId).toString('hex');

package/dist/cjs/anchor.js

@@ -82,8 +82,9 @@ async function anchorBatch(params, deps) {
     if (deps.chainProvider) {
         const mine = deps.mine ?? ((txBody, difficulty) => (0, txpow_1.mineTxPoW)(txBody, difficulty));
         const draftBytes = (0, omnia_1.omniaDraftToMinimaBytes)(draft);
-        const txBody = (0, txpow_1.serializeTxBody)(draftBytes, signature);
-        const mined = await mine(txBody, txpow_1.TX_POW_MIN_DIFFICULTY);
+        const txnDifficulty = await (0, txpow_1.resolveTxPowTarget)(deps.chainProvider);
+        const txBody = (0, txpow_1.serializeTxBody)(draftBytes, signature, { txnDifficulty });
+        const mined = await mine(txBody, txnDifficulty);
         const fullTxPoW = (0, core_1.concatBytes)((0, core_1.concatBytes)(mined.minedHeaderBytes, new Uint8Array([0x01])), txBody);
         await deps.chainProvider.broadcastTxPoW(Buffer.from(fullTxPoW).toString('hex'));
         result.txpowId = Buffer.from(mined.txpowId).toString('hex');

package/dist/cjs/exit-tx.js

@@ -32,7 +32,7 @@ function buildExitTransactionDraft(params) {
     if (share <= 0n)
         throw new Error('exit: holder share must be positive');
     const outputs = [{
-            address: params.vtxo.owner,
+            address: (0, core_1.wotsAddressData)(params.vtxo.owner),
             amount: share,
             tokenId: params.vtxo.tokenId,
             storeState: false,

package/dist/cjs/pool-script.d.ts

@@ -13,7 +13,7 @@
  *     (`STATE(base+k) EQ 0`) and returning the remainder to the pool. A holder
  *     cannot pay itself more than its share, so one holder can never rug the others.
  *   - **Cooperative update.** Before the exit window the pool may only move by
- *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT EPOCH GT
+ *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT epoch GT
  *     PREVSTATE(101)`), with the exit block immutable (`ASSERT SAMESTATE(102
  *     102)`) so no one can push the escape clock, and value confined to the same
  *     script address (`ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)`)

package/dist/cjs/pool-script.js

@@ -14,7 +14,7 @@
  *     (`STATE(base+k) EQ 0`) and returning the remainder to the pool. A holder
  *     cannot pay itself more than its share, so one holder can never rug the others.
  *   - **Cooperative update.** Before the exit window the pool may only move by
- *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT EPOCH GT
+ *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT epoch GT
  *     PREVSTATE(101)`), with the exit block immutable (`ASSERT SAMESTATE(102
  *     102)`) so no one can push the escape clock, and value confined to the same
  *     script address (`ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)`)
@@ -48,7 +48,7 @@ function pkHex(digest, label) {
     if (!/^[0-9a-fA-F]{64}$/.test(raw)) {
         throw new Error(`${label} public key digest must be 64 hex chars, got ${JSON.stringify(digest)}`);
     }
-    return '0X' + raw.toUpperCase();
+    return '0x' + raw.toUpperCase();
 }
 /** Per-share-constrained, epoch-monotone, state-carrying pool script. */
 function buildPoolScript(params) {
@@ -60,20 +60,25 @@ function buildPoolScript(params) {
         throw new Error(`pool supports at most ${exports.POOL_MAX_HOLDERS} holders (got ${params.holders.length}) — share ports would reach the MSHS-2 band (≥${exports.MSHS_PORT_FLOOR})`);
     }
     const holders = params.holders.map((h, i) => pkHex(h, `holder[${i}]`));
+    const holderAddrs = params.holders.map((h) => (0, core_1.wotsAddressData)(h));
     if (!Number.isInteger(params.exitBlock) || params.exitBlock < 0) {
         throw new Error(`exitBlock must be a non-negative integer, got ${JSON.stringify(params.exitBlock)}`);
     }
     const lines = [
-        'LET EPOCH=STATE(101)',
-        'LET EXITBLOCK=PREVSTATE(102)',
-        'IF @BLOCK GT EXITBLOCK THEN',
+        // RFC-055/assessment P0: bind the exit clock before either branch. A
+        // successful exit returns early, so a SAMESTATE guard placed after the
+        // branch would be bypassable.
+        'ASSERT SAMESTATE(102 102)',
+        'LET epoch=STATE(101)',
+        'LET exitblock=PREVSTATE(102)',
+        'IF @BLOCK GT exitblock THEN',
     ];
     holders.forEach((holder, k) => {
         const port = exports.POOL_SHARE_PORT_BASE + k;
-        lines.push(`  LET SHARE${k}=PREVSTATE(${port})`);
+        lines.push(`  LET share=PREVSTATE(${port})`);
         lines.push(`  IF SIGNEDBY(${holder}) THEN`);
-        lines.push(`    IF SHARE${k} GT 0 THEN`);
-        lines.push(`      ASSERT VERIFYOUT(0 ${holder} SHARE${k} @TOKENID FALSE)`);
+        lines.push(`    IF share GT 0 THEN`);
+        lines.push(`      ASSERT VERIFYOUT(0 ${holderAddrs[k]} share @TOKENID FALSE)`);
         for (let j = 0; j < holders.length; j++) {
             if (j === k)
                 continue;
@@ -82,19 +87,18 @@ function buildPoolScript(params) {
         lines.push(`      ASSERT STATE(${port}) EQ 0`);
         // Remainder (other holders' shares) stays in the pool; skip it when the
         // withdrawing holder's share is the whole pool (no room for another output).
-        lines.push(`      IF @AMOUNT GT SHARE${k} THEN`);
-        lines.push(`        RETURN VERIFYOUT(1 @ADDRESS @AMOUNT SUB SHARE${k} @TOKENID TRUE)`);
+        lines.push(`      IF @AMOUNT GT share THEN`);
+        lines.push(`        RETURN VERIFYOUT(1 @ADDRESS @AMOUNT - share @TOKENID TRUE)`);
         lines.push('      ENDIF');
         lines.push('      RETURN TRUE');
         lines.push('    ENDIF');
         lines.push('  ENDIF');
     });
     lines.push('ENDIF');
-    lines.push('ASSERT EPOCH GT PREVSTATE(101)');
-    lines.push('ASSERT SAMESTATE(102 102)');
+    lines.push('ASSERT epoch GT PREVSTATE(101)');
     lines.push('ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)');
     lines.push(`RETURN MULTISIG(${holders.length + 1} ${operator} ${holders.join(' ')})`);
-    return lines.join('\n');
+    return (0, core_1.toNodeScript)(lines.join('\n'));
 }
 function poolScriptAddress(script) {
     return (0, core_1.computeScriptAddress)(script);

package/dist/exit-tx.js

@@ -13,7 +13,7 @@
  */
 import { computeOmniaTxDigest, omniaDraftToMinimaBytes, serializeTxDraft, } from '@totemsdk/omnia';
 import { serializeTxBody, mineTxPoW, TX_POW_MIN_DIFFICULTY } from '@totemsdk/txpow';
-import { concatBytes } from '@totemsdk/core';
+import { concatBytes, wotsAddressData } from '@totemsdk/core';
 import { poolStateVariables } from './anchor.js';
 /** State port carrying an optional exit delay on the holder's output. */
 export const EXIT_DELAY_PORT = 110;
@@ -25,7 +25,7 @@ export function buildExitTransactionDraft(params) {
     if (share <= 0n)
         throw new Error('exit: holder share must be positive');
     const outputs = [{
-            address: params.vtxo.owner,
+            address: wotsAddressData(params.vtxo.owner),
             amount: share,
             tokenId: params.vtxo.tokenId,
             storeState: false,

package/dist/pool-script.d.ts

@@ -13,7 +13,7 @@
  *     (`STATE(base+k) EQ 0`) and returning the remainder to the pool. A holder
  *     cannot pay itself more than its share, so one holder can never rug the others.
  *   - **Cooperative update.** Before the exit window the pool may only move by
- *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT EPOCH GT
+ *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT epoch GT
  *     PREVSTATE(101)`), with the exit block immutable (`ASSERT SAMESTATE(102
  *     102)`) so no one can push the escape clock, and value confined to the same
  *     script address (`ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)`)

package/dist/pool-script.js

@@ -13,7 +13,7 @@
  *     (`STATE(base+k) EQ 0`) and returning the remainder to the pool. A holder
  *     cannot pay itself more than its share, so one holder can never rug the others.
  *   - **Cooperative update.** Before the exit window the pool may only move by
- *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT EPOCH GT
+ *     `MULTISIG(operator + all holders)`, epoch-monotone (`ASSERT epoch GT
  *     PREVSTATE(101)`), with the exit block immutable (`ASSERT SAMESTATE(102
  *     102)`) so no one can push the escape clock, and value confined to the same
  *     script address (`ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)`)
@@ -22,7 +22,7 @@
  * The operator holds no unilateral path: it cannot move funds, cannot advance the
  * exit block, and cannot stop a holder's exit. It is a liveness-only peer.
  */
-import { computeScriptAddress } from '@totemsdk/core';
+import { computeScriptAddress, toNodeScript, wotsAddressData } from '@totemsdk/core';
 /**
  * State port base for per-holder shares: holder k ⇒ `base + k`. Kept below the
  * MSHS-2 floor so Omnia ports never collide with MASH (ports are bytes, 0–255).
@@ -42,7 +42,7 @@ function pkHex(digest, label) {
     if (!/^[0-9a-fA-F]{64}$/.test(raw)) {
         throw new Error(`${label} public key digest must be 64 hex chars, got ${JSON.stringify(digest)}`);
     }
-    return '0X' + raw.toUpperCase();
+    return '0x' + raw.toUpperCase();
 }
 /** Per-share-constrained, epoch-monotone, state-carrying pool script. */
 export function buildPoolScript(params) {
@@ -54,20 +54,25 @@ export function buildPoolScript(params) {
         throw new Error(`pool supports at most ${POOL_MAX_HOLDERS} holders (got ${params.holders.length}) — share ports would reach the MSHS-2 band (≥${MSHS_PORT_FLOOR})`);
     }
     const holders = params.holders.map((h, i) => pkHex(h, `holder[${i}]`));
+    const holderAddrs = params.holders.map((h) => wotsAddressData(h));
     if (!Number.isInteger(params.exitBlock) || params.exitBlock < 0) {
         throw new Error(`exitBlock must be a non-negative integer, got ${JSON.stringify(params.exitBlock)}`);
     }
     const lines = [
-        'LET EPOCH=STATE(101)',
-        'LET EXITBLOCK=PREVSTATE(102)',
-        'IF @BLOCK GT EXITBLOCK THEN',
+        // RFC-055/assessment P0: bind the exit clock before either branch. A
+        // successful exit returns early, so a SAMESTATE guard placed after the
+        // branch would be bypassable.
+        'ASSERT SAMESTATE(102 102)',
+        'LET epoch=STATE(101)',
+        'LET exitblock=PREVSTATE(102)',
+        'IF @BLOCK GT exitblock THEN',
     ];
     holders.forEach((holder, k) => {
         const port = POOL_SHARE_PORT_BASE + k;
-        lines.push(`  LET SHARE${k}=PREVSTATE(${port})`);
+        lines.push(`  LET share=PREVSTATE(${port})`);
         lines.push(`  IF SIGNEDBY(${holder}) THEN`);
-        lines.push(`    IF SHARE${k} GT 0 THEN`);
-        lines.push(`      ASSERT VERIFYOUT(0 ${holder} SHARE${k} @TOKENID FALSE)`);
+        lines.push(`    IF share GT 0 THEN`);
+        lines.push(`      ASSERT VERIFYOUT(0 ${holderAddrs[k]} share @TOKENID FALSE)`);
         for (let j = 0; j < holders.length; j++) {
             if (j === k)
                 continue;
@@ -76,19 +81,18 @@ export function buildPoolScript(params) {
         lines.push(`      ASSERT STATE(${port}) EQ 0`);
         // Remainder (other holders' shares) stays in the pool; skip it when the
         // withdrawing holder's share is the whole pool (no room for another output).
-        lines.push(`      IF @AMOUNT GT SHARE${k} THEN`);
-        lines.push(`        RETURN VERIFYOUT(1 @ADDRESS @AMOUNT SUB SHARE${k} @TOKENID TRUE)`);
+        lines.push(`      IF @AMOUNT GT share THEN`);
+        lines.push(`        RETURN VERIFYOUT(1 @ADDRESS @AMOUNT - share @TOKENID TRUE)`);
         lines.push('      ENDIF');
         lines.push('      RETURN TRUE');
         lines.push('    ENDIF');
         lines.push('  ENDIF');
     });
     lines.push('ENDIF');
-    lines.push('ASSERT EPOCH GT PREVSTATE(101)');
-    lines.push('ASSERT SAMESTATE(102 102)');
+    lines.push('ASSERT epoch GT PREVSTATE(101)');
     lines.push('ASSERT VERIFYOUT(@INPUT @ADDRESS @AMOUNT @TOKENID TRUE)');
     lines.push(`RETURN MULTISIG(${holders.length + 1} ${operator} ${holders.join(' ')})`);
-    return lines.join('\n');
+    return toNodeScript(lines.join('\n'));
 }
 export function poolScriptAddress(script) {
     return computeScriptAddress(script);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@totemsdk/omnia-vtxo",
-  "version": "0.5.4",
+  "version": "0.6.1",
   "description": "Virtual UTXO / payment-pool claim layer for Omnia — cash-like off-chain balance primitive for Totem Edge",
   "main": "dist/cjs/index.js",
   "types": "dist/cjs/index.d.ts",
@@ -24,11 +24,11 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@totemsdk/chain-provider": "^0.2.1",
-    "@totemsdk/core": "^1.3.0",
-    "@totemsdk/omnia": "^2.0.1",
+    "@totemsdk/core": "^1.4.0",
+    "@totemsdk/chain-provider": "^0.3.0",
+    "@totemsdk/omnia": "^2.3.0",
     "@totemsdk/storage": "^0.1.0",
-    "@totemsdk/txpow": "^1.0.2",
+    "@totemsdk/txpow": "^1.1.0",
     "@totemsdk/wots-lease": "^1.0.1"
   },
   "devDependencies": {