npm - @opcat-labs/cat-sdk - Versions diffs - 1.0.4 → 2.0.0-beta-ecd3cca7-20251118 - Mend

@opcat-labs/cat-sdk 1.0.4 → 2.0.0-beta-ecd3cca7-20251118

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (695) hide show

package/artifacts/.templates/cat20/cat20.scrypt.map CHANGED Viewed

	@@ -1 +1 @@
1	- [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,22,13]],[[2,0,24,20],[8,0,24,2]],[[2,0,27,19],[8,0,27,2]],[[2,0,29,2],[14,0,29,32],[20,0,29,14],[38,0,29,61],[44,0,29,44]],[[4,0,31,4],[8,0,31,9],[26,0,31,4],[28,0,31,28]],[[4,0,32,4],[8,0,32,9],[25,0,32,4],[27,0,32,27]],[],[[2,0,36,2],[18,0,36,9],[25,0,37,16],[44,0,37,4],[56,0,39,16],[77,0,39,4],[89,0,40,21],[93,0,40,4],[~~110~~,0,42,19],[~~124~~,0,42,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,44,27],[46,0,44,42],[50,0,44,47]],[[4,0,47,4],[8,0,47,9],[20,0,48,6],[107,0,51,6]],[[4,0,56,4],[7,0,56,8],[32,0,56,23],[44,0,56,8],[47,0,56,37]],[[8,0,58,6],[37,0,59,19],[48,0,59,8],[81,0,60,42],[91,0,60,53],[~~111~~,0,60,42],[~~113~~,0,60,74],[~~119~~,0,60,~~102~~],[~~129~~,0,60,~~113~~],[~~149~~,0,60,~~102~~],[~~151~~,0,60,~~134~~],[~~154~~,0,60,~~101~~],[~~156~~,0,60,~~140~~]],[],[[8,0,64,6],[18,0,64,17],[34,0,64,32],[44,0,64,43],[78,0,64,66]],[[8,0,65,6],[16,0,65,18],[24,0,65,13],[25,0,65,27],[35,0,65,38],[45,0,65,47],[55,0,65,58],[66,0,65,13]],[],[],[],[[11,0,70,2],[22,0,71,16],[43,0,71,4],[55,0,72,23],[61,0,72,4],[80,0,73,26],[84,0,73,4],[106,0,74,24],[110,0,74,4],[130,0,75,23],[136,0,75,4],[155,0,76,26],[161,0,76,4]],[[4,0,80,4],[12,0,80,11],[24,0,80,24],[44,0,80,43],[63,0,80,62],[83,0,80,11],[86,0,80,85],[90,0,80,90]],[[4,0,81,4],[12,0,81,11],[24,0,81,24],[42,0,81,41],[64,0,81,63],[84,0,81,11],[87,0,81,86],[105,0,81,105],[116,0,81,115]],[[4,0,87,6],[8,0,86,10],[27,0,87,6],[37,0,87,17],[57,0,87,36],[58,0,87,43]],[[4,0,88,4],[12,0,89,6],[22,0,89,17],[41,0,89,35],[42,0,89,42],[61,0,89,6],[64,0,90,6]],[],[],[],[],[],[],[],[],[]]
1	+ [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,33,13]],[[2,0,35,20],[8,0,35,2]],[[2,0,38,28],[8,0,38,28],[12,0,38,2]],[[2,0,41,12],[7,0,41,2]],[[2,0,44,19],[8,0,44,2]],[[2,0,46,2],[14,0,47,22],[20,0,47,4],[38,0,48,30],[44,0,48,30],[48,0,48,4],[74,0,49,14],[79,0,49,4],[89,0,50,21],[95,0,50,4]],[[4,0,53,4],[8,0,53,9],[26,0,53,4],[28,0,53,28]],[[4,0,54,4],[8,0,54,9],[34,0,54,4],[36,0,54,36]],[[4,0,55,4],[8,0,55,9],[18,0,55,4],[20,0,55,20]],[[4,0,56,4],[8,0,56,9],[25,0,56,4],[27,0,56,27]],[],[[2,0,60,2],[18,0,60,9],[25,0,61,16],[49,0,61,4],[61,0,63,16],[82,0,63,4],[94,0,64,21],[98,0,64,4],[115,0,66,19],[129,0,66,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,68,27],[46,0,68,42],[50,0,68,47]],[[4,0,71,4],[8,0,71,9],[20,0,72,6],[107,0,75,6]],[[4,0,80,4],[12,0,81,6],[22,0,81,17],[33,0,81,6],[36,0,81,30],[38,0,81,6],[41,0,81,36],[51,0,81,47],[62,0,81,36],[65,0,81,60]],[[4,0,85,26],[10,0,85,8],[28,0,85,39]],[[4,0,87,4],[7,0,87,8],[17,0,87,19],[40,0,87,8],[43,0,87,44]],[[8,0,89,6],[16,0,90,8],[26,0,90,19],[49,0,90,8]],[[8,0,93,6],[24,0,93,6],[26,0,93,24],[38,0,93,37],[89,0,95,8],[99,0,95,19]],[],[[4,0,99,4],[7,0,99,8],[17,0,99,19],[28,0,99,8],[31,0,99,32]],[[8,0,102,6],[18,0,102,17],[34,0,102,32],[44,0,102,43],[78,0,102,66]],[[8,0,103,6],[16,0,103,18],[24,0,103,13],[25,0,103,27],[35,0,103,38],[45,0,103,47],[55,0,103,58],[66,0,103,13]],[[13,0,104,11],[16,0,104,15],[26,0,104,26],[37,0,104,15],[40,0,104,39]],[[8,0,107,6],[37,0,107,24],[48,0,107,13],[51,0,107,37]],[],[[8,0,110,6],[16,0,110,13],[20,0,110,18]],[[8,0,111,6],[16,0,111,13],[32,0,111,13],[35,0,111,32],[39,0,111,37]],[],[],[],[[11,0,116,2],[22,0,117,16],[43,0,117,4],[55,0,118,23],[61,0,118,4],[80,0,119,26],[84,0,119,4],[106,0,120,24],[110,0,120,4],[130,0,121,23],[136,0,121,4],[155,0,122,26],[161,0,122,4]],[[4,0,125,28],[10,0,125,10],[28,0,125,28],[40,0,125,41],[60,0,125,60],[79,0,125,79]],[[4,0,126,4],[12,0,127,6],[28,0,127,6],[31,0,127,25],[35,0,127,30],[61,0,127,55],[64,0,127,6],[67,0,127,61],[83,0,127,61],[86,0,127,80],[90,0,127,85],[116,0,127,110],[119,0,127,6],[122,0,128,6],[138,0,128,6],[141,0,128,25],[145,0,128,30],[171,0,128,55],[174,0,127,6],[177,0,128,61],[193,0,128,61],[196,0,128,80],[200,0,128,85],[226,0,128,110]],[[4,0,131,4],[12,0,131,11],[24,0,131,24],[42,0,131,41],[64,0,131,63],[84,0,131,11],[87,0,131,86],[105,0,131,105],[116,0,131,115]],[[4,0,135,29],[8,0,135,10],[27,0,135,29],[34,0,135,51],[44,0,135,62],[64,0,135,82],[87,0,135,104],[108,0,135,104],[110,0,135,127]],[[4,0,136,4],[12,0,137,6],[22,0,137,17],[41,0,137,35],[42,0,137,42],[61,0,137,6],[64,0,138,8]],[],[],[],[],[],[],[],[],[]]

package/artifacts/.templates/cat20/cat20.scrypt.tpl CHANGED Viewed

@@ -1,8 +1,8 @@
 import "./types.scrypt.tpl";
 import "../types.scrypt.tpl";
 import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/types/structs.scrypt.tpl";
-import "../utils/ownerUtils.scrypt.tpl";
 import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/contextUtils.scrypt.tpl";
+import "../utils/ownerUtils.scrypt.tpl";
 import "./cat20GuardStateLib.scrypt.tpl";
 import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stdUtils.scrypt.tpl";
 import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/txUtils.scrypt.tpl";
@@ -12,12 +12,16 @@ import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-lib
 contract CAT20 {
   bytes minterScriptHash;
-  bytes guardScriptHash;
-  constructor(bytes minterScriptHash, bytes guardScriptHash) {
+  Sha256[4] guardVariantScriptHashes;
+  bool hasAdmin;
+  bytes adminScriptHash;
+  constructor(bytes minterScriptHash, Sha256[4] guardVariantScriptHashes, bool hasAdmin, bytes adminScriptHash) {
     this.minterScriptHash = minterScriptHash;
-    this.guardScriptHash = guardScriptHash;
+    this.guardVariantScriptHashes = guardVariantScriptHashes;
+    this.hasAdmin = hasAdmin;
+    this.adminScriptHash = adminScriptHash;
   }
-  public function unlock(ContractUnlockArgs unlockArgs, CAT20GuardConstState guardState, int guardInputIndex, BacktraceInfo backtraceInfo, SHPreimage __scrypt_ts_shPreimage, CAT20State __scrypt_ts_curState, bytes __scrypt_ts_prevouts, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes, TxHashPreimage __scrypt_ts_prevTxHashPreimage) {
+  public function unlock(CAT20ContractUnlockArgs unlockArgs, CAT20GuardConstState guardState, int guardInputIndex, BacktraceInfo backtraceInfo, SHPreimage __scrypt_ts_shPreimage, CAT20State __scrypt_ts_curState, bytes __scrypt_ts_prevouts, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes, TxHashPreimage __scrypt_ts_prevTxHashPreimage) {
     require(Tx.checkPreimageSigHashType(ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
     int __scrypt_ts_inputCount = ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
@@ -36,25 +40,35 @@ contract CAT20 {
     Backtrace.verifyFromScript(backtraceInfo, this.minterScriptHash, __scrypt_ts_spentScriptHashes[__scrypt_ts_shPreimage.inputIndex * 32 : (__scrypt_ts_shPreimage.inputIndex + 1) * 32], __scrypt_ts_prevTxHashPreimage.inputList);
     this.checkGuard(guardState, __scrypt_ts_shPreimage.spentScriptHash, __scrypt_ts_shPreimage.inputIndex, guardInputIndex, __scrypt_ts_spentScriptHashes, __scrypt_ts_spentDataHashes);
-    if(len(__scrypt_ts_nextState.ownerAddr) == 32) {
-        require(__scrypt_ts_nextState.ownerAddr == __scrypt_ts_spentScriptHashes[unlockArgs.contractInputIndex * 32 : (unlockArgs.contractInputIndex + 1) * 32]);
-      } else {
+    require(unlockArgs.spendType >= 0 && unlockArgs.spendType <= 2);
+    bytes spentScriptHash = b'';
+    if(unlockArgs.spendScriptInputIndex >= 0) {
+        require(unlockArgs.spendScriptInputIndex < __scrypt_ts_inputCount);
+        spentScriptHash = ContextUtils.getSpentScriptHash(__scrypt_ts_spentScriptHashes, unlockArgs.spendScriptInputIndex);
+      }
+    if(unlockArgs.spendType == 0) {
         OwnerUtils.checkUserOwner(unlockArgs.userPubKey, __scrypt_ts_nextState.ownerAddr);
         require(checkSig(unlockArgs.userSig, unlockArgs.userPubKey));
+      } else if(unlockArgs.spendType == 1) {
+        require(__scrypt_ts_nextState.ownerAddr == spentScriptHash);
+      } else {
+        require(this.hasAdmin);
+        require(spentScriptHash == this.adminScriptHash);
       }
     require(true);
   }
   function checkGuard(CAT20GuardConstState guardState, bytes t_cat20ScriptHash, int t_cat20InputIndexVal, int guardInputIndexVal, bytes t_spentScriptsCtx, bytes t_spentDataHashesCtx) : bool {
-    require(ContextUtils.getSpentScriptHash(t_spentScriptsCtx, guardInputIndexVal) == this.guardScriptHash);
+    bytes guardScriptHash = ContextUtils.getSpentScriptHash(t_spentScriptsCtx, guardInputIndexVal);
+    require(guardScriptHash == this.guardVariantScriptHashes[0] || guardScriptHash == this.guardVariantScriptHashes[1] || guardScriptHash == this.guardVariantScriptHashes[2] || guardScriptHash == this.guardVariantScriptHashes[3]);
     require(ContextUtils.getSpentDataHash(t_spentDataHashesCtx, guardInputIndexVal) == CAT20GuardStateLib.stateHash(guardState));
-    int tokenScriptIndex = guardState.tokenScriptIndexes[(t_cat20InputIndexVal)];
+    int tokenScriptIndex = unpack(guardState.tokenScriptIndexes[t_cat20InputIndexVal : t_cat20InputIndexVal + 1]);
     require(guardState.tokenScriptHashes[(tokenScriptIndex)] == t_cat20ScriptHash);
     return true;
   }
   static function serializeState(CAT20State __scrypt_ts_curState): bytes {
-    return num2bin(len(__scrypt_ts_curState.tag), 2) + __scrypt_ts_curState.tag + num2bin(len(__scrypt_ts_curState.ownerAddr), 2) + __scrypt_ts_curState.ownerAddr + num2bin(len(pack(__scrypt_ts_curState.amount)), 2) + pack(__scrypt_ts_curState.amount) + hash160(hash160(__scrypt_ts_curState.tag) + hash160(__scrypt_ts_curState.ownerAddr) + hash160(pack(__scrypt_ts_curState.amount)));
+    return num2bin(len(__scrypt_ts_curState.ownerAddr), 2) + __scrypt_ts_curState.ownerAddr + num2bin(len(pack(__scrypt_ts_curState.amount)), 2) + pack(__scrypt_ts_curState.amount) + hash160(hash160(__scrypt_ts_curState.ownerAddr) + hash160(pack(__scrypt_ts_curState.amount)));
   }
   static function stateHash(CAT20State __scrypt_ts_curState): bytes {
-    return sha256(num2bin(len(__scrypt_ts_curState.tag), 2) + __scrypt_ts_curState.tag + num2bin(len(__scrypt_ts_curState.ownerAddr), 2) + __scrypt_ts_curState.ownerAddr + num2bin(len(pack(__scrypt_ts_curState.amount)), 2) + pack(__scrypt_ts_curState.amount) + hash160(hash160(__scrypt_ts_curState.tag) + hash160(__scrypt_ts_curState.ownerAddr) + hash160(pack(__scrypt_ts_curState.amount))));
+    return sha256(num2bin(len(__scrypt_ts_curState.ownerAddr), 2) + __scrypt_ts_curState.ownerAddr + num2bin(len(pack(__scrypt_ts_curState.amount)), 2) + pack(__scrypt_ts_curState.amount) + hash160(hash160(__scrypt_ts_curState.ownerAddr) + hash160(pack(__scrypt_ts_curState.amount))));
   }
 }

package/artifacts/.templates/cat20/cat20Admin.scrypt.map ADDED Viewed

@@ -0,0 +1 @@

+ [[],[],[],[],[],[],[],[],[],[],[[9,0,15,13]],[[2,0,17,19],[8,0,17,2]],[[2,0,19,2],[14,0,19,31],[20,0,19,14]],[[4,0,21,4],[8,0,21,9],[25,0,21,4],[27,0,21,27]],[],[[2,0,25,2],[18,0,25,9],[40,0,27,17],[47,0,27,4],[60,0,28,14],[64,0,28,4],[74,0,30,19],[88,0,30,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,33,28],[10,0,33,10]],[[33,0,34,29],[48,0,34,44],[52,0,34,49]],[[4,0,37,4],[14,0,37,15],[30,0,37,30],[64,0,37,54]],[[4,0,38,4],[12,0,38,16],[20,0,38,11],[21,0,38,25],[31,0,38,35],[42,0,38,11]],[[4,0,41,24],[10,0,41,10],[24,0,41,24],[31,0,41,32],[48,0,42,6]],[[4,0,48,4],[20,0,48,29],[32,0,48,29]],[],[],[[2,0,52,2],[18,0,52,9],[36,0,54,17],[43,0,54,4],[56,0,55,14],[60,0,55,4],[70,0,56,19],[80,0,56,4],[95,0,58,19],[109,0,58,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,61,28],[10,0,61,10]],[[33,0,62,29],[48,0,62,44],[52,0,62,49]],[[4,0,64,4],[14,0,64,15],[30,0,64,30],[64,0,64,54]],[[4,0,65,4],[12,0,65,16],[20,0,65,11],[21,0,65,25],[31,0,65,35],[42,0,65,11]],[[25,0,68,15],[39,0,68,4],[41,0,69,6],[51,0,69,17],[78,0,69,43]],[[4,0,71,24],[10,0,71,10],[24,0,71,24],[31,0,71,32],[48,0,72,6],[95,0,74,6],[105,0,74,17]],[[4,0,77,4],[20,0,77,29],[32,0,77,29]],[],[],[],[],[],[],[],[],[]]

package/artifacts/.templates/cat20/cat20Admin.scrypt.tpl ADDED Viewed

@@ -0,0 +1,73 @@
+import "./types.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/types/structs.scrypt.tpl";
+import "../utils/ownerUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/txUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stdUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/backtrace.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/contextUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stateUtils.scrypt.tpl";
+contract CAT20Admin {
+  bytes genesisOutpoint;
+  constructor(bytes genesisOutpoint) {
+    this.genesisOutpoint = genesisOutpoint;
+  }
+  public function authorizeToSpendToken(PubKey adminPubKey, Sig adminSig, BacktraceInfo backtraceInfo, SHPreimage __scrypt_ts_shPreimage, TxOut __scrypt_ts_changeInfo, CAT20AdminState __scrypt_ts_curState, bytes __scrypt_ts_prevouts, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes, TxHashPreimage __scrypt_ts_prevTxHashPreimage) {
+    require(Tx.checkPreimageSigHashType(ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
+    int __scrypt_ts_inputCount = ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
+    Outpoint __scrypt_ts_prevout = ContextUtils.checkPrevouts(__scrypt_ts_prevouts, __scrypt_ts_shPreimage.hashPrevouts, __scrypt_ts_shPreimage.inputIndex, __scrypt_ts_inputCount);
+    ContextUtils.checkSpentScripts(__scrypt_ts_spentScriptHashes, __scrypt_ts_shPreimage.hashSpentScriptHashes, __scrypt_ts_inputCount);
+    ContextUtils.checkSpentDataHashes(__scrypt_ts_spentDataHashes, __scrypt_ts_shPreimage.hashSpentDataHashes, __scrypt_ts_inputCount);
+    CAT20AdminState __scrypt_ts_nextState = __scrypt_ts_curState;
+    StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, CAT20Admin.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
+    Backtrace.checkPrevTxHashPreimage(__scrypt_ts_prevTxHashPreimage, __scrypt_ts_prevouts, __scrypt_ts_shPreimage.inputIndex);
+    bytes adminScriptHash = __scrypt_ts_shPreimage.spentScriptHash;
+    Backtrace.verifyFromOutpoint(backtraceInfo, this.genesisOutpoint, __scrypt_ts_spentScriptHashes[__scrypt_ts_shPreimage.inputIndex * 32 : (__scrypt_ts_shPreimage.inputIndex + 1) * 32], __scrypt_ts_prevTxHashPreimage.inputList);
+    OwnerUtils.checkUserOwner(adminPubKey, __scrypt_ts_nextState.adminAddress);
+    require(checkSig(adminSig, adminPubKey));
+    bytes adminOutput = TxUtils.buildDataOutput(adminScriptHash, __scrypt_ts_shPreimage.value, __scrypt_ts_shPreimage.spentDataHash);
+    require(hash256(adminOutput +
+      (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildOutput(__scrypt_ts_changeInfo.scriptHash, __scrypt_ts_changeInfo.satoshis) : b'')) == __scrypt_ts_shPreimage.hashOutputs);
+  }
+  public function transferOwnership(PubKey adminPubKey, Sig adminSig, Ripemd160 newPubKeyHash, BacktraceInfo backtraceInfo, SHPreimage __scrypt_ts_shPreimage, TxOut __scrypt_ts_changeInfo, CAT20AdminState __scrypt_ts_curState, bytes __scrypt_ts_prevouts, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes, TxHashPreimage __scrypt_ts_prevTxHashPreimage) {
+    require(Tx.checkPreimageSigHashType(ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
+    int __scrypt_ts_inputCount = ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
+    Outpoint __scrypt_ts_prevout = ContextUtils.checkPrevouts(__scrypt_ts_prevouts, __scrypt_ts_shPreimage.hashPrevouts, __scrypt_ts_shPreimage.inputIndex, __scrypt_ts_inputCount);
+    ContextUtils.checkSpentScripts(__scrypt_ts_spentScriptHashes, __scrypt_ts_shPreimage.hashSpentScriptHashes, __scrypt_ts_inputCount);
+    ContextUtils.checkSpentDataHashes(__scrypt_ts_spentDataHashes, __scrypt_ts_shPreimage.hashSpentDataHashes, __scrypt_ts_inputCount);
+    CAT20AdminState __scrypt_ts_nextState = __scrypt_ts_curState;
+    StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, CAT20Admin.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
+    Backtrace.checkPrevTxHashPreimage(__scrypt_ts_prevTxHashPreimage, __scrypt_ts_prevouts, __scrypt_ts_shPreimage.inputIndex);
+    bytes adminScriptHash = __scrypt_ts_shPreimage.spentScriptHash;
+    Backtrace.verifyFromOutpoint(backtraceInfo, this.genesisOutpoint, __scrypt_ts_spentScriptHashes[__scrypt_ts_shPreimage.inputIndex * 32 : (__scrypt_ts_shPreimage.inputIndex + 1) * 32], __scrypt_ts_prevTxHashPreimage.inputList);
+    OwnerUtils.checkUserOwner(adminPubKey, __scrypt_ts_nextState.adminAddress);
+    require(checkSig(adminSig, adminPubKey));
+    __scrypt_ts_nextState.adminAddress = OwnerUtils.pubKeyHashtoLockingScript(newPubKeyHash);
+    bytes adminOutput = TxUtils.buildDataOutput(adminScriptHash, __scrypt_ts_shPreimage.value, CAT20Admin.stateHash(__scrypt_ts_nextState));
+    require(hash256(adminOutput +
+      (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildOutput(__scrypt_ts_changeInfo.scriptHash, __scrypt_ts_changeInfo.satoshis) : b'')) == __scrypt_ts_shPreimage.hashOutputs);
+  }
+  static function serializeState(CAT20AdminState __scrypt_ts_curState): bytes {
+    return num2bin(len(__scrypt_ts_curState.tag), 2) + __scrypt_ts_curState.tag + num2bin(len(__scrypt_ts_curState.adminAddress), 2) + __scrypt_ts_curState.adminAddress + hash160(hash160(__scrypt_ts_curState.tag) + hash160(__scrypt_ts_curState.adminAddress));
+  }
+  static function stateHash(CAT20AdminState __scrypt_ts_curState): bytes {
+    return sha256(num2bin(len(__scrypt_ts_curState.tag), 2) + __scrypt_ts_curState.tag + num2bin(len(__scrypt_ts_curState.adminAddress), 2) + __scrypt_ts_curState.adminAddress + hash160(hash160(__scrypt_ts_curState.tag) + hash160(__scrypt_ts_curState.adminAddress)));
+  }
+}

package/artifacts/.templates/cat20/cat20Admin.transformer.json ADDED Viewed

@@ -0,0 +1,10 @@
+{
+  "success": true,
+  "errors": [],
+  "scryptfile": "cat20/cat20Admin.scrypt.tpl",
+  "sourceMapFile": "cat20/cat20Admin.scrypt.map",
+  "ctxMethods": [
+    "authorizeToSpendToken",
+    "transferOwnership"
+  ]
+}

package/artifacts/.templates/cat20/cat20GuardStateLib.scrypt.map CHANGED Viewed

	@@ -1 +1 @@
1	- [[],[],[],[],[],[[8,0,5,13]],[[2,0,8,2],[18,0,8,9],[35,0,8,34],[56,0,8,26],[66,0,8,57]],[[4,0,9,4],[22,0,9,23],[45,0,9,45],[51,0,9,52]],[[15,0,11,13]],[[8,0,12,24],[12,0,12,12],[24,0,12,24],[28,0,12,28],[34,0,12,35],[53,0,12,53]],[[8,0,13,6],[16,0,13,13],[26,0,13,13],[29,0,13,26]],[[8,0,15,6],[16,0,15,13],[22,0,15,20],[36,0,15,33],[39,0,15,13],[42,0,15,39]],[[8,0,16,6],[16,0,16,13],[22,0,16,20],[40,0,16,37],[43,0,16,13],[46,0,16,43]],[],[[16,0,19,13]],[[8,0,21,26],[12,0,21,12],[26,0,21,26],[32,0,21,33],[52,0,21,52]],[[8,0,22,6],[16,0,22,13],[28,0,22,13],[31,0,22,28],[32,0,22,29],[34,0,22,13],[37,0,22,34],[49,0,22,34],[51,0,22,48]],[],[~~[4,0,25,4~~],[~~11,0,25,24~~]],[],[[2,0,34,2],[18,0,34,9],[40,0,35,18],[45,0,35,18],[49,0,35,4]],[[4,0,38,4],[12,0,38,11],[25,0,38,24],[28,0,38,11],[31,0,38,30],[44,0,38,43]],[[4,0,39,4],[12,0,39,11],[25,0,39,24],[28,0,39,11],[31,0,39,30],[44,0,39,43]],[[4,0,40,4],[12,0,40,11],[25,0,40,24],[28,0,40,11],[31,0,40,30],[44,0,40,43]],[[4,0,41,4],[12,0,41,11],[25,0,41,24],[28,0,41,11],[31,0,41,30],[44,0,41,43]],[[4,0,42,4],[12,0,42,11],[25,0,42,24],[28,0,42,11],[31,0,42,30],[44,0,42,43]],[[4,0,43,4],[12,0,43,11],[25,0,43,24],[28,0,43,11],[31,0,43,30],[44,0,43,43]],[],[],[],[],[],[],[],[],[]]
1	+ [[],[],[],[],[],[[8,0,10,13]],[[2,0,13,2],[18,0,13,9],[35,0,13,34],[56,0,13,26],[64,0,13,73],[81,0,13,56]],[[4,0,14,4],[22,0,14,23],[45,0,14,45],[51,0,14,52]],[[15,0,16,13]],[[8,0,17,24],[12,0,17,12],[24,0,17,24],[28,0,17,28],[34,0,17,35],[53,0,17,53]],[[8,0,18,6],[16,0,18,13],[26,0,18,13],[29,0,18,26]],[[8,0,20,6],[16,0,20,13],[22,0,20,20],[36,0,20,33],[39,0,20,13],[42,0,20,39]],[[8,0,21,6],[16,0,21,13],[22,0,21,20],[40,0,21,37],[43,0,21,13],[46,0,21,43]],[],[[4,0,24,4],[12,0,24,11],[16,0,24,15],[22,0,24,22],[43,0,24,11],[46,0,24,45],[47,0,24,52]],[[29,0,25,13]],[[8,0,26,26],[12,0,26,12],[26,0,26,26],[33,0,26,48],[39,0,26,55],[59,0,26,75],[60,0,26,82],[65,0,26,86],[66,0,26,93],[68,0,26,93],[70,0,26,97]],[[8,0,27,6],[16,0,27,13],[28,0,27,13],[31,0,27,28],[32,0,27,29],[34,0,27,13],[37,0,27,34],[49,0,27,34],[51,0,27,48]],[],[],[],[[2,0,36,2],[18,0,36,9],[40,0,37,18],[45,0,37,18],[49,0,37,4]],[[4,0,40,4],[12,0,40,11],[25,0,40,24],[28,0,40,11],[31,0,40,30],[44,0,40,43]],[[4,0,41,4],[12,0,41,11],[25,0,41,24],[28,0,41,11],[31,0,41,30],[44,0,41,43]],[[4,0,42,4],[12,0,42,11],[25,0,42,24],[28,0,42,11],[31,0,42,30],[44,0,42,43]],[[4,0,43,4],[12,0,43,11],[25,0,43,24],[28,0,43,11],[31,0,43,30],[44,0,43,43]],[[4,0,44,4],[12,0,44,11],[25,0,44,24],[28,0,44,11],[31,0,44,30],[44,0,44,43]],[[4,0,45,4],[12,0,45,11],[25,0,45,24],[28,0,45,11],[31,0,45,30],[44,0,45,43]],[],[],[],[],[],[],[],[],[]]

package/artifacts/.templates/cat20/cat20GuardStateLib.scrypt.tpl CHANGED Viewed

@@ -4,7 +4,7 @@ import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-lib
 library CAT20GuardStateLib {
-  static function formalCheckState(CAT20GuardConstState _state) : bytes {
+  static function formalCheckState(CAT20GuardConstState _state, static const int txInputCountMax) : bool {
     CAT20GuardStateLib.checkTokenScriptsUniq(_state.tokenScriptHashes);
     loop (4) : i {
         int scriptLen = len(_state.tokenScriptHashes[i]);
@@ -12,11 +12,12 @@ library CAT20GuardStateLib {
         require(_state.tokenAmounts[i] >= 0);
         require(_state.tokenBurnAmounts[i] >= 0);
       }
-    loop (10) : i {
-        int scriptIndex = _state.tokenScriptIndexes[i];
+    require(len(_state.tokenScriptIndexes) == (txInputCountMax));
+    loop (txInputCountMax) : i {
+        int scriptIndex = unpack(_state.tokenScriptIndexes[(i) : (i + 1)]);
         require(scriptIndex >= -1 && scriptIndex < 4);
       }
-    return b'';
+    return true;
   }
   static function checkTokenScriptsUniq(bytes[4] tokenScripts) : bool {
     require(tokenScripts[0] != tokenScripts[1]);
@@ -28,9 +29,9 @@ library CAT20GuardStateLib {
     return true;
   }
   static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
-    return num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[0])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[1])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[2])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[3])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[4])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[4]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[5])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[5]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[6])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[6]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[7])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[7]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[8])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[8]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[9])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[9]) + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[0])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[1])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[2])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[4])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[5])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[6])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[7])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[8])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[9])));
+    return num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes));
   }
   static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
-    return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[0])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[1])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[2])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[3])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[4])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[4]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[5])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[5]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[6])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[6]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[7])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[7]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[8])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[8]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[9])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[9]) + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[0])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[1])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[2])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[4])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[5])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[6])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[7])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[8])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[9]))));
+    return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes)));
   }
 }

package/artifacts/.templates/cat20/cat20Guard_12_12_2.scrypt.map ADDED Viewed

@@ -0,0 +1 @@

+ [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,41,13]],[],[[2,0,43,4],[18,0,43,11],[25,0,44,25],[30,0,44,25],[35,0,44,8],[52,0,48,33],[57,0,48,33],[62,0,48,8],[87,0,52,22],[90,0,52,22],[95,0,52,8],[109,0,58,32],[112,0,58,32],[117,0,58,8],[141,0,63,24],[144,0,63,24],[149,0,63,8],[165,0,67,21],[175,0,67,21],[180,0,67,8],[193,0,69,21],[197,0,69,8]],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,73,8],[22,0,73,27],[63,0,73,56]],[[4,0,76,30],[8,0,76,12],[26,0,76,30]],[[4,0,77,39],[9,0,77,39],[13,0,77,14],[40,0,81,16],[52,0,81,29],[87,0,82,16],[99,0,82,29],[134,0,83,16],[146,0,83,29],[181,0,84,16],[193,0,84,29]],[[15,0,86,17]],[[8,0,87,12],[11,0,87,16],[13,0,87,16],[16,0,87,21]],[[10,0,88,16],[39,0,88,34],[58,0,88,52],[59,0,88,59],[63,0,88,23],[66,0,88,66],[90,0,88,90],[91,0,88,97]],[[10,0,89,16],[39,0,89,34],[53,0,89,47],[54,0,89,54],[58,0,89,23],[61,0,89,61]],[[10,0,90,16],[39,0,90,34],[57,0,90,51],[58,0,90,58],[62,0,90,23],[65,0,90,65]],[],[],[[15,0,94,17]],[[8,0,95,12],[32,0,95,27],[51,0,95,45],[54,0,95,16],[57,0,95,51],[81,0,95,75]],[[10,0,96,16],[25,0,96,16]],[],[],[[15,0,100,17]],[[8,0,101,12],[11,0,101,16],[13,0,101,16],[15,0,101,20],[16,0,101,27]],[[10,0,102,16],[39,0,102,34],[58,0,102,52],[61,0,102,23],[64,0,102,58],[88,0,102,82]],[[10,0,103,16],[18,0,104,20],[43,0,104,35],[62,0,104,53],[66,0,104,20],[69,0,104,60]],[],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[61,0,107,23],[64,0,107,58],[88,0,107,82]],[],[],[[4,0,110,8],[12,0,110,15],[28,0,110,15],[30,0,110,33]],[[4,0,116,31],[7,0,116,31],[11,0,116,14],[28,0,116,31],[35,0,116,36],[38,0,116,40]],[[4,0,117,34],[8,0,117,12],[30,0,117,34],[31,0,117,35]],[[4,0,118,27],[8,0,118,14]],[[16,0,119,17]],[[8,0,120,37],[12,0,120,18],[31,0,120,37],[59,0,120,70],[79,0,120,90],[80,0,120,97],[85,0,120,101],[86,0,120,108],[88,0,120,108],[90,0,120,112]],[[8,0,121,12],[11,0,121,16],[13,0,121,16],[15,0,121,20]],[[10,0,122,16],[18,0,122,23],[35,0,122,23],[37,0,122,42]],[[10,0,123,16],[13,0,123,20],[30,0,123,20],[33,0,123,40],[34,0,123,41]],[[12,0,126,24],[18,0,125,26],[57,0,126,35],[76,0,126,53],[77,0,126,60]],[[12,0,127,20],[20,0,127,27],[36,0,127,27],[39,0,127,46],[51,0,127,59],[102,0,127,106],[103,0,127,113]],[[12,0,128,20],[25,0,128,34],[37,0,128,45],[49,0,128,57]],[[12,0,129,20],[20,0,129,27],[32,0,129,40],[79,0,129,83],[80,0,129,90],[84,0,129,27],[87,0,129,97],[100,0,129,111],[111,0,129,121],[123,0,129,133]],[[12,0,130,20],[27,0,130,35],[28,0,130,42],[47,0,130,20],[49,0,130,63],[57,0,130,72],[62,0,131,24],[77,0,131,39],[78,0,131,46],[98,0,132,24],[110,0,132,36],[112,0,132,39]],[[12,0,134,20],[32,0,134,20],[34,0,135,24],[51,0,135,24],[53,0,135,43],[75,0,136,30],[94,0,137,30]],[],[],[[10,0,140,16],[18,0,140,23],[35,0,140,23],[38,0,140,43],[39,0,140,44]],[],[],[[4,0,146,8],[12,0,147,12],[32,0,147,12],[35,0,147,35],[37,0,147,12],[40,0,147,41],[60,0,147,41],[63,0,147,64],[79,0,147,64],[81,0,147,82]],[[4,0,152,8],[12,0,152,15],[24,0,152,15],[27,0,152,30],[29,0,152,15],[32,0,152,36],[44,0,152,36],[47,0,152,51]],[[4,0,153,32],[7,0,153,32],[11,0,153,14],[29,0,153,32],[36,0,153,37],[39,0,153,41]],[[4,0,154,22],[10,0,154,12],[20,0,154,35]],[[16,0,155,17]],[[8,0,156,12],[11,0,156,16],[13,0,156,16],[15,0,156,20]],[[10,0,157,46],[16,0,157,22],[40,0,157,46],[64,0,157,70]],[[10,0,158,16],[18,0,158,23],[22,0,158,27],[45,0,158,23],[47,0,158,52]],[[10,0,159,45],[14,0,159,22],[37,0,159,45],[60,0,159,68]],[[10,0,160,16],[18,0,160,23],[39,0,160,23],[41,0,160,46]],[[10,0,161,16],[13,0,161,20],[34,0,161,20],[37,0,161,44],[38,0,161,45]],[[12,0,163,40],[16,0,163,26],[30,0,163,40],[43,0,163,53]],[[12,0,164,20],[20,0,164,27],[32,0,164,27],[34,0,164,41]],[[12,0,165,20],[28,0,165,36],[29,0,165,43],[52,0,165,20],[54,0,165,68],[62,0,165,77],[67,0,166,24],[83,0,166,40],[84,0,166,47],[108,0,167,24]],[[12,0,169,43],[18,0,169,26],[35,0,169,43],[48,0,169,57],[59,0,169,67],[60,0,170,35],[83,0,171,32]],[[12,0,173,20],[20,0,173,27],[36,0,173,43],[39,0,173,27],[42,0,173,49]],[[12,0,175,24],[18,0,174,26],[57,0,175,35],[76,0,175,53],[77,0,175,60]],[[12,0,176,20],[20,0,176,20],[23,0,176,31],[30,0,176,39],[47,0,177,24],[64,0,178,24],[79,0,178,39],[83,0,179,24]],[],[[12,0,183,20],[20,0,183,27],[33,0,183,40],[36,0,183,27],[39,0,183,46]],[[23,0,185,29]],[[14,0,186,24],[22,0,186,31],[44,0,186,31],[68,0,186,67],[87,0,186,85]],[],[[12,0,188,20],[20,0,188,20],[23,0,188,31],[30,0,188,39],[47,0,189,24],[70,0,190,24],[85,0,190,39],[89,0,191,24],[105,0,191,40]],[],[],[[10,0,195,16],[18,0,195,23],[22,0,195,27],[46,0,195,51],[50,0,195,23],[53,0,195,58]],[[10,0,196,16],[18,0,196,23],[41,0,196,46],[44,0,196,23],[47,0,196,52],[48,0,196,53]],[[10,0,197,16],[18,0,197,23],[31,0,197,36],[34,0,197,23],[37,0,197,42]],[[10,0,198,16],[18,0,198,23],[34,0,198,39],[37,0,198,23],[40,0,198,58]],[[10,0,199,16],[18,0,199,23],[33,0,199,38],[36,0,199,23],[39,0,199,44]],[],[],[[15,0,204,17]],[[8,0,205,12],[16,0,205,19],[31,0,205,34],[34,0,205,19],[58,0,205,51],[72,0,205,64]],[[8,0,206,12],[16,0,207,16],[31,0,207,31],[34,0,207,16],[37,0,208,16],[45,0,208,25],[50,0,208,29],[66,0,208,45],[91,0,208,60],[109,0,208,77]],[[8,0,211,12],[11,0,211,16],[13,0,211,16],[15,0,211,20],[16,0,211,27]],[[10,0,212,16],[18,0,212,23],[33,0,212,38],[36,0,212,23],[38,0,212,43]],[],[[10,0,214,16],[18,0,214,23],[33,0,214,38],[36,0,214,23],[39,0,214,44]],[[10,0,215,16],[18,0,215,23],[34,0,215,39],[37,0,215,23],[40,0,215,45]],[[10,0,217,16],[39,0,217,34],[53,0,217,47],[56,0,217,23],[59,0,217,53]],[[10,0,218,16],[39,0,218,34],[57,0,218,51],[60,0,218,23],[63,0,218,57]],[],[],[[4,0,223,8],[20,0,223,33]],[],[],[],[],[],[],[],[]]

package/artifacts/.templates/cat20/cat20Guard_12_12_2.scrypt.tpl ADDED Viewed

@@ -0,0 +1,124 @@
+import "./types.scrypt.tpl";
+import "./cat20GuardStateLib.scrypt.tpl";
+import "../constants.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/contextUtils.scrypt.tpl";
+import "./cat20StateLib.scrypt.tpl";
+import "../utils/safeMath.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/txUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stdUtils.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/types/structs.scrypt.tpl";
+import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stateUtils.scrypt.tpl";
+contract CAT20Guard_12_12_2 {
+  constructor(){}
+  public function unlock(bytes[12] nextStateHashes, bytes[12] ownerAddrOrScriptHashes, int[12] outputTokens, int[12] tokenScriptHashIndexes, int[12] outputSatoshis, CAT20State[12] cat20States, int outputCount, SHPreimage __scrypt_ts_shPreimage, CAT20GuardConstState __scrypt_ts_curState, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes) {
+    require(Tx.checkPreimageSigHashType(ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
+    int __scrypt_ts_inputCount = ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
+    ContextUtils.checkSpentScripts(__scrypt_ts_spentScriptHashes, __scrypt_ts_shPreimage.hashSpentScriptHashes, __scrypt_ts_inputCount);
+    ContextUtils.checkSpentDataHashes(__scrypt_ts_spentDataHashes, __scrypt_ts_shPreimage.hashSpentDataHashes, __scrypt_ts_inputCount);
+    CAT20GuardConstState __scrypt_ts_nextState = __scrypt_ts_curState;
+    StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, CAT20Guard_12_12_2.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
+    CAT20GuardStateLib.formalCheckState(__scrypt_ts_nextState, 12);
+    int inputTokenTypes = 0;
+    bytes[4] 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];
+    loop (4) : i {
+        if(i >= 2) {
+          require(__scrypt_ts_nextState.tokenScriptHashes[(i)] == tokenScriptPlaceholders[(i)]);
+          require(__scrypt_ts_nextState.tokenAmounts[(i)] == 0);
+          require(__scrypt_ts_nextState.tokenBurnAmounts[(i)] == 0);
+        }
+      }
+    loop (2) : i {
+        if(__scrypt_ts_nextState.tokenScriptHashes[i] != tokenScriptPlaceholders[i]) {
+          inputTokenTypes++;
+        }
+      }
+    loop (2) : i {
+        if(i < (inputTokenTypes)) {
+          require(__scrypt_ts_nextState.tokenScriptHashes[i] != tokenScriptPlaceholders[i]);
+          require(len(__scrypt_ts_nextState.tokenScriptHashes[i]) == 32);
+        } else {
+          require(__scrypt_ts_nextState.tokenScriptHashes[i] == tokenScriptPlaceholders[i]);
+        }
+      }
+    require(inputTokenTypes > 0);
+    int[2] sumInputTokens = repeat(0, 2);
+    int tokenScriptIndexMax = -1;
+    int inputCount = __scrypt_ts_inputCount;
+    loop (12) : i {
+        int tokenScriptIndex = unpack(__scrypt_ts_nextState.tokenScriptIndexes[(i) : (i + 1)]);
+        if(i < inputCount) {
+          require(tokenScriptIndex < inputTokenTypes);
+          if(tokenScriptIndex != -1) {
+            bytes tokenScriptHash = __scrypt_ts_nextState.tokenScriptHashes[(tokenScriptIndex)];
+            require(tokenScriptHash == ContextUtils.getSpentScriptHash(__scrypt_ts_spentScriptHashes, (i)));
+            CAT20StateLib.checkState(cat20States[i]);
+            require(ContextUtils.getSpentDataHash(__scrypt_ts_spentDataHashes, (i)) == CAT20StateLib.stateHash(cat20States[i]));
+            sumInputTokens[(tokenScriptIndex)] = SafeMath.add(sumInputTokens[(tokenScriptIndex)], cat20States[i].amount);
+            tokenScriptIndexMax = tokenScriptIndex > tokenScriptIndexMax ? tokenScriptIndex : tokenScriptIndexMax;
+          }
+        } else {
+          require(tokenScriptIndex == -1);
+        }
+      }
+    require(tokenScriptIndexMax >= 0 && tokenScriptIndexMax == inputTokenTypes - 1);
+    require(outputCount >= 0 && outputCount <= 12);
+    int[2] sumOutputTokens = repeat(0, 2);
+    bytes outputs = b'';
+    loop (12) : i {
+        if(i < outputCount) {
+          bytes ownerAddrOrScriptHash = ownerAddrOrScriptHashes[i];
+          require(len(ownerAddrOrScriptHash) > 0);
+          int tokenScriptHashIndex = tokenScriptHashIndexes[i];
+          require(tokenScriptHashIndex < inputTokenTypes);
+          if(tokenScriptHashIndex != -1) {
+            int tokenAmount = outputTokens[i];
+            require(tokenAmount > 0);
+            sumOutputTokens[(tokenScriptHashIndex)] = SafeMath.add(sumOutputTokens[(tokenScriptHashIndex)], tokenAmount);
+            bytes tokenStateHash = CAT20StateLib.stateHash({ownerAddrOrScriptHash, tokenAmount});
+            require(nextStateHashes[i] == tokenStateHash);
+            bytes tokenScriptHash = __scrypt_ts_nextState.tokenScriptHashes[(tokenScriptHashIndex)];
+            outputs += TxUtils.buildDataOutput(tokenScriptHash, outputSatoshis[i], tokenStateHash);
+          } else {
+            require(outputTokens[i] == 0);
+            loop (2) : j {
+              require(ownerAddrOrScriptHash != __scrypt_ts_nextState.tokenScriptHashes[j]);
+            }
+            outputs += TxUtils.buildDataOutput(ownerAddrOrScriptHash, outputSatoshis[i], nextStateHashes[i]);
+          }
+        } else {
+          require(len(ownerAddrOrScriptHashes[i]) == 0);
+          require(tokenScriptHashIndexes[i] == -1);
+          require(outputTokens[i] == 0);
+          require(nextStateHashes[i] == b'');
+          require(outputSatoshis[i] == 0);
+        }
+      }
+    loop (2) : i {
+        require(sumInputTokens[i] == __scrypt_ts_nextState.tokenAmounts[i]);
+        require(sumInputTokens[i] == SafeMath.add(sumOutputTokens[i], __scrypt_ts_nextState.tokenBurnAmounts[i]));
+        if(i < (inputTokenTypes)) {
+          require(sumInputTokens[i] > 0);
+        } else {
+          require(sumInputTokens[i] == 0);
+          require(sumOutputTokens[i] == 0);
+          require(__scrypt_ts_nextState.tokenAmounts[i] == 0);
+          require(__scrypt_ts_nextState.tokenBurnAmounts[i] == 0);
+        }
+      }
+    require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
+  }
+  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
+    return num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes));
+  }
+  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
+    return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes)));
+  }
+}

package/artifacts/.templates/cat20/cat20Guard_12_12_2.transformer.json ADDED Viewed

@@ -0,0 +1,9 @@
+{
+  "success": true,
+  "errors": [],
+  "scryptfile": "cat20/cat20Guard_12_12_2.scrypt.tpl",
+  "sourceMapFile": "cat20/cat20Guard_12_12_2.scrypt.map",
+  "ctxMethods": [
+    "unlock"
+  ]
+}

package/artifacts/.templates/cat20/cat20Guard_12_12_4.scrypt.map ADDED Viewed

@@ -0,0 +1 @@

package/artifacts/.templates/cat20/{cat20Guard.scrypt.tpl → cat20Guard_12_12_4.scrypt.tpl} RENAMED Viewed

@@ -10,9 +10,9 @@ import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/types/struc
 import "@opcat-labs/scrypt-ts-opcat/assets/.templates/smart-contract/builtin-libs/stateUtils.scrypt.tpl";
-contract CAT20Guard {
+contract CAT20Guard_12_12_4 {
   constructor(){}
-  public function unlock(bytes[10] nextStateHashes, bytes[10] ownerAddrOrScriptHashes, int[10] outputTokens, int[10] tokenScriptHashIndexes, int[10] outputSatoshis, CAT20State[10] cat20States, int outputCount, SHPreimage __scrypt_ts_shPreimage, CAT20GuardConstState __scrypt_ts_curState, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes) {
+  public function unlock(bytes[12] nextStateHashes, bytes[12] ownerAddrOrScriptHashes, int[12] outputTokens, int[12] tokenScriptHashIndexes, int[12] outputSatoshis, CAT20State[12] cat20States, int outputCount, SHPreimage __scrypt_ts_shPreimage, CAT20GuardConstState __scrypt_ts_curState, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes, bytes __scrypt_ts_spentScriptHashes) {
     require(Tx.checkPreimageSigHashType(ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
     int __scrypt_ts_inputCount = ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
@@ -23,11 +23,18 @@ contract CAT20Guard {
     CAT20GuardConstState __scrypt_ts_nextState = __scrypt_ts_curState;
-    StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, CAT20Guard.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
+    StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, CAT20Guard_12_12_4.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
-    CAT20GuardStateLib.formalCheckState(__scrypt_ts_nextState);
+    CAT20GuardStateLib.formalCheckState(__scrypt_ts_nextState, 12);
     int inputTokenTypes = 0;
     bytes[4] 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];
+    loop (4) : i {
+        if(i >= 4) {
+          require(__scrypt_ts_nextState.tokenScriptHashes[(i)] == tokenScriptPlaceholders[(i)]);
+          require(__scrypt_ts_nextState.tokenAmounts[(i)] == 0);
+          require(__scrypt_ts_nextState.tokenBurnAmounts[(i)] == 0);
+        }
+      }
     loop (4) : i {
         if(__scrypt_ts_nextState.tokenScriptHashes[i] != tokenScriptPlaceholders[i]) {
           inputTokenTypes++;
@@ -45,8 +52,8 @@ contract CAT20Guard {
     int[4] sumInputTokens = repeat(0, 4);
     int tokenScriptIndexMax = -1;
     int inputCount = __scrypt_ts_inputCount;
-    loop (10) : i {
-        int tokenScriptIndex = __scrypt_ts_nextState.tokenScriptIndexes[(i)];
+    loop (12) : i {
+        int tokenScriptIndex = unpack(__scrypt_ts_nextState.tokenScriptIndexes[(i) : (i + 1)]);
         if(i < inputCount) {
           require(tokenScriptIndex < inputTokenTypes);
           if(tokenScriptIndex != -1) {
@@ -58,14 +65,14 @@ contract CAT20Guard {
             tokenScriptIndexMax = tokenScriptIndex > tokenScriptIndexMax ? tokenScriptIndex : tokenScriptIndexMax;
           }
         } else {
-          require(__scrypt_ts_nextState.tokenScriptIndexes[i] == -1);
+          require(tokenScriptIndex == -1);
         }
       }
     require(tokenScriptIndexMax >= 0 && tokenScriptIndexMax == inputTokenTypes - 1);
-    require(outputCount >= 0 && outputCount <= 10);
+    require(outputCount >= 0 && outputCount <= 12);
     int[4] sumOutputTokens = repeat(0, 4);
     bytes outputs = b'';
-    loop (10) : i {
+    loop (12) : i {
         if(i < outputCount) {
           bytes ownerAddrOrScriptHash = ownerAddrOrScriptHashes[i];
           require(len(ownerAddrOrScriptHash) > 0);
@@ -75,7 +82,7 @@ contract CAT20Guard {
             int tokenAmount = outputTokens[i];
             require(tokenAmount > 0);
             sumOutputTokens[(tokenScriptHashIndex)] = SafeMath.add(sumOutputTokens[(tokenScriptHashIndex)], tokenAmount);
-            bytes tokenStateHash = CAT20StateLib.stateHash({ConstantsLib.OPCAT_CAT20_TAG, ownerAddrOrScriptHash, tokenAmount});
+            bytes tokenStateHash = CAT20StateLib.stateHash({ownerAddrOrScriptHash, tokenAmount});
             require(nextStateHashes[i] == tokenStateHash);
             bytes tokenScriptHash = __scrypt_ts_nextState.tokenScriptHashes[(tokenScriptHashIndex)];
             outputs += TxUtils.buildDataOutput(tokenScriptHash, outputSatoshis[i], tokenStateHash);
@@ -109,9 +116,9 @@ contract CAT20Guard {
     require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
   }
   static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
-    return num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[0])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[1])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[2])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[3])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[4])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[4]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[5])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[5]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[6])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[6]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[7])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[7]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[8])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[8]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[9])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[9]) + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[0])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[1])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[2])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[4])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[5])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[6])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[7])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[8])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[9])));
+    return num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes));
   }
   static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
-    return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[0])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[1])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[2])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[3])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[4])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[4]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[5])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[5]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[6])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[6]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[7])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[7]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[8])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[8]) + num2bin(len(pack(__scrypt_ts_curState.tokenScriptIndexes[9])), 2) + pack(__scrypt_ts_curState.tokenScriptIndexes[9]) + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[0])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[1])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[2])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[3])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[4])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[5])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[6])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[7])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[8])) + hash160(pack(__scrypt_ts_curState.tokenScriptIndexes[9]))));
+    return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHashes[0]), 2) + __scrypt_ts_curState.tokenScriptHashes[0] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[1]), 2) + __scrypt_ts_curState.tokenScriptHashes[1] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[2]), 2) + __scrypt_ts_curState.tokenScriptHashes[2] + num2bin(len(__scrypt_ts_curState.tokenScriptHashes[3]), 2) + __scrypt_ts_curState.tokenScriptHashes[3] + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenAmounts[3]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[0])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[0]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[1])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[1]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[2])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[2]) + num2bin(len(pack(__scrypt_ts_curState.tokenBurnAmounts[3])), 2) + pack(__scrypt_ts_curState.tokenBurnAmounts[3]) + num2bin(len(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.tokenScriptHashes[0]) + hash160(__scrypt_ts_curState.tokenScriptHashes[1]) + hash160(__scrypt_ts_curState.tokenScriptHashes[2]) + hash160(__scrypt_ts_curState.tokenScriptHashes[3]) + hash160(pack(__scrypt_ts_curState.tokenAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenAmounts[3])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[0])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[1])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[2])) + hash160(pack(__scrypt_ts_curState.tokenBurnAmounts[3])) + hash160(__scrypt_ts_curState.tokenScriptIndexes)));
   }
 }

package/artifacts/.templates/cat20/cat20Guard_12_12_4.transformer.json ADDED Viewed

@@ -0,0 +1,9 @@
+{
+  "success": true,
+  "errors": [],
+  "scryptfile": "cat20/cat20Guard_12_12_4.scrypt.tpl",
+  "sourceMapFile": "cat20/cat20Guard_12_12_4.scrypt.map",
+  "ctxMethods": [
+    "unlock"
+  ]
+}

package/artifacts/.templates/cat20/cat20Guard_6_6_2.scrypt.map ADDED Viewed

@@ -0,0 +1 @@

+ [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,41,13]],[],[[2,0,43,4],[18,0,43,11],[25,0,44,25],[30,0,44,25],[34,0,44,8],[51,0,48,33],[56,0,48,33],[60,0,48,8],[85,0,52,22],[88,0,52,22],[92,0,52,8],[106,0,58,32],[109,0,58,32],[113,0,58,8],[137,0,63,24],[140,0,63,24],[144,0,63,8],[160,0,67,21],[170,0,67,21],[174,0,67,8],[187,0,69,21],[191,0,69,8]],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,73,8],[22,0,73,27],[63,0,73,56]],[[4,0,76,30],[8,0,76,12],[26,0,76,30]],[[4,0,77,39],[9,0,77,39],[13,0,77,14],[40,0,81,16],[52,0,81,29],[87,0,82,16],[99,0,82,29],[134,0,83,16],[146,0,83,29],[181,0,84,16],[193,0,84,29]],[[15,0,86,17]],[[8,0,87,12],[11,0,87,16],[13,0,87,16],[16,0,87,21]],[[10,0,88,16],[39,0,88,34],[58,0,88,52],[59,0,88,59],[63,0,88,23],[66,0,88,66],[90,0,88,90],[91,0,88,97]],[[10,0,89,16],[39,0,89,34],[53,0,89,47],[54,0,89,54],[58,0,89,23],[61,0,89,61]],[[10,0,90,16],[39,0,90,34],[57,0,90,51],[58,0,90,58],[62,0,90,23],[65,0,90,65]],[],[],[[15,0,94,17]],[[8,0,95,12],[32,0,95,27],[51,0,95,45],[54,0,95,16],[57,0,95,51],[81,0,95,75]],[[10,0,96,16],[25,0,96,16]],[],[],[[15,0,100,17]],[[8,0,101,12],[11,0,101,16],[13,0,101,16],[15,0,101,20],[16,0,101,27]],[[10,0,102,16],[39,0,102,34],[58,0,102,52],[61,0,102,23],[64,0,102,58],[88,0,102,82]],[[10,0,103,16],[18,0,104,20],[43,0,104,35],[62,0,104,53],[66,0,104,20],[69,0,104,60]],[],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[61,0,107,23],[64,0,107,58],[88,0,107,82]],[],[],[[4,0,110,8],[12,0,110,15],[28,0,110,15],[30,0,110,33]],[[4,0,116,31],[7,0,116,31],[11,0,116,14],[28,0,116,31],[35,0,116,36],[38,0,116,40]],[[4,0,117,34],[8,0,117,12],[30,0,117,34],[31,0,117,35]],[[4,0,118,27],[8,0,118,14]],[[15,0,119,17]],[[8,0,120,37],[12,0,120,18],[31,0,120,37],[59,0,120,70],[79,0,120,90],[80,0,120,97],[85,0,120,101],[86,0,120,108],[88,0,120,108],[90,0,120,112]],[[8,0,121,12],[11,0,121,16],[13,0,121,16],[15,0,121,20]],[[10,0,122,16],[18,0,122,23],[35,0,122,23],[37,0,122,42]],[[10,0,123,16],[13,0,123,20],[30,0,123,20],[33,0,123,40],[34,0,123,41]],[[12,0,126,24],[18,0,125,26],[57,0,126,35],[76,0,126,53],[77,0,126,60]],[[12,0,127,20],[20,0,127,27],[36,0,127,27],[39,0,127,46],[51,0,127,59],[102,0,127,106],[103,0,127,113]],[[12,0,128,20],[25,0,128,34],[37,0,128,45],[49,0,128,57]],[[12,0,129,20],[20,0,129,27],[32,0,129,40],[79,0,129,83],[80,0,129,90],[84,0,129,27],[87,0,129,97],[100,0,129,111],[111,0,129,121],[123,0,129,133]],[[12,0,130,20],[27,0,130,35],[28,0,130,42],[47,0,130,20],[49,0,130,63],[57,0,130,72],[62,0,131,24],[77,0,131,39],[78,0,131,46],[98,0,132,24],[110,0,132,36],[112,0,132,39]],[[12,0,134,20],[32,0,134,20],[34,0,135,24],[51,0,135,24],[53,0,135,43],[75,0,136,30],[94,0,137,30]],[],[],[[10,0,140,16],[18,0,140,23],[35,0,140,23],[38,0,140,43],[39,0,140,44]],[],[],[[4,0,146,8],[12,0,147,12],[32,0,147,12],[35,0,147,35],[37,0,147,12],[40,0,147,41],[60,0,147,41],[63,0,147,64],[79,0,147,64],[81,0,147,82]],[[4,0,152,8],[12,0,152,15],[24,0,152,15],[27,0,152,30],[29,0,152,15],[32,0,152,36],[44,0,152,36],[47,0,152,51]],[[4,0,153,32],[7,0,153,32],[11,0,153,14],[29,0,153,32],[36,0,153,37],[39,0,153,41]],[[4,0,154,22],[10,0,154,12],[20,0,154,35]],[[15,0,155,17]],[[8,0,156,12],[11,0,156,16],[13,0,156,16],[15,0,156,20]],[[10,0,157,46],[16,0,157,22],[40,0,157,46],[64,0,157,70]],[[10,0,158,16],[18,0,158,23],[22,0,158,27],[45,0,158,23],[47,0,158,52]],[[10,0,159,45],[14,0,159,22],[37,0,159,45],[60,0,159,68]],[[10,0,160,16],[18,0,160,23],[39,0,160,23],[41,0,160,46]],[[10,0,161,16],[13,0,161,20],[34,0,161,20],[37,0,161,44],[38,0,161,45]],[[12,0,163,40],[16,0,163,26],[30,0,163,40],[43,0,163,53]],[[12,0,164,20],[20,0,164,27],[32,0,164,27],[34,0,164,41]],[[12,0,165,20],[28,0,165,36],[29,0,165,43],[52,0,165,20],[54,0,165,68],[62,0,165,77],[67,0,166,24],[83,0,166,40],[84,0,166,47],[108,0,167,24]],[[12,0,169,43],[18,0,169,26],[35,0,169,43],[48,0,169,57],[59,0,169,67],[60,0,170,35],[83,0,171,32]],[[12,0,173,20],[20,0,173,27],[36,0,173,43],[39,0,173,27],[42,0,173,49]],[[12,0,175,24],[18,0,174,26],[57,0,175,35],[76,0,175,53],[77,0,175,60]],[[12,0,176,20],[20,0,176,20],[23,0,176,31],[30,0,176,39],[47,0,177,24],[64,0,178,24],[79,0,178,39],[83,0,179,24]],[],[[12,0,183,20],[20,0,183,27],[33,0,183,40],[36,0,183,27],[39,0,183,46]],[[23,0,185,29]],[[14,0,186,24],[22,0,186,31],[44,0,186,31],[68,0,186,67],[87,0,186,85]],[],[[12,0,188,20],[20,0,188,20],[23,0,188,31],[30,0,188,39],[47,0,189,24],[70,0,190,24],[85,0,190,39],[89,0,191,24],[105,0,191,40]],[],[],[[10,0,195,16],[18,0,195,23],[22,0,195,27],[46,0,195,51],[50,0,195,23],[53,0,195,58]],[[10,0,196,16],[18,0,196,23],[41,0,196,46],[44,0,196,23],[47,0,196,52],[48,0,196,53]],[[10,0,197,16],[18,0,197,23],[31,0,197,36],[34,0,197,23],[37,0,197,42]],[[10,0,198,16],[18,0,198,23],[34,0,198,39],[37,0,198,23],[40,0,198,58]],[[10,0,199,16],[18,0,199,23],[33,0,199,38],[36,0,199,23],[39,0,199,44]],[],[],[[15,0,204,17]],[[8,0,205,12],[16,0,205,19],[31,0,205,34],[34,0,205,19],[58,0,205,51],[72,0,205,64]],[[8,0,206,12],[16,0,207,16],[31,0,207,31],[34,0,207,16],[37,0,208,16],[45,0,208,25],[50,0,208,29],[66,0,208,45],[91,0,208,60],[109,0,208,77]],[[8,0,211,12],[11,0,211,16],[13,0,211,16],[15,0,211,20],[16,0,211,27]],[[10,0,212,16],[18,0,212,23],[33,0,212,38],[36,0,212,23],[38,0,212,43]],[],[[10,0,214,16],[18,0,214,23],[33,0,214,38],[36,0,214,23],[39,0,214,44]],[[10,0,215,16],[18,0,215,23],[34,0,215,39],[37,0,215,23],[40,0,215,45]],[[10,0,217,16],[39,0,217,34],[53,0,217,47],[56,0,217,23],[59,0,217,53]],[[10,0,218,16],[39,0,218,34],[57,0,218,51],[60,0,218,23],[63,0,218,57]],[],[],[[4,0,223,8],[20,0,223,33]],[],[],[],[],[],[],[],[]]