w8 · tx · 8Rd···Cgz

tx · 8RdFbxgPmsCAWcyVQYfqkPPb2rHLw85cyCuFKrkNnCgz

3Mz3Ths53p7Ur95CiAyTtQd9uc6UkopRL6n:  -0.01400000 Waves

2019.03.03 03:19 [518943] smart account 3Mz3Ths53p7Ur95CiAyTtQd9uc6UkopRL6n > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "8RdFbxgPmsCAWcyVQYfqkPPb2rHLw85cyCuFKrkNnCgz",
    "fee": 1400000,
    "feeAssetId": null,
    "timestamp": 1551572388395,
    "version": 1,
    "sender": "3Mz3Ths53p7Ur95CiAyTtQd9uc6UkopRL6n",
    "senderPublicKey": "bcMSuV9WgLkCar1CMCueVHuq6ugDUnnhLnhbzGC1LKU",
    "proofs": [
        "283duxEU5TKNwg61PqwyMC9i5sJrBvH4X4Gbxn4Km8m84qmfEbNWsZZoo2hnRCYfU1AfAU26psb3hZqxB7XvvfXJ"
    ],
    "script": "base64:AgQAAAAOdmVjcm9QdWJsaWNLZXkIBQAAAAJ0eAAAAA9zZW5kZXJQdWJsaWNLZXkEAAAADnRyaWdnZXJNaW5Db3N0AAAAAAAAB6EgBAAAAA50cmlnZ2VyTWF4Q29zdAAAAAAABfXhAAQAAAAJYWxpYXNJbml0CQEAAAAFQWxpYXMAAAABAgAAAAppbml0QHZlY3JvBAAAAAthbGlhc1JhbmRvbQkBAAAABUFsaWFzAAAAAQIAAAAMcmFuZG9tQHZlY3JvBAAAAAlhc3NldEluaXQBAAAAIBBN+cT0slgew7UNtXZIBsdNOuVADPV8+aGjEL89RAZoBAAAAAthc3NldFJhbmRvbQEAAAAgYWks5nW/wfxIpLptsdTI7UL9QK9ZflxXubPpEFhOoTUEAAAABWNvZGVSCQABmwAAAAECAAAAAVIEAAAABWNvZGVTCQABmwAAAAECAAAAAVMEAAAACGNvZGVTaXplAAAAAAAAAAAtBAAAAARpU2lnAAAAAAAAAAAABAAAAARpUmF3AAAAAAAAAAABBAAAAAVpVHJpZwAAAAAAAAAAAgQAAAAFaUluaXQAAAAAAAAAAAMEAAAAByRtYXRjaDAFAAAAAnR4AwkAAAEAAAACBQAAAAckbWF0Y2gwAgAAABNUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAAZ0aGlzVHgFAAAAByRtYXRjaDAEAAAAByRtYXRjaDEJAAPoAAAAAQkAAZEAAAACCAUAAAAGdGhpc1R4AAAABnByb29mcwUAAAAFaVRyaWcDCQAAAQAAAAIFAAAAByRtYXRjaDECAAAAE1RyYW5zZmVyVHJhbnNhY3Rpb24EAAAACXRyaWdnZXJUeAUAAAAHJG1hdGNoMQMJAAAAAAAAAggFAAAACXRyaWdnZXJUeAAAAAlyZWNpcGllbnQFAAAACWFsaWFzSW5pdAQAAAAGaW5pdFR4BQAAAAZ0aGlzVHgEAAAADXRyaWdnZXJJbml0VHgFAAAACXRyaWdnZXJUeAQAAAAPaW5pdFR4Ym9keUJ5dGVzCQAAywAAAAIIBQAAAAZpbml0VHgAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAZpbml0VHgAAAAGcHJvb2ZzBQAAAAVpVHJpZwQAAAABUgkAAZEAAAACCAUAAAAGaW5pdFR4AAAABnByb29mcwUAAAAEaVJhdwMDAwMDAwMDAwkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQgFAAAADXRyaWdnZXJJbml0VHgAAAAHYXNzZXRJZAkAAGcAAAACCAUAAAANdHJpZ2dlckluaXRUeAAAAAZhbW91bnQFAAAADnRyaWdnZXJNaW5Db3N0BwkAAAAAAAACCAUAAAANdHJpZ2dlckluaXRUeAAAAAZzZW5kZXIIBQAAAAZpbml0VHgAAAAJcmVjaXBpZW50BwkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQgFAAAABmluaXRUeAAAAApmZWVBc3NldElkBwMJAAAAAAAAAggFAAAABmluaXRUeAAAAANmZWUFAAAADnRyaWdnZXJNYXhDb3N0BgkAAAAAAAACCAUAAAAGaW5pdFR4AAAAA2ZlZQgFAAAADXRyaWdnZXJJbml0VHgAAAAGYW1vdW50BwkAAAAAAAACCAUAAAAGaW5pdFR4AAAAB2Fzc2V0SWQFAAAACWFzc2V0SW5pdAcJAAAAAAAAAggFAAAABmluaXRUeAAAAAZhbW91bnQAAAAAAAAAAAEHCQAAAAAAAAIJAADIAAAAAQgFAAAABmluaXRUeAAAAAphdHRhY2htZW50BQAAAAhjb2RlU2l6ZQcJAAAAAAAAAggFAAAABmluaXRUeAAAAAphdHRhY2htZW50CQABmwAAAAEJAAJYAAAAAQkAAMsAAAACBQAAAAVjb2RlUgUAAAABUgcJAAH0AAAAAwUAAAAPaW5pdFR4Ym9keUJ5dGVzCQABkQAAAAIIBQAAAAZpbml0VHgAAAAGcHJvb2ZzBQAAAARpU2lnBQAAAA52ZWNyb1B1YmxpY0tleQcDCQAAAAAAAAIIBQAAAAl0cmlnZ2VyVHgAAAAJcmVjaXBpZW50BQAAAAthbGlhc1JhbmRvbQQAAAAHJG1hdGNoMgkAA+gAAAABCQABkQAAAAIIBQAAAAZ0aGlzVHgAAAAGcHJvb2ZzBQAAAAVpSW5pdAMJAAABAAAAAgUAAAAHJG1hdGNoMgIAAAATVHJhbnNmZXJUcmFuc2FjdGlvbgQAAAAGaW5pdFR4BQAAAAckbWF0Y2gyBAAAAAckbWF0Y2gzCQAD6AAAAAEJAAGRAAAAAggFAAAABmluaXRUeAAAAAZwcm9vZnMFAAAABWlUcmlnAwkAAAEAAAACBQAAAAckbWF0Y2gzAgAAABNUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAA10cmlnZ2VySW5pdFR4BQAAAAckbWF0Y2gzAwkAAAAAAAACCAUAAAANdHJpZ2dlckluaXRUeAAAAAlyZWNpcGllbnQFAAAACWFsaWFzSW5pdAQAAAAIcmFuZG9tVHgFAAAABnRoaXNUeAQAAAAPdHJpZ2dlclJhbmRvbVR4BQAAAAl0cmlnZ2VyVHgEAAAAD2luaXRUeGJvZHlCeXRlcwkAAMsAAAACCAUAAAAGaW5pdFR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAAGaW5pdFR4AAAABnByb29mcwUAAAAFaVRyaWcEAAAAEXJhbmRvbVR4Ym9keUJ5dGVzCQAAywAAAAIJAADLAAAAAggFAAAACHJhbmRvbVR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAAIcmFuZG9tVHgAAAAGcHJvb2ZzBQAAAAVpVHJpZwkAAZEAAAACCAUAAAAIcmFuZG9tVHgAAAAGcHJvb2ZzBQAAAAVpSW5pdAQAAAABUgkAAZEAAAACCAUAAAAGaW5pdFR4AAAABnByb29mcwUAAAAEaVJhdwQAAAABUwkAAZEAAAACCAUAAAAGdGhpc1R4AAAABnByb29mcwUAAAAEaVJhdwQAAAADc2lnCQAAywAAAAIFAAAAAVIFAAAAAVMEAAAAA21zZwgFAAAAD3RyaWdnZXJSYW5kb21UeAAAAAphdHRhY2htZW50AwMDAwMDAwMDAwMDAwMDAwMDAwMDAwkAAAAAAAACCAUAAAAPdHJpZ2dlclJhbmRvbVR4AAAABnNlbmRlcggFAAAADXRyaWdnZXJJbml0VHgAAAAGc2VuZGVyCQAAAAAAAAIJAADJAAAAAgUAAAADbXNnBQAAAAhjb2RlU2l6ZQgFAAAABmluaXRUeAAAAAphdHRhY2htZW50BwkAAfQAAAADBQAAAANtc2cFAAAAA3NpZwUAAAAOdmVjcm9QdWJsaWNLZXkHCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCAUAAAAPdHJpZ2dlclJhbmRvbVR4AAAAB2Fzc2V0SWQHCQAAZwAAAAIIBQAAAA90cmlnZ2VyUmFuZG9tVHgAAAAGYW1vdW50BQAAAA50cmlnZ2VyTWluQ29zdAcJAAAAAAAAAggFAAAAD3RyaWdnZXJSYW5kb21UeAAAAAZzZW5kZXIIBQAAAAhyYW5kb21UeAAAAAlyZWNpcGllbnQHCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCAUAAAAIcmFuZG9tVHgAAAAKZmVlQXNzZXRJZAcDCQAAAAAAAAIIBQAAAAhyYW5kb21UeAAAAANmZWUFAAAADnRyaWdnZXJNYXhDb3N0BgkAAAAAAAACCAUAAAAIcmFuZG9tVHgAAAADZmVlCAUAAAAPdHJpZ2dlclJhbmRvbVR4AAAABmFtb3VudAcJAAAAAAAAAggFAAAACHJhbmRvbVR4AAAAB2Fzc2V0SWQFAAAAC2Fzc2V0UmFuZG9tBwkAAAAAAAACCAUAAAAIcmFuZG9tVHgAAAAGYW1vdW50AAAAAAAAAAABBwkAAAAAAAACCQAAyAAAAAEIBQAAAAhyYW5kb21UeAAAAAphdHRhY2htZW50BQAAAAhjb2RlU2l6ZQcJAAAAAAAAAggFAAAACHJhbmRvbVR4AAAACmF0dGFjaG1lbnQJAAGbAAAAAQkAAlgAAAABCQAAywAAAAIFAAAABWNvZGVTBQAAAAFTBwkAAfQAAAADBQAAABFyYW5kb21UeGJvZHlCeXRlcwkAAZEAAAACCAUAAAAIcmFuZG9tVHgAAAAGcHJvb2ZzBQAAAARpU2lnBQAAAA52ZWNyb1B1YmxpY0tleQcJAQAAAAEhAAAAAQkBAAAACWlzRGVmaW5lZAAAAAEIBQAAAA10cmlnZ2VySW5pdFR4AAAAB2Fzc2V0SWQHCQAAZwAAAAIIBQAAAA10cmlnZ2VySW5pdFR4AAAABmFtb3VudAUAAAAOdHJpZ2dlck1pbkNvc3QHCQAAAAAAAAIIBQAAAA10cmlnZ2VySW5pdFR4AAAABnNlbmRlcggFAAAABmluaXRUeAAAAAlyZWNpcGllbnQHCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCAUAAAAGaW5pdFR4AAAACmZlZUFzc2V0SWQHAwkAAAAAAAACCAUAAAAGaW5pdFR4AAAAA2ZlZQUAAAAOdHJpZ2dlck1heENvc3QGCQAAAAAAAAIIBQAAAAZpbml0VHgAAAADZmVlCAUAAAANdHJpZ2dlckluaXRUeAAAAAZhbW91bnQHCQAAAAAAAAIIBQAAAAZpbml0VHgAAAAHYXNzZXRJZAUAAAAJYXNzZXRJbml0BwkAAAAAAAACCAUAAAAGaW5pdFR4AAAABmFtb3VudAAAAAAAAAAAAQcJAAAAAAAAAgkAAMgAAAABCAUAAAAGaW5pdFR4AAAACmF0dGFjaG1lbnQFAAAACGNvZGVTaXplBwkAAAAAAAACCAUAAAAGaW5pdFR4AAAACmF0dGFjaG1lbnQJAAGbAAAAAQkAAlgAAAABCQAAywAAAAIFAAAABWNvZGVSBQAAAAFSBwkAAfQAAAADBQAAAA9pbml0VHhib2R5Qnl0ZXMJAAGRAAAAAggFAAAABmluaXRUeAAAAAZwcm9vZnMFAAAABGlTaWcFAAAADnZlY3JvUHVibGljS2V5BwcHBwcHCQAB9AAAAAMIBQAAAAJ0eAAAAAlib2R5Qnl0ZXMJAAGRAAAAAggFAAAAAnR4AAAABnByb29mcwUAAAAEaVNpZwUAAAAOdmVjcm9QdWJsaWNLZXlU2Cqz",
    "chainId": 84,
    "height": 518943,
    "spentComplexity": 0
}

View: original | compacted
Prev: DxTPt2KHNvNmgyHGxq7s6g1JEfjXxdznkYMSpPockVwe
Next: none

Diff: 
Old New Differences
1 - {-# STDLIB_VERSION 1 #-}
1 + {-# STDLIB_VERSION 2 #-}
2 2  {-# CONTENT_TYPE EXPRESSION #-}
3 3  let vecroPublicKey = tx.senderPublicKey
4 4  let triggerMinCost = 500000
5 5  let triggerMaxCost = 100000000
6 6  let aliasInit = Alias("init@vecro")
7 7  let aliasRandom = Alias("random@vecro")
8 - let assetInit = base58'GSZ4kEkHRLaM7zu9GPx1R4XU5nqnrNgh9GCxYXd2pdDR'
9 - let assetRandom = base58'wgFSVC6kNSrCc1V5BULdAYeHzVawowxEKVUYGEj8Fb1'
8 + let assetInit = base58'26eV9L5qsU2H6jwCbDSkzWUuFyYvfNFaycSjLYPaZLHD'
9 + let assetRandom = base58'7ZFZjR18tF6gdmN73oKbMo9FSWLrAz6ocDMXsd73v5oJ'
10 10  let codeR = toBytes("R")
11 11  let codeS = toBytes("S")
12 12  let codeSize = 45
Full: 
Old New Differences
1 - {-# STDLIB_VERSION 1 #-}
1 + {-# STDLIB_VERSION 2 #-}
2 2  {-# CONTENT_TYPE EXPRESSION #-}
3 3  let vecroPublicKey = tx.senderPublicKey
4 4  let triggerMinCost = 500000
5 5  let triggerMaxCost = 100000000
6 6  let aliasInit = Alias("init@vecro")
7 7  let aliasRandom = Alias("random@vecro")
8 - let assetInit = base58'GSZ4kEkHRLaM7zu9GPx1R4XU5nqnrNgh9GCxYXd2pdDR'
9 - let assetRandom = base58'wgFSVC6kNSrCc1V5BULdAYeHzVawowxEKVUYGEj8Fb1'
8 + let assetInit = base58'26eV9L5qsU2H6jwCbDSkzWUuFyYvfNFaycSjLYPaZLHD'
9 + let assetRandom = base58'7ZFZjR18tF6gdmN73oKbMo9FSWLrAz6ocDMXsd73v5oJ'
10 10  let codeR = toBytes("R")
11 11  let codeS = toBytes("S")
12 12  let codeSize = 45
13 13  let iSig = 0
14 14  let iRaw = 1
15 15  let iTrig = 2
16 16  let iInit = 3
17 17  match tx {
18 18      case thisTx: TransferTransaction => 
19 19          match transactionById(thisTx.proofs[iTrig]) {
20 20              case triggerTx: TransferTransaction => 
21 21                  if ((triggerTx.recipient == aliasInit))
22 22                      then {
23 23                          let initTx = thisTx
24 24                          let triggerInitTx = triggerTx
25 25                          let initTxbodyBytes = (initTx.bodyBytes + initTx.proofs[iTrig])
26 26                          let R = initTx.proofs[iRaw]
27 27                          if (if (if (if (if (if (if (if (if (!(isDefined(triggerInitTx.assetId)))
28 28                              then (triggerInitTx.amount >= triggerMinCost)
29 29                              else false)
30 30                              then (triggerInitTx.sender == initTx.recipient)
31 31                              else false)
32 32                              then !(isDefined(initTx.feeAssetId))
33 33                              else false)
34 34                              then if ((initTx.fee == triggerMaxCost))
35 35                                  then true
36 36                                  else (initTx.fee == triggerInitTx.amount)
37 37                              else false)
38 38                              then (initTx.assetId == assetInit)
39 39                              else false)
40 40                              then (initTx.amount == 1)
41 41                              else false)
42 42                              then (size(initTx.attachment) == codeSize)
43 43                              else false)
44 44                              then (initTx.attachment == toBytes(toBase58String((codeR + R))))
45 45                              else false)
46 46                              then sigVerify(initTxbodyBytes, initTx.proofs[iSig], vecroPublicKey)
47 47                              else false
48 48                          }
49 49                      else if ((triggerTx.recipient == aliasRandom))
50 50                          then                         match transactionById(thisTx.proofs[iInit]) {
51 51                              case initTx: TransferTransaction => 
52 52                                  match transactionById(initTx.proofs[iTrig]) {
53 53                                      case triggerInitTx: TransferTransaction => 
54 54                                          if ((triggerInitTx.recipient == aliasInit))
55 55                                              then {
56 56                                                  let randomTx = thisTx
57 57                                                  let triggerRandomTx = triggerTx
58 58                                                  let initTxbodyBytes = (initTx.bodyBytes + initTx.proofs[iTrig])
59 59                                                  let randomTxbodyBytes = ((randomTx.bodyBytes + randomTx.proofs[iTrig]) + randomTx.proofs[iInit])
60 60                                                  let R = initTx.proofs[iRaw]
61 61                                                  let S = thisTx.proofs[iRaw]
62 62                                                  let sig = (R + S)
63 63                                                  let msg = triggerRandomTx.attachment
64 64                                                  if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if ((triggerRandomTx.sender == triggerInitTx.sender))
65 65                                                      then (take(msg, codeSize) == initTx.attachment)
66 66                                                      else false)
67 67                                                      then sigVerify(msg, sig, vecroPublicKey)
68 68                                                      else false)
69 69                                                      then !(isDefined(triggerRandomTx.assetId))
70 70                                                      else false)
71 71                                                      then (triggerRandomTx.amount >= triggerMinCost)
72 72                                                      else false)
73 73                                                      then (triggerRandomTx.sender == randomTx.recipient)
74 74                                                      else false)
75 75                                                      then !(isDefined(randomTx.feeAssetId))
76 76                                                      else false)
77 77                                                      then if ((randomTx.fee == triggerMaxCost))
78 78                                                          then true
79 79                                                          else (randomTx.fee == triggerRandomTx.amount)
80 80                                                      else false)
81 81                                                      then (randomTx.assetId == assetRandom)
82 82                                                      else false)
83 83                                                      then (randomTx.amount == 1)
84 84                                                      else false)
85 85                                                      then (size(randomTx.attachment) == codeSize)
86 86                                                      else false)
87 87                                                      then (randomTx.attachment == toBytes(toBase58String((codeS + S))))
88 88                                                      else false)
89 89                                                      then sigVerify(randomTxbodyBytes, randomTx.proofs[iSig], vecroPublicKey)
90 90                                                      else false)
91 91                                                      then !(isDefined(triggerInitTx.assetId))
92 92                                                      else false)
93 93                                                      then (triggerInitTx.amount >= triggerMinCost)
94 94                                                      else false)
95 95                                                      then (triggerInitTx.sender == initTx.recipient)
96 96                                                      else false)
97 97                                                      then !(isDefined(initTx.feeAssetId))
98 98                                                      else false)
99 99                                                      then if ((initTx.fee == triggerMaxCost))
100 100                                                          then true
101 101                                                          else (initTx.fee == triggerInitTx.amount)
102 102                                                      else false)
103 103                                                      then (initTx.assetId == assetInit)
104 104                                                      else false)
105 105                                                      then (initTx.amount == 1)
106 106                                                      else false)
107 107                                                      then (size(initTx.attachment) == codeSize)
108 108                                                      else false)
109 109                                                      then (initTx.attachment == toBytes(toBase58String((codeR + R))))
110 110                                                      else false)
111 111                                                      then sigVerify(initTxbodyBytes, initTx.proofs[iSig], vecroPublicKey)
112 112                                                      else false
113 113                                                  }
114 114                                              else false
115 115                                      case _ => 
116 116                                          false
117 117                                  }
118 118                              case _ => 
119 119                                  false
120 120                          }
121 121                          else false
122 122              case _ => 
123 123                  false
124 124          }
125 125      case _ => 
126 126          sigVerify(tx.bodyBytes, tx.proofs[iSig], vecroPublicKey)
127 127  }

Old	New		Differences
1		-	{-# STDLIB_VERSION 1 #-}
	1	+	{-# STDLIB_VERSION 2 #-}
2	2		{-# CONTENT_TYPE EXPRESSION #-}
3	3		let vecroPublicKey = tx.senderPublicKey
4	4		let triggerMinCost = 500000
5	5		let triggerMaxCost = 100000000
6	6		let aliasInit = Alias("init@vecro")
7	7		let aliasRandom = Alias("random@vecro")
8		-	let assetInit = base58'~~GSZ4kEkHRLaM7zu9GPx1R4XU5nqnrNgh9GCxYXd2pdDR~~'
9		-	let assetRandom = base58'~~wgFSVC6kNSrCc1V5BULdAYeHzVawowxEKVUYGEj8Fb1~~'
	8	+	let assetInit = base58'26eV9L5qsU2H6jwCbDSkzWUuFyYvfNFaycSjLYPaZLHD'
	9	+	let assetRandom = base58'7ZFZjR18tF6gdmN73oKbMo9FSWLrAz6ocDMXsd73v5oJ'
10	10		let codeR = toBytes("R")
11	11		let codeS = toBytes("S")
12	12		let codeSize = 45

Old	New		Differences
1		-	{-# STDLIB_VERSION 1 #-}
	1	+	{-# STDLIB_VERSION 2 #-}
2	2		{-# CONTENT_TYPE EXPRESSION #-}
3	3		let vecroPublicKey = tx.senderPublicKey
4	4		let triggerMinCost = 500000
5	5		let triggerMaxCost = 100000000
6	6		let aliasInit = Alias("init@vecro")
7	7		let aliasRandom = Alias("random@vecro")
8		-	let assetInit = base58'~~GSZ4kEkHRLaM7zu9GPx1R4XU5nqnrNgh9GCxYXd2pdDR~~'
9		-	let assetRandom = base58'~~wgFSVC6kNSrCc1V5BULdAYeHzVawowxEKVUYGEj8Fb1~~'
	8	+	let assetInit = base58'26eV9L5qsU2H6jwCbDSkzWUuFyYvfNFaycSjLYPaZLHD'
	9	+	let assetRandom = base58'7ZFZjR18tF6gdmN73oKbMo9FSWLrAz6ocDMXsd73v5oJ'
10	10		let codeR = toBytes("R")
11	11		let codeS = toBytes("S")
12	12		let codeSize = 45
13	13		let iSig = 0
14	14		let iRaw = 1
15	15		let iTrig = 2
16	16		let iInit = 3
17	17		match tx {
18	18		case thisTx: TransferTransaction =>
19	19		match transactionById(thisTx.proofs[iTrig]) {
20	20		case triggerTx: TransferTransaction =>
21	21		if ((triggerTx.recipient == aliasInit))
22	22		then {
23	23		let initTx = thisTx
24	24		let triggerInitTx = triggerTx
25	25		let initTxbodyBytes = (initTx.bodyBytes + initTx.proofs[iTrig])
26	26		let R = initTx.proofs[iRaw]
27	27		if (if (if (if (if (if (if (if (if (!(isDefined(triggerInitTx.assetId)))
28	28		then (triggerInitTx.amount >= triggerMinCost)
29	29		else false)
30	30		then (triggerInitTx.sender == initTx.recipient)
31	31		else false)
32	32		then !(isDefined(initTx.feeAssetId))
33	33		else false)
34	34		then if ((initTx.fee == triggerMaxCost))
35	35		then true
36	36		else (initTx.fee == triggerInitTx.amount)
37	37		else false)
38	38		then (initTx.assetId == assetInit)
39	39		else false)
40	40		then (initTx.amount == 1)
41	41		else false)
42	42		then (size(initTx.attachment) == codeSize)
43	43		else false)
44	44		then (initTx.attachment == toBytes(toBase58String((codeR + R))))
45	45		else false)
46	46		then sigVerify(initTxbodyBytes, initTx.proofs[iSig], vecroPublicKey)
47	47		else false
48	48		}
49	49		else if ((triggerTx.recipient == aliasRandom))
50	50		then match transactionById(thisTx.proofs[iInit]) {
51	51		case initTx: TransferTransaction =>
52	52		match transactionById(initTx.proofs[iTrig]) {
53	53		case triggerInitTx: TransferTransaction =>
54	54		if ((triggerInitTx.recipient == aliasInit))
55	55		then {
56	56		let randomTx = thisTx
57	57		let triggerRandomTx = triggerTx
58	58		let initTxbodyBytes = (initTx.bodyBytes + initTx.proofs[iTrig])
59	59		let randomTxbodyBytes = ((randomTx.bodyBytes + randomTx.proofs[iTrig]) + randomTx.proofs[iInit])
60	60		let R = initTx.proofs[iRaw]
61	61		let S = thisTx.proofs[iRaw]
62	62		let sig = (R + S)
63	63		let msg = triggerRandomTx.attachment
64	64		if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if ((triggerRandomTx.sender == triggerInitTx.sender))
65	65		then (take(msg, codeSize) == initTx.attachment)
66	66		else false)
67	67		then sigVerify(msg, sig, vecroPublicKey)
68	68		else false)
69	69		then !(isDefined(triggerRandomTx.assetId))
70	70		else false)
71	71		then (triggerRandomTx.amount >= triggerMinCost)
72	72		else false)
73	73		then (triggerRandomTx.sender == randomTx.recipient)
74	74		else false)
75	75		then !(isDefined(randomTx.feeAssetId))
76	76		else false)
77	77		then if ((randomTx.fee == triggerMaxCost))
78	78		then true
79	79		else (randomTx.fee == triggerRandomTx.amount)
80	80		else false)
81	81		then (randomTx.assetId == assetRandom)
82	82		else false)
83	83		then (randomTx.amount == 1)
84	84		else false)
85	85		then (size(randomTx.attachment) == codeSize)
86	86		else false)
87	87		then (randomTx.attachment == toBytes(toBase58String((codeS + S))))
88	88		else false)
89	89		then sigVerify(randomTxbodyBytes, randomTx.proofs[iSig], vecroPublicKey)
90	90		else false)
91	91		then !(isDefined(triggerInitTx.assetId))
92	92		else false)
93	93		then (triggerInitTx.amount >= triggerMinCost)
94	94		else false)
95	95		then (triggerInitTx.sender == initTx.recipient)
96	96		else false)
97	97		then !(isDefined(initTx.feeAssetId))
98	98		else false)
99	99		then if ((initTx.fee == triggerMaxCost))
100	100		then true
101	101		else (initTx.fee == triggerInitTx.amount)
102	102		else false)
103	103		then (initTx.assetId == assetInit)
104	104		else false)
105	105		then (initTx.amount == 1)
106	106		else false)
107	107		then (size(initTx.attachment) == codeSize)
108	108		else false)
109	109		then (initTx.attachment == toBytes(toBase58String((codeR + R))))
110	110		else false)
111	111		then sigVerify(initTxbodyBytes, initTx.proofs[iSig], vecroPublicKey)
112	112		else false
113	113		}
114	114		else false
115	115		case _ =>
116	116		false
117	117		}
118	118		case _ =>
119	119		false
120	120		}
121	121		else false
122	122		case _ =>
123	123		false
124	124		}
125	125		case _ =>
126	126		sigVerify(tx.bodyBytes, tx.proofs[iSig], vecroPublicKey)
127	127		}

github/deemru/w8io/3ef1775 
55.87 ms ◑