@opcat-labs/cat-sdk 1.0.1

package/dist/artifacts/counter.json

@@ -0,0 +1,253 @@
+{
+  "version": 10,
+  "compilerVersion": "1.21.0+commit.2ada378",
+  "contract": "_opcat_labs_cat_sdk_1_0_1__rs__Counter",
+  "md5": "4894d08a2129d85b874b9c5010682370",
+  "structs": [
+    {
+      "name": "_opcat_labs_cat_sdk_1_0_1__rs__CounterState",
+      "params": [
+        {
+          "name": "count",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ReadVarintResult",
+      "params": [
+        {
+          "name": "data",
+          "type": "bytes"
+        },
+        {
+          "name": "nextPos",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxOut",
+      "params": [
+        {
+          "name": "scriptHash",
+          "type": "bytes"
+        },
+        {
+          "name": "dataHash",
+          "type": "bytes"
+        },
+        {
+          "name": "satoshis",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxIn",
+      "params": [
+        {
+          "name": "prevTxHash",
+          "type": "bytes"
+        },
+        {
+          "name": "prevOutputIndex",
+          "type": "int"
+        },
+        {
+          "name": "sequence",
+          "type": "int"
+        },
+        {
+          "name": "scriptHash",
+          "type": "bytes"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimage",
+      "params": [
+        {
+          "name": "version",
+          "type": "bytes"
+        },
+        {
+          "name": "inputList",
+          "type": "bytes"
+        },
+        {
+          "name": "outputList",
+          "type": "bytes"
+        },
+        {
+          "name": "nLockTime",
+          "type": "bytes"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__BacktraceInfo",
+      "params": [
+        {
+          "name": "prevTxInput",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxIn"
+        },
+        {
+          "name": "prevTxInputIndex",
+          "type": "int"
+        },
+        {
+          "name": "prevPrevTxPreimage",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimage"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage",
+      "params": [
+        {
+          "name": "nVersion",
+          "type": "bytes"
+        },
+        {
+          "name": "hashPrevouts",
+          "type": "bytes"
+        },
+        {
+          "name": "spentScriptHash",
+          "type": "bytes"
+        },
+        {
+          "name": "spentDataHash",
+          "type": "bytes"
+        },
+        {
+          "name": "value",
+          "type": "int"
+        },
+        {
+          "name": "nSequence",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentAmounts",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentScriptHashes",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentDataHashes",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSequences",
+          "type": "bytes"
+        },
+        {
+          "name": "hashOutputs",
+          "type": "bytes"
+        },
+        {
+          "name": "inputIndex",
+          "type": "int"
+        },
+        {
+          "name": "nLockTime",
+          "type": "int"
+        },
+        {
+          "name": "sigHashType",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__Outpoint",
+      "params": [
+        {
+          "name": "txHash",
+          "type": "bytes"
+        },
+        {
+          "name": "outputIndex",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    }
+  ],
+  "library": [
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__StateUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    }
+  ],
+  "alias": [],
+  "abi": [
+    {
+      "type": "function",
+      "name": "increase",
+      "index": 0,
+      "params": [
+        {
+          "name": "__scrypt_ts_shPreimage",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage"
+        },
+        {
+          "name": "__scrypt_ts_changeInfo",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxOut"
+        },
+        {
+          "name": "__scrypt_ts_curState",
+          "type": "_opcat_labs_cat_sdk_1_0_1__rs__CounterState"
+        },
+        {
+          "name": "__scrypt_ts_spentAmounts",
+          "type": "bytes"
+        },
+        {
+          "name": "__scrypt_ts_spentDataHashes",
+          "type": "bytes"
+        }
+      ]
+    },
+    {
+      "type": "constructor",
+      "params": []
+    }
+  ],
+  "stateProps": [],
+  "stateType": "_opcat_labs_cat_sdk_1_0_1__rs__CounterState",
+  "buildType": "release",
+  "file": "..\\counter.scrypt",
+  "hex": "512097dfd76851bf465e8f715593b217714858bbe9570ff3bd5e33840a34e20ff0262102ba79df5f8ae7604a9830f03c7933028186aede0675a16f025dc4f8be8eec0382201008ce7480da41702918d1ec8e6849ba32b4d65b1e40dc669c31a1e6306b266c0117790117790117790117790117790117790117790117790117790117790117790117790117790117795d798277549d5c79827701209d5b79827701209d5a79827701209d597900a26958798277549d5779827701209d5679827701209d5579827701209d5479827701209d5379827701209d527900a2697800a26976519c6476529c6751686476539c67516864760281009c67516864760282009c67516864760283009c675168695d795d797e5c797e5b797e5a79767600a2637609ffffffffffffffff00a16700686976586e8b806e7c7f75007f6b6d6d6d6c7e59797e58797e57797e56797e55797e54797e5379546e8b806e7c7f75007f6b6d6d6c7e5279546e8b806e7c7f75007f6b6d6d6c7e7854807e6b6d6d6d6d6d6d6d6c54797855795579210ac407f0e4bd44bfc207355a778b046225a7068fc59ee7eda43ad905aadbffc800206c266b30e6a1319c66dc401e5bd6b432ba49688eecd118297041da8074ce0810577956795679aa7676517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e01007e817757795679567956795679537956795479577995939521414136d08c5ed2bf3ba048afe6dcaebafeffffffffffffffffffffffffffffff006e6e9776009f636e936776687777777b757c6e5296a0636e7c947b757c6853798277527982775379012080517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e01205279947f77545379935279930130787e527e54797e58797e527e53797e52797e57797e6b6d6d6d6d6d6d6c765779ac6b6d6d6d6d6d6c7769557901127978aa7888785878827d77527997009d6e7c966b6d6d6c7755790111796f75aa527988765379012078827d77527997009d6e7c967777779d6d7557795e7959797682775280787e78a9a97ea87758797653798b0120957f7553790120957f775279886d75517877768b777701177901167952797682775280787e78a9a97e77a8527982777882777801209d7601209d537900a2695379767600a2637609ffffffffffffffff00a16700686976586e8b806e7c7f75007f6b6d6d6d6c55797e53797e6b6d6d6c775a7900a0635c795b796e00a8527982777882777801209d7601209d537900a2695379767600a2637609ffffffffffffffff00a16700686976586e8b806e7c7f75007f6b6d6d6d6c55797e53797e6b6d6d6d6c776700687e76aa011179876b6d6d6d6d6d6d6d6d6d6d6d6d6d6c77"
+}

package/dist/artifacts/counter.scrypt

@@ -0,0 +1,38 @@
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/txUtils.scrypt";
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/stdUtils.scrypt";
+import "scrypt-ts-opcat/assets/smart-contract/types/structs.scrypt";
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/contextUtils.scrypt";
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/stateUtils.scrypt";
+
+
+
+
+struct _opcat_labs_cat_sdk_1_0_1__rs__CounterState {
+  int count;
+}
+
+contract _opcat_labs_cat_sdk_1_0_1__rs__Counter {
+  constructor(){}
+  public function increase(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage __scrypt_ts_shPreimage, _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxOut __scrypt_ts_changeInfo, _opcat_labs_cat_sdk_1_0_1__rs__CounterState __scrypt_ts_curState, bytes __scrypt_ts_spentAmounts, bytes __scrypt_ts_spentDataHashes) {
+    require(Tx.checkPreimageSigHashType(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.serializeSHPreimage(__scrypt_ts_shPreimage), SigHash.ALL));
+    
+    int __scrypt_ts_inputCount = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.checkSpentAmounts(__scrypt_ts_spentAmounts, __scrypt_ts_shPreimage.hashSpentAmounts);
+    
+    _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.checkSpentDataHashes(__scrypt_ts_spentDataHashes, __scrypt_ts_shPreimage.hashSpentDataHashes, __scrypt_ts_inputCount);
+    
+    _opcat_labs_cat_sdk_1_0_1__rs__CounterState __scrypt_ts_nextState = __scrypt_ts_curState;
+    
+    _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StateUtils.checkInputState(__scrypt_ts_shPreimage.inputIndex, _opcat_labs_cat_sdk_1_0_1__rs__Counter.stateHash(__scrypt_ts_curState), __scrypt_ts_spentDataHashes);
+    
+    __scrypt_ts_nextState.count++;
+    bytes outputs = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils.buildDataOutput(__scrypt_ts_shPreimage.spentScriptHash, __scrypt_ts_shPreimage.value, sha256(_opcat_labs_cat_sdk_1_0_1__rs__Counter.serializeState(__scrypt_ts_nextState))) + 
+      (__scrypt_ts_changeInfo.satoshis > 0 ? _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils.buildOutput(__scrypt_ts_changeInfo.scriptHash, __scrypt_ts_changeInfo.satoshis) : b'');
+    require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
+  }
+  static function serializeState(_opcat_labs_cat_sdk_1_0_1__rs__CounterState __scrypt_ts_curState): bytes {
+    return num2bin(len(pack(__scrypt_ts_curState.count)), 2) + pack(__scrypt_ts_curState.count) + hash160(hash160(pack(__scrypt_ts_curState.count)));
+  }
+  static function stateHash(_opcat_labs_cat_sdk_1_0_1__rs__CounterState __scrypt_ts_curState): bytes {
+    return sha256(num2bin(len(pack(__scrypt_ts_curState.count)), 2) + pack(__scrypt_ts_curState.count) + hash160(hash160(pack(__scrypt_ts_curState.count))));
+  }
+}

package/dist/artifacts/p2pkh.json

@@ -0,0 +1,229 @@
+{
+  "version": 10,
+  "compilerVersion": "1.21.0+commit.2ada378",
+  "contract": "_opcat_labs_cat_sdk_1_0_1__rs__P2PKH",
+  "md5": "98f9f52fe2cc6b5a592626f99aedf593",
+  "structs": [
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ReadVarintResult",
+      "params": [
+        {
+          "name": "data",
+          "type": "bytes"
+        },
+        {
+          "name": "nextPos",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxOut",
+      "params": [
+        {
+          "name": "scriptHash",
+          "type": "bytes"
+        },
+        {
+          "name": "dataHash",
+          "type": "bytes"
+        },
+        {
+          "name": "satoshis",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxIn",
+      "params": [
+        {
+          "name": "prevTxHash",
+          "type": "bytes"
+        },
+        {
+          "name": "prevOutputIndex",
+          "type": "int"
+        },
+        {
+          "name": "sequence",
+          "type": "int"
+        },
+        {
+          "name": "scriptHash",
+          "type": "bytes"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimage",
+      "params": [
+        {
+          "name": "version",
+          "type": "bytes"
+        },
+        {
+          "name": "inputList",
+          "type": "bytes"
+        },
+        {
+          "name": "outputList",
+          "type": "bytes"
+        },
+        {
+          "name": "nLockTime",
+          "type": "bytes"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__BacktraceInfo",
+      "params": [
+        {
+          "name": "prevTxInput",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxIn"
+        },
+        {
+          "name": "prevTxInputIndex",
+          "type": "int"
+        },
+        {
+          "name": "prevPrevTxPreimage",
+          "type": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimage"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage",
+      "params": [
+        {
+          "name": "nVersion",
+          "type": "bytes"
+        },
+        {
+          "name": "hashPrevouts",
+          "type": "bytes"
+        },
+        {
+          "name": "spentScriptHash",
+          "type": "bytes"
+        },
+        {
+          "name": "spentDataHash",
+          "type": "bytes"
+        },
+        {
+          "name": "value",
+          "type": "int"
+        },
+        {
+          "name": "nSequence",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentAmounts",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentScriptHashes",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSpentDataHashes",
+          "type": "bytes"
+        },
+        {
+          "name": "hashSequences",
+          "type": "bytes"
+        },
+        {
+          "name": "hashOutputs",
+          "type": "bytes"
+        },
+        {
+          "name": "inputIndex",
+          "type": "int"
+        },
+        {
+          "name": "nLockTime",
+          "type": "int"
+        },
+        {
+          "name": "sigHashType",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__Outpoint",
+      "params": [
+        {
+          "name": "txHash",
+          "type": "bytes"
+        },
+        {
+          "name": "outputIndex",
+          "type": "int"
+        }
+      ],
+      "genericTypes": []
+    }
+  ],
+  "library": [
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    },
+    {
+      "name": "_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils",
+      "params": [],
+      "properties": [],
+      "genericTypes": []
+    }
+  ],
+  "alias": [],
+  "abi": [
+    {
+      "type": "function",
+      "name": "unlock",
+      "index": 0,
+      "params": [
+        {
+          "name": "sig",
+          "type": "Sig"
+        },
+        {
+          "name": "pubKey",
+          "type": "PubKey"
+        }
+      ]
+    },
+    {
+      "type": "constructor",
+      "params": [
+        {
+          "name": "pkh",
+          "type": "bytes"
+        }
+      ]
+    }
+  ],
+  "stateProps": [],
+  "buildType": "release",
+  "file": "..\\p2pkh.scrypt",
+  "hex": "<pkh>6f75ad78a97887777777"
+}

package/dist/artifacts/p2pkh.scrypt

@@ -0,0 +1,13 @@
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/txUtils.scrypt";
+import "scrypt-ts-opcat/assets/smart-contract/builtin-libs/contextUtils.scrypt";
+
+
+
+
+contract _opcat_labs_cat_sdk_1_0_1__rs__P2PKH {
+  bytes pkh;
+  public function unlock(Sig sig, PubKey pubKey) {
+    require(checkSig(sig, pubKey));
+    require(hash160(pubKey) == this.pkh);
+  }
+}

package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/backtrace.scrypt

@@ -0,0 +1,38 @@
+import "../types/structs.scrypt";
+import "txHashPreimageUtils.scrypt";
+import "txUtils.scrypt";
+import "stdUtils.scrypt";
+
+
+
+
+struct _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ChainTxVerifyResponse {
+  bytes prevPrevScript;
+  bytes prevPrevOutpoint;
+}
+
+library _opcat_labs_scrypt_ts_opcat_1_0_3__rs__Backtrace {
+  static function checkPrevTxHashPreimage(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimage txHashPreimage, bytes t_prevouts, int t_inputIndex) : bool {
+    bytes txHash = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimageUtils.getTxHashFromTxHashPreimage(txHashPreimage);
+    require(txHash == t_prevouts[t_inputIndex * 36 : t_inputIndex * 36 + 32]);
+    return true;
+  }
+  static function verifyFromOutpoint(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__BacktraceInfo backtraceInfo, bytes t_genesisOutpoint, bytes t_selfScript, bytes t_prevTxInputList) : bool {
+    _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ChainTxVerifyResponse res = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__Backtrace.verifyChainTxs(backtraceInfo, t_prevTxInputList);
+    require(res.prevPrevOutpoint == t_genesisOutpoint || res.prevPrevScript == t_selfScript);
+    return true;
+  }
+  static function verifyFromScript(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__BacktraceInfo backtraceInfo, bytes t_genesisScript, bytes t_selfScript, bytes t_prevTxInputList) : bool {
+    _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ChainTxVerifyResponse res = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__Backtrace.verifyChainTxs(backtraceInfo, t_prevTxInputList);
+    require(res.prevPrevScript == t_genesisScript || res.prevPrevScript == t_selfScript);
+    return true;
+  }
+  static function verifyChainTxs(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__BacktraceInfo backtraceInfo, bytes t_prevTxInputList) : _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ChainTxVerifyResponse {
+    require(t_prevTxInputList[backtraceInfo.prevTxInputIndex * 72 : (backtraceInfo.prevTxInputIndex + 1) * 72] == _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils.mergeInput(backtraceInfo.prevTxInput));
+    bytes prevPrevTxHash = backtraceInfo.prevTxInput.prevTxHash;
+    require(prevPrevTxHash == _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxHashPreimageUtils.getTxHashFromTxHashPreimage(backtraceInfo.prevPrevTxPreimage));
+    bytes prevPrevScript = backtraceInfo.prevPrevTxPreimage.outputList[backtraceInfo.prevTxInput.prevOutputIndex * 72 + 8 : (backtraceInfo.prevTxInput.prevOutputIndex) * 72 + 8 + 32];
+    bytes prevPrevOutpoint = prevPrevTxHash + _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.uint32ToByteString(backtraceInfo.prevTxInput.prevOutputIndex);
+    return {prevPrevScript, prevPrevOutpoint};
+  }
+}

package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/contextUtils.scrypt

@@ -0,0 +1,93 @@
+import "../types/structs.scrypt";
+import "txUtils.scrypt";
+import "stdUtils.scrypt";
+
+
+
+
+library _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils {
+  static const PrivKey privKey = PrivKey(0x26f00fe2340a84335ebdf30f57e9bb58487117b29355718f5e46bf5168d7df97);
+  static const PubKey pubKey = PubKey(b'02ba79df5f8ae7604a9830f03c7933028186aede0675a16f025dc4f8be8eec0382');
+  static const int invK = 0xc8ffdbaa05d93aa4ede79ec58f06a72562048b775a3507c2bf44bde4f007c40a;
+  static const int r = 0x1008ce7480da41702918d1ec8e6849ba32b4d65b1e40dc669c31a1e6306b266c;
+  static const bytes rBigEndian = b'1008ce7480da41702918d1ec8e6849ba32b4d65b1e40dc669c31a1e6306b266c';
+  static function normalize(int k, int modulus) : int {
+    int res = k % modulus;
+    return (res < 0) ? res + modulus : res;
+  }
+  static function sign(int h, PrivKey privKey, int inverseK, int r, bytes rBigEndian, bytes sigHashType) : Sig {
+    int s = inverseK * (h + r * privKey);
+    
+    s = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.normalize(s, 115792089237316195423570985008687907852837564279074904382605163141518161494337);
+    if(s > 115792089237316195423570985008687907852837564279074904382605163141518161494337 / 2) {
+        s = 115792089237316195423570985008687907852837564279074904382605163141518161494337 - s;
+      }
+    int rlen = (len(rBigEndian));
+    int slen = len(pack(s));
+    bytes sBigEndian = reverseBytes(num2bin(s, 32), (32))[32 - slen : len(reverseBytes(num2bin(s, 32), (32)))];
+    int l = 4 + rlen + (slen);
+    bytes rb = b'30' + pack(l) + b'02' + pack(rlen) + rBigEndian + b'02' + pack(slen) + sBigEndian + sigHashType;
+    return Sig(rb);
+  }
+  static function fromBEUnsigned(bytes b) : int {
+    return unpack(reverseBytes(b, 32) + b'00');
+  }
+  static function checkSHPreimage(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage shPreimage, bytes sigHashType) : Sig {
+    SigHashPreimage preimage = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.serializeSHPreimage(shPreimage);
+    bytes h = hash256(preimage);
+    Sig sig = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.sign(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.fromBEUnsigned(h), _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.privKey, 90914631784428570546048907090666684794265392153046400654824470772421497439242, 7252565254521500021189571868467740368187828957595681190666767817830690399852, _opcat_labs_scrypt_ts_opcat_1_0_3__rs__ContextUtils.rBigEndian, sigHashType);
+    return sig;
+  }
+  static function serializeSHPreimage(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage shPreimage) : SigHashPreimage {
+    require(len(shPreimage.nVersion) == 4);
+    require(len(shPreimage.hashPrevouts) == 32);
+    require(len(shPreimage.spentScriptHash) == 32);
+    require(len(shPreimage.spentDataHash) == 32);
+    require(shPreimage.value >= 0);
+    require(len(shPreimage.nSequence) == 4);
+    require(len(shPreimage.hashSpentAmounts) == 32);
+    require(len(shPreimage.hashSpentScriptHashes) == 32);
+    require(len(shPreimage.hashSpentDataHashes) == 32);
+    require(len(shPreimage.hashSequences) == 32);
+    require(len(shPreimage.hashOutputs) == 32);
+    require(shPreimage.inputIndex >= 0);
+    require(shPreimage.nLockTime >= 0);
+    require(shPreimage.sigHashType == 1 || shPreimage.sigHashType == 2 || shPreimage.sigHashType == 3 || shPreimage.sigHashType == 0x81 || shPreimage.sigHashType == 0x82 || shPreimage.sigHashType == 0x83);
+    bytes preimage = shPreimage.nVersion + shPreimage.hashPrevouts + shPreimage.spentScriptHash + shPreimage.spentDataHash + _opcat_labs_scrypt_ts_opcat_1_0_3__rs__TxUtils.satoshisToByteString(shPreimage.value) + shPreimage.nSequence + shPreimage.hashSpentAmounts + shPreimage.hashSpentScriptHashes + shPreimage.hashSpentDataHashes + shPreimage.hashSequences + shPreimage.hashOutputs + _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.toLEUnsigned(shPreimage.inputIndex, 4) + _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.toLEUnsigned(shPreimage.nLockTime, 4) + num2bin(shPreimage.sigHashType, 4);
+    return SigHashPreimage(preimage);
+  }
+  static function checkPrevouts(bytes prevouts, bytes t_hashPrevouts, int t_inputIndex, int t_inputCount) : _opcat_labs_scrypt_ts_opcat_1_0_3__rs__Outpoint {
+    require(hash256(prevouts) == t_hashPrevouts);
+    require(t_inputIndex < t_inputCount);
+    require(t_inputCount == _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.checkLenDivisibleBy(prevouts, 36));
+    bytes b = prevouts[t_inputIndex * 36 : (t_inputIndex + 1) * 36];
+    return {b[0 : 32], _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.byteStringToUInt32(b[32 : 36])};
+  }
+  static function checkSpentScripts(bytes spentScriptHashes, bytes t_hashSpentScripts, int t_inputCount) : bool {
+    require(hash256(spentScriptHashes) == t_hashSpentScripts);
+    require(t_inputCount == _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.checkLenDivisibleBy(spentScriptHashes, 32));
+    return true;
+  }
+  static function checkSpentAmounts(bytes spentAmounts, bytes hashSpentAmounts) : int {
+    require(hash256(spentAmounts) == hashSpentAmounts);
+    return _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.checkLenDivisibleBy(spentAmounts, 8);
+  }
+  static function checkSpentDataHashes(bytes spentDataHashes, bytes hashSpentDataHashes, int inputCount) : bool {
+    require(hash256(spentDataHashes) == hashSpentDataHashes);
+    require(inputCount == _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.checkLenDivisibleBy(spentDataHashes, 32));
+    return true;
+  }
+  static function getSpentScriptHash(bytes spentScriptHashes, int inputIndex) : bytes {
+    return spentScriptHashes[inputIndex * 32 : (inputIndex + 1) * 32];
+  }
+  static function getSpentAmount(bytes spentAmounts, int inputIndex) : int {
+    return _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.fromLEUnsigned(spentAmounts[inputIndex * 8 : (inputIndex + 1) * 8]);
+  }
+  static function getSpentDataHash(bytes spentDataHashes, int inputIndex) : bytes {
+    return spentDataHashes[inputIndex * 32 : (inputIndex + 1) * 32];
+  }
+  static function checknLockTime(_opcat_labs_scrypt_ts_opcat_1_0_3__rs__SHPreimage shPreimage, int nlockTime) : bool {
+    int nSequence = _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StdUtils.fromLEUnsigned(shPreimage.nSequence);
+    return (nSequence < 4294967295 && (nlockTime < 500000000 ? shPreimage.nLockTime < 500000000 : true) && shPreimage.nLockTime >= nlockTime);
+  }
+}

package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/stateUtils.scrypt

@@ -0,0 +1,9 @@
+
+
+
+library _opcat_labs_scrypt_ts_opcat_1_0_3__rs__StateUtils {
+  static function checkInputState(int t_inputIndex, bytes stateHash, bytes t_spentDataHashes) : bool {
+    require(t_spentDataHashes[t_inputIndex * 32 : (t_inputIndex + 1) * 32] == stateHash);
+    return true;
+  }
+}