@opcat-labs/cat-sdk 1.0.1

package/dist/esm/contracts/cat20/cat20Guard.js

@@ -0,0 +1,165 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { SmartContract, assert, fill, len, method, toByteString, TxUtils, ContextUtils } from '@opcat-labs/scrypt-ts-opcat';
+import { TX_INPUT_COUNT_MAX, GUARD_TOKEN_TYPE_MAX, OUTPUT_LOCKING_SCRIPT_HASH_LEN, ConstantsLib, TX_OUTPUT_COUNT_MAX, } from '../constants';
+import { SafeMath } from '../utils/safeMath';
+import { CAT20GuardStateLib } from './cat20GuardStateLib';
+import { CAT20StateLib } from './cat20StateLib';
+export class CAT20Guard extends SmartContract {
+    unlock(nextStateHashes, 
+    // for each curTx output except the state hash root output,
+    // if it is a token output, the value is token owner address of this output,
+    // otherwise, the value is the locking script hash of this output
+    ownerAddrOrScriptHashes, 
+    // for each curTx output except the state hash root output,
+    // if it is a token output, the value is the token amount of this output,
+    // otherwise, the value is 0 by default
+    outputTokens, 
+    // for each curTx output except the state hash root output,
+    // if it is a token output,
+    // the value marks the index of the token script used by this output in the tokenScripts,
+    // otherwise, the value is -1 by default
+    // this logic is the same as tokenScriptIndexes in GuardConstState which is used for token inputs
+    tokenScriptHashIndexes, 
+    // output satoshi of each curTx output except the state hash root output
+    outputSatoshis, 
+    // for each curTx input,
+    // if it is a token input, the value is the raw state of this input,
+    // otherwise, the value is an empty state by default
+    cat20States, 
+    // the number of curTx outputs except for the state hash root output
+    outputCount) {
+        // check current input state hash empty
+        CAT20GuardStateLib.formalCheckState(this.state);
+        // how many different types of tokens in curTx inputs
+        let inputTokenTypes = 0n;
+        const tokenScriptPlaceholders = [
+            ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FF,
+            ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FE,
+            ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FD,
+            ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FC,
+        ];
+        for (let i = 0; i < GUARD_TOKEN_TYPE_MAX; i++) {
+            if (this.state.tokenScriptHashes[i] != tokenScriptPlaceholders[i]) {
+                inputTokenTypes++;
+            }
+        }
+        // ensure there are no placeholders between valid token scripts in curState.tokenScriptHashes
+        for (let i = 0; i < GUARD_TOKEN_TYPE_MAX; i++) {
+            if (i < Number(inputTokenTypes)) {
+                assert(this.state.tokenScriptHashes[i] != tokenScriptPlaceholders[i]);
+                assert(len(this.state.tokenScriptHashes[i]) == OUTPUT_LOCKING_SCRIPT_HASH_LEN);
+            }
+            else {
+                assert(this.state.tokenScriptHashes[i] == tokenScriptPlaceholders[i]);
+            }
+        }
+        assert(inputTokenTypes > 0n);
+        // inputTokenTypes here is not trustable yet
+        // user could append token scripts in curState.tokenScripts that are not used in curTx inputs
+        // sum token input amount, data comes from cat20 raw states passed in by the user
+        const sumInputTokens = fill(0n, GUARD_TOKEN_TYPE_MAX);
+        let tokenScriptIndexMax = -1n;
+        const inputCount = this.ctx.inputCount;
+        for (let i = 0; i < TX_INPUT_COUNT_MAX; i++) {
+            const tokenScriptIndex = this.state.tokenScriptIndexes[Number(i)];
+            if (i < inputCount) {
+                assert(tokenScriptIndex < inputTokenTypes);
+                if (tokenScriptIndex != -1n) {
+                    // this is a token input
+                    const tokenScriptHash = this.state.tokenScriptHashes[Number(tokenScriptIndex)];
+                    assert(tokenScriptHash == ContextUtils.getSpentScriptHash(this.ctx.spentScriptHashes, BigInt(i)));
+                    CAT20StateLib.checkState(cat20States[i]);
+                    assert(ContextUtils.getSpentDataHash(this.ctx.spentDataHashes, BigInt(i)) == CAT20StateLib.stateHash(cat20States[i]));
+                    sumInputTokens[Number(tokenScriptIndex)] = SafeMath.add(sumInputTokens[Number(tokenScriptIndex)], cat20States[i].amount);
+                    tokenScriptIndexMax =
+                        tokenScriptIndex > tokenScriptIndexMax
+                            ? tokenScriptIndex
+                            : tokenScriptIndexMax;
+                }
+            }
+            else {
+                assert(this.state.tokenScriptIndexes[i] == -1n);
+            }
+        }
+        // verify inputTokenTypes by tokenScriptIndexMax
+        // tokenScriptIndexMax is trustable because it is calculated after going through all the curTx inputs
+        // this also ensures that there is at least one token input in curTx
+        assert(tokenScriptIndexMax >= 0n && tokenScriptIndexMax == inputTokenTypes - 1n);
+        // sum token output amount, data comes from outputTokens passed in by the user
+        // and build curTx outputs and stateRoots as well
+        assert(outputCount >= 0n && outputCount <= TX_OUTPUT_COUNT_MAX);
+        const sumOutputTokens = fill(0n, GUARD_TOKEN_TYPE_MAX);
+        let outputs = toByteString('');
+        for (let i = 0; i < TX_OUTPUT_COUNT_MAX; i++) {
+            if (i < outputCount) {
+                const ownerAddrOrScriptHash = ownerAddrOrScriptHashes[i];
+                assert(len(ownerAddrOrScriptHash) > 0n);
+                const tokenScriptHashIndex = tokenScriptHashIndexes[i];
+                assert(tokenScriptHashIndex < inputTokenTypes);
+                if (tokenScriptHashIndex != -1n) {
+                    // this is a token output
+                    const tokenAmount = outputTokens[i];
+                    assert(tokenAmount > 0n);
+                    sumOutputTokens[Number(tokenScriptHashIndex)] = SafeMath.add(sumOutputTokens[Number(tokenScriptHashIndex)], tokenAmount);
+                    const tokenStateHash = CAT20StateLib.stateHash({
+                        tag: ConstantsLib.OPCAT_CAT20_TAG,
+                        ownerAddr: ownerAddrOrScriptHash,
+                        amount: tokenAmount,
+                    });
+                    assert(nextStateHashes[i] == tokenStateHash);
+                    const tokenScriptHash = this.state.tokenScriptHashes[Number(tokenScriptHashIndex)];
+                    outputs += TxUtils.buildDataOutput(tokenScriptHash, outputSatoshis[i], tokenStateHash);
+                }
+                else {
+                    // this is a non-token output
+                    assert(outputTokens[i] == 0n);
+                    // locking script of this non-token output cannot be the same as any token script in curState
+                    for (let j = 0; j < GUARD_TOKEN_TYPE_MAX; j++) {
+                        assert(ownerAddrOrScriptHash != this.state.tokenScriptHashes[j]);
+                    }
+                    outputs += TxUtils.buildDataOutput(ownerAddrOrScriptHash, outputSatoshis[i], nextStateHashes[i]);
+                }
+            }
+            else {
+                assert(len(ownerAddrOrScriptHashes[i]) == 0n);
+                assert(tokenScriptHashIndexes[i] == -1n);
+                assert(outputTokens[i] == 0n);
+                assert(nextStateHashes[i] == toByteString(''));
+                assert(outputSatoshis[i] == 0n);
+            }
+        }
+        // check token amount consistency of inputs and outputs
+        for (let i = 0; i < GUARD_TOKEN_TYPE_MAX; i++) {
+            assert(sumInputTokens[i] == this.state.tokenAmounts[i]);
+            assert(sumInputTokens[i] ==
+                SafeMath.add(sumOutputTokens[i], this.state.tokenBurnAmounts[i]));
+            if (i < Number(inputTokenTypes)) {
+                assert(sumInputTokens[i] > 0n);
+            }
+            else {
+                assert(sumInputTokens[i] == 0n);
+                assert(sumOutputTokens[i] == 0n);
+                // no need to check below two lines here, but we keep them here for better readability
+                assert(this.state.tokenAmounts[i] == 0n);
+                assert(this.state.tokenBurnAmounts[i] == 0n);
+            }
+        }
+        // confine curTx outputs
+        assert(this.checkOutputs(outputs));
+    }
+}
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object, Object, Object, Object, Object, Object, BigInt]),
+    __metadata("design:returntype", void 0)
+], CAT20Guard.prototype, "unlock", null);
+//# sourceMappingURL=cat20Guard.js.map

package/dist/esm/contracts/cat20/cat20Guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20Guard.js","sourceRoot":"","sources":["../../../../src/contracts/cat20/cat20Guard.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAGH,aAAa,EACb,MAAM,EACN,IAAI,EAEJ,GAAG,EACH,MAAM,EACN,YAAY,EACZ,OAAO,EACP,YAAY,EACf,MAAM,6BAA6B,CAAA;AACpC,OAAO,EACH,kBAAkB,EAClB,oBAAoB,EACpB,8BAA8B,EAE9B,YAAY,EACZ,mBAAmB,GACtB,MAAM,cAAc,CAAA;AAErB,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE/C,MAAM,OAAO,UAAW,SAAQ,aAAmC;IAExD,MAAM,CACT,eAA4B;IAC5B,2DAA2D;IAC3D,4EAA4E;IAC5E,iEAAiE;IACjE,uBAA2E;IAC3E,2DAA2D;IAC3D,yEAAyE;IACzE,uCAAuC;IACvC,YAAkE;IAClE,2DAA2D;IAC3D,2BAA2B;IAC3B,yFAAyF;IACzF,wCAAwC;IACxC,iGAAiG;IACjG,sBAGC;IACD,wEAAwE;IACxE,cAA8D;IAC9D,wBAAwB;IACxB,oEAAoE;IACpE,oDAAoD;IACpD,WAA8D;IAC9D,oEAAoE;IACpE,WAAmB;QAEnB,uCAAuC;QAEvC,kBAAkB,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhD,qDAAqD;QACrD,IAAI,eAAe,GAAG,EAAE,CAAA;QACxB,MAAM,uBAAuB,GAGzB;YACI,YAAY,CAAC,gCAAgC;YAC7C,YAAY,CAAC,gCAAgC;YAC7C,YAAY,CAAC,gCAAgC;YAC7C,YAAY,CAAC,gCAAgC;SAChD,CAAA;QACL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChE,eAAe,EAAE,CAAA;YACrB,CAAC;QACL,CAAC;QACD,6FAA6F;QAC7F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAA;gBACrE,MAAM,CACF,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,8BAA8B,CACzE,CAAA;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAA;YACzE,CAAC;QACL,CAAC;QACD,MAAM,CAAC,eAAe,GAAG,EAAE,CAAC,CAAA;QAE5B,4CAA4C;QAC5C,6FAA6F;QAE7F,iFAAiF;QACjF,MAAM,cAAc,GAAG,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAA;QACrD,IAAI,mBAAmB,GAAG,CAAC,EAAE,CAAA;QAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YACjE,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC;gBACjB,MAAM,CAAC,gBAAgB,GAAG,eAAe,CAAC,CAAA;gBAC1C,IAAI,gBAAgB,IAAI,CAAC,EAAE,EAAE,CAAC;oBAC1B,wBAAwB;oBACxB,MAAM,eAAe,GACjB,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAA;oBAC1D,MAAM,CAAC,eAAe,IAAI,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;oBACjG,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;oBACxC,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;oBACrH,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CACnD,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,EACxC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CACxB,CAAA;oBACD,mBAAmB;wBACf,gBAAgB,GAAG,mBAAmB;4BAClC,CAAC,CAAC,gBAAgB;4BAClB,CAAC,CAAC,mBAAmB,CAAA;gBACjC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACnD,CAAC;QACL,CAAC;QACD,gDAAgD;QAChD,qGAAqG;QACrG,oEAAoE;QACpE,MAAM,CACF,mBAAmB,IAAI,EAAE,IAAI,mBAAmB,IAAI,eAAe,GAAG,EAAE,CAC3E,CAAA;QAED,8EAA8E;QAC9E,iDAAiD;QACjD,MAAM,CAAC,WAAW,IAAI,EAAE,IAAI,WAAW,IAAI,mBAAmB,CAAC,CAAA;QAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAA;QACtD,IAAI,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC;gBAClB,MAAM,qBAAqB,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAA;gBACxD,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAA;gBACvC,MAAM,oBAAoB,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAA;gBACtD,MAAM,CAAC,oBAAoB,GAAG,eAAe,CAAC,CAAA;gBAC9C,IAAI,oBAAoB,IAAI,CAAC,EAAE,EAAE,CAAC;oBAC9B,yBAAyB;oBACzB,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;oBACnC,MAAM,CAAC,WAAW,GAAG,EAAE,CAAC,CAAA;oBACxB,eAAe,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CACxD,eAAe,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAC7C,WAAW,CACd,CAAA;oBACD,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAAC;wBAC3C,GAAG,EAAE,YAAY,CAAC,eAAe;wBACjC,SAAS,EAAE,qBAAqB;wBAChC,MAAM,EAAE,WAAW;qBACtB,CAAC,CAAA;oBACF,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAA;oBAC5C,MAAM,eAAe,GACjB,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAA;oBAC9D,OAAO,IAAI,OAAO,CAAC,eAAe,CAC9B,eAAe,EACf,cAAc,CAAC,CAAC,CAAC,EACjB,cAAc,CACjB,CAAA;gBACL,CAAC;qBAAM,CAAC;oBACJ,6BAA6B;oBAC7B,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;oBAC7B,6FAA6F;oBAC7F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC5C,MAAM,CAAC,qBAAqB,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;oBACpE,CAAC;oBACD,OAAO,IAAI,OAAO,CAAC,eAAe,CAC9B,qBAAqB,EACrB,cAAc,CAAC,CAAC,CAAC,EACjB,eAAe,CAAC,CAAC,CAAC,CACrB,CAAA;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC7C,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC7B,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC9C,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;YACnC,CAAC;QACL,CAAC;QAED,uDAAuD;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;YACvD,MAAM,CACF,cAAc,CAAC,CAAC,CAAC;gBACjB,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CACnE,CAAA;YACD,IAAI,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YAClC,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC/B,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBAChC,sFAAsF;gBACtF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;gBACxC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,wBAAwB;QACxB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;IACtC,CAAC;CACJ;AA9KU;IADN,MAAM,EAAE;;;;wCA8KR"}

package/dist/esm/contracts/cat20/cat20GuardStateLib.js

@@ -0,0 +1,68 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { StateLib, method, assert, len, SHA256_HASH_LEN, toByteString, fill } from "@opcat-labs/scrypt-ts-opcat";
+import { ConstantsLib, GUARD_TOKEN_TYPE_MAX, TX_INPUT_COUNT_MAX } from "../constants";
+export class CAT20GuardStateLib extends StateLib {
+    static formalCheckState(_state) {
+        CAT20GuardStateLib.checkTokenScriptsUniq(_state.tokenScriptHashes);
+        for (let i = 0; i < GUARD_TOKEN_TYPE_MAX; i++) {
+            const scriptLen = len(_state.tokenScriptHashes[i]);
+            assert(scriptLen == SHA256_HASH_LEN);
+            assert(_state.tokenAmounts[i] >= 0);
+            assert(_state.tokenBurnAmounts[i] >= 0);
+        }
+        for (let i = 0; i < TX_INPUT_COUNT_MAX; i++) {
+            const scriptIndex = _state.tokenScriptIndexes[i];
+            assert(scriptIndex >= -1 && scriptIndex < GUARD_TOKEN_TYPE_MAX);
+        }
+        // return CAT20GuardProto.stateHash(_state)
+        return toByteString('');
+    }
+    /**
+     * Ensure tokenScripts does not have duplicate values
+     * @param tokenScripts token scripts
+     */
+    static checkTokenScriptsUniq(tokenScripts) {
+        // c42
+        assert(tokenScripts[0] != tokenScripts[1]);
+        assert(tokenScripts[0] != tokenScripts[2]);
+        assert(tokenScripts[0] != tokenScripts[3]);
+        assert(tokenScripts[1] != tokenScripts[2]);
+        assert(tokenScripts[1] != tokenScripts[3]);
+        assert(tokenScripts[2] != tokenScripts[3]);
+    }
+    static createEmptyState() {
+        const tokenScriptHashes = fill(toByteString(''), GUARD_TOKEN_TYPE_MAX);
+        // default value to ensure the uniqueness of token scripts
+        tokenScriptHashes[0] = ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FF;
+        tokenScriptHashes[1] = ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FE;
+        tokenScriptHashes[2] = ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FD;
+        tokenScriptHashes[3] = ConstantsLib.TOKEN_SCRIPT_HASH_PLACEHOLDER_FC;
+        return {
+            tokenScriptHashes: tokenScriptHashes,
+            tokenAmounts: fill(0n, GUARD_TOKEN_TYPE_MAX),
+            tokenBurnAmounts: fill(0n, GUARD_TOKEN_TYPE_MAX),
+            tokenScriptIndexes: fill(-1n, TX_INPUT_COUNT_MAX),
+        };
+    }
+}
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object]),
+    __metadata("design:returntype", String)
+], CAT20GuardStateLib, "formalCheckState", null);
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object]),
+    __metadata("design:returntype", void 0)
+], CAT20GuardStateLib, "checkTokenScriptsUniq", null);
+//# sourceMappingURL=cat20GuardStateLib.js.map

package/dist/esm/contracts/cat20/cat20GuardStateLib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20GuardStateLib.js","sourceRoot":"","sources":["../../../../src/contracts/cat20/cat20GuardStateLib.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAc,GAAG,EAAE,eAAe,EAAc,YAAY,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAEzI,OAAO,EAAE,YAAY,EAAuB,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAG3G,MAAM,OAAO,kBAAmB,SAAQ,QAA8B;IAG7D,AAAP,MAAM,CAAC,gBAAgB,CAAC,MAA4B;QAClD,kBAAkB,CAAC,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;QAElE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;YAClD,MAAM,CAAC,SAAS,IAAI,eAAe,CAAC,CAAA;YAEpC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;YACnC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QACzC,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE,CAAC;YAE5C,MAAM,WAAW,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAA;YAChD,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,WAAW,GAAG,oBAAoB,CAAC,CAAA;QACjE,CAAC;QACD,2CAA2C;QAC3C,OAAO,YAAY,CAAC,EAAE,CAAC,CAAA;IACzB,CAAC;IAGD;;;OAGG;IAEI,AAAP,MAAM,CAAC,qBAAqB,CAC1B,YAAiE;QAEjE,MAAM;QACN,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5C,CAAC;IAGD,MAAM,CAAC,gBAAgB;QACrB,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAA;QACtE,0DAA0D;QAC1D,iBAAiB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,gCAAgC,CAAA;QACpE,iBAAiB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,gCAAgC,CAAA;QACpE,iBAAiB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,gCAAgC,CAAA;QACpE,iBAAiB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,gCAAgC,CAAA;QACpE,OAAO;YACL,iBAAiB,EAAE,iBAAiB;YACpC,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC;YAC5C,gBAAgB,EAAE,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC;YAChD,kBAAkB,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC;SAClD,CAAA;IACH,CAAC;CAEF;AAtDQ;IADN,MAAM,EAAE;;;;gDAmBR;AAQM;IADN,MAAM,EAAE;;;;qDAWR"}

package/dist/esm/contracts/cat20/cat20StateLib.js

@@ -0,0 +1,33 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { StateLib, method, assert } from "@opcat-labs/scrypt-ts-opcat";
+import { OwnerUtils } from "../utils/ownerUtils";
+import { ConstantsLib } from "../constants";
+export class CAT20StateLib extends StateLib {
+    static checkState(_state) {
+        OwnerUtils.checkOwnerAddr(_state.ownerAddr);
+        assert(_state.amount > 0n, 'token amount should be non-negative');
+        assert(_state.tag == ConstantsLib.OPCAT_CAT20_TAG, 'invalid tag');
+    }
+    static create(amount, address) {
+        return {
+            tag: ConstantsLib.OPCAT_CAT20_TAG,
+            amount,
+            ownerAddr: address,
+        };
+    }
+}
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object]),
+    __metadata("design:returntype", void 0)
+], CAT20StateLib, "checkState", null);
+//# sourceMappingURL=cat20StateLib.js.map

package/dist/esm/contracts/cat20/cat20StateLib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20StateLib.js","sourceRoot":"","sources":["../../../../src/contracts/cat20/cat20StateLib.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAc,MAAM,6BAA6B,CAAC;AAEnF,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,OAAO,aAAc,SAAQ,QAAoB;IAE5C,AAAP,MAAM,CAAC,UAAU,CAAC,MAAkB;QAChC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,qCAAqC,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,MAAoB,EAAE,OAAmB;QACnD,OAAO;YACH,GAAG,EAAE,YAAY,CAAC,eAAe;YACjC,MAAM;YACN,SAAS,EAAE,OAAO;SACrB,CAAA;IACL,CAAC;CACJ;AAbU;IADN,MAAM,EAAE;;;;qCAKR"}

package/dist/esm/contracts/cat20/minters/cat20ClosedMinter.js

@@ -0,0 +1,75 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { SmartContract, method, prop, assert, toByteString, Sig, PubKey, TxUtils, len, SHA256_HASH_LEN } from '@opcat-labs/scrypt-ts-opcat';
+import { OwnerUtils } from '../../utils/ownerUtils';
+import { CAT20StateLib } from '../cat20StateLib';
+export class CAT20ClosedMinter extends SmartContract {
+    issuerAddress;
+    genesisOutpoint;
+    constructor(ownerAddress, genesisOutpoint) {
+        super(...arguments);
+        this.issuerAddress = ownerAddress;
+        this.genesisOutpoint = genesisOutpoint;
+    }
+    mint(
+    // args to mint token
+    tokenMint, issuerPubKey, issuerSig, 
+    // output satoshis of curTx minter output
+    // if the token is fixed supply, or the token is non-mintable anymore, then this value is 0
+    minterSatoshis, 
+    // output satoshis of curTx token output
+    tokenSatoshis, 
+    // backtrace
+    backtraceInfo) {
+        // back to genesis
+        const minterScript = this.ctx.spentScriptHash;
+        this.backtraceToOutpoint(backtraceInfo, this.genesisOutpoint);
+        // check issuer
+        OwnerUtils.checkUserOwner(issuerPubKey, this.issuerAddress);
+        assert(this.checkSig(issuerSig, issuerPubKey));
+        CAT20ClosedMinter.checkState(this.state);
+        // build curTx outputs
+        // next minter output
+        let minterOutput = toByteString('');
+        if (minterSatoshis > TxUtils.ZERO_SATS) {
+            minterOutput = TxUtils.buildDataOutput(minterScript, minterSatoshis, this.ctx.spentDataHash);
+        }
+        // next token output
+        CAT20StateLib.checkState(tokenMint);
+        const tokenStateHash = CAT20StateLib.stateHash(tokenMint);
+        const tokenOutput = TxUtils.buildDataOutput(this.state.tokenScriptHash, tokenSatoshis, tokenStateHash);
+        // confine curTx outputs
+        assert(this.checkOutputs(minterOutput + tokenOutput + this.buildChangeOutput()));
+    }
+    static checkState(_state) {
+        assert(len(_state.tokenScriptHash) == SHA256_HASH_LEN);
+    }
+}
+__decorate([
+    prop(),
+    __metadata("design:type", String)
+], CAT20ClosedMinter.prototype, "issuerAddress", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", String)
+], CAT20ClosedMinter.prototype, "genesisOutpoint", void 0);
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object, String, String, BigInt, BigInt, Object]),
+    __metadata("design:returntype", void 0)
+], CAT20ClosedMinter.prototype, "mint", null);
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object]),
+    __metadata("design:returntype", void 0)
+], CAT20ClosedMinter, "checkState", null);
+//# sourceMappingURL=cat20ClosedMinter.js.map

package/dist/esm/contracts/cat20/minters/cat20ClosedMinter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20ClosedMinter.js","sourceRoot":"","sources":["../../../../../src/contracts/cat20/minters/cat20ClosedMinter.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAc,YAAY,EAAE,GAAG,EAAE,MAAM,EAAiB,OAAO,EAAU,GAAG,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAG9K,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEhD,MAAM,OAAO,iBAAkB,SAAQ,aAAqC;IAE1E,aAAa,CAAY;IAGzB,eAAe,CAAY;IAE3B,YAAY,YAAwB,EAAE,eAA2B;QAC/D,KAAK,CAAC,GAAG,SAAS,CAAC,CAAA;QACnB,IAAI,CAAC,aAAa,GAAG,YAAY,CAAA;QACjC,IAAI,CAAC,eAAe,GAAG,eAAe,CAAA;IACxC,CAAC;IAGM,IAAI;IACT,qBAAqB;IACrB,SAAqB,EACrB,YAAoB,EACpB,SAAc;IACd,yCAAyC;IACzC,2FAA2F;IAC3F,cAAsB;IACtB,wCAAwC;IACxC,aAAqB;IACrB,YAAY;IACZ,aAA4B;QAG5B,kBAAkB;QAClB,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;QAC9C,IAAI,CAAC,mBAAmB,CACtB,aAAa,EACb,IAAI,CAAC,eAAe,CACrB,CAAA;QAED,eAAe;QACf,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,aAAa,CAAC,CAAA;QAC3D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAA;QAE9C,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzC,sBAAsB;QACtB,qBAAqB;QACrB,IAAI,YAAY,GAAG,YAAY,CAAC,EAAE,CAAC,CAAA;QACnC,IAAI,cAAc,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;YACvC,YAAY,GAAG,OAAO,CAAC,eAAe,CACpC,YAAY,EACZ,cAAc,EACd,IAAI,CAAC,GAAG,CAAC,aAAa,CACvB,CAAA;QACH,CAAC;QACD,oBAAoB;QACpB,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACnC,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QACzD,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,CACzC,IAAI,CAAC,KAAK,CAAC,eAAe,EAC1B,aAAa,EACb,cAAc,CACf,CAAA;QAED,wBAAwB;QACxB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,YAAY,GAAG,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAA;IAClF,CAAC;IAIM,AAAP,MAAM,CAAC,UAAU,CAAC,MAA8B;QAC9C,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,CAAA;IACxD,CAAC;CACF;AAnEC;IADC,IAAI,EAAE;;wDACkB;AAGzB;IADC,IAAI,EAAE;;0DACoB;AASpB;IADN,MAAM,EAAE;;;;6CAiDR;AAIM;IADN,MAAM,EAAE;;;;yCAGR"}

package/dist/esm/contracts/cat20/minters/cat20ClosedMinterMetadata.js

@@ -0,0 +1,14 @@
+import { StateLib } from "@opcat-labs/scrypt-ts-opcat";
+import { ConstantsLib } from "../../constants";
+export class CAT20ClosedMinterMetadata extends StateLib {
+    static createEmptyMetadata() {
+        return {
+            tag: ConstantsLib.OPCAT_METADATA_TAG,
+            name: '',
+            symbol: '',
+            decimals: 0n,
+            minterMd5: '',
+        };
+    }
+}
+//# sourceMappingURL=cat20ClosedMinterMetadata.js.map

package/dist/esm/contracts/cat20/minters/cat20ClosedMinterMetadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20ClosedMinterMetadata.js","sourceRoot":"","sources":["../../../../../src/contracts/cat20/minters/cat20ClosedMinterMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,MAAM,OAAO,yBAA0B,SAAQ,QAA+B;IAC1E,MAAM,CAAC,mBAAmB;QACtB,OAAO;YACH,GAAG,EAAE,YAAY,CAAC,kBAAkB;YACpC,IAAI,EAAE,EAAE;YACR,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,EAAE;SAChB,CAAA;IACL,CAAC;CACJ"}

package/dist/esm/contracts/cat20/minters/cat20OpenMinter.js

@@ -0,0 +1,142 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { method, SmartContract, assert, prop, toByteString, PubKey, Sig, slice, TxUtils, sha256, TxHashPreimageUtils } from '@opcat-labs/scrypt-ts-opcat';
+import { OUTPUT_DATA_HASH_INDEX, OUTPUT_DATA_HASH_LEN } from '../../constants';
+import { ConstantsLib } from '../../constants';
+import { OwnerUtils } from '../../utils/ownerUtils';
+import { CAT20StateLib } from '../cat20StateLib';
+import { CAT20OpenMinterMetadata } from './cat20OpenMinterMetadata';
+const MAX_NEXT_MINTERS = 2;
+export class CAT20OpenMinter extends SmartContract {
+    genesisOutpoint;
+    // token max supply == this.maxCount * this.limit
+    maxCount;
+    // this.premine == this.preminerCount * this.limit
+    premine;
+    premineCount;
+    limit;
+    preminerAddr;
+    constructor(genesisOutpoint, maxCount, premine, premineCount, limit, premineAddr) {
+        super(...arguments);
+        this.genesisOutpoint = genesisOutpoint;
+        this.maxCount = maxCount;
+        // this assumes this.premineCount * this.limit == this.premine,
+        // which can be trivially validated by anyone after the token is deployed
+        this.premine = premine;
+        this.premineCount = premineCount;
+        this.limit = limit;
+        this.preminerAddr = premineAddr;
+    }
+    mint(
+    // args to mint token
+    tokenMint, nextRemainingCounts, 
+    // premine related args
+    preminerPubKey, preminerSig, 
+    // output satoshis of curTx minter output
+    minterSatoshis, 
+    // output satoshis of curTx token output
+    tokenSatoshis, 
+    // backtrace
+    backtraceInfo, metadata) {
+        // back to genesis
+        this.backtraceToOutpoint(backtraceInfo, this.genesisOutpoint);
+        // check metadata fields are consistent with props
+        if (!this.state.hasMintedBefore) {
+            assert(metadata.premine == this.premine);
+            assert(metadata.preminerAddr == this.preminerAddr);
+            assert(metadata.limit == this.limit);
+            assert(this.premine == this.premineCount * this.limit);
+            assert(metadata.max == this.maxCount * this.limit);
+            const metadataHash = CAT20OpenMinterMetadata.stateHash(metadata);
+            const metadataOutput = TxHashPreimageUtils.getOutputByteString(backtraceInfo.prevPrevTxPreimage, backtraceInfo.prevTxInput.prevOutputIndex);
+            assert(metadataHash ==
+                slice(metadataOutput, OUTPUT_DATA_HASH_INDEX, OUTPUT_DATA_HASH_INDEX + OUTPUT_DATA_HASH_LEN));
+        }
+        // build curTx outputs
+        // split to multiple next openMinters
+        let minterOutputs = toByteString('');
+        let sumNextRemainingCount = 0n;
+        for (let i = 0; i < MAX_NEXT_MINTERS; i++) {
+            const remainingCount = nextRemainingCounts[i];
+            if (remainingCount > 0n) {
+                sumNextRemainingCount += remainingCount;
+                minterOutputs += TxUtils.buildDataOutput(this.ctx.spentScriptHash, minterSatoshis, sha256(CAT20OpenMinter.serializeState({
+                    tag: ConstantsLib.OPCAT_MINTER_TAG,
+                    tokenScriptHash: this.state.tokenScriptHash,
+                    hasMintedBefore: true,
+                    remainingCount,
+                })));
+            }
+        }
+        // next token output
+        const tokenStateHash = sha256(CAT20StateLib.serializeState(tokenMint));
+        const tokenOutput = TxUtils.buildDataOutput(this.state.tokenScriptHash, tokenSatoshis, tokenStateHash);
+        if (!this.state.hasMintedBefore && this.premine > 0n) {
+            // needs to premine
+            assert(this.maxCount == this.state.remainingCount + this.premineCount);
+            // preminer checksig
+            OwnerUtils.checkUserOwner(preminerPubKey, this.preminerAddr);
+            assert(this.checkSig(preminerSig, preminerPubKey));
+            // premine dees not affect curState.remainingCount
+            assert(sumNextRemainingCount == this.state.remainingCount);
+            assert(tokenMint.amount == this.premine);
+        }
+        else {
+            // general mint
+            if (!this.state.hasMintedBefore) {
+                // this is the first time mint
+                assert(this.maxCount == this.state.remainingCount);
+                assert(this.premineCount == 0n);
+                assert(this.premine == 0n);
+            }
+            assert(sumNextRemainingCount == this.state.remainingCount - 1n);
+            assert(tokenMint.amount == this.limit);
+        }
+        // change output
+        const changeOutput = this.buildChangeOutput();
+        // confine curTx outputs
+        assert(this.checkOutputs(minterOutputs + tokenOutput + changeOutput));
+    }
+    checkProps() {
+        //
+        assert(this.premineCount * this.limit == this.premine, 'premineCount needs to be multiplied by limit to equal premine.');
+    }
+}
+__decorate([
+    prop(),
+    __metadata("design:type", String)
+], CAT20OpenMinter.prototype, "genesisOutpoint", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", BigInt)
+], CAT20OpenMinter.prototype, "maxCount", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", BigInt)
+], CAT20OpenMinter.prototype, "premine", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", BigInt)
+], CAT20OpenMinter.prototype, "premineCount", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", BigInt)
+], CAT20OpenMinter.prototype, "limit", void 0);
+__decorate([
+    prop(),
+    __metadata("design:type", String)
+], CAT20OpenMinter.prototype, "preminerAddr", void 0);
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object, Object, String, String, BigInt, BigInt, Object, Object]),
+    __metadata("design:returntype", void 0)
+], CAT20OpenMinter.prototype, "mint", null);
+//# sourceMappingURL=cat20OpenMinter.js.map

package/dist/esm/contracts/cat20/minters/cat20OpenMinter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20OpenMinter.js","sourceRoot":"","sources":["../../../../../src/contracts/cat20/minters/cat20OpenMinter.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,MAAM,EACN,aAAa,EACb,MAAM,EACN,IAAI,EAGJ,YAAY,EACZ,MAAM,EACN,GAAG,EACH,KAAK,EACL,OAAO,EAEP,MAAM,EAEN,mBAAmB,EACpB,MAAM,6BAA6B,CAAA;AAOpC,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAA;AAEnE,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAE1B,MAAM,OAAO,eAAgB,SAAQ,aAAmC;IAEtE,eAAe,CAAY;IAE3B,iDAAiD;IAEjD,QAAQ,CAAQ;IAEhB,kDAAkD;IAElD,OAAO,CAAc;IAGrB,YAAY,CAAQ;IAGpB,KAAK,CAAc;IAGnB,YAAY,CAAY;IAExB,YACE,eAA2B,EAC3B,QAAgB,EAChB,OAAqB,EACrB,YAAoB,EACpB,KAAmB,EACnB,WAAuB;QAEvB,KAAK,CAAC,GAAG,SAAS,CAAC,CAAA;QACnB,IAAI,CAAC,eAAe,GAAG,eAAe,CAAA;QACtC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,+DAA+D;QAC/D,yEAAyE;QACzE,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAA;IACjC,CAAC;IAGM,IAAI;IACT,qBAAqB;IACrB,SAAqB,EACrB,mBAAgE;IAChE,uBAAuB;IACvB,cAAsB,EACtB,WAAgB;IAChB,yCAAyC;IACzC,cAAsB;IACtB,wCAAwC;IACxC,aAAqB;IACrB,YAAY;IACZ,aAA4B,EAC5B,QAA6B;QAE7B,kBAAkB;QAClB,IAAI,CAAC,mBAAmB,CAAC,aAAa,EAAE,IAAI,CAAC,eAAe,CAAC,CAAA;QAE7D,kDAAkD;QAClD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;YAChC,MAAM,CAAC,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,CAAA;YACxC,MAAM,CAAC,QAAQ,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,CAAA;YAClD,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;YAEpC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;YACtD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;YAElD,MAAM,YAAY,GAAG,uBAAuB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YAChE,MAAM,cAAc,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,aAAa,CAAC,kBAAkB,EAAE,aAAa,CAAC,WAAW,CAAC,eAAe,CAAC,CAAA;YAC3I,MAAM,CACJ,YAAY;gBACZ,KAAK,CACH,cAAc,EACd,sBAAsB,EACtB,sBAAsB,GAAG,oBAAoB,CAC9C,CACF,CAAA;QACH,CAAC;QAED,sBAAsB;QAEtB,qCAAqC;QACrC,IAAI,aAAa,GAAG,YAAY,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,qBAAqB,GAAG,EAAE,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,cAAc,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAA;YAC7C,IAAI,cAAc,GAAG,EAAE,EAAE,CAAC;gBACxB,qBAAqB,IAAI,cAAc,CAAA;gBACvC,aAAa,IAAI,OAAO,CAAC,eAAe,CACtC,IAAI,CAAC,GAAG,CAAC,eAAe,EACxB,cAAc,EACd,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC;oBACpC,GAAG,EAAE,YAAY,CAAC,gBAAgB;oBAClC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe;oBAC3C,eAAe,EAAE,IAAI;oBACrB,cAAc;iBACf,CAAC,CAAC,CACJ,CAAA;YACH,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,MAAM,cAAc,GAAG,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAA;QACtE,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,CACzC,IAAI,CAAC,KAAK,CAAC,eAAe,EAC1B,aAAa,EACb,cAAc,CACf,CAAA;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,IAAI,CAAC,OAAO,GAAG,EAAE,EAAE,CAAC;YACrD,mBAAmB;YACnB,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,CAAA;YACtE,oBAAoB;YACpB,UAAU,CAAC,cAAc,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAA;YAClD,kDAAkD;YAClD,MAAM,CAAC,qBAAqB,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;YAC1D,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,CAAA;QAC1C,CAAC;aAAM,CAAC;YACN,eAAe;YACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;gBAChC,8BAA8B;gBAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;gBAClD,MAAM,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;gBAC/B,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAA;YAC5B,CAAC;YACD,MAAM,CAAC,qBAAqB,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,EAAE,CAAC,CAAA;YAC/D,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;QACxC,CAAC;QAED,gBAAgB;QAChB,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAE7C,wBAAwB;QACxB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,GAAG,WAAW,GAAG,YAAY,CAAC,CAAC,CAAA;IACvE,CAAC;IAEM,UAAU;QACf,EAAE;QACF,MAAM,CACJ,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,EAC9C,gEAAgE,CACjE,CAAA;IACH,CAAC;CACF;AA9IC;IADC,IAAI,EAAE;;wDACoB;AAI3B;IADC,IAAI,EAAE;;iDACS;AAIhB;IADC,IAAI,EAAE;;gDACc;AAGrB;IADC,IAAI,EAAE;;qDACa;AAGpB;IADC,IAAI,EAAE;;8CACY;AAGnB;IADC,IAAI,EAAE;;qDACiB;AAsBjB;IADN,MAAM,EAAE;;;;2CA+FR"}

package/dist/esm/contracts/cat20/minters/cat20OpenMinterMetadata.js

@@ -0,0 +1,18 @@
+import { StateLib } from "@opcat-labs/scrypt-ts-opcat";
+import { ConstantsLib } from "../../constants";
+export class CAT20OpenMinterMetadata extends StateLib {
+    static createEmptyMetadata() {
+        return {
+            tag: ConstantsLib.OPCAT_METADATA_TAG,
+            name: '',
+            symbol: '',
+            decimals: 0n,
+            minterMd5: '',
+            max: 0n,
+            limit: 0n,
+            premine: 0n,
+            preminerAddr: '',
+        };
+    }
+}
+//# sourceMappingURL=cat20OpenMinterMetadata.js.map

package/dist/esm/contracts/cat20/minters/cat20OpenMinterMetadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20OpenMinterMetadata.js","sourceRoot":"","sources":["../../../../../src/contracts/cat20/minters/cat20OpenMinterMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,MAAM,OAAO,uBAAwB,SAAQ,QAA6B;IAExE,MAAM,CAAC,mBAAmB;QACxB,OAAO;YACL,GAAG,EAAE,YAAY,CAAC,kBAAkB;YACpC,IAAI,EAAE,EAAE;YACR,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,EAAE;YACb,GAAG,EAAE,EAAE;YACP,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,YAAY,EAAE,EAAE;SACjB,CAAA;IACH,CAAC;CACF"}

package/dist/esm/contracts/cat20/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/esm/contracts/cat20/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/contracts/cat20/types.ts"],"names":[],"mappings":""}

package/dist/esm/contracts/cat20Incinerator.js

@@ -0,0 +1,42 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { assert, ContextUtils, prop, method, SmartContract } from "@opcat-labs/scrypt-ts-opcat";
+import { GUARD_TOKEN_TYPE_MAX } from "./constants";
+import { CAT20GuardStateLib } from "./cat20/cat20GuardStateLib";
+export class CAT20Incinerator extends SmartContract {
+    cat20GuardScriptHash;
+    constructor(cat20GuardScriptHash) {
+        super(...arguments);
+        this.cat20GuardScriptHash = cat20GuardScriptHash;
+    }
+    incinerate(guardInputIndex, guardState) {
+        // 1. verify guardInputIndex is the cat20Guard script hash
+        const currentGuardScriptHash = ContextUtils.getSpentScriptHash(this.ctx.spentScriptHashes, guardInputIndex);
+        assert(currentGuardScriptHash == this.cat20GuardScriptHash);
+        const currentGuardStateHash = ContextUtils.getSpentDataHash(this.ctx.spentDataHashes, guardInputIndex);
+        assert(CAT20GuardStateLib.stateHash(guardState) == currentGuardStateHash);
+        // 3. make sure the guard burn all the tokens
+        for (let i = 0; i < GUARD_TOKEN_TYPE_MAX; i++) {
+            assert(guardState.tokenAmounts[i] == guardState.tokenBurnAmounts[i]);
+        }
+        assert(true);
+    }
+}
+__decorate([
+    prop(),
+    __metadata("design:type", String)
+], CAT20Incinerator.prototype, "cat20GuardScriptHash", void 0);
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [BigInt, Object]),
+    __metadata("design:returntype", void 0)
+], CAT20Incinerator.prototype, "incinerate", null);
+//# sourceMappingURL=cat20Incinerator.js.map

package/dist/esm/contracts/cat20Incinerator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cat20Incinerator.js","sourceRoot":"","sources":["../../../src/contracts/cat20Incinerator.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAc,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAG5G,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAGhE,MAAM,OAAO,gBAAiB,SAAQ,aAAa;IAE/C,oBAAoB,CAAY;IAEhC,YACI,oBAAgC;QAEhC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAA;QACnB,IAAI,CAAC,oBAAoB,GAAG,oBAAoB,CAAA;IACpD,CAAC;IAGM,UAAU,CACb,eAAuB,EACvB,UAAgC;QAGhC,0DAA0D;QAC1D,MAAM,sBAAsB,GAAG,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,CAAA;QAC3G,MAAM,CAAC,sBAAsB,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAA;QAC3D,MAAM,qBAAqB,GAAG,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,CAAA;QACtG,MAAM,CAAC,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,qBAAqB,CAAC,CAAC;QAE1E,6CAA6C;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;QACxE,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;CACJ;AA3BG;IADC,IAAI,EAAE;;8DACyB;AAUzB;IADN,MAAM,EAAE;;;;kDAiBR"}