@opcat-labs/cat-sdk 4.0.0 → 5.0.0-beta-2e4ee222-20260506

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 (179) hide show
  1. package/artifacts/.templates/cat20/cat20.scrypt.map +1 -1
  2. package/artifacts/.templates/cat20/cat20.scrypt.tpl +6 -0
  3. package/artifacts/.templates/cat20/cat20Admin.scrypt.map +1 -1
  4. package/artifacts/.templates/cat20/cat20Admin.scrypt.tpl +7 -0
  5. package/artifacts/.templates/cat20/cat20GuardStateLib.scrypt.map +1 -1
  6. package/artifacts/.templates/cat20/cat20GuardStateLib.scrypt.tpl +5 -0
  7. package/artifacts/.templates/cat20/cat20Guard_12_12_2.scrypt.map +1 -1
  8. package/artifacts/.templates/cat20/cat20Guard_12_12_2.scrypt.tpl +5 -0
  9. package/artifacts/.templates/cat20/cat20Guard_12_12_4.scrypt.map +1 -1
  10. package/artifacts/.templates/cat20/cat20Guard_12_12_4.scrypt.tpl +5 -0
  11. package/artifacts/.templates/cat20/cat20Guard_6_6_2.scrypt.map +1 -1
  12. package/artifacts/.templates/cat20/cat20Guard_6_6_2.scrypt.tpl +5 -0
  13. package/artifacts/.templates/cat20/cat20Guard_6_6_4.scrypt.map +1 -1
  14. package/artifacts/.templates/cat20/cat20Guard_6_6_4.scrypt.tpl +5 -0
  15. package/artifacts/.templates/cat20/cat20StateLib.scrypt.map +1 -1
  16. package/artifacts/.templates/cat20/cat20StateLib.scrypt.tpl +4 -0
  17. package/artifacts/.templates/cat20/minters/cat20ClosedMinter.scrypt.map +1 -1
  18. package/artifacts/.templates/cat20/minters/cat20ClosedMinter.scrypt.tpl +6 -0
  19. package/artifacts/.templates/cat20/minters/cat20OpenMinter.scrypt.map +1 -1
  20. package/artifacts/.templates/cat20/minters/cat20OpenMinter.scrypt.tpl +5 -0
  21. package/artifacts/.templates/cat721/cat721.scrypt.map +1 -1
  22. package/artifacts/.templates/cat721/cat721.scrypt.tpl +6 -0
  23. package/artifacts/.templates/cat721/cat721GuardStateLib.scrypt.map +1 -1
  24. package/artifacts/.templates/cat721/cat721GuardStateLib.scrypt.tpl +5 -0
  25. package/artifacts/.templates/cat721/cat721Guard_12_12_2.scrypt.map +1 -1
  26. package/artifacts/.templates/cat721/cat721Guard_12_12_2.scrypt.tpl +5 -0
  27. package/artifacts/.templates/cat721/cat721Guard_12_12_4.scrypt.map +1 -1
  28. package/artifacts/.templates/cat721/cat721Guard_12_12_4.scrypt.tpl +5 -0
  29. package/artifacts/.templates/cat721/cat721Guard_6_6_2.scrypt.map +1 -1
  30. package/artifacts/.templates/cat721/cat721Guard_6_6_2.scrypt.tpl +5 -0
  31. package/artifacts/.templates/cat721/cat721Guard_6_6_4.scrypt.map +1 -1
  32. package/artifacts/.templates/cat721/cat721Guard_6_6_4.scrypt.tpl +5 -0
  33. package/artifacts/.templates/cat721/cat721StateLib.scrypt.map +1 -1
  34. package/artifacts/.templates/cat721/cat721StateLib.scrypt.tpl +4 -0
  35. package/artifacts/.templates/cat721/minters/cat721ClosedMinter.scrypt.map +1 -1
  36. package/artifacts/.templates/cat721/minters/cat721ClosedMinter.scrypt.tpl +5 -0
  37. package/artifacts/.templates/cat721/minters/cat721OpenMintInfo.scrypt.map +1 -1
  38. package/artifacts/.templates/cat721/minters/cat721OpenMintInfo.scrypt.tpl +3 -0
  39. package/artifacts/.templates/cat721/minters/cat721OpenMinter.scrypt.map +1 -1
  40. package/artifacts/.templates/cat721/minters/cat721OpenMinter.scrypt.tpl +5 -0
  41. package/artifacts/.templates/cat721/minters/cat721OpenMinterMerkleTree.scrypt.map +1 -1
  42. package/artifacts/.templates/cat721/minters/cat721OpenMinterMerkleTree.scrypt.tpl +4 -0
  43. package/artifacts/.templates/utils/ownerUtils.scrypt.map +1 -1
  44. package/artifacts/.templates/utils/ownerUtils.scrypt.tpl +5 -0
  45. package/artifacts/cat20/cat20.json +83 -35
  46. package/artifacts/cat20/cat20.scrypt +25 -19
  47. package/artifacts/cat20/cat20Admin.json +82 -34
  48. package/artifacts/cat20/cat20Admin.scrypt +31 -24
  49. package/artifacts/cat20/cat20GuardStateLib.json +98 -22
  50. package/artifacts/cat20/cat20GuardStateLib.scrypt +10 -5
  51. package/artifacts/cat20/cat20GuardVariants.json +3 -2
  52. package/artifacts/cat20/cat20GuardVariants.scrypt +1 -1
  53. package/artifacts/cat20/cat20Guard_12_12_2.json +77 -29
  54. package/artifacts/cat20/cat20Guard_12_12_2.scrypt +25 -20
  55. package/artifacts/cat20/cat20Guard_12_12_4.json +77 -29
  56. package/artifacts/cat20/cat20Guard_12_12_4.scrypt +25 -20
  57. package/artifacts/cat20/cat20Guard_6_6_2.json +77 -29
  58. package/artifacts/cat20/cat20Guard_6_6_2.scrypt +25 -20
  59. package/artifacts/cat20/cat20Guard_6_6_4.json +77 -29
  60. package/artifacts/cat20/cat20Guard_6_6_4.scrypt +25 -20
  61. package/artifacts/cat20/cat20StateLib.json +83 -23
  62. package/artifacts/cat20/cat20StateLib.scrypt +9 -5
  63. package/artifacts/cat20/minters/cat20ClosedMinter.json +92 -32
  64. package/artifacts/cat20/minters/cat20ClosedMinter.scrypt +25 -19
  65. package/artifacts/cat20/minters/cat20OpenMinter.json +80 -32
  66. package/artifacts/cat20/minters/cat20OpenMinter.scrypt +21 -16
  67. package/artifacts/cat20/types.json +6 -5
  68. package/artifacts/cat20/types.scrypt +5 -5
  69. package/artifacts/cat721/cat721.json +83 -35
  70. package/artifacts/cat721/cat721.scrypt +25 -19
  71. package/artifacts/cat721/cat721GuardStateLib.json +98 -22
  72. package/artifacts/cat721/cat721GuardStateLib.scrypt +10 -5
  73. package/artifacts/cat721/cat721GuardVariants.json +3 -2
  74. package/artifacts/cat721/cat721GuardVariants.scrypt +1 -1
  75. package/artifacts/cat721/cat721Guard_12_12_2.json +77 -29
  76. package/artifacts/cat721/cat721Guard_12_12_2.scrypt +25 -20
  77. package/artifacts/cat721/cat721Guard_12_12_4.json +77 -29
  78. package/artifacts/cat721/cat721Guard_12_12_4.scrypt +25 -20
  79. package/artifacts/cat721/cat721Guard_6_6_2.json +77 -29
  80. package/artifacts/cat721/cat721Guard_6_6_2.scrypt +25 -20
  81. package/artifacts/cat721/cat721Guard_6_6_4.json +77 -29
  82. package/artifacts/cat721/cat721Guard_6_6_4.scrypt +25 -20
  83. package/artifacts/cat721/cat721StateLib.json +83 -23
  84. package/artifacts/cat721/cat721StateLib.scrypt +9 -5
  85. package/artifacts/cat721/minters/cat721ClosedMinter.json +80 -32
  86. package/artifacts/cat721/minters/cat721ClosedMinter.scrypt +20 -15
  87. package/artifacts/cat721/minters/cat721OpenMintInfo.json +43 -5
  88. package/artifacts/cat721/minters/cat721OpenMintInfo.scrypt +7 -4
  89. package/artifacts/cat721/minters/cat721OpenMinter.json +85 -37
  90. package/artifacts/cat721/minters/cat721OpenMinter.scrypt +26 -21
  91. package/artifacts/cat721/minters/cat721OpenMinterMerkleTree.json +96 -20
  92. package/artifacts/cat721/minters/cat721OpenMinterMerkleTree.scrypt +10 -6
  93. package/artifacts/cat721/types.json +6 -5
  94. package/artifacts/cat721/types.scrypt +5 -5
  95. package/artifacts/constants.json +3 -2
  96. package/artifacts/constants.scrypt +1 -1
  97. package/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/backtrace.scrypt +17 -13
  98. package/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/contextUtils.scrypt +34 -20
  99. package/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/stdUtils.scrypt +27 -18
  100. package/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/txHashPreimageUtils.scrypt +10 -7
  101. package/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/txUtils.scrypt +22 -12
  102. package/artifacts/scrypt-ts-opcat/assets/smart-contract/types/structs.scrypt +13 -9
  103. package/artifacts/types.json +3 -2
  104. package/artifacts/types.scrypt +2 -2
  105. package/artifacts/utils/ownerUtils.json +91 -15
  106. package/artifacts/utils/ownerUtils.scrypt +8 -3
  107. package/dist/artifacts/cat20/cat20.json +83 -35
  108. package/dist/artifacts/cat20/cat20.scrypt +25 -19
  109. package/dist/artifacts/cat20/cat20Admin.json +82 -34
  110. package/dist/artifacts/cat20/cat20Admin.scrypt +31 -24
  111. package/dist/artifacts/cat20/cat20GuardStateLib.json +98 -22
  112. package/dist/artifacts/cat20/cat20GuardStateLib.scrypt +10 -5
  113. package/dist/artifacts/cat20/cat20GuardVariants.json +3 -2
  114. package/dist/artifacts/cat20/cat20GuardVariants.scrypt +1 -1
  115. package/dist/artifacts/cat20/cat20Guard_12_12_2.json +77 -29
  116. package/dist/artifacts/cat20/cat20Guard_12_12_2.scrypt +25 -20
  117. package/dist/artifacts/cat20/cat20Guard_12_12_4.json +77 -29
  118. package/dist/artifacts/cat20/cat20Guard_12_12_4.scrypt +25 -20
  119. package/dist/artifacts/cat20/cat20Guard_6_6_2.json +77 -29
  120. package/dist/artifacts/cat20/cat20Guard_6_6_2.scrypt +25 -20
  121. package/dist/artifacts/cat20/cat20Guard_6_6_4.json +77 -29
  122. package/dist/artifacts/cat20/cat20Guard_6_6_4.scrypt +25 -20
  123. package/dist/artifacts/cat20/cat20StateLib.json +83 -23
  124. package/dist/artifacts/cat20/cat20StateLib.scrypt +9 -5
  125. package/dist/artifacts/cat20/minters/cat20ClosedMinter.json +92 -32
  126. package/dist/artifacts/cat20/minters/cat20ClosedMinter.scrypt +25 -19
  127. package/dist/artifacts/cat20/minters/cat20OpenMinter.json +80 -32
  128. package/dist/artifacts/cat20/minters/cat20OpenMinter.scrypt +21 -16
  129. package/dist/artifacts/cat20/types.json +6 -5
  130. package/dist/artifacts/cat20/types.scrypt +5 -5
  131. package/dist/artifacts/cat721/cat721.json +83 -35
  132. package/dist/artifacts/cat721/cat721.scrypt +25 -19
  133. package/dist/artifacts/cat721/cat721GuardStateLib.json +98 -22
  134. package/dist/artifacts/cat721/cat721GuardStateLib.scrypt +10 -5
  135. package/dist/artifacts/cat721/cat721GuardVariants.json +3 -2
  136. package/dist/artifacts/cat721/cat721GuardVariants.scrypt +1 -1
  137. package/dist/artifacts/cat721/cat721Guard_12_12_2.json +77 -29
  138. package/dist/artifacts/cat721/cat721Guard_12_12_2.scrypt +25 -20
  139. package/dist/artifacts/cat721/cat721Guard_12_12_4.json +77 -29
  140. package/dist/artifacts/cat721/cat721Guard_12_12_4.scrypt +25 -20
  141. package/dist/artifacts/cat721/cat721Guard_6_6_2.json +77 -29
  142. package/dist/artifacts/cat721/cat721Guard_6_6_2.scrypt +25 -20
  143. package/dist/artifacts/cat721/cat721Guard_6_6_4.json +77 -29
  144. package/dist/artifacts/cat721/cat721Guard_6_6_4.scrypt +25 -20
  145. package/dist/artifacts/cat721/cat721StateLib.json +83 -23
  146. package/dist/artifacts/cat721/cat721StateLib.scrypt +9 -5
  147. package/dist/artifacts/cat721/minters/cat721ClosedMinter.json +80 -32
  148. package/dist/artifacts/cat721/minters/cat721ClosedMinter.scrypt +20 -15
  149. package/dist/artifacts/cat721/minters/cat721OpenMintInfo.json +43 -5
  150. package/dist/artifacts/cat721/minters/cat721OpenMintInfo.scrypt +7 -4
  151. package/dist/artifacts/cat721/minters/cat721OpenMinter.json +85 -37
  152. package/dist/artifacts/cat721/minters/cat721OpenMinter.scrypt +26 -21
  153. package/dist/artifacts/cat721/minters/cat721OpenMinterMerkleTree.json +96 -20
  154. package/dist/artifacts/cat721/minters/cat721OpenMinterMerkleTree.scrypt +10 -6
  155. package/dist/artifacts/cat721/types.json +6 -5
  156. package/dist/artifacts/cat721/types.scrypt +5 -5
  157. package/dist/artifacts/constants.json +3 -2
  158. package/dist/artifacts/constants.scrypt +1 -1
  159. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/backtrace.scrypt +17 -13
  160. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/contextUtils.scrypt +34 -20
  161. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/stdUtils.scrypt +27 -18
  162. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/txHashPreimageUtils.scrypt +10 -7
  163. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/builtin-libs/txUtils.scrypt +22 -12
  164. package/dist/artifacts/scrypt-ts-opcat/assets/smart-contract/types/structs.scrypt +13 -9
  165. package/dist/artifacts/types.json +3 -2
  166. package/dist/artifacts/types.scrypt +2 -2
  167. package/dist/artifacts/utils/ownerUtils.json +91 -15
  168. package/dist/artifacts/utils/ownerUtils.scrypt +8 -3
  169. package/dist/cjs/features/cat20/send/contractSend.js.map +1 -1
  170. package/dist/cjs/features/cat20/send/singleSend.js.map +1 -1
  171. package/dist/cjs/utils/contractPeripheral.js.map +1 -1
  172. package/dist/esm/features/cat20/send/contractSend.js.map +1 -1
  173. package/dist/esm/features/cat20/send/singleSend.js.map +1 -1
  174. package/dist/esm/utils/contractPeripheral.js.map +1 -1
  175. package/dist/types/features/cat20/send/contractSend.d.ts.map +1 -1
  176. package/dist/types/features/cat20/send/singleSend.d.ts.map +1 -1
  177. package/dist/types/utils/contractPeripheral.d.ts.map +1 -1
  178. package/package.json +4 -4
  179. package/scrypt.index.json +3 -3
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,35,13]],[[2,0,37,2],[9,0,37,9],[15,0,37,44],[21,0,37,44],[25,0,37,18],[53,0,38,4],[71,0,38,23],[95,0,39,4],[113,0,39,23],[137,0,40,4],[155,0,40,23],[181,0,41,4],[199,0,41,23]],[[2,0,45,20],[8,0,45,2]],[[2,0,48,12],[7,0,48,2]],[[2,0,51,19],[8,0,51,2]],[[2,0,53,2],[14,0,54,22],[20,0,54,4],[38,0,55,14],[43,0,55,4],[53,0,56,21],[59,0,56,4]],[[4,0,59,4],[8,0,59,9],[26,0,59,4],[28,0,59,28]],[[4,0,60,4],[8,0,60,9],[18,0,60,4],[20,0,60,20]],[[4,0,61,4],[8,0,61,9],[25,0,61,4],[27,0,61,27]],[[4,0,63,4],[7,0,63,8]],[[8,0,64,6],[16,0,65,8],[20,0,65,12],[37,0,65,8],[40,0,65,32]],[],[[8,0,69,6],[16,0,70,8],[32,0,70,8],[35,0,70,40]],[],[],[[2,0,77,2],[18,0,77,9],[25,0,78,16],[49,0,78,4],[61,0,80,16],[82,0,80,4],[94,0,81,21],[98,0,81,4],[115,0,83,19],[129,0,83,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,85,27],[46,0,85,42],[50,0,85,47]],[[4,0,88,4],[12,0,89,6],[28,0,89,6],[31,0,89,25],[33,0,89,6],[36,0,89,31],[52,0,89,31]],[[4,0,94,4],[8,0,94,9],[20,0,95,6],[107,0,98,6]],[[4,0,103,4],[12,0,104,6],[22,0,104,17],[33,0,104,6],[36,0,104,30],[38,0,104,6],[41,0,104,55],[51,0,104,66],[62,0,104,55],[65,0,104,79]],[[4,0,108,26],[10,0,108,8],[28,0,108,39]],[[4,0,111,4],[7,0,111,8],[17,0,111,19],[28,0,111,8],[31,0,111,32],[33,0,111,8],[36,0,111,61],[46,0,111,72],[57,0,111,61],[60,0,111,85]],[[8,0,112,6],[16,0,113,8],[26,0,113,19],[49,0,113,8],[52,0,113,44]],[[8,0,117,6],[16,0,118,8],[26,0,118,19],[49,0,118,8]],[[8,0,122,6],[16,0,123,8],[26,0,123,19],[49,0,123,8]],[[8,0,127,6],[16,0,128,8],[26,0,128,19],[49,0,128,8],[52,0,128,44]],[[8,0,131,6],[24,0,131,6],[26,0,131,24],[38,0,131,37],[89,0,133,8],[99,0,133,19]],[],[[4,0,136,4],[7,0,136,8],[17,0,136,19],[28,0,136,8],[31,0,136,32]],[[8,0,139,6],[18,0,139,17],[34,0,139,32],[44,0,139,43],[78,0,139,66]],[[8,0,140,6],[16,0,140,13],[17,0,140,27],[27,0,140,38],[40,0,140,27],[50,0,140,38],[127,0,140,18],[135,0,140,13],[136,0,140,27],[146,0,140,38],[156,0,140,47],[166,0,140,58],[177,0,140,13]],[[13,0,141,11],[16,0,141,15],[26,0,141,26],[37,0,141,15],[40,0,141,39]],[[8,0,144,6],[37,0,144,24],[48,0,144,13],[51,0,144,37]],[],[[8,0,147,6],[16,0,147,13],[20,0,147,18]],[[8,0,148,6],[16,0,148,13],[32,0,148,13],[35,0,148,32],[39,0,148,37]],[],[],[],[[11,0,153,2],[22,0,154,16],[43,0,154,4],[55,0,155,23],[61,0,155,4],[80,0,156,26],[84,0,156,4],[106,0,157,24],[110,0,157,4],[130,0,158,23],[136,0,158,4],[155,0,159,26],[161,0,159,4]],[[4,0,162,28],[10,0,162,10],[28,0,162,28],[40,0,162,41],[60,0,162,60],[79,0,162,79]],[[4,0,163,4],[12,0,164,6],[28,0,164,6],[31,0,164,25],[36,0,164,31],[62,0,164,56],[65,0,164,6],[68,0,164,62],[84,0,164,62],[87,0,164,81],[92,0,164,87],[118,0,164,112],[121,0,164,6],[124,0,165,6],[140,0,165,6],[143,0,165,25],[148,0,165,31],[174,0,165,56],[177,0,164,6],[180,0,165,62],[196,0,165,62],[199,0,165,81],[204,0,165,87],[230,0,165,112]],[[4,0,168,4],[12,0,168,11],[24,0,168,24],[42,0,168,41],[64,0,168,63],[84,0,168,11],[87,0,168,86],[105,0,168,105],[116,0,168,115]],[[4,0,172,29],[8,0,172,10],[27,0,172,29],[34,0,172,51],[44,0,172,62],[64,0,172,82],[87,0,172,104],[108,0,172,104],[110,0,172,127]],[[4,0,173,4],[12,0,174,6],[22,0,174,17],[41,0,174,35],[42,0,174,42],[61,0,174,6],[64,0,175,8]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,35,13]],[[2,0,37,2],[9,0,37,9],[15,0,37,44],[21,0,37,44],[25,0,37,18],[53,0,38,4],[71,0,38,23],[95,0,39,4],[113,0,39,23],[137,0,40,4],[155,0,40,23],[181,0,41,4],[199,0,41,23]],[[2,0,45,20],[8,0,45,2]],[[2,0,48,12],[7,0,48,2]],[[2,0,51,19],[8,0,51,2]],[[2,0,53,2],[14,0,54,22],[20,0,54,4],[38,0,55,14],[43,0,55,4],[53,0,56,21],[59,0,56,4]],[[4,0,59,4],[8,0,59,9],[26,0,59,4],[28,0,59,28]],[[4,0,60,4],[8,0,60,9],[18,0,60,4],[20,0,60,20]],[[4,0,61,4],[8,0,61,9],[25,0,61,4],[27,0,61,27]],[[4,0,63,4],[7,0,63,8]],[[8,0,64,6],[16,0,65,8],[20,0,65,12],[37,0,65,8],[40,0,65,32]],[],[[8,0,69,6],[16,0,70,8],[32,0,70,8],[35,0,70,40]],[],[],[[2,0,77,2],[18,0,77,9],[25,0,78,16],[49,0,78,4],[61,0,80,16],[82,0,80,4],[94,0,81,21],[98,0,81,4],[115,0,83,19],[129,0,83,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,85,27],[46,0,85,42],[50,0,85,47]],[[4,0,88,4],[12,0,89,6],[28,0,89,6],[31,0,89,25],[33,0,89,6],[36,0,89,31],[52,0,89,31]],[[4,0,94,4],[8,0,94,9],[20,0,95,6],[107,0,98,6]],[[4,0,103,4],[12,0,104,6],[22,0,104,17],[33,0,104,6],[36,0,104,30],[38,0,104,6],[41,0,104,55],[51,0,104,66],[62,0,104,55],[65,0,104,79]],[[4,0,108,26],[10,0,108,8],[28,0,108,39]],[[4,0,111,4],[7,0,111,8],[17,0,111,19],[28,0,111,8],[31,0,111,32],[33,0,111,8],[36,0,111,61],[46,0,111,72],[57,0,111,61],[60,0,111,85]],[[8,0,112,6],[16,0,113,8],[26,0,113,19],[49,0,113,8],[52,0,113,44]],[[8,0,117,6],[16,0,118,8],[26,0,118,19],[49,0,118,8]],[[8,0,122,6],[16,0,123,8],[26,0,123,19],[49,0,123,8]],[[8,0,127,6],[16,0,128,8],[26,0,128,19],[49,0,128,8],[52,0,128,44]],[[8,0,131,6],[24,0,131,6],[26,0,131,24],[38,0,131,37],[89,0,133,8],[99,0,133,19]],[],[[4,0,136,4],[7,0,136,8],[17,0,136,19],[28,0,136,8],[31,0,136,32]],[[8,0,139,6],[18,0,139,17],[34,0,139,32],[44,0,139,43],[78,0,139,66]],[[8,0,140,6],[16,0,140,13],[17,0,140,27],[27,0,140,38],[40,0,140,27],[50,0,140,38],[127,0,140,18],[135,0,140,13],[136,0,140,27],[146,0,140,38],[156,0,140,47],[166,0,140,58],[177,0,140,13]],[[13,0,141,11],[16,0,141,15],[26,0,141,26],[37,0,141,15],[40,0,141,39]],[[8,0,144,6],[37,0,144,24],[48,0,144,13],[51,0,144,37]],[],[[8,0,147,6],[16,0,147,13],[20,0,147,18]],[[8,0,148,6],[16,0,148,13],[32,0,148,13],[35,0,148,32],[39,0,148,37]],[],[],[],[],[],[[11,0,153,2],[22,0,154,16],[43,0,154,4],[55,0,155,23],[61,0,155,4],[80,0,156,26],[84,0,156,4],[106,0,157,24],[110,0,157,4],[130,0,158,23],[136,0,158,4],[155,0,159,26],[161,0,159,4]],[[4,0,162,28],[10,0,162,10],[28,0,162,28],[40,0,162,41],[60,0,162,60],[79,0,162,79]],[[4,0,163,4],[12,0,164,6],[28,0,164,6],[31,0,164,25],[36,0,164,31],[62,0,164,56],[65,0,164,6],[68,0,164,62],[84,0,164,62],[87,0,164,81],[92,0,164,87],[118,0,164,112],[121,0,164,6],[124,0,165,6],[140,0,165,6],[143,0,165,25],[148,0,165,31],[174,0,165,56],[177,0,164,6],[180,0,165,62],[196,0,165,62],[199,0,165,81],[204,0,165,87],[230,0,165,112]],[[4,0,168,4],[12,0,168,11],[24,0,168,24],[42,0,168,41],[64,0,168,63],[84,0,168,11],[87,0,168,86],[105,0,168,105],[116,0,168,115]],[[4,0,172,29],[8,0,172,10],[27,0,172,29],[34,0,172,51],[44,0,172,62],[64,0,172,82],[87,0,172,104],[108,0,172,104],[110,0,172,127]],[[4,0,173,4],[12,0,174,6],[22,0,174,17],[41,0,174,35],[42,0,174,42],[61,0,174,6],[64,0,175,8]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -63,6 +63,8 @@ contract CAT20 {
63
63
  require(spentScriptHash == this.adminScriptHash);
64
64
  }
65
65
  require(true);
66
+
67
+
66
68
  }
67
69
  function checkGuard(CAT20GuardConstState guardState, bytes t_cat20ScriptHash, int t_cat20InputIndexVal, int guardInputIndexVal, bytes t_spentScriptsCtx, bytes t_spentDataHashesCtx) : bool {
68
70
  bytes guardScriptHash = ContextUtils.getSpentScriptHash(t_spentScriptsCtx, guardInputIndexVal);
@@ -70,6 +72,7 @@ contract CAT20 {
70
72
  require(ContextUtils.getSpentDataHash(t_spentDataHashesCtx, guardInputIndexVal) == CAT20GuardStateLib.stateHash(guardState));
71
73
  int tokenScriptIndex = unpack(guardState.tokenScriptIndexes[t_cat20InputIndexVal : t_cat20InputIndexVal + 1]);
72
74
  require(guardState.tokenScriptHashes[(tokenScriptIndex)] == t_cat20ScriptHash);
75
+
73
76
  return true;
74
77
  }
75
78
  static function serializeState(CAT20State __scrypt_ts_curState): bytes {
@@ -78,4 +81,7 @@ contract CAT20 {
78
81
  static function stateHash(CAT20State __scrypt_ts_curState): bytes {
79
82
  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))));
80
83
  }
84
+ static function __scrypt__stateHelper(CAT20State __scrypt_ts_nextState): bool {
85
+ return true;
86
+ }
81
87
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[[9,0,18,13]],[[2,0,20,19],[8,0,20,2]],[[2,0,22,2],[14,0,22,31],[20,0,22,14]],[[4,0,24,4],[8,0,24,9],[25,0,24,4],[27,0,24,27]],[],[[2,0,28,2],[18,0,28,9],[40,0,30,17],[47,0,30,4],[60,0,31,14],[64,0,31,4],[74,0,33,19],[88,0,33,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,36,28],[10,0,36,10]],[[33,0,37,29],[81,0,37,44],[85,0,37,49]],[[4,0,40,4],[14,0,40,15],[30,0,40,30],[64,0,40,54]],[[4,0,41,4],[12,0,41,11],[13,0,41,25],[26,0,41,25],[103,0,41,16],[111,0,41,11],[112,0,41,25],[122,0,41,35],[133,0,41,11]],[[4,0,44,24],[10,0,44,10],[24,0,44,24],[31,0,44,32],[48,0,45,6]],[[4,0,51,4],[20,0,51,29],[32,0,51,29]],[],[],[[2,0,55,2],[18,0,55,9],[36,0,57,17],[43,0,57,4],[56,0,58,14],[60,0,58,4],[70,0,59,19],[80,0,59,4],[95,0,61,19],[109,0,61,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,64,28],[10,0,64,10]],[[33,0,65,29],[81,0,65,44],[85,0,65,49]],[[4,0,67,4],[14,0,67,15],[30,0,67,30],[64,0,67,54]],[[4,0,68,4],[12,0,68,11],[13,0,68,25],[26,0,68,25],[103,0,68,16],[111,0,68,11],[112,0,68,25],[122,0,68,35],[133,0,68,11]],[[25,0,71,15],[39,0,71,4],[41,0,72,6],[51,0,72,17],[78,0,72,43]],[[4,0,74,24],[10,0,74,10],[24,0,74,24],[31,0,74,32],[48,0,75,6],[95,0,77,6],[105,0,77,17]],[[4,0,80,4],[20,0,80,29],[32,0,80,29]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[[9,0,18,13]],[[2,0,20,19],[8,0,20,2]],[[2,0,22,2],[14,0,22,31],[20,0,22,14]],[[4,0,24,4],[8,0,24,9],[25,0,24,4],[27,0,24,27]],[],[[2,0,28,2],[18,0,28,9],[40,0,30,17],[47,0,30,4],[60,0,31,14],[64,0,31,4],[74,0,33,19],[88,0,33,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,36,28],[10,0,36,10]],[[33,0,37,29],[81,0,37,44],[85,0,37,49]],[[4,0,40,4],[14,0,40,15],[30,0,40,30],[64,0,40,54]],[[4,0,41,4],[12,0,41,11],[13,0,41,25],[26,0,41,25],[103,0,41,16],[111,0,41,11],[112,0,41,25],[122,0,41,35],[133,0,41,11]],[[4,0,44,24],[10,0,44,10],[24,0,44,24],[31,0,44,32],[48,0,45,6]],[[4,0,51,4],[20,0,51,29],[32,0,51,29]],[],[],[],[],[[2,0,55,2],[18,0,55,9],[36,0,57,17],[43,0,57,4],[56,0,58,14],[60,0,58,4],[70,0,59,19],[80,0,59,4],[95,0,61,19],[109,0,61,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,64,28],[10,0,64,10]],[[33,0,65,29],[81,0,65,44],[85,0,65,49]],[[4,0,67,4],[14,0,67,15],[30,0,67,30],[64,0,67,54]],[[4,0,68,4],[12,0,68,11],[13,0,68,25],[26,0,68,25],[103,0,68,16],[111,0,68,11],[112,0,68,25],[122,0,68,35],[133,0,68,11]],[[25,0,71,15],[39,0,71,4],[41,0,72,6],[51,0,72,17],[78,0,72,43]],[[4,0,74,24],[10,0,74,10],[24,0,74,24],[31,0,74,32],[48,0,75,6],[95,0,77,6],[105,0,77,17]],[[4,0,80,4],[20,0,80,29],[32,0,80,29]],[],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -31,6 +31,8 @@ contract CAT20Admin {
31
31
  bytes adminOutput = TxUtils.buildDataOutput(adminScriptHash, __scrypt_ts_shPreimage.value, __scrypt_ts_shPreimage.spentDataHash);
32
32
  require(hash256(adminOutput +
33
33
  (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildDataOutput(sha256(TxUtils.buildP2PKHScript(__scrypt_ts_changeInfo.pubkeyhash)), __scrypt_ts_changeInfo.satoshis, __scrypt_ts_changeInfo.dataHash) : b'')) == __scrypt_ts_shPreimage.hashOutputs);
34
+
35
+
34
36
  }
35
37
  public function transferOwnership(PubKey adminPubKey, Sig adminSig, Ripemd160 newPubKeyHash, BacktraceInfo backtraceInfo, SHPreimage __scrypt_ts_shPreimage, Sig __scrypt_ts_preimageSig, ChangeInfo __scrypt_ts_changeInfo, CAT20AdminState __scrypt_ts_curState, TxHashPreimage __scrypt_ts_prevTxHashPreimage) {
36
38
  require(__scrypt_ts_shPreimage.sigHashType == 1);
@@ -52,6 +54,8 @@ contract CAT20Admin {
52
54
  bytes adminOutput = TxUtils.buildDataOutput(adminScriptHash, __scrypt_ts_shPreimage.value, CAT20Admin.stateHash(__scrypt_ts_nextState));
53
55
  require(hash256(adminOutput +
54
56
  (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildDataOutput(sha256(TxUtils.buildP2PKHScript(__scrypt_ts_changeInfo.pubkeyhash)), __scrypt_ts_changeInfo.satoshis, __scrypt_ts_changeInfo.dataHash) : b'')) == __scrypt_ts_shPreimage.hashOutputs);
57
+
58
+
55
59
  }
56
60
  static function serializeState(CAT20AdminState __scrypt_ts_curState): bytes {
57
61
  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));
@@ -59,4 +63,7 @@ contract CAT20Admin {
59
63
  static function stateHash(CAT20AdminState __scrypt_ts_curState): bytes {
60
64
  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)));
61
65
  }
66
+ static function __scrypt__stateHelper(CAT20AdminState __scrypt_ts_nextState): bool {
67
+ return true;
68
+ }
62
69
  }
@@ -1 +1 @@
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]],[],[[4,0,21,4],[12,0,21,11],[16,0,21,15],[22,0,21,22],[43,0,21,11],[46,0,21,45],[47,0,21,52]],[[29,0,22,13]],[[8,0,23,26],[12,0,23,12],[26,0,23,26],[33,0,23,48],[39,0,23,55],[59,0,23,75],[60,0,23,82],[65,0,23,86],[66,0,23,93],[68,0,23,93],[70,0,23,97]],[[8,0,24,6],[16,0,24,13],[28,0,24,13],[31,0,24,28],[32,0,24,29],[34,0,24,13],[37,0,24,34],[49,0,24,34],[51,0,24,48]],[],[],[],[[2,0,33,2],[18,0,33,9],[40,0,34,18],[45,0,34,18],[49,0,34,4]],[[4,0,37,4],[12,0,37,11],[25,0,37,24],[28,0,37,11],[31,0,37,30],[44,0,37,43]],[[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]],[],[],[],[],[],[],[],[],[]]
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]],[],[[4,0,21,4],[12,0,21,11],[16,0,21,15],[22,0,21,22],[43,0,21,11],[46,0,21,45],[47,0,21,52]],[[29,0,22,13]],[[8,0,23,26],[12,0,23,12],[26,0,23,26],[33,0,23,48],[39,0,23,55],[59,0,23,75],[60,0,23,82],[65,0,23,86],[66,0,23,93],[68,0,23,93],[70,0,23,97]],[[8,0,24,6],[16,0,24,13],[28,0,24,13],[31,0,24,28],[32,0,24,29],[34,0,24,13],[37,0,24,34],[49,0,24,34],[51,0,24,48]],[],[],[],[],[[2,0,33,2],[18,0,33,9],[40,0,34,18],[45,0,34,18],[49,0,34,4]],[[4,0,37,4],[12,0,37,11],[25,0,37,24],[28,0,37,11],[31,0,37,30],[44,0,37,43]],[[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]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -15,6 +15,7 @@ library CAT20GuardStateLib {
15
15
  int scriptIndex = unpack(_state.tokenScriptIndexes[(i) : (i + 1)]);
16
16
  require(scriptIndex >= -1 && scriptIndex < 4);
17
17
  }
18
+
18
19
  return true;
19
20
  }
20
21
  static function checkTokenScriptsUniq(bytes[4] tokenScripts) : bool {
@@ -24,6 +25,7 @@ library CAT20GuardStateLib {
24
25
  require(tokenScripts[1] != tokenScripts[2]);
25
26
  require(tokenScripts[1] != tokenScripts[3]);
26
27
  require(tokenScripts[2] != tokenScripts[3]);
28
+
27
29
  return true;
28
30
  }
29
31
  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
@@ -32,4 +34,7 @@ library CAT20GuardStateLib {
32
34
  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
33
35
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes)));
34
36
  }
37
+ static function __scrypt__stateHelper(CAT20GuardConstState __scrypt_ts_nextState): bool {
38
+ return true;
39
+ }
35
40
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[121,0,57,8],[138,0,61,33],[143,0,61,33],[148,0,61,8],[173,0,65,22],[176,0,65,22],[181,0,65,8],[195,0,71,32],[198,0,71,32],[203,0,71,8],[227,0,76,24],[230,0,76,24],[235,0,76,8],[251,0,80,21],[261,0,80,21],[266,0,80,8],[279,0,82,21],[283,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[16,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[121,0,57,8],[138,0,61,33],[143,0,61,33],[148,0,61,8],[173,0,65,22],[176,0,65,22],[181,0,65,8],[195,0,71,32],[198,0,71,32],[203,0,71,8],[227,0,76,24],[230,0,76,24],[235,0,76,8],[251,0,80,21],[261,0,80,21],[266,0,80,8],[279,0,82,21],[283,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[16,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -122,6 +122,8 @@ contract CAT20Guard_12_12_2 {
122
122
  }
123
123
  }
124
124
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
125
+
126
+
125
127
  }
126
128
  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
127
129
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes));
@@ -129,4 +131,7 @@ contract CAT20Guard_12_12_2 {
129
131
  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
130
132
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes)));
131
133
  }
134
+ static function __scrypt__stateHelper(CAT20GuardConstState __scrypt_ts_nextState): bool {
135
+ return true;
136
+ }
132
137
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[121,0,57,8],[138,0,61,33],[143,0,61,33],[148,0,61,8],[173,0,65,22],[176,0,65,22],[181,0,65,8],[195,0,71,32],[198,0,71,32],[203,0,71,8],[227,0,76,24],[230,0,76,24],[235,0,76,8],[251,0,80,21],[261,0,80,21],[266,0,80,8],[279,0,82,21],[283,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[16,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[121,0,57,8],[138,0,61,33],[143,0,61,33],[148,0,61,8],[173,0,65,22],[176,0,65,22],[181,0,65,8],[195,0,71,32],[198,0,71,32],[203,0,71,8],[227,0,76,24],[230,0,76,24],[235,0,76,8],[251,0,80,21],[261,0,80,21],[266,0,80,8],[279,0,82,21],[283,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[16,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -122,6 +122,8 @@ contract CAT20Guard_12_12_4 {
122
122
  }
123
123
  }
124
124
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
125
+
126
+
125
127
  }
126
128
  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
127
129
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes));
@@ -129,4 +131,7 @@ contract CAT20Guard_12_12_4 {
129
131
  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
130
132
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes)));
131
133
  }
134
+ static function __scrypt__stateHelper(CAT20GuardConstState __scrypt_ts_nextState): bool {
135
+ return true;
136
+ }
132
137
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[120,0,57,8],[137,0,61,33],[142,0,61,33],[146,0,61,8],[171,0,65,22],[174,0,65,22],[178,0,65,8],[192,0,71,32],[195,0,71,32],[199,0,71,8],[223,0,76,24],[226,0,76,24],[230,0,76,8],[246,0,80,21],[256,0,80,21],[260,0,80,8],[273,0,82,21],[277,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[15,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[15,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[120,0,57,8],[137,0,61,33],[142,0,61,33],[146,0,61,8],[171,0,65,22],[174,0,65,22],[178,0,65,8],[192,0,71,32],[195,0,71,32],[199,0,71,8],[223,0,76,24],[226,0,76,24],[230,0,76,8],[246,0,80,21],[256,0,80,21],[260,0,80,8],[273,0,82,21],[277,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[15,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[15,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -122,6 +122,8 @@ contract CAT20Guard_6_6_2 {
122
122
  }
123
123
  }
124
124
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
125
+
126
+
125
127
  }
126
128
  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
127
129
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes));
@@ -129,4 +131,7 @@ contract CAT20Guard_6_6_2 {
129
131
  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
130
132
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes)));
131
133
  }
134
+ static function __scrypt__stateHelper(CAT20GuardConstState __scrypt_ts_nextState): bool {
135
+ return true;
136
+ }
132
137
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[120,0,57,8],[137,0,61,33],[142,0,61,33],[146,0,61,8],[171,0,65,22],[174,0,65,22],[178,0,65,8],[192,0,71,32],[195,0,71,32],[199,0,71,8],[223,0,76,24],[226,0,76,24],[230,0,76,8],[246,0,80,21],[256,0,80,21],[260,0,80,8],[273,0,82,21],[277,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[15,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[15,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,45,13]],[],[[2,0,47,4],[18,0,47,11],[25,0,49,21],[29,0,49,8],[42,0,50,24],[49,0,50,8],[65,0,53,22],[68,0,53,22],[72,0,53,8],[86,0,56,26],[89,0,56,26],[93,0,56,8],[111,0,57,25],[116,0,57,25],[120,0,57,8],[137,0,61,33],[142,0,61,33],[146,0,61,8],[171,0,65,22],[174,0,65,22],[178,0,65,8],[192,0,71,32],[195,0,71,32],[199,0,71,8],[223,0,76,24],[226,0,76,24],[230,0,76,8],[246,0,80,21],[256,0,80,21],[260,0,80,8],[273,0,82,21],[277,0,82,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,85,8],[14,0,85,19],[30,0,85,34],[67,0,85,61]],[[4,0,86,8],[12,0,86,15],[13,0,86,29],[29,0,86,29],[109,0,86,20],[117,0,86,15],[118,0,86,29],[131,0,86,42],[145,0,86,15]],[[4,0,90,8],[22,0,90,27],[63,0,90,56]],[[4,0,93,30],[8,0,93,12],[26,0,93,30]],[[4,0,94,39],[9,0,94,39],[13,0,94,14],[40,0,98,16],[52,0,98,29],[87,0,99,16],[99,0,99,29],[134,0,100,16],[146,0,100,29],[181,0,101,16],[193,0,101,29]],[[15,0,103,17]],[[8,0,104,12],[16,0,104,19],[29,0,104,32],[30,0,104,39],[34,0,104,19],[37,0,104,46]],[[8,0,105,12],[16,0,105,19],[33,0,105,36],[34,0,105,43],[38,0,105,19],[41,0,105,50]],[[8,0,106,12],[11,0,106,16],[13,0,106,16],[16,0,106,21]],[[10,0,107,16],[39,0,107,34],[58,0,107,52],[59,0,107,59],[63,0,107,23],[66,0,107,66],[90,0,107,90],[91,0,107,97]],[[10,0,108,16],[18,0,108,23],[31,0,108,36],[32,0,108,43],[36,0,108,23],[39,0,108,50]],[[10,0,109,16],[18,0,109,23],[35,0,109,40],[36,0,109,47],[40,0,109,23],[43,0,109,54]],[],[],[[15,0,113,17]],[[8,0,114,12],[32,0,114,27],[51,0,114,45],[54,0,114,16],[57,0,114,51],[81,0,114,75]],[[10,0,115,16],[25,0,115,16]],[],[],[[15,0,119,17]],[[8,0,120,12],[11,0,120,16],[13,0,120,16],[15,0,120,20],[16,0,120,27]],[[10,0,121,16],[39,0,121,34],[58,0,121,52],[61,0,121,23],[64,0,121,58],[88,0,121,82]],[[10,0,122,16],[18,0,123,20],[43,0,123,35],[62,0,123,53],[66,0,123,20],[69,0,123,60]],[],[[10,0,126,16],[39,0,126,34],[58,0,126,52],[61,0,126,23],[64,0,126,58],[88,0,126,82]],[],[],[[4,0,129,8],[12,0,129,15],[28,0,129,15],[30,0,129,33]],[[4,0,135,31],[7,0,135,31],[11,0,135,14],[28,0,135,31],[35,0,135,36],[38,0,135,40]],[[4,0,136,34],[8,0,136,12],[30,0,136,34]],[[4,0,137,27],[8,0,137,14]],[[4,0,139,8],[12,0,139,15],[23,0,139,15],[26,0,139,29]],[[15,0,140,17]],[[8,0,141,37],[12,0,141,18],[31,0,141,37],[59,0,141,70],[79,0,141,90],[80,0,141,97],[85,0,141,101],[86,0,141,108],[88,0,141,108],[90,0,141,112]],[[8,0,142,12],[11,0,142,16],[13,0,142,16],[15,0,142,20]],[[10,0,144,16],[18,0,144,23],[35,0,144,23],[38,0,144,43]],[[10,0,145,16],[18,0,145,23],[35,0,145,23],[37,0,145,42]],[[10,0,146,16],[13,0,146,20],[30,0,146,20],[33,0,146,40]],[[12,0,149,24],[18,0,148,26],[57,0,149,35],[76,0,149,53],[77,0,149,60]],[[12,0,150,20],[20,0,150,27],[36,0,150,27],[39,0,150,46],[51,0,150,59],[102,0,150,106],[103,0,150,113]],[[12,0,151,20],[25,0,151,34],[37,0,151,45],[49,0,151,57]],[[12,0,152,20],[20,0,152,27],[32,0,152,40],[79,0,152,83],[80,0,152,90],[84,0,152,27],[87,0,152,97],[100,0,152,111],[111,0,152,121],[123,0,152,133]],[[12,0,153,20],[27,0,153,35],[28,0,153,42],[47,0,153,20],[49,0,153,63],[64,0,153,78],[65,0,153,85],[84,0,153,63],[86,0,153,106],[98,0,153,118],[100,0,153,121]],[[12,0,154,20],[32,0,154,20],[34,0,155,24],[51,0,155,24],[53,0,155,43],[75,0,156,30],[94,0,157,30]],[],[],[[10,0,160,16],[18,0,160,23],[35,0,160,23],[38,0,160,43]],[],[],[[4,0,166,8],[12,0,167,12],[32,0,167,12],[35,0,167,35],[37,0,167,12],[40,0,167,41],[60,0,167,41],[63,0,167,64],[79,0,167,64],[81,0,167,82]],[[4,0,172,8],[12,0,172,15],[24,0,172,15],[27,0,172,30],[29,0,172,15],[32,0,172,36],[44,0,172,36],[47,0,172,51]],[[4,0,173,32],[7,0,173,32],[11,0,173,14],[29,0,173,32],[36,0,173,37],[39,0,173,41]],[[4,0,174,22],[10,0,174,12],[20,0,174,35]],[[15,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[15,0,176,20]],[[10,0,177,46],[16,0,177,22],[40,0,177,46],[64,0,177,70]],[[10,0,178,45],[14,0,178,22],[37,0,178,45],[60,0,178,68]],[[10,0,180,16],[18,0,180,23],[39,0,180,23],[42,0,180,47]],[[10,0,181,16],[18,0,181,23],[39,0,181,23],[41,0,181,46]],[[10,0,182,16],[13,0,182,20],[34,0,182,20],[37,0,182,44]],[[12,0,185,20],[22,0,185,31],[38,0,185,46]],[[12,0,186,40],[16,0,186,26],[30,0,186,40],[43,0,186,53]],[[12,0,187,20],[20,0,187,27],[32,0,187,27],[34,0,187,41]],[[12,0,189,20],[20,0,189,27],[35,0,189,42],[38,0,189,27],[40,0,189,47]],[[12,0,190,20],[28,0,190,36],[29,0,190,43],[52,0,190,20],[54,0,190,68],[70,0,190,84],[71,0,190,91],[94,0,190,68],[96,0,190,116]],[[12,0,191,43],[18,0,191,26],[35,0,191,43],[48,0,191,57],[59,0,191,67],[60,0,192,35],[83,0,193,32]],[[12,0,195,20],[20,0,195,27],[36,0,195,43],[39,0,195,27],[42,0,195,49]],[[12,0,197,24],[18,0,196,26],[57,0,197,35],[76,0,197,53],[77,0,197,60]],[[12,0,198,20],[20,0,198,20],[23,0,198,31],[30,0,198,39],[47,0,199,24],[64,0,200,24],[79,0,200,39],[83,0,201,24]],[],[[12,0,205,20],[20,0,205,27],[33,0,205,40],[36,0,205,27],[39,0,205,46]],[[23,0,207,29]],[[14,0,208,24],[22,0,208,31],[44,0,208,31],[68,0,208,67],[87,0,208,85]],[],[[12,0,210,20],[20,0,210,20],[23,0,210,31],[30,0,210,39],[47,0,211,24],[70,0,212,24],[85,0,212,39],[89,0,213,24],[105,0,213,40]],[],[],[[10,0,217,16],[18,0,217,23],[22,0,217,27],[46,0,217,51],[50,0,217,23],[53,0,217,58]],[[10,0,218,16],[18,0,218,23],[41,0,218,46],[44,0,218,23],[47,0,218,52]],[[10,0,219,16],[18,0,219,23],[31,0,219,36],[34,0,219,23],[37,0,219,42]],[[10,0,220,16],[18,0,220,23],[34,0,220,39],[37,0,220,23],[40,0,220,58]],[[10,0,221,16],[18,0,221,23],[33,0,221,38],[36,0,221,23],[39,0,221,44]],[],[],[[15,0,226,17]],[[8,0,227,12],[16,0,227,19],[31,0,227,34],[34,0,227,19],[37,0,227,40],[50,0,227,53]],[[8,0,228,12],[16,0,229,16],[31,0,229,31],[34,0,229,16],[37,0,230,16],[53,0,230,32],[56,0,230,16],[58,0,230,37],[75,0,230,54]],[[8,0,233,12],[11,0,233,16],[13,0,233,16],[15,0,233,20],[16,0,233,27]],[[10,0,234,16],[18,0,234,23],[33,0,234,38],[36,0,234,23],[38,0,234,43]],[],[[10,0,236,16],[18,0,236,23],[33,0,236,38],[36,0,236,23],[39,0,236,44]],[[10,0,237,16],[18,0,237,23],[34,0,237,39],[37,0,237,23],[40,0,237,45]],[[10,0,239,16],[18,0,239,23],[31,0,239,36],[34,0,239,23],[37,0,239,42]],[[10,0,240,16],[18,0,240,23],[35,0,240,40],[38,0,240,23],[41,0,240,46]],[],[],[[4,0,245,8],[20,0,245,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -122,6 +122,8 @@ contract CAT20Guard_6_6_4 {
122
122
  }
123
123
  }
124
124
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
125
+
126
+
125
127
  }
126
128
  static function serializeState(CAT20GuardConstState __scrypt_ts_curState): bytes {
127
129
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes));
@@ -129,4 +131,7 @@ contract CAT20Guard_6_6_4 {
129
131
  static function stateHash(CAT20GuardConstState __scrypt_ts_curState): bytes {
130
132
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + 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(__scrypt_ts_curState.tokenScriptIndexes), 2) + __scrypt_ts_curState.tokenScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + 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(__scrypt_ts_curState.tokenScriptIndexes)));
131
133
  }
134
+ static function __scrypt__stateHelper(CAT20GuardConstState __scrypt_ts_nextState): bool {
135
+ return true;
136
+ }
132
137
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[[8,0,11,13]],[[2,0,13,4],[18,0,13,11],[29,0,13,30],[40,0,13,22]],[[4,0,14,8],[14,0,14,19],[30,0,14,34],[36,0,14,41]],[[4,0,15,8],[12,0,15,15],[18,0,15,22],[26,0,15,15],[28,0,15,31]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[[8,0,11,13]],[[2,0,13,4],[18,0,13,11],[29,0,13,30],[40,0,13,22]],[[4,0,14,8],[14,0,14,19],[30,0,14,34],[36,0,14,41]],[[4,0,15,8],[12,0,15,15],[18,0,15,22],[26,0,15,15],[28,0,15,31]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -8,6 +8,7 @@ library CAT20StateLib {
8
8
  static function checkState(CAT20State _state) : bool {
9
9
  OwnerUtils.checkOwnerAddr(_state.ownerAddr);
10
10
  require(_state.amount > 0);
11
+
11
12
  return true;
12
13
  }
13
14
  static function serializeState(CAT20State __scrypt_ts_curState): bytes {
@@ -16,4 +17,7 @@ library CAT20StateLib {
16
17
  static function stateHash(CAT20State __scrypt_ts_curState): bytes {
17
18
  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))));
18
19
  }
20
+ static function __scrypt__stateHelper(CAT20State __scrypt_ts_nextState): bool {
21
+ return true;
22
+ }
19
23
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[[9,0,13,13]],[[2,0,15,17],[8,0,15,2]],[[2,0,18,19],[8,0,18,2]],[[2,0,20,2],[14,0,20,28],[20,0,20,14],[34,0,20,57],[40,0,20,40]],[[4,0,22,4],[8,0,22,9],[23,0,22,4],[25,0,22,25]],[[4,0,23,4],[8,0,23,9],[25,0,23,4],[27,0,23,27]],[],[[2,0,27,2],[18,0,27,9],[23,0,29,15],[34,0,29,4],[45,0,30,18],[52,0,30,4],[66,0,31,15],[70,0,31,4],[81,0,34,20],[85,0,34,4],[101,0,36,19],[105,0,36,4],[120,0,38,19],[134,0,38,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,41,4],[46,0,41,11],[49,0,41,34]],[[4,0,44,4],[12,0,44,11],[26,0,44,11],[28,0,44,27]],[[4,0,47,25],[10,0,47,10]],[[33,0,49,6],[81,0,50,6],[85,0,50,11]],[[4,0,54,4],[14,0,54,15],[30,0,54,30],[44,0,54,44],[48,0,54,49]],[[4,0,55,4],[12,0,55,11],[13,0,55,25],[27,0,55,25],[105,0,55,16],[113,0,55,11],[114,0,55,25],[125,0,55,36],[137,0,55,11]],[[4,0,57,4],[21,0,57,22]],[[4,0,61,23],[10,0,61,8],[25,0,61,36]],[[4,0,62,4],[7,0,62,8],[22,0,62,8],[24,0,62,25],[31,0,62,33]],[[8,0,63,6],[21,0,63,6],[23,0,63,21],[30,0,63,29],[47,0,64,8],[61,0,65,8]],[],[[4,0,70,4],[17,0,70,18],[29,0,70,29]],[[4,0,71,27],[10,0,71,10],[27,0,71,27],[40,0,71,41],[51,0,71,51]],[[4,0,72,24],[10,0,72,10],[24,0,72,24],[31,0,72,32],[69,0,73,17],[87,0,74,6],[102,0,75,6]],[[4,0,79,4],[20,0,79,29],[33,0,79,29],[35,0,79,44],[47,0,79,29]],[],[],[[2,0,84,2],[18,0,84,9],[29,0,84,28],[52,0,84,20]],[[4,0,85,4],[12,0,85,11],[16,0,85,15],[22,0,85,22],[40,0,85,11],[43,0,85,42]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[[9,0,13,13]],[[2,0,15,17],[8,0,15,2]],[[2,0,18,19],[8,0,18,2]],[[2,0,20,2],[14,0,20,28],[20,0,20,14],[34,0,20,57],[40,0,20,40]],[[4,0,22,4],[8,0,22,9],[23,0,22,4],[25,0,22,25]],[[4,0,23,4],[8,0,23,9],[25,0,23,4],[27,0,23,27]],[],[[2,0,27,2],[18,0,27,9],[23,0,29,15],[34,0,29,4],[45,0,30,18],[52,0,30,4],[66,0,31,15],[70,0,31,4],[81,0,34,20],[85,0,34,4],[101,0,36,19],[105,0,36,4],[120,0,38,19],[134,0,38,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,41,4],[46,0,41,11],[49,0,41,34]],[[4,0,44,4],[12,0,44,11],[26,0,44,11],[28,0,44,27]],[[4,0,47,25],[10,0,47,10]],[[33,0,49,6],[81,0,50,6],[85,0,50,11]],[[4,0,54,4],[14,0,54,15],[30,0,54,30],[44,0,54,44],[48,0,54,49]],[[4,0,55,4],[12,0,55,11],[13,0,55,25],[27,0,55,25],[105,0,55,16],[113,0,55,11],[114,0,55,25],[125,0,55,36],[137,0,55,11]],[[4,0,57,4],[21,0,57,22]],[[4,0,61,23],[10,0,61,8],[25,0,61,36]],[[4,0,62,4],[7,0,62,8],[22,0,62,8],[24,0,62,25],[31,0,62,33]],[[8,0,63,6],[21,0,63,6],[23,0,63,21],[30,0,63,29],[47,0,64,8],[61,0,65,8]],[],[[4,0,70,4],[17,0,70,18],[29,0,70,29]],[[4,0,71,27],[10,0,71,10],[27,0,71,27],[40,0,71,41],[51,0,71,51]],[[4,0,72,24],[10,0,72,10],[24,0,72,24],[31,0,72,32],[69,0,73,17],[87,0,74,6],[102,0,75,6]],[[4,0,79,4],[20,0,79,29],[33,0,79,29],[35,0,79,44],[47,0,79,29]],[],[],[],[],[[2,0,84,2],[18,0,84,9],[29,0,84,28],[52,0,84,20]],[[4,0,85,4],[12,0,85,11],[16,0,85,15],[22,0,85,22],[40,0,85,11],[43,0,85,42]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -43,9 +43,12 @@ contract CAT20ClosedMinter {
43
43
  bytes tokenOutput = TxUtils.buildDataOutput(__scrypt_ts_nextState.tokenScriptHash, tokenSatoshis, tokenStateHash);
44
44
  require(hash256(minterOutput + tokenOutput +
45
45
  (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildDataOutput(sha256(TxUtils.buildP2PKHScript(__scrypt_ts_changeInfo.pubkeyhash)), __scrypt_ts_changeInfo.satoshis, __scrypt_ts_changeInfo.dataHash) : b'')) == __scrypt_ts_shPreimage.hashOutputs);
46
+
47
+
46
48
  }
47
49
  static function checkState(CAT20ClosedMinterState _state) : bool {
48
50
  require(len(_state.tokenScriptHash) == 32);
51
+
49
52
  return true;
50
53
  }
51
54
  static function serializeState(CAT20ClosedMinterState __scrypt_ts_curState): bytes {
@@ -54,4 +57,7 @@ contract CAT20ClosedMinter {
54
57
  static function stateHash(CAT20ClosedMinterState __scrypt_ts_curState): bytes {
55
58
  return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHash), 2) + __scrypt_ts_curState.tokenScriptHash + hash160(hash160(__scrypt_ts_curState.tokenScriptHash)));
56
59
  }
60
+ static function __scrypt__stateHelper(CAT20ClosedMinterState __scrypt_ts_nextState): bool {
61
+ return true;
62
+ }
57
63
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[[9,0,41,13]],[[2,0,43,19],[8,0,43,2]],[[2,0,47,12],[6,0,47,2]],[[2,0,50,16],[6,0,50,2]],[[2,0,53,9],[6,0,53,2]],[[2,0,56,16],[8,0,56,2]],[[2,0,58,2],[14,0,59,21],[20,0,59,4],[37,0,60,14],[41,0,60,4],[51,0,61,18],[55,0,61,4],[69,0,62,11],[73,0,62,4],[80,0,63,17],[86,0,63,4]],[[4,0,66,4],[8,0,66,9],[25,0,66,4],[27,0,66,27]],[[4,0,67,4],[8,0,67,9],[18,0,67,4],[20,0,67,20]],[[4,0,68,4],[8,0,68,9],[22,0,68,4],[24,0,68,24]],[[4,0,69,4],[8,0,69,9],[15,0,69,4],[17,0,69,17]],[[4,0,70,4],[8,0,70,9],[22,0,70,4],[24,0,70,24]],[[4,0,72,4],[12,0,73,6],[16,0,73,11],[30,0,73,6],[33,0,73,27]],[[4,0,76,4],[12,0,77,6],[16,0,77,11],[23,0,77,6],[25,0,77,19]],[[4,0,80,4],[12,0,81,6],[16,0,81,11],[30,0,81,6],[33,0,81,27],[37,0,81,32]],[],[[2,0,87,2],[18,0,87,9],[23,0,89,15],[34,0,89,4],[45,0,90,25],[48,0,90,25],[52,0,90,4],[73,0,92,20],[80,0,92,4],[96,0,93,17],[100,0,93,4],[113,0,95,20],[117,0,95,4],[133,0,97,19],[137,0,97,4],[152,0,99,19],[166,0,99,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,102,4],[46,0,102,11],[49,0,102,34]],[[4,0,105,4],[12,0,105,11],[26,0,105,11],[28,0,105,27]],[[33,0,108,29],[81,0,108,44],[85,0,108,49]],[[4,0,111,24],[10,0,111,8],[26,0,111,37]],[[4,0,112,32],[8,0,112,8],[32,0,112,32]],[[15,0,113,13]],[[8,0,114,29],[12,0,114,12],[29,0,114,29],[49,0,114,49]],[[8,0,115,6],[11,0,115,10],[26,0,115,10],[28,0,115,27]],[[10,0,117,8],[18,0,117,15],[33,0,117,15],[35,0,117,32]],[[10,0,118,8],[32,0,118,8],[35,0,118,33]],[[10,0,119,8],[24,0,119,8],[27,0,119,25],[34,0,119,33],[91,0,121,10],[107,0,122,10],[114,0,122,17],[129,0,122,33],[145,0,122,48],[167,0,123,40],[185,0,124,29]],[],[],[[4,0,132,4],[17,0,132,18],[29,0,132,29]],[[4,0,133,27],[11,0,133,10],[28,0,133,27],[35,0,133,34],[48,0,133,48],[64,0,133,63]],[[4,0,134,24],[10,0,134,10],[24,0,134,24],[31,0,134,32],[69,0,135,17],[87,0,136,6],[102,0,137,6]],[[4,0,139,20],[8,0,139,10],[18,0,139,20],[22,0,139,25],[36,0,139,20],[38,0,139,40],[42,0,139,45]],[[4,0,140,4],[7,0,140,8],[29,0,140,20],[46,0,140,8],[49,0,140,39],[57,0,140,39],[59,0,140,49]],[[8,0,142,6],[16,0,142,13],[20,0,142,18],[30,0,142,13],[54,0,142,41],[70,0,142,30],[72,0,142,58],[76,0,142,63]],[[8,0,144,6],[18,0,144,17],[34,0,144,32],[50,0,144,48],[54,0,144,53]],[[8,0,145,6],[16,0,145,13],[17,0,145,27],[33,0,145,27],[113,0,145,18],[121,0,145,13],[122,0,145,27],[135,0,145,40],[149,0,145,13]],[[8,0,147,6],[16,0,147,13],[38,0,147,13],[62,0,147,49]],[[8,0,148,6],[16,0,148,13],[25,0,148,23],[33,0,148,13],[36,0,148,33]],[],[[8,0,151,6],[11,0,151,10],[33,0,151,22]],[[10,0,153,8],[18,0,153,15],[22,0,153,20],[32,0,153,15],[56,0,153,43]],[[10,0,154,8],[18,0,154,15],[22,0,154,20],[36,0,154,15],[39,0,154,36]],[],[[8,0,156,6],[16,0,156,13],[38,0,156,13],[62,0,156,49],[78,0,156,38],[80,0,156,66]],[[8,0,157,6],[16,0,157,13],[25,0,157,23],[33,0,157,13],[36,0,157,33],[40,0,157,38]],[],[[4,0,161,25],[10,0,161,10]],[],[[4,0,164,4],[20,0,164,29],[34,0,164,29],[36,0,164,45],[48,0,164,29],[50,0,164,59]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[[9,0,41,13]],[[2,0,43,19],[8,0,43,2]],[[2,0,47,12],[6,0,47,2]],[[2,0,50,16],[6,0,50,2]],[[2,0,53,9],[6,0,53,2]],[[2,0,56,16],[8,0,56,2]],[[2,0,58,2],[14,0,59,21],[20,0,59,4],[37,0,60,14],[41,0,60,4],[51,0,61,18],[55,0,61,4],[69,0,62,11],[73,0,62,4],[80,0,63,17],[86,0,63,4]],[[4,0,66,4],[8,0,66,9],[25,0,66,4],[27,0,66,27]],[[4,0,67,4],[8,0,67,9],[18,0,67,4],[20,0,67,20]],[[4,0,68,4],[8,0,68,9],[22,0,68,4],[24,0,68,24]],[[4,0,69,4],[8,0,69,9],[15,0,69,4],[17,0,69,17]],[[4,0,70,4],[8,0,70,9],[22,0,70,4],[24,0,70,24]],[[4,0,72,4],[12,0,73,6],[16,0,73,11],[30,0,73,6],[33,0,73,27]],[[4,0,76,4],[12,0,77,6],[16,0,77,11],[23,0,77,6],[25,0,77,19]],[[4,0,80,4],[12,0,81,6],[16,0,81,11],[30,0,81,6],[33,0,81,27],[37,0,81,32]],[],[[2,0,87,2],[18,0,87,9],[23,0,89,15],[34,0,89,4],[45,0,90,25],[48,0,90,25],[52,0,90,4],[73,0,92,20],[80,0,92,4],[96,0,93,17],[100,0,93,4],[113,0,95,20],[117,0,95,4],[133,0,97,19],[137,0,97,4],[152,0,99,19],[166,0,99,4]],[],[],[],[],[],[],[],[],[],[],[],[[4,0,102,4],[46,0,102,11],[49,0,102,34]],[[4,0,105,4],[12,0,105,11],[26,0,105,11],[28,0,105,27]],[[33,0,108,29],[81,0,108,44],[85,0,108,49]],[[4,0,111,24],[10,0,111,8],[26,0,111,37]],[[4,0,112,32],[8,0,112,8],[32,0,112,32]],[[15,0,113,13]],[[8,0,114,29],[12,0,114,12],[29,0,114,29],[49,0,114,49]],[[8,0,115,6],[11,0,115,10],[26,0,115,10],[28,0,115,27]],[[10,0,117,8],[18,0,117,15],[33,0,117,15],[35,0,117,32]],[[10,0,118,8],[32,0,118,8],[35,0,118,33]],[[10,0,119,8],[24,0,119,8],[27,0,119,25],[34,0,119,33],[91,0,121,10],[107,0,122,10],[114,0,122,17],[129,0,122,33],[145,0,122,48],[167,0,123,40],[185,0,124,29]],[],[],[[4,0,132,4],[17,0,132,18],[29,0,132,29]],[[4,0,133,27],[11,0,133,10],[28,0,133,27],[35,0,133,34],[48,0,133,48],[64,0,133,63]],[[4,0,134,24],[10,0,134,10],[24,0,134,24],[31,0,134,32],[69,0,135,17],[87,0,136,6],[102,0,137,6]],[[4,0,139,20],[8,0,139,10],[18,0,139,20],[22,0,139,25],[36,0,139,20],[38,0,139,40],[42,0,139,45]],[[4,0,140,4],[7,0,140,8],[29,0,140,20],[46,0,140,8],[49,0,140,39],[57,0,140,39],[59,0,140,49]],[[8,0,142,6],[16,0,142,13],[20,0,142,18],[30,0,142,13],[54,0,142,41],[70,0,142,30],[72,0,142,58],[76,0,142,63]],[[8,0,144,6],[18,0,144,17],[34,0,144,32],[50,0,144,48],[54,0,144,53]],[[8,0,145,6],[16,0,145,13],[17,0,145,27],[33,0,145,27],[113,0,145,18],[121,0,145,13],[122,0,145,27],[135,0,145,40],[149,0,145,13]],[[8,0,147,6],[16,0,147,13],[38,0,147,13],[62,0,147,49]],[[8,0,148,6],[16,0,148,13],[25,0,148,23],[33,0,148,13],[36,0,148,33]],[],[[8,0,151,6],[11,0,151,10],[33,0,151,22]],[[10,0,153,8],[18,0,153,15],[22,0,153,20],[32,0,153,15],[56,0,153,43]],[[10,0,154,8],[18,0,154,15],[22,0,154,20],[36,0,154,15],[39,0,154,36]],[],[[8,0,156,6],[16,0,156,13],[38,0,156,13],[62,0,156,49],[78,0,156,38],[80,0,156,66]],[[8,0,157,6],[16,0,157,13],[25,0,157,23],[33,0,157,13],[36,0,157,33],[40,0,157,38]],[],[[4,0,161,25],[10,0,161,10]],[],[[4,0,164,4],[20,0,164,29],[34,0,164,29],[36,0,164,45],[48,0,164,29],[50,0,164,59]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -70,6 +70,8 @@ contract CAT20OpenMinter {
70
70
  bytes changeOutput =
71
71
  (__scrypt_ts_changeInfo.satoshis > 0 ? TxUtils.buildDataOutput(sha256(TxUtils.buildP2PKHScript(__scrypt_ts_changeInfo.pubkeyhash)), __scrypt_ts_changeInfo.satoshis, __scrypt_ts_changeInfo.dataHash) : b'');
72
72
  require(hash256(minterOutputs + tokenOutput + changeOutput) == __scrypt_ts_shPreimage.hashOutputs);
73
+
74
+
73
75
  }
74
76
  static function serializeState(CAT20OpenMinterState __scrypt_ts_curState): bytes {
75
77
  return num2bin(len(__scrypt_ts_curState.tokenScriptHash), 2) + __scrypt_ts_curState.tokenScriptHash + num2bin(len((__scrypt_ts_curState.hasMintedBefore ? b'01' : b'')), 2) + (__scrypt_ts_curState.hasMintedBefore ? b'01' : b'') + num2bin(len(pack(__scrypt_ts_curState.remainingCount)), 2) + pack(__scrypt_ts_curState.remainingCount) + hash160(hash160(__scrypt_ts_curState.tokenScriptHash) + hash160(__scrypt_ts_curState.hasMintedBefore ? b'01' : b'') + hash160(pack(__scrypt_ts_curState.remainingCount)));
@@ -77,4 +79,7 @@ contract CAT20OpenMinter {
77
79
  static function stateHash(CAT20OpenMinterState __scrypt_ts_curState): bytes {
78
80
  return sha256(num2bin(len(__scrypt_ts_curState.tokenScriptHash), 2) + __scrypt_ts_curState.tokenScriptHash + num2bin(len((__scrypt_ts_curState.hasMintedBefore ? b'01' : b'')), 2) + (__scrypt_ts_curState.hasMintedBefore ? b'01' : b'') + num2bin(len(pack(__scrypt_ts_curState.remainingCount)), 2) + pack(__scrypt_ts_curState.remainingCount) + hash160(hash160(__scrypt_ts_curState.tokenScriptHash) + hash160(__scrypt_ts_curState.hasMintedBefore ? b'01' : b'') + hash160(pack(__scrypt_ts_curState.remainingCount))));
79
81
  }
82
+ static function __scrypt__stateHelper(CAT20OpenMinterState __scrypt_ts_nextState): bool {
83
+ return true;
84
+ }
80
85
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,17,13]],[[2,0,19,2],[9,0,19,9],[15,0,19,44],[21,0,19,44],[25,0,19,18],[53,0,20,4],[72,0,20,24],[96,0,21,4],[115,0,21,24],[139,0,22,4],[158,0,22,24],[184,0,23,4],[203,0,23,24]],[[2,0,27,20],[8,0,27,2]],[[2,0,29,2],[14,0,29,32],[20,0,29,14]],[[4,0,31,4],[8,0,31,9],[26,0,31,4],[28,0,31,28]],[],[[2,0,35,2],[18,0,35,9],[25,0,36,16],[50,0,36,4],[62,0,38,16],[84,0,38,4],[96,0,39,21],[100,0,39,4],[117,0,41,19],[131,0,41,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,43,27],[46,0,43,42],[50,0,43,47]],[[4,0,46,4],[12,0,47,6],[28,0,47,6],[31,0,47,25],[33,0,47,6],[36,0,47,31],[52,0,47,31]],[[4,0,51,4],[8,0,51,9],[20,0,52,6],[107,0,55,6]],[[4,0,60,4],[7,0,60,8],[32,0,60,23],[44,0,60,8],[47,0,60,37]],[[8,0,62,6],[16,0,62,13],[26,0,62,24],[46,0,62,13],[49,0,62,46],[51,0,62,13],[54,0,62,52],[64,0,62,63],[84,0,62,52]],[[8,0,64,6],[16,0,64,13],[26,0,64,24],[46,0,64,13]],[[8,0,66,6],[16,0,66,13],[26,0,66,24],[46,0,66,13],[49,0,66,46]],[[8,0,67,6],[37,0,67,24],[48,0,67,13],[51,0,67,37],[63,0,67,50],[114,0,67,97],[124,0,67,108]],[],[[8,0,69,6],[18,0,69,17],[34,0,69,32],[44,0,69,43],[78,0,69,66]],[[8,0,70,6],[16,0,70,13],[17,0,70,27],[27,0,70,38],[40,0,70,27],[50,0,70,38],[127,0,70,18],[135,0,70,13],[136,0,70,27],[146,0,70,38],[156,0,70,47],[166,0,70,58],[177,0,70,13]],[],[],[],[[11,0,75,2],[22,0,76,16],[44,0,76,4],[56,0,77,24],[62,0,77,4],[82,0,78,24],[86,0,78,4],[106,0,79,21],[110,0,79,4],[127,0,80,23],[133,0,80,4],[152,0,81,26],[158,0,81,4]],[[4,0,84,28],[10,0,84,10],[28,0,84,28],[40,0,84,41],[60,0,84,60],[79,0,84,79]],[[4,0,85,4],[12,0,86,6],[28,0,86,6],[31,0,86,25],[37,0,86,32],[63,0,86,57],[66,0,86,6],[69,0,86,63],[85,0,86,63],[88,0,86,82],[94,0,86,89],[120,0,86,114],[123,0,86,6],[126,0,87,6],[142,0,87,6],[145,0,87,25],[151,0,87,32],[177,0,87,57],[180,0,86,6],[183,0,87,63],[199,0,87,63],[202,0,87,82],[208,0,87,89],[234,0,87,114]],[[4,0,90,4],[12,0,90,11],[24,0,90,24],[42,0,90,41],[64,0,90,63],[81,0,90,11],[84,0,90,83],[103,0,90,103],[114,0,90,113]],[[4,0,94,30],[8,0,94,10],[28,0,94,30],[35,0,94,52],[45,0,94,63],[63,0,94,81],[84,0,94,101],[103,0,94,101],[105,0,94,122]],[[4,0,95,4],[12,0,95,11],[22,0,95,22],[39,0,95,38],[40,0,95,45],[60,0,95,11],[63,0,95,68]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[],[[9,0,17,13]],[[2,0,19,2],[9,0,19,9],[15,0,19,44],[21,0,19,44],[25,0,19,18],[53,0,20,4],[72,0,20,24],[96,0,21,4],[115,0,21,24],[139,0,22,4],[158,0,22,24],[184,0,23,4],[203,0,23,24]],[[2,0,27,20],[8,0,27,2]],[[2,0,29,2],[14,0,29,32],[20,0,29,14]],[[4,0,31,4],[8,0,31,9],[26,0,31,4],[28,0,31,28]],[],[[2,0,35,2],[18,0,35,9],[25,0,36,16],[50,0,36,4],[62,0,38,16],[84,0,38,4],[96,0,39,21],[100,0,39,4],[117,0,41,19],[131,0,41,4]],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[[31,0,43,27],[46,0,43,42],[50,0,43,47]],[[4,0,46,4],[12,0,47,6],[28,0,47,6],[31,0,47,25],[33,0,47,6],[36,0,47,31],[52,0,47,31]],[[4,0,51,4],[8,0,51,9],[20,0,52,6],[107,0,55,6]],[[4,0,60,4],[7,0,60,8],[32,0,60,23],[44,0,60,8],[47,0,60,37]],[[8,0,62,6],[16,0,62,13],[26,0,62,24],[46,0,62,13],[49,0,62,46],[51,0,62,13],[54,0,62,52],[64,0,62,63],[84,0,62,52]],[[8,0,64,6],[16,0,64,13],[26,0,64,24],[46,0,64,13]],[[8,0,66,6],[16,0,66,13],[26,0,66,24],[46,0,66,13],[49,0,66,46]],[[8,0,67,6],[37,0,67,24],[48,0,67,13],[51,0,67,37],[63,0,67,50],[114,0,67,97],[124,0,67,108]],[],[[8,0,69,6],[18,0,69,17],[34,0,69,32],[44,0,69,43],[78,0,69,66]],[[8,0,70,6],[16,0,70,13],[17,0,70,27],[27,0,70,38],[40,0,70,27],[50,0,70,38],[127,0,70,18],[135,0,70,13],[136,0,70,27],[146,0,70,38],[156,0,70,47],[166,0,70,58],[177,0,70,13]],[],[],[],[],[],[[11,0,75,2],[22,0,76,16],[44,0,76,4],[56,0,77,24],[62,0,77,4],[82,0,78,24],[86,0,78,4],[106,0,79,21],[110,0,79,4],[127,0,80,23],[133,0,80,4],[152,0,81,26],[158,0,81,4]],[[4,0,84,28],[10,0,84,10],[28,0,84,28],[40,0,84,41],[60,0,84,60],[79,0,84,79]],[[4,0,85,4],[12,0,86,6],[28,0,86,6],[31,0,86,25],[37,0,86,32],[63,0,86,57],[66,0,86,6],[69,0,86,63],[85,0,86,63],[88,0,86,82],[94,0,86,89],[120,0,86,114],[123,0,86,6],[126,0,87,6],[142,0,87,6],[145,0,87,25],[151,0,87,32],[177,0,87,57],[180,0,86,6],[183,0,87,63],[199,0,87,63],[202,0,87,82],[208,0,87,89],[234,0,87,114]],[[4,0,90,4],[12,0,90,11],[24,0,90,24],[42,0,90,41],[64,0,90,63],[81,0,90,11],[84,0,90,83],[103,0,90,103],[114,0,90,113]],[[4,0,94,30],[8,0,94,10],[28,0,94,30],[35,0,94,52],[45,0,94,63],[63,0,94,81],[84,0,94,101],[103,0,94,101],[105,0,94,122]],[[4,0,95,4],[12,0,95,11],[22,0,95,22],[39,0,95,38],[40,0,95,45],[60,0,95,11],[63,0,95,68]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -45,6 +45,8 @@ contract CAT721 {
45
45
  require((unlockArgs.userSig[len(unlockArgs.userSig) - 1 : ] == num2bin(1, 2)[0 : 1] && num2bin(1, 2)[1 : ] == b'00' && checkSig(unlockArgs.userSig, unlockArgs.userPubKey)));
46
46
  }
47
47
  require(true);
48
+
49
+
48
50
  }
49
51
  function checkGuard(CAT721GuardConstState guardState, bytes t_cat721ScriptHash, int t_cat721InputIndex, int guardInputIndex, bytes t_spentScriptsCtx, bytes t_spentDataHashesCtx) : bool {
50
52
  bytes guardScriptHash = ContextUtils.getSpentScriptHash(t_spentScriptsCtx, guardInputIndex);
@@ -52,6 +54,7 @@ contract CAT721 {
52
54
  require(ContextUtils.getSpentDataHash(t_spentDataHashesCtx, guardInputIndex) == CAT721GuardStateLib.stateHash(guardState));
53
55
  int cat721ScriptIndex = unpack(guardState.nftScriptIndexes[t_cat721InputIndex : t_cat721InputIndex + 1]);
54
56
  require(guardState.nftScriptHashes[(cat721ScriptIndex)] == t_cat721ScriptHash);
57
+
55
58
  return true;
56
59
  }
57
60
  static function serializeState(CAT721State __scrypt_ts_curState): bytes {
@@ -60,4 +63,7 @@ contract CAT721 {
60
63
  static function stateHash(CAT721State __scrypt_ts_curState): bytes {
61
64
  return sha256(num2bin(len(__scrypt_ts_curState.ownerAddr), 2) + __scrypt_ts_curState.ownerAddr + num2bin(len(pack(__scrypt_ts_curState.localId)), 2) + pack(__scrypt_ts_curState.localId) + hash160(hash160(__scrypt_ts_curState.ownerAddr) + hash160(pack(__scrypt_ts_curState.localId))));
62
65
  }
66
+ static function __scrypt__stateHelper(CAT721State __scrypt_ts_nextState): bool {
67
+ return true;
68
+ }
63
69
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[[8,0,11,13]],[[2,0,13,4],[18,0,13,11],[35,0,13,36],[57,0,13,28],[65,0,13,76],[82,0,13,59]],[[4,0,14,8],[23,0,14,28],[44,0,14,48],[50,0,14,55]],[[15,0,16,17]],[[8,0,17,30],[12,0,17,18],[24,0,17,30],[28,0,17,34],[34,0,17,41],[51,0,17,57]],[[8,0,18,12],[16,0,18,19],[26,0,18,19],[29,0,18,32]],[],[[4,0,21,8],[12,0,21,15],[16,0,21,19],[22,0,21,26],[41,0,21,15],[44,0,21,47],[45,0,21,54]],[[4,0,23,8],[12,0,23,15],[16,0,23,19],[22,0,23,26],[37,0,23,15],[40,0,23,43],[41,0,23,50]],[[29,0,24,17]],[[8,0,25,32],[12,0,25,18],[26,0,25,32],[33,0,25,54],[39,0,25,61],[57,0,25,79],[58,0,25,86],[63,0,25,90],[64,0,25,97],[66,0,25,97],[68,0,25,101]],[[8,0,26,12],[16,0,26,19],[28,0,26,19],[31,0,26,34],[32,0,26,35],[34,0,26,19],[37,0,26,40],[49,0,26,40],[51,0,26,54]],[],[],[],[[2,0,31,4],[18,0,31,11],[38,0,31,43],[43,0,31,43],[47,0,31,31]],[[4,0,33,8],[12,0,33,15],[23,0,33,26],[26,0,33,15],[29,0,33,32],[40,0,33,43]],[[4,0,34,8],[12,0,34,15],[23,0,34,26],[26,0,34,15],[29,0,34,32],[40,0,34,43]],[[4,0,35,8],[12,0,35,15],[23,0,35,26],[26,0,35,15],[29,0,35,32],[40,0,35,43]],[[4,0,36,8],[12,0,36,15],[23,0,36,26],[26,0,36,15],[29,0,36,32],[40,0,36,43]],[[4,0,37,8],[12,0,37,15],[23,0,37,26],[26,0,37,15],[29,0,37,32],[40,0,37,43]],[[4,0,38,8],[12,0,38,15],[23,0,38,26],[26,0,38,15],[29,0,38,32],[40,0,38,43]],[],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[[8,0,11,13]],[[2,0,13,4],[18,0,13,11],[35,0,13,36],[57,0,13,28],[65,0,13,76],[82,0,13,59]],[[4,0,14,8],[23,0,14,28],[44,0,14,48],[50,0,14,55]],[[15,0,16,17]],[[8,0,17,30],[12,0,17,18],[24,0,17,30],[28,0,17,34],[34,0,17,41],[51,0,17,57]],[[8,0,18,12],[16,0,18,19],[26,0,18,19],[29,0,18,32]],[],[[4,0,21,8],[12,0,21,15],[16,0,21,19],[22,0,21,26],[41,0,21,15],[44,0,21,47],[45,0,21,54]],[[4,0,23,8],[12,0,23,15],[16,0,23,19],[22,0,23,26],[37,0,23,15],[40,0,23,43],[41,0,23,50]],[[29,0,24,17]],[[8,0,25,32],[12,0,25,18],[26,0,25,32],[33,0,25,54],[39,0,25,61],[57,0,25,79],[58,0,25,86],[63,0,25,90],[64,0,25,97],[66,0,25,97],[68,0,25,101]],[[8,0,26,12],[16,0,26,19],[28,0,26,19],[31,0,26,34],[32,0,26,35],[34,0,26,19],[37,0,26,40],[49,0,26,40],[51,0,26,54]],[],[],[],[],[[2,0,31,4],[18,0,31,11],[38,0,31,43],[43,0,31,43],[47,0,31,31]],[[4,0,33,8],[12,0,33,15],[23,0,33,26],[26,0,33,15],[29,0,33,32],[40,0,33,43]],[[4,0,34,8],[12,0,34,15],[23,0,34,26],[26,0,34,15],[29,0,34,32],[40,0,34,43]],[[4,0,35,8],[12,0,35,15],[23,0,35,26],[26,0,35,15],[29,0,35,32],[40,0,35,43]],[[4,0,36,8],[12,0,36,15],[23,0,36,26],[26,0,36,15],[29,0,36,32],[40,0,36,43]],[[4,0,37,8],[12,0,37,15],[23,0,37,26],[26,0,37,15],[29,0,37,32],[40,0,37,43]],[[4,0,38,8],[12,0,38,15],[23,0,38,26],[26,0,38,15],[29,0,38,32],[40,0,38,43]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -16,6 +16,7 @@ library CAT721GuardStateLib {
16
16
  int scriptIndex = unpack(_state.nftScriptIndexes[(i) : (i + 1)]);
17
17
  require(scriptIndex >= -1 && scriptIndex < 4);
18
18
  }
19
+
19
20
  return true;
20
21
  }
21
22
  static function checkNftScriptsUniq(bytes[4] nftScripts) : bool {
@@ -25,6 +26,7 @@ library CAT721GuardStateLib {
25
26
  require(nftScripts[1] != nftScripts[2]);
26
27
  require(nftScripts[1] != nftScripts[3]);
27
28
  require(nftScripts[2] != nftScripts[3]);
29
+
28
30
  return true;
29
31
  }
30
32
  static function serializeState(CAT721GuardConstState __scrypt_ts_curState): bytes {
@@ -33,4 +35,7 @@ library CAT721GuardStateLib {
33
35
  static function stateHash(CAT721GuardConstState __scrypt_ts_curState): bytes {
34
36
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + num2bin(len(__scrypt_ts_curState.nftScriptHashes[0]), 2) + __scrypt_ts_curState.nftScriptHashes[0] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[1]), 2) + __scrypt_ts_curState.nftScriptHashes[1] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[2]), 2) + __scrypt_ts_curState.nftScriptHashes[2] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[3]), 2) + __scrypt_ts_curState.nftScriptHashes[3] + num2bin(len(__scrypt_ts_curState.nftBurnMasks), 2) + __scrypt_ts_curState.nftBurnMasks + num2bin(len(__scrypt_ts_curState.nftScriptIndexes), 2) + __scrypt_ts_curState.nftScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + hash160(__scrypt_ts_curState.nftScriptHashes[0]) + hash160(__scrypt_ts_curState.nftScriptHashes[1]) + hash160(__scrypt_ts_curState.nftScriptHashes[2]) + hash160(__scrypt_ts_curState.nftScriptHashes[3]) + hash160(__scrypt_ts_curState.nftBurnMasks) + hash160(__scrypt_ts_curState.nftScriptIndexes)));
35
37
  }
38
+ static function __scrypt__stateHelper(CAT721GuardConstState __scrypt_ts_nextState): bool {
39
+ return true;
40
+ }
36
41
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,20,13]],[],[[2,0,22,4],[18,0,22,11],[25,0,24,21],[29,0,24,8],[42,0,25,24],[49,0,25,8],[65,0,26,25],[70,0,26,25],[75,0,26,8],[92,0,28,33],[97,0,28,33],[102,0,28,8],[127,0,42,24],[130,0,42,24],[135,0,42,8],[151,0,43,30],[154,0,43,30],[159,0,43,8],[181,0,44,24],[184,0,44,24],[189,0,44,8],[205,0,45,22],[216,0,45,22],[221,0,45,8],[235,0,47,21],[239,0,47,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,50,8],[14,0,50,19],[30,0,50,34],[67,0,50,61]],[[4,0,51,8],[12,0,51,15],[13,0,51,29],[29,0,51,29],[109,0,51,20],[117,0,51,15],[118,0,51,29],[131,0,51,42],[145,0,51,15]],[[4,0,53,8],[23,0,53,28],[64,0,53,57]],[[4,0,56,28],[8,0,56,12],[24,0,56,28]],[[4,0,57,37],[9,0,57,37],[13,0,57,14],[38,0,58,12],[50,0,58,25],[85,0,59,12],[97,0,59,25],[132,0,60,12],[144,0,60,25],[179,0,61,12],[191,0,61,25]],[[15,0,63,17]],[[8,0,64,12],[11,0,64,16],[13,0,64,16],[16,0,64,21]],[[10,0,65,16],[39,0,65,34],[56,0,65,50],[57,0,65,57],[61,0,65,23],[64,0,65,64],[86,0,65,86],[87,0,65,93]],[],[],[[15,0,68,17]],[[8,0,69,12],[32,0,69,27],[49,0,69,43],[52,0,69,16],[55,0,69,49],[77,0,69,71]],[[10,0,70,16],[23,0,70,16]],[],[],[[15,0,75,17]],[[8,0,76,12],[11,0,76,16],[13,0,76,16],[15,0,76,20],[16,0,76,27]],[[10,0,77,16],[39,0,77,34],[56,0,77,50],[59,0,77,23],[62,0,77,56],[84,0,77,78]],[[10,0,78,16],[18,0,78,23],[43,0,78,38],[60,0,78,54],[64,0,78,23],[67,0,78,61]],[],[[10,0,80,16],[39,0,80,34],[56,0,80,50],[59,0,80,23],[62,0,80,56],[84,0,80,78]],[],[],[[4,0,83,8],[12,0,83,15],[26,0,83,15],[28,0,83,31]],[[4,0,86,32],[8,0,86,12],[28,0,86,32]],[[4,0,88,24],[9,0,88,24],[14,0,88,14],[25,0,88,80],[32,0,88,98],[37,0,88,103]],[[4,0,89,27],[8,0,89,12],[23,0,89,27]],[[4,0,90,27],[8,0,90,14]],[[4,0,92,8],[12,0,92,15],[23,0,92,15],[26,0,92,29]],[[16,0,93,17]],[[8,0,94,35],[12,0,94,18],[29,0,94,35],[57,0,94,68],[75,0,94,86],[79,0,94,89],[81,0,94,89],[83,0,94,93]],[[8,0,95,29],[13,0,95,18],[45,0,95,46],[59,0,95,60],[63,0,95,63],[65,0,95,63],[67,0,95,67],[70,0,95,29],[73,0,95,87],[81,0,95,95],[88,0,95,102]],[[8,0,96,12],[11,0,96,16],[13,0,96,16],[15,0,96,20]],[[10,0,98,16],[18,0,98,23],[33,0,98,23],[36,0,98,41]],[[10,0,99,16],[18,0,99,23],[33,0,99,23],[35,0,99,40]],[[10,0,100,16],[13,0,100,20],[28,0,100,20],[31,0,100,38]],[[12,0,102,42],[18,0,102,26],[55,0,102,53],[72,0,102,69],[73,0,102,76]],[[12,0,103,20],[20,0,103,27],[34,0,103,27],[37,0,103,44],[49,0,103,57],[100,0,103,104],[101,0,103,111]],[[12,0,104,20],[26,0,104,35],[38,0,104,46],[51,0,104,59],[52,0,104,66]],[[12,0,105,20],[20,0,105,27],[32,0,105,40],[79,0,105,83],[80,0,105,90],[84,0,105,27],[87,0,105,97],[101,0,105,112],[112,0,105,122],[125,0,105,135],[126,0,105,142]],[[12,0,106,20],[30,0,106,20],[32,0,106,40],[47,0,106,40],[49,0,106,57],[69,0,106,77],[86,0,106,94]],[[12,0,107,20],[15,0,107,24],[16,0,107,25]],[[14,0,109,24],[23,0,109,33],[24,0,109,40],[39,0,109,24],[41,0,109,57],[55,0,109,57],[57,0,109,73],[65,0,109,81],[70,0,109,97],[83,0,109,110],[84,0,109,117],[87,0,109,121]],[[14,0,110,24],[26,0,110,24]],[],[],[[12,0,114,20],[20,0,114,27],[21,0,114,28]],[],[],[[10,0,117,16],[18,0,117,23],[33,0,117,23],[36,0,117,41]],[],[],[[4,0,120,8],[12,0,120,15],[30,0,120,15],[33,0,120,36],[35,0,120,15],[38,0,120,42],[56,0,120,42],[59,0,120,63],[73,0,120,63],[75,0,120,79]],[[4,0,123,8],[12,0,123,15],[24,0,123,15],[27,0,123,30],[29,0,123,15],[32,0,123,36],[44,0,123,36],[47,0,123,51]],[[4,0,124,29],[8,0,124,12],[25,0,124,29]],[[4,0,125,22],[10,0,125,12],[20,0,125,35]],[[16,0,126,17]],[[8,0,127,12],[11,0,127,16],[13,0,127,16],[15,0,127,20]],[[10,0,128,46],[16,0,128,22],[40,0,128,46],[64,0,128,70],[65,0,128,77]],[[10,0,129,39],[14,0,129,22],[31,0,129,39],[52,0,129,60],[53,0,129,67]],[[10,0,131,16],[18,0,131,23],[33,0,131,23],[36,0,131,41]],[[10,0,132,16],[18,0,132,23],[33,0,132,23],[35,0,132,40]],[[10,0,133,16],[13,0,133,20],[28,0,133,20],[31,0,133,38]],[[12,0,136,20],[22,0,136,31],[38,0,136,46]],[[12,0,138,20],[20,0,138,27],[35,0,138,42],[36,0,138,49],[40,0,138,27],[42,0,138,55]],[[12,0,139,42],[18,0,139,26],[55,0,139,53],[72,0,139,69],[73,0,139,76]],[[12,0,140,36],[16,0,140,26],[26,0,140,36],[41,0,140,51],[42,0,140,58]],[[12,0,141,20],[20,0,141,27],[28,0,141,27],[31,0,141,38]],[[12,0,142,20],[20,0,142,27],[29,0,142,36],[30,0,142,43],[47,0,142,27],[50,0,142,63],[64,0,142,63],[66,0,142,79],[74,0,142,87],[79,0,142,103]],[[12,0,143,20],[27,0,143,20],[29,0,143,37],[44,0,143,37],[46,0,143,54]],[[12,0,144,41],[18,0,144,26],[33,0,144,41],[47,0,144,56],[58,0,144,66],[59,0,145,35],[82,0,146,33]],[[12,0,148,20],[20,0,148,27],[36,0,148,43],[37,0,148,50],[41,0,148,27],[44,0,148,57]],[[12,0,149,20],[20,0,149,20],[23,0,149,31],[30,0,149,39],[68,0,150,35],[85,0,150,51],[86,0,150,58],[104,0,151,24],[119,0,151,39],[120,0,151,46],[125,0,152,24]],[],[[23,0,157,29]],[[14,0,158,24],[22,0,158,31],[44,0,158,31],[68,0,158,67],[85,0,158,83]],[],[[12,0,160,20],[20,0,160,20],[23,0,160,31],[30,0,160,39],[47,0,161,24],[70,0,162,24],[85,0,162,39],[86,0,162,46],[91,0,163,24],[107,0,163,40],[108,0,163,47]],[],[],[[10,0,167,16],[18,0,167,23],[22,0,167,27],[46,0,167,51],[47,0,167,58],[52,0,167,23],[55,0,167,66]],[[10,0,168,16],[18,0,168,23],[39,0,168,44],[40,0,168,51],[44,0,168,23],[47,0,168,58]],[[10,0,169,16],[18,0,169,23],[33,0,169,38],[34,0,169,45],[38,0,169,23],[41,0,169,52]],[[10,0,170,16],[18,0,170,23],[34,0,170,39],[35,0,170,46],[39,0,170,23],[42,0,170,66]],[[10,0,171,16],[18,0,171,23],[33,0,171,38],[34,0,171,45],[38,0,171,23],[41,0,171,52]],[],[],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[16,0,176,21]],[[10,0,177,16],[18,0,177,23],[33,0,177,38],[34,0,177,45],[38,0,177,23],[41,0,177,52]],[],[],[[4,0,182,8],[12,0,182,15],[25,0,182,15],[28,0,182,31]],[[4,0,185,8],[20,0,185,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,20,13]],[],[[2,0,22,4],[18,0,22,11],[25,0,24,21],[29,0,24,8],[42,0,25,24],[49,0,25,8],[65,0,26,25],[70,0,26,25],[75,0,26,8],[92,0,28,33],[97,0,28,33],[102,0,28,8],[127,0,42,24],[130,0,42,24],[135,0,42,8],[151,0,43,30],[154,0,43,30],[159,0,43,8],[181,0,44,24],[184,0,44,24],[189,0,44,8],[205,0,45,22],[216,0,45,22],[221,0,45,8],[235,0,47,21],[239,0,47,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,50,8],[14,0,50,19],[30,0,50,34],[67,0,50,61]],[[4,0,51,8],[12,0,51,15],[13,0,51,29],[29,0,51,29],[109,0,51,20],[117,0,51,15],[118,0,51,29],[131,0,51,42],[145,0,51,15]],[[4,0,53,8],[23,0,53,28],[64,0,53,57]],[[4,0,56,28],[8,0,56,12],[24,0,56,28]],[[4,0,57,37],[9,0,57,37],[13,0,57,14],[38,0,58,12],[50,0,58,25],[85,0,59,12],[97,0,59,25],[132,0,60,12],[144,0,60,25],[179,0,61,12],[191,0,61,25]],[[15,0,63,17]],[[8,0,64,12],[11,0,64,16],[13,0,64,16],[16,0,64,21]],[[10,0,65,16],[39,0,65,34],[56,0,65,50],[57,0,65,57],[61,0,65,23],[64,0,65,64],[86,0,65,86],[87,0,65,93]],[],[],[[15,0,68,17]],[[8,0,69,12],[32,0,69,27],[49,0,69,43],[52,0,69,16],[55,0,69,49],[77,0,69,71]],[[10,0,70,16],[23,0,70,16]],[],[],[[15,0,75,17]],[[8,0,76,12],[11,0,76,16],[13,0,76,16],[15,0,76,20],[16,0,76,27]],[[10,0,77,16],[39,0,77,34],[56,0,77,50],[59,0,77,23],[62,0,77,56],[84,0,77,78]],[[10,0,78,16],[18,0,78,23],[43,0,78,38],[60,0,78,54],[64,0,78,23],[67,0,78,61]],[],[[10,0,80,16],[39,0,80,34],[56,0,80,50],[59,0,80,23],[62,0,80,56],[84,0,80,78]],[],[],[[4,0,83,8],[12,0,83,15],[26,0,83,15],[28,0,83,31]],[[4,0,86,32],[8,0,86,12],[28,0,86,32]],[[4,0,88,24],[9,0,88,24],[14,0,88,14],[25,0,88,80],[32,0,88,98],[37,0,88,103]],[[4,0,89,27],[8,0,89,12],[23,0,89,27]],[[4,0,90,27],[8,0,90,14]],[[4,0,92,8],[12,0,92,15],[23,0,92,15],[26,0,92,29]],[[16,0,93,17]],[[8,0,94,35],[12,0,94,18],[29,0,94,35],[57,0,94,68],[75,0,94,86],[79,0,94,89],[81,0,94,89],[83,0,94,93]],[[8,0,95,29],[13,0,95,18],[45,0,95,46],[59,0,95,60],[63,0,95,63],[65,0,95,63],[67,0,95,67],[70,0,95,29],[73,0,95,87],[81,0,95,95],[88,0,95,102]],[[8,0,96,12],[11,0,96,16],[13,0,96,16],[15,0,96,20]],[[10,0,98,16],[18,0,98,23],[33,0,98,23],[36,0,98,41]],[[10,0,99,16],[18,0,99,23],[33,0,99,23],[35,0,99,40]],[[10,0,100,16],[13,0,100,20],[28,0,100,20],[31,0,100,38]],[[12,0,102,42],[18,0,102,26],[55,0,102,53],[72,0,102,69],[73,0,102,76]],[[12,0,103,20],[20,0,103,27],[34,0,103,27],[37,0,103,44],[49,0,103,57],[100,0,103,104],[101,0,103,111]],[[12,0,104,20],[26,0,104,35],[38,0,104,46],[51,0,104,59],[52,0,104,66]],[[12,0,105,20],[20,0,105,27],[32,0,105,40],[79,0,105,83],[80,0,105,90],[84,0,105,27],[87,0,105,97],[101,0,105,112],[112,0,105,122],[125,0,105,135],[126,0,105,142]],[[12,0,106,20],[30,0,106,20],[32,0,106,40],[47,0,106,40],[49,0,106,57],[69,0,106,77],[86,0,106,94]],[[12,0,107,20],[15,0,107,24],[16,0,107,25]],[[14,0,109,24],[23,0,109,33],[24,0,109,40],[39,0,109,24],[41,0,109,57],[55,0,109,57],[57,0,109,73],[65,0,109,81],[70,0,109,97],[83,0,109,110],[84,0,109,117],[87,0,109,121]],[[14,0,110,24],[26,0,110,24]],[],[],[[12,0,114,20],[20,0,114,27],[21,0,114,28]],[],[],[[10,0,117,16],[18,0,117,23],[33,0,117,23],[36,0,117,41]],[],[],[[4,0,120,8],[12,0,120,15],[30,0,120,15],[33,0,120,36],[35,0,120,15],[38,0,120,42],[56,0,120,42],[59,0,120,63],[73,0,120,63],[75,0,120,79]],[[4,0,123,8],[12,0,123,15],[24,0,123,15],[27,0,123,30],[29,0,123,15],[32,0,123,36],[44,0,123,36],[47,0,123,51]],[[4,0,124,29],[8,0,124,12],[25,0,124,29]],[[4,0,125,22],[10,0,125,12],[20,0,125,35]],[[16,0,126,17]],[[8,0,127,12],[11,0,127,16],[13,0,127,16],[15,0,127,20]],[[10,0,128,46],[16,0,128,22],[40,0,128,46],[64,0,128,70],[65,0,128,77]],[[10,0,129,39],[14,0,129,22],[31,0,129,39],[52,0,129,60],[53,0,129,67]],[[10,0,131,16],[18,0,131,23],[33,0,131,23],[36,0,131,41]],[[10,0,132,16],[18,0,132,23],[33,0,132,23],[35,0,132,40]],[[10,0,133,16],[13,0,133,20],[28,0,133,20],[31,0,133,38]],[[12,0,136,20],[22,0,136,31],[38,0,136,46]],[[12,0,138,20],[20,0,138,27],[35,0,138,42],[36,0,138,49],[40,0,138,27],[42,0,138,55]],[[12,0,139,42],[18,0,139,26],[55,0,139,53],[72,0,139,69],[73,0,139,76]],[[12,0,140,36],[16,0,140,26],[26,0,140,36],[41,0,140,51],[42,0,140,58]],[[12,0,141,20],[20,0,141,27],[28,0,141,27],[31,0,141,38]],[[12,0,142,20],[20,0,142,27],[29,0,142,36],[30,0,142,43],[47,0,142,27],[50,0,142,63],[64,0,142,63],[66,0,142,79],[74,0,142,87],[79,0,142,103]],[[12,0,143,20],[27,0,143,20],[29,0,143,37],[44,0,143,37],[46,0,143,54]],[[12,0,144,41],[18,0,144,26],[33,0,144,41],[47,0,144,56],[58,0,144,66],[59,0,145,35],[82,0,146,33]],[[12,0,148,20],[20,0,148,27],[36,0,148,43],[37,0,148,50],[41,0,148,27],[44,0,148,57]],[[12,0,149,20],[20,0,149,20],[23,0,149,31],[30,0,149,39],[68,0,150,35],[85,0,150,51],[86,0,150,58],[104,0,151,24],[119,0,151,39],[120,0,151,46],[125,0,152,24]],[],[[23,0,157,29]],[[14,0,158,24],[22,0,158,31],[44,0,158,31],[68,0,158,67],[85,0,158,83]],[],[[12,0,160,20],[20,0,160,20],[23,0,160,31],[30,0,160,39],[47,0,161,24],[70,0,162,24],[85,0,162,39],[86,0,162,46],[91,0,163,24],[107,0,163,40],[108,0,163,47]],[],[],[[10,0,167,16],[18,0,167,23],[22,0,167,27],[46,0,167,51],[47,0,167,58],[52,0,167,23],[55,0,167,66]],[[10,0,168,16],[18,0,168,23],[39,0,168,44],[40,0,168,51],[44,0,168,23],[47,0,168,58]],[[10,0,169,16],[18,0,169,23],[33,0,169,38],[34,0,169,45],[38,0,169,23],[41,0,169,52]],[[10,0,170,16],[18,0,170,23],[34,0,170,39],[35,0,170,46],[39,0,170,23],[42,0,170,66]],[[10,0,171,16],[18,0,171,23],[33,0,171,38],[34,0,171,45],[38,0,171,23],[41,0,171,52]],[],[],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[16,0,176,21]],[[10,0,177,16],[18,0,177,23],[33,0,177,38],[34,0,177,45],[38,0,177,23],[41,0,177,52]],[],[],[[4,0,182,8],[12,0,182,15],[25,0,182,15],[28,0,182,31]],[[4,0,185,8],[20,0,185,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -119,6 +119,8 @@ contract CAT721Guard_12_12_2 {
119
119
  }
120
120
  require(nextNftCount == outputNftCount);
121
121
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
122
+
123
+
122
124
  }
123
125
  static function serializeState(CAT721GuardConstState __scrypt_ts_curState): bytes {
124
126
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + num2bin(len(__scrypt_ts_curState.nftScriptHashes[0]), 2) + __scrypt_ts_curState.nftScriptHashes[0] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[1]), 2) + __scrypt_ts_curState.nftScriptHashes[1] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[2]), 2) + __scrypt_ts_curState.nftScriptHashes[2] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[3]), 2) + __scrypt_ts_curState.nftScriptHashes[3] + num2bin(len(__scrypt_ts_curState.nftBurnMasks), 2) + __scrypt_ts_curState.nftBurnMasks + num2bin(len(__scrypt_ts_curState.nftScriptIndexes), 2) + __scrypt_ts_curState.nftScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + hash160(__scrypt_ts_curState.nftScriptHashes[0]) + hash160(__scrypt_ts_curState.nftScriptHashes[1]) + hash160(__scrypt_ts_curState.nftScriptHashes[2]) + hash160(__scrypt_ts_curState.nftScriptHashes[3]) + hash160(__scrypt_ts_curState.nftBurnMasks) + hash160(__scrypt_ts_curState.nftScriptIndexes));
@@ -126,4 +128,7 @@ contract CAT721Guard_12_12_2 {
126
128
  static function stateHash(CAT721GuardConstState __scrypt_ts_curState): bytes {
127
129
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + num2bin(len(__scrypt_ts_curState.nftScriptHashes[0]), 2) + __scrypt_ts_curState.nftScriptHashes[0] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[1]), 2) + __scrypt_ts_curState.nftScriptHashes[1] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[2]), 2) + __scrypt_ts_curState.nftScriptHashes[2] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[3]), 2) + __scrypt_ts_curState.nftScriptHashes[3] + num2bin(len(__scrypt_ts_curState.nftBurnMasks), 2) + __scrypt_ts_curState.nftBurnMasks + num2bin(len(__scrypt_ts_curState.nftScriptIndexes), 2) + __scrypt_ts_curState.nftScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + hash160(__scrypt_ts_curState.nftScriptHashes[0]) + hash160(__scrypt_ts_curState.nftScriptHashes[1]) + hash160(__scrypt_ts_curState.nftScriptHashes[2]) + hash160(__scrypt_ts_curState.nftScriptHashes[3]) + hash160(__scrypt_ts_curState.nftBurnMasks) + hash160(__scrypt_ts_curState.nftScriptIndexes)));
128
130
  }
131
+ static function __scrypt__stateHelper(CAT721GuardConstState __scrypt_ts_nextState): bool {
132
+ return true;
133
+ }
129
134
  }
@@ -1 +1 @@
1
- [[],[],[],[],[],[],[],[],[],[],[],[[9,0,20,13]],[],[[2,0,22,4],[18,0,22,11],[25,0,24,21],[29,0,24,8],[42,0,25,24],[49,0,25,8],[65,0,26,25],[70,0,26,25],[75,0,26,8],[92,0,28,33],[97,0,28,33],[102,0,28,8],[127,0,42,24],[130,0,42,24],[135,0,42,8],[151,0,43,30],[154,0,43,30],[159,0,43,8],[181,0,44,24],[184,0,44,24],[189,0,44,8],[205,0,45,22],[216,0,45,22],[221,0,45,8],[235,0,47,21],[239,0,47,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,50,8],[14,0,50,19],[30,0,50,34],[67,0,50,61]],[[4,0,51,8],[12,0,51,15],[13,0,51,29],[29,0,51,29],[109,0,51,20],[117,0,51,15],[118,0,51,29],[131,0,51,42],[145,0,51,15]],[[4,0,53,8],[23,0,53,28],[64,0,53,57]],[[4,0,56,28],[8,0,56,12],[24,0,56,28]],[[4,0,57,37],[9,0,57,37],[13,0,57,14],[38,0,58,12],[50,0,58,25],[85,0,59,12],[97,0,59,25],[132,0,60,12],[144,0,60,25],[179,0,61,12],[191,0,61,25]],[[15,0,63,17]],[[8,0,64,12],[11,0,64,16],[13,0,64,16],[16,0,64,21]],[[10,0,65,16],[39,0,65,34],[56,0,65,50],[57,0,65,57],[61,0,65,23],[64,0,65,64],[86,0,65,86],[87,0,65,93]],[],[],[[15,0,68,17]],[[8,0,69,12],[32,0,69,27],[49,0,69,43],[52,0,69,16],[55,0,69,49],[77,0,69,71]],[[10,0,70,16],[23,0,70,16]],[],[],[[15,0,75,17]],[[8,0,76,12],[11,0,76,16],[13,0,76,16],[15,0,76,20],[16,0,76,27]],[[10,0,77,16],[39,0,77,34],[56,0,77,50],[59,0,77,23],[62,0,77,56],[84,0,77,78]],[[10,0,78,16],[18,0,78,23],[43,0,78,38],[60,0,78,54],[64,0,78,23],[67,0,78,61]],[],[[10,0,80,16],[39,0,80,34],[56,0,80,50],[59,0,80,23],[62,0,80,56],[84,0,80,78]],[],[],[[4,0,83,8],[12,0,83,15],[26,0,83,15],[28,0,83,31]],[[4,0,86,32],[8,0,86,12],[28,0,86,32]],[[4,0,88,24],[9,0,88,24],[14,0,88,14],[25,0,88,80],[32,0,88,98],[37,0,88,103]],[[4,0,89,27],[8,0,89,12],[23,0,89,27]],[[4,0,90,27],[8,0,90,14]],[[4,0,92,8],[12,0,92,15],[23,0,92,15],[26,0,92,29]],[[16,0,93,17]],[[8,0,94,35],[12,0,94,18],[29,0,94,35],[57,0,94,68],[75,0,94,86],[79,0,94,89],[81,0,94,89],[83,0,94,93]],[[8,0,95,29],[13,0,95,18],[45,0,95,46],[59,0,95,60],[63,0,95,63],[65,0,95,63],[67,0,95,67],[70,0,95,29],[73,0,95,87],[81,0,95,95],[88,0,95,102]],[[8,0,96,12],[11,0,96,16],[13,0,96,16],[15,0,96,20]],[[10,0,98,16],[18,0,98,23],[33,0,98,23],[36,0,98,41]],[[10,0,99,16],[18,0,99,23],[33,0,99,23],[35,0,99,40]],[[10,0,100,16],[13,0,100,20],[28,0,100,20],[31,0,100,38]],[[12,0,102,42],[18,0,102,26],[55,0,102,53],[72,0,102,69],[73,0,102,76]],[[12,0,103,20],[20,0,103,27],[34,0,103,27],[37,0,103,44],[49,0,103,57],[100,0,103,104],[101,0,103,111]],[[12,0,104,20],[26,0,104,35],[38,0,104,46],[51,0,104,59],[52,0,104,66]],[[12,0,105,20],[20,0,105,27],[32,0,105,40],[79,0,105,83],[80,0,105,90],[84,0,105,27],[87,0,105,97],[101,0,105,112],[112,0,105,122],[125,0,105,135],[126,0,105,142]],[[12,0,106,20],[30,0,106,20],[32,0,106,40],[47,0,106,40],[49,0,106,57],[69,0,106,77],[86,0,106,94]],[[12,0,107,20],[15,0,107,24],[16,0,107,25]],[[14,0,109,24],[23,0,109,33],[24,0,109,40],[39,0,109,24],[41,0,109,57],[55,0,109,57],[57,0,109,73],[65,0,109,81],[70,0,109,97],[83,0,109,110],[84,0,109,117],[87,0,109,121]],[[14,0,110,24],[26,0,110,24]],[],[],[[12,0,114,20],[20,0,114,27],[21,0,114,28]],[],[],[[10,0,117,16],[18,0,117,23],[33,0,117,23],[36,0,117,41]],[],[],[[4,0,120,8],[12,0,120,15],[30,0,120,15],[33,0,120,36],[35,0,120,15],[38,0,120,42],[56,0,120,42],[59,0,120,63],[73,0,120,63],[75,0,120,79]],[[4,0,123,8],[12,0,123,15],[24,0,123,15],[27,0,123,30],[29,0,123,15],[32,0,123,36],[44,0,123,36],[47,0,123,51]],[[4,0,124,29],[8,0,124,12],[25,0,124,29]],[[4,0,125,22],[10,0,125,12],[20,0,125,35]],[[16,0,126,17]],[[8,0,127,12],[11,0,127,16],[13,0,127,16],[15,0,127,20]],[[10,0,128,46],[16,0,128,22],[40,0,128,46],[64,0,128,70],[65,0,128,77]],[[10,0,129,39],[14,0,129,22],[31,0,129,39],[52,0,129,60],[53,0,129,67]],[[10,0,131,16],[18,0,131,23],[33,0,131,23],[36,0,131,41]],[[10,0,132,16],[18,0,132,23],[33,0,132,23],[35,0,132,40]],[[10,0,133,16],[13,0,133,20],[28,0,133,20],[31,0,133,38]],[[12,0,136,20],[22,0,136,31],[38,0,136,46]],[[12,0,138,20],[20,0,138,27],[35,0,138,42],[36,0,138,49],[40,0,138,27],[42,0,138,55]],[[12,0,139,42],[18,0,139,26],[55,0,139,53],[72,0,139,69],[73,0,139,76]],[[12,0,140,36],[16,0,140,26],[26,0,140,36],[41,0,140,51],[42,0,140,58]],[[12,0,141,20],[20,0,141,27],[28,0,141,27],[31,0,141,38]],[[12,0,142,20],[20,0,142,27],[29,0,142,36],[30,0,142,43],[47,0,142,27],[50,0,142,63],[64,0,142,63],[66,0,142,79],[74,0,142,87],[79,0,142,103]],[[12,0,143,20],[27,0,143,20],[29,0,143,37],[44,0,143,37],[46,0,143,54]],[[12,0,144,41],[18,0,144,26],[33,0,144,41],[47,0,144,56],[58,0,144,66],[59,0,145,35],[82,0,146,33]],[[12,0,148,20],[20,0,148,27],[36,0,148,43],[37,0,148,50],[41,0,148,27],[44,0,148,57]],[[12,0,149,20],[20,0,149,20],[23,0,149,31],[30,0,149,39],[68,0,150,35],[85,0,150,51],[86,0,150,58],[104,0,151,24],[119,0,151,39],[120,0,151,46],[125,0,152,24]],[],[[23,0,157,29]],[[14,0,158,24],[22,0,158,31],[44,0,158,31],[68,0,158,67],[85,0,158,83]],[],[[12,0,160,20],[20,0,160,20],[23,0,160,31],[30,0,160,39],[47,0,161,24],[70,0,162,24],[85,0,162,39],[86,0,162,46],[91,0,163,24],[107,0,163,40],[108,0,163,47]],[],[],[[10,0,167,16],[18,0,167,23],[22,0,167,27],[46,0,167,51],[47,0,167,58],[52,0,167,23],[55,0,167,66]],[[10,0,168,16],[18,0,168,23],[39,0,168,44],[40,0,168,51],[44,0,168,23],[47,0,168,58]],[[10,0,169,16],[18,0,169,23],[33,0,169,38],[34,0,169,45],[38,0,169,23],[41,0,169,52]],[[10,0,170,16],[18,0,170,23],[34,0,170,39],[35,0,170,46],[39,0,170,23],[42,0,170,66]],[[10,0,171,16],[18,0,171,23],[33,0,171,38],[34,0,171,45],[38,0,171,23],[41,0,171,52]],[],[],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[16,0,176,21]],[[10,0,177,16],[18,0,177,23],[33,0,177,38],[34,0,177,45],[38,0,177,23],[41,0,177,52]],[],[],[[4,0,182,8],[12,0,182,15],[25,0,182,15],[28,0,182,31]],[[4,0,185,8],[20,0,185,33]],[],[],[],[],[],[],[],[]]
1
+ [[],[],[],[],[],[],[],[],[],[],[],[[9,0,20,13]],[],[[2,0,22,4],[18,0,22,11],[25,0,24,21],[29,0,24,8],[42,0,25,24],[49,0,25,8],[65,0,26,25],[70,0,26,25],[75,0,26,8],[92,0,28,33],[97,0,28,33],[102,0,28,8],[127,0,42,24],[130,0,42,24],[135,0,42,8],[151,0,43,30],[154,0,43,30],[159,0,43,8],[181,0,44,24],[184,0,44,24],[189,0,44,8],[205,0,45,22],[216,0,45,22],[221,0,45,8],[235,0,47,21],[239,0,47,8]],[],[],[],[],[],[],[],[],[],[],[],[],[],[[4,0,50,8],[14,0,50,19],[30,0,50,34],[67,0,50,61]],[[4,0,51,8],[12,0,51,15],[13,0,51,29],[29,0,51,29],[109,0,51,20],[117,0,51,15],[118,0,51,29],[131,0,51,42],[145,0,51,15]],[[4,0,53,8],[23,0,53,28],[64,0,53,57]],[[4,0,56,28],[8,0,56,12],[24,0,56,28]],[[4,0,57,37],[9,0,57,37],[13,0,57,14],[38,0,58,12],[50,0,58,25],[85,0,59,12],[97,0,59,25],[132,0,60,12],[144,0,60,25],[179,0,61,12],[191,0,61,25]],[[15,0,63,17]],[[8,0,64,12],[11,0,64,16],[13,0,64,16],[16,0,64,21]],[[10,0,65,16],[39,0,65,34],[56,0,65,50],[57,0,65,57],[61,0,65,23],[64,0,65,64],[86,0,65,86],[87,0,65,93]],[],[],[[15,0,68,17]],[[8,0,69,12],[32,0,69,27],[49,0,69,43],[52,0,69,16],[55,0,69,49],[77,0,69,71]],[[10,0,70,16],[23,0,70,16]],[],[],[[15,0,75,17]],[[8,0,76,12],[11,0,76,16],[13,0,76,16],[15,0,76,20],[16,0,76,27]],[[10,0,77,16],[39,0,77,34],[56,0,77,50],[59,0,77,23],[62,0,77,56],[84,0,77,78]],[[10,0,78,16],[18,0,78,23],[43,0,78,38],[60,0,78,54],[64,0,78,23],[67,0,78,61]],[],[[10,0,80,16],[39,0,80,34],[56,0,80,50],[59,0,80,23],[62,0,80,56],[84,0,80,78]],[],[],[[4,0,83,8],[12,0,83,15],[26,0,83,15],[28,0,83,31]],[[4,0,86,32],[8,0,86,12],[28,0,86,32]],[[4,0,88,24],[9,0,88,24],[14,0,88,14],[25,0,88,80],[32,0,88,98],[37,0,88,103]],[[4,0,89,27],[8,0,89,12],[23,0,89,27]],[[4,0,90,27],[8,0,90,14]],[[4,0,92,8],[12,0,92,15],[23,0,92,15],[26,0,92,29]],[[16,0,93,17]],[[8,0,94,35],[12,0,94,18],[29,0,94,35],[57,0,94,68],[75,0,94,86],[79,0,94,89],[81,0,94,89],[83,0,94,93]],[[8,0,95,29],[13,0,95,18],[45,0,95,46],[59,0,95,60],[63,0,95,63],[65,0,95,63],[67,0,95,67],[70,0,95,29],[73,0,95,87],[81,0,95,95],[88,0,95,102]],[[8,0,96,12],[11,0,96,16],[13,0,96,16],[15,0,96,20]],[[10,0,98,16],[18,0,98,23],[33,0,98,23],[36,0,98,41]],[[10,0,99,16],[18,0,99,23],[33,0,99,23],[35,0,99,40]],[[10,0,100,16],[13,0,100,20],[28,0,100,20],[31,0,100,38]],[[12,0,102,42],[18,0,102,26],[55,0,102,53],[72,0,102,69],[73,0,102,76]],[[12,0,103,20],[20,0,103,27],[34,0,103,27],[37,0,103,44],[49,0,103,57],[100,0,103,104],[101,0,103,111]],[[12,0,104,20],[26,0,104,35],[38,0,104,46],[51,0,104,59],[52,0,104,66]],[[12,0,105,20],[20,0,105,27],[32,0,105,40],[79,0,105,83],[80,0,105,90],[84,0,105,27],[87,0,105,97],[101,0,105,112],[112,0,105,122],[125,0,105,135],[126,0,105,142]],[[12,0,106,20],[30,0,106,20],[32,0,106,40],[47,0,106,40],[49,0,106,57],[69,0,106,77],[86,0,106,94]],[[12,0,107,20],[15,0,107,24],[16,0,107,25]],[[14,0,109,24],[23,0,109,33],[24,0,109,40],[39,0,109,24],[41,0,109,57],[55,0,109,57],[57,0,109,73],[65,0,109,81],[70,0,109,97],[83,0,109,110],[84,0,109,117],[87,0,109,121]],[[14,0,110,24],[26,0,110,24]],[],[],[[12,0,114,20],[20,0,114,27],[21,0,114,28]],[],[],[[10,0,117,16],[18,0,117,23],[33,0,117,23],[36,0,117,41]],[],[],[[4,0,120,8],[12,0,120,15],[30,0,120,15],[33,0,120,36],[35,0,120,15],[38,0,120,42],[56,0,120,42],[59,0,120,63],[73,0,120,63],[75,0,120,79]],[[4,0,123,8],[12,0,123,15],[24,0,123,15],[27,0,123,30],[29,0,123,15],[32,0,123,36],[44,0,123,36],[47,0,123,51]],[[4,0,124,29],[8,0,124,12],[25,0,124,29]],[[4,0,125,22],[10,0,125,12],[20,0,125,35]],[[16,0,126,17]],[[8,0,127,12],[11,0,127,16],[13,0,127,16],[15,0,127,20]],[[10,0,128,46],[16,0,128,22],[40,0,128,46],[64,0,128,70],[65,0,128,77]],[[10,0,129,39],[14,0,129,22],[31,0,129,39],[52,0,129,60],[53,0,129,67]],[[10,0,131,16],[18,0,131,23],[33,0,131,23],[36,0,131,41]],[[10,0,132,16],[18,0,132,23],[33,0,132,23],[35,0,132,40]],[[10,0,133,16],[13,0,133,20],[28,0,133,20],[31,0,133,38]],[[12,0,136,20],[22,0,136,31],[38,0,136,46]],[[12,0,138,20],[20,0,138,27],[35,0,138,42],[36,0,138,49],[40,0,138,27],[42,0,138,55]],[[12,0,139,42],[18,0,139,26],[55,0,139,53],[72,0,139,69],[73,0,139,76]],[[12,0,140,36],[16,0,140,26],[26,0,140,36],[41,0,140,51],[42,0,140,58]],[[12,0,141,20],[20,0,141,27],[28,0,141,27],[31,0,141,38]],[[12,0,142,20],[20,0,142,27],[29,0,142,36],[30,0,142,43],[47,0,142,27],[50,0,142,63],[64,0,142,63],[66,0,142,79],[74,0,142,87],[79,0,142,103]],[[12,0,143,20],[27,0,143,20],[29,0,143,37],[44,0,143,37],[46,0,143,54]],[[12,0,144,41],[18,0,144,26],[33,0,144,41],[47,0,144,56],[58,0,144,66],[59,0,145,35],[82,0,146,33]],[[12,0,148,20],[20,0,148,27],[36,0,148,43],[37,0,148,50],[41,0,148,27],[44,0,148,57]],[[12,0,149,20],[20,0,149,20],[23,0,149,31],[30,0,149,39],[68,0,150,35],[85,0,150,51],[86,0,150,58],[104,0,151,24],[119,0,151,39],[120,0,151,46],[125,0,152,24]],[],[[23,0,157,29]],[[14,0,158,24],[22,0,158,31],[44,0,158,31],[68,0,158,67],[85,0,158,83]],[],[[12,0,160,20],[20,0,160,20],[23,0,160,31],[30,0,160,39],[47,0,161,24],[70,0,162,24],[85,0,162,39],[86,0,162,46],[91,0,163,24],[107,0,163,40],[108,0,163,47]],[],[],[[10,0,167,16],[18,0,167,23],[22,0,167,27],[46,0,167,51],[47,0,167,58],[52,0,167,23],[55,0,167,66]],[[10,0,168,16],[18,0,168,23],[39,0,168,44],[40,0,168,51],[44,0,168,23],[47,0,168,58]],[[10,0,169,16],[18,0,169,23],[33,0,169,38],[34,0,169,45],[38,0,169,23],[41,0,169,52]],[[10,0,170,16],[18,0,170,23],[34,0,170,39],[35,0,170,46],[39,0,170,23],[42,0,170,66]],[[10,0,171,16],[18,0,171,23],[33,0,171,38],[34,0,171,45],[38,0,171,23],[41,0,171,52]],[],[],[[16,0,175,17]],[[8,0,176,12],[11,0,176,16],[13,0,176,16],[16,0,176,21]],[[10,0,177,16],[18,0,177,23],[33,0,177,38],[34,0,177,45],[38,0,177,23],[41,0,177,52]],[],[],[[4,0,182,8],[12,0,182,15],[25,0,182,15],[28,0,182,31]],[[4,0,185,8],[20,0,185,33]],[],[],[],[],[],[],[],[],[],[],[],[],[]]
@@ -119,6 +119,8 @@ contract CAT721Guard_12_12_4 {
119
119
  }
120
120
  require(nextNftCount == outputNftCount);
121
121
  require(hash256(outputs) == __scrypt_ts_shPreimage.hashOutputs);
122
+
123
+
122
124
  }
123
125
  static function serializeState(CAT721GuardConstState __scrypt_ts_curState): bytes {
124
126
  return num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + num2bin(len(__scrypt_ts_curState.nftScriptHashes[0]), 2) + __scrypt_ts_curState.nftScriptHashes[0] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[1]), 2) + __scrypt_ts_curState.nftScriptHashes[1] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[2]), 2) + __scrypt_ts_curState.nftScriptHashes[2] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[3]), 2) + __scrypt_ts_curState.nftScriptHashes[3] + num2bin(len(__scrypt_ts_curState.nftBurnMasks), 2) + __scrypt_ts_curState.nftBurnMasks + num2bin(len(__scrypt_ts_curState.nftScriptIndexes), 2) + __scrypt_ts_curState.nftScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + hash160(__scrypt_ts_curState.nftScriptHashes[0]) + hash160(__scrypt_ts_curState.nftScriptHashes[1]) + hash160(__scrypt_ts_curState.nftScriptHashes[2]) + hash160(__scrypt_ts_curState.nftScriptHashes[3]) + hash160(__scrypt_ts_curState.nftBurnMasks) + hash160(__scrypt_ts_curState.nftScriptIndexes));
@@ -126,4 +128,7 @@ contract CAT721Guard_12_12_4 {
126
128
  static function stateHash(CAT721GuardConstState __scrypt_ts_curState): bytes {
127
129
  return sha256(num2bin(len(__scrypt_ts_curState.deployerAddr), 2) + __scrypt_ts_curState.deployerAddr + num2bin(len(__scrypt_ts_curState.nftScriptHashes[0]), 2) + __scrypt_ts_curState.nftScriptHashes[0] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[1]), 2) + __scrypt_ts_curState.nftScriptHashes[1] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[2]), 2) + __scrypt_ts_curState.nftScriptHashes[2] + num2bin(len(__scrypt_ts_curState.nftScriptHashes[3]), 2) + __scrypt_ts_curState.nftScriptHashes[3] + num2bin(len(__scrypt_ts_curState.nftBurnMasks), 2) + __scrypt_ts_curState.nftBurnMasks + num2bin(len(__scrypt_ts_curState.nftScriptIndexes), 2) + __scrypt_ts_curState.nftScriptIndexes + hash160(hash160(__scrypt_ts_curState.deployerAddr) + hash160(__scrypt_ts_curState.nftScriptHashes[0]) + hash160(__scrypt_ts_curState.nftScriptHashes[1]) + hash160(__scrypt_ts_curState.nftScriptHashes[2]) + hash160(__scrypt_ts_curState.nftScriptHashes[3]) + hash160(__scrypt_ts_curState.nftBurnMasks) + hash160(__scrypt_ts_curState.nftScriptIndexes)));
128
130
  }
131
+ static function __scrypt__stateHelper(CAT721GuardConstState __scrypt_ts_nextState): bool {
132
+ return true;
133
+ }
129
134
  }