tx · 5CaLUa74ahREByy9m69v3S3i1gsJKHehqX56eLGxxwrE

3MrTMXEvaz63AHA6K7U5hDgTY54gZZe3R4g:  -0.01400000 Waves

2019.03.18 19:14 [541903] smart account 3MrTMXEvaz63AHA6K7U5hDgTY54gZZe3R4g > SELF 0.00000000 Waves

{ "type": 13, "id": "5CaLUa74ahREByy9m69v3S3i1gsJKHehqX56eLGxxwrE", "fee": 1400000, "feeAssetId": null, "timestamp": 1552925631292, "version": 1, "sender": "3MrTMXEvaz63AHA6K7U5hDgTY54gZZe3R4g", "senderPublicKey": "CEx6vd7D5Czxcfshd4vLpSw4LEmGULQw5avVZ7Vfrzgo", "proofs": [ "5pPLxLjCY5e8HH7s9j7T36qUYzrTvsiFgdYretkGThEejny3JubzbNZ5SL6ZFg71w51iTdmE6DXL9kPx3SnLujNm" ], "script": "base64:AgQAAAAHJG1hdGNoMAUAAAACdHgDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAD0RhdGFUcmFuc2FjdGlvbgQAAAACZHQFAAAAByRtYXRjaDADCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhAgAAAAR0eXBlCQAAAgAAAAECAAAAH2R0eCBmYWlsIC0gZHR4IHR5cGUgbm90IGRlZmluZWQDCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhAgAAAAZnYW1lSWQJAAACAAAAAQIAAAAeZHR4IGZhaWwgLSBnYW1lIGlkIG5vdCBkZWZpbmVkBAAAAAR0eXBlCQEAAAAHZXh0cmFjdAAAAAEJAAQTAAAAAggFAAAAAmR0AAAABGRhdGECAAAABHR5cGUEAAAABmdhbWVJZAkBAAAAB2V4dHJhY3QAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhAgAAAAZnYW1lSWQEAAAADHNlcnZlclNpZ25lZAkAAfQAAAADCAUAAAACZHQAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAJkdAAAAAZwcm9vZnMAAAAAAAAAAAAIBQAAAAJ0eAAAAA9zZW5kZXJQdWJsaWNLZXkDCQAAAAAAAAIFAAAABHR5cGUCAAAABXN0YXJ0BAAAAAliZXRBbW91bnQJAQAAAAdleHRyYWN0AAAAAQkABBAAAAACCAUAAAACZHQAAAAEZGF0YQkAASwAAAACBQAAAAZnYW1lSWQCAAAAB19hbW91bnQEAAAAB3BsYXllcjEJAQAAAAdleHRyYWN0AAAAAQkABBMAAAACCAUAAAACZHQAAAAEZGF0YQkAASwAAAACBQAAAAZnYW1lSWQCAAAACF9wbGF5ZXIxBAAAAAtwbGF5ZXIxVHhJZAkBAAAAB2V4dHJhY3QAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAEX3R4MQQAAAAHcGxheWVyMgkBAAAAB2V4dHJhY3QAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAIX3BsYXllcjIEAAAAC3BsYXllcjJUeElkCQEAAAAHZXh0cmFjdAAAAAEJAAQTAAAAAggFAAAAAmR0AAAABGRhdGEJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAARfdHgyBAAAABJkdFN0YXJ0RGF0YURlZmluZWQDAwMJAQAAAAlpc0RlZmluZWQAAAABCQAEEAAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAKX3dpbkFtb3VudAkBAAAACWlzRGVmaW5lZAAAAAEJAAQSAAAAAggFAAAAAmR0AAAABGRhdGEJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAA1fc3F1YWRyb25IYXNoBwkBAAAACWlzRGVmaW5lZAAAAAEJAAQRAAAAAggFAAAAAmR0AAAABGRhdGEJAAEsAAAAAgIAAAAIdXNlZF90eF8FAAAAC3BsYXllcjFUeElkBwkBAAAACWlzRGVmaW5lZAAAAAEJAAQRAAAAAggFAAAAAmR0AAAABGRhdGEJAAEsAAAAAgIAAAAIdXNlZF90eF8FAAAAC3BsYXllcjJUeElkBwQAAAAJcGxheWVyMVR4CQAD6AAAAAEJAAJZAAAAAQUAAAALcGxheWVyMVR4SWQEAAAACXBsYXllcjJUeAkAA+gAAAABCQACWQAAAAEFAAAAC3BsYXllcjJUeElkBAAAAAV0cjFPawQAAAAHJG1hdGNoMQUAAAAJcGxheWVyMVR4AwkAAAEAAAACBQAAAAckbWF0Y2gxAgAAABNUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAAF0BQAAAAckbWF0Y2gxAwMDAwkAAAAAAAACCAUAAAABdAAAAAZhbW91bnQFAAAACWJldEFtb3VudAkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQkABB0AAAACCAUAAAACdHgAAAAGc2VuZGVyCQABLAAAAAICAAAACHVzZWRfdHhfBQAAAAtwbGF5ZXIxVHhJZAcJAQAAAAEhAAAAAQkBAAAACWlzRGVmaW5lZAAAAAEIBQAAAAF0AAAAB2Fzc2V0SWQHCQAAAAAAAAIJAQAAAAdleHRyYWN0AAAAAQkABBMAAAACCAUAAAACZHQAAAAEZGF0YQkAASwAAAACAgAAAAVnYW1lXwkAAlgAAAABCAkBAAAAFGFkZHJlc3NGcm9tUHVibGljS2V5AAAAAQkAAlkAAAABBQAAAAdwbGF5ZXIxAAAABWJ5dGVzBQAAAAZnYW1lSWQHCQAAAAAAAAIIBQAAAAF0AAAACXJlY2lwaWVudAgFAAAAAnR4AAAABnNlbmRlcgcHBAAAAAV0cjJPawQAAAAHJG1hdGNoMQUAAAAJcGxheWVyMlR4AwkAAAEAAAACBQAAAAckbWF0Y2gxAgAAABNUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAAF0BQAAAAckbWF0Y2gxAwMDAwkAAAAAAAACCAUAAAABdAAAAAZhbW91bnQFAAAACWJldEFtb3VudAkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQkABB0AAAACCAUAAAACdHgAAAAGc2VuZGVyCQABLAAAAAICAAAACHVzZWRfdHhfBQAAAAtwbGF5ZXIyVHhJZAcJAQAAAAEhAAAAAQkBAAAACWlzRGVmaW5lZAAAAAEIBQAAAAF0AAAAB2Fzc2V0SWQHCQAAAAAAAAIJAQAAAAdleHRyYWN0AAAAAQkABBMAAAACCAUAAAACZHQAAAAEZGF0YQkAASwAAAACAgAAAAVnYW1lXwkAAlgAAAABCAkBAAAAFGFkZHJlc3NGcm9tUHVibGljS2V5AAAAAQkAAlkAAAABBQAAAAdwbGF5ZXIyAAAABWJ5dGVzBQAAAAZnYW1lSWQHCQAAAAAAAAIIBQAAAAF0AAAACXJlY2lwaWVudAgFAAAAAnR4AAAABnNlbmRlcgcHAwkBAAAAASEAAAABBQAAAAxzZXJ2ZXJTaWduZWQJAAACAAAAAQIAAAAnZHR4OnN0YXJ0IGZhaWwgLSBzZXJ2ZXIgZGlkIG5vdCBzaWduIHR4AwkBAAAAASEAAAABBQAAAAV0cjFPawkAAAIAAAABAgAAAChkdHg6c3RhcnQgZmFpbCAtIHBsYXllciAxIHR0eCBpcyBpbnZhbGlkAwkBAAAAASEAAAABBQAAAAV0cjJPawkAAAIAAAABAgAAAChkdHg6c3RhcnQgZmFpbCAtIHBsYXllciAyIHR0eCBpcyBpbnZhbGlkAwkBAAAAASEAAAABBQAAABJkdFN0YXJ0RGF0YURlZmluZWQJAAACAAAAAQIAAAApZHR4OnN0YXJ0IGZhaWwgLSBzdGFydCBkYXRhIGlzIGluY29tcGxldGUGAwkAAAAAAAACBQAAAAR0eXBlAgAAAAZmaW5pc2gEAAAABndpbm5lcgkBAAAAB2V4dHJhY3QAAAABCQAEEwAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAHX3dpbm5lcgQAAAANY29ycmVjdFdpbm5lcgMJAAAAAAAAAgUAAAAGd2lubmVyCQEAAAAHZXh0cmFjdAAAAAEJAAQdAAAAAggFAAAAAnR4AAAABnNlbmRlcgkAASwAAAACBQAAAAZnYW1lSWQCAAAACF9wbGF5ZXIxBgkAAAAAAAACBQAAAAZ3aW5uZXIJAQAAAAdleHRyYWN0AAAAAQkABB0AAAACCAUAAAACdHgAAAAGc2VuZGVyCQABLAAAAAIFAAAABmdhbWVJZAIAAAAIX3BsYXllcjIEAAAACXNxdWFkcm9uMQkBAAAAB2V4dHJhY3QAAAABCQAEEgAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAKX3NxdWFkcm9uMQQAAAAJc3F1YWRyb24yCQEAAAAHZXh0cmFjdAAAAAEJAAQSAAAAAggFAAAAAmR0AAAABGRhdGEJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAApfc3F1YWRyb24yBAAAAAhnYW1lU2FsdAkBAAAAB2V4dHJhY3QAAAABCQAEEgAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIFAAAABmdhbWVJZAIAAAAFX3NhbHQEAAAAEGNvcnJlY3RTcXVhZHJvbnMJAAAAAAAAAgkAAfcAAAABCQAAywAAAAIJAADLAAAAAgUAAAAJc3F1YWRyb24xBQAAAAlzcXVhZHJvbjIFAAAACGdhbWVTYWx0CQEAAAAHZXh0cmFjdAAAAAEJAAQcAAAAAggFAAAAAnR4AAAABnNlbmRlcgkAASwAAAACBQAAAAZnYW1lSWQCAAAADV9zcXVhZHJvbkhhc2gDCQEAAAABIQAAAAEFAAAADHNlcnZlclNpZ25lZAkAAAIAAAABAgAAAChkdHg6ZmluaXNoIGZhaWwgLSBzZXJ2ZXIgZGlkIG5vdCBzaWduIHR4AwkBAAAAASEAAAABBQAAAA1jb3JyZWN0V2lubmVyCQAAAgAAAAECAAAAJWR0eDpmaW5pc2ggZmFpbCAtIHdpbm5lciBpcyBpbmNvcnJlY3QDCQEAAAABIQAAAAEFAAAAEGNvcnJlY3RTcXVhZHJvbnMJAAACAAAAAQIAAAApZHR4OmZpbmlzaCBmYWlsIC0gc3F1YWRyb25zIGFyZSBpbmNvcnJlY3QGAwkAAAAAAAACBQAAAAR0eXBlAgAAAAZwYXlvdXQDCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCQAEHQAAAAIIBQAAAAJ0eAAAAAZzZW5kZXIJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAAdfd2lubmVyCQAAAgAAAAECAAAAKWR0eDpwYXlvdXQgZmFpbCAtIGdhbWUgd2lubmVyIG5vdCBkZWZpbmVkBAAAAAh3aW5uZXJQawkBAAAAB2V4dHJhY3QAAAABCQAEHQAAAAIIBQAAAAJ0eAAAAAZzZW5kZXIJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAAdfd2lubmVyBAAAAAx3aW5uZXJTaWduZWQJAAH0AAAAAwgFAAAAAmR0AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACZHQAAAAGcHJvb2ZzAAAAAAAAAAAACQACWQAAAAEFAAAACHdpbm5lclBrBAAAABBoYXNoUGtOb3RJblN0YXRlCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCQAEGwAAAAIIBQAAAAJ0eAAAAAZzZW5kZXIJAAEsAAAAAgkAASwAAAACBQAAAAZnYW1lSWQCAAAAAV8FAAAACHdpbm5lclBrBAAAAAxoYXNoUGtJbkRhdGEJAQAAAAlpc0RlZmluZWQAAAABCQAEEQAAAAIIBQAAAAJkdAAAAARkYXRhCQABLAAAAAIJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAAFfBQAAAAh3aW5uZXJQawQAAAAPdHR4SWROb3RJblN0YXRlCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABCQAEGwAAAAIIBQAAAAJ0eAAAAAZzZW5kZXIICQABkQAAAAIIBQAAAAJkdAAAAARkYXRhAAAAAAAAAAADAAAAA2tleQQAAAAFZGF0YTQJAAAAAAAAAgkAAZAAAAABCAUAAAACZHQAAAAEZGF0YQAAAAAAAAAABAMJAQAAAAEhAAAAAQUAAAAMd2lubmVyU2lnbmVkCQAAAgAAAAECAAAAKGR0eDpwYXlvdXQgZmFpbCAtIHdpbm5lciBkaWQgbm90IHNpZ24gdHgDCQEAAAABIQAAAAEFAAAAEGhhc2hQa05vdEluU3RhdGUJAAACAAAAAQIAAAApZHR4OnBheW91dCBmYWlsIC0gcGF5b3V0IGR0eCBhbHJlYWR5IHNlbnQDCQEAAAABIQAAAAEFAAAADGhhc2hQa0luRGF0YQkAAAIAAAABAgAAADtkdHg6cGF5b3V0IGZhaWwgLSBwYXlvdXQgKGdhbWVJZCwgd2lubmVyUGspIHBhaXIgaXMgbm90IHNldAMJAQAAAAEhAAAAAQUAAAAPdHR4SWROb3RJblN0YXRlCQAAAgAAAAECAAAAKmR0eDpwYXlvdXQgZmFpbCAtIHBheW91dCB0dHggaWQgaXMgbm90IHNldAMJAQAAAAEhAAAAAQUAAAAFZGF0YTQJAAACAAAAAQIAAAAmZHR4OnBheW91dCBmYWlsIC0gZGF0YSBzaXplIGlzIGludmFsaWQGCQAAAgAAAAEJAAEsAAAAAgIAAAARZHR4OnR5cGVfdW5rbm93biAFAAAABHR5cGUDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAE1RyYW5zZmVyVHJhbnNhY3Rpb24EAAAAAnR0BQAAAAckbWF0Y2gwBAAAAAxzZXJ2ZXJTaWduZWQJAAH0AAAAAwgFAAAAAnR0AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHQAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V5AwUAAAAMc2VydmVyU2lnbmVkBgQAAAANcmVjaXBpZW50QWRkcgkAAlgAAAABCAkABCQAAAABCAUAAAACdHQAAAAJcmVjaXBpZW50AAAABWJ5dGVzBAAAAAZnYW1lSWQJAQAAAAdleHRyYWN0AAAAAQkABB0AAAACCAUAAAACdHgAAAAGc2VuZGVyCQABLAAAAAICAAAABWdhbWVfBQAAAA1yZWNpcGllbnRBZGRyBAAAAAZ3aW5uZXIJAQAAAAdleHRyYWN0AAAAAQkABB0AAAACCAUAAAACdHgAAAAGc2VuZGVyCQABLAAAAAIFAAAABmdhbWVJZAIAAAAHX3dpbm5lcgQAAAAKd2lubmVyQWRkcgkAAlgAAAABCAkBAAAAFGFkZHJlc3NGcm9tUHVibGljS2V5AAAAAQkAAlkAAAABBQAAAAZ3aW5uZXIAAAAFYnl0ZXMEAAAACXdpbkFtb3VudAkBAAAAB2V4dHJhY3QAAAABCQAEGgAAAAIIBQAAAAJ0eAAAAAZzZW5kZXIJAAEsAAAAAgUAAAAGZ2FtZUlkAgAAAApfd2luQW1vdW50AwkBAAAAAiE9AAAAAgUAAAANcmVjaXBpZW50QWRkcgUAAAAKd2lubmVyQWRkcgkAAAIAAAABAgAAACJ0dHg6ZmFpbCAtIHJlY2lwaWVudCBpcyBub3Qgd2lubmVyAwkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQkABBsAAAACCAUAAAACdHgAAAAGc2VuZGVyCQACWAAAAAEIBQAAAAJ0dAAAAAJpZAkAAAIAAAABAgAAACR0dHg6ZmFpbCAtIHBheW91dCB0dHggbm90IHJlZ2lzdGVyZWQDCQEAAAAJaXNEZWZpbmVkAAAAAQgFAAAAAnR0AAAAB2Fzc2V0SWQJAAACAAAAAQIAAAAmdHR4OmZhaWwgLSBhc3NldCBpZCBpcyBzZXQgKG5vdCB3YXZlcykDCQEAAAACIT0AAAACCAUAAAACdHQAAAAGYW1vdW50BQAAAAl3aW5BbW91bnQJAAACAAAAAQIAAAAedHR4OmZhaWwgLSB3cm9uZyBwYXlvdXQgYW1vdW50BgMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAUU2V0U2NyaXB0VHJhbnNhY3Rpb24EAAAAAnN0BQAAAAckbWF0Y2gwCQAB9AAAAAMIBQAAAAJzdAAAAAlib2R5Qnl0ZXMJAAGRAAAAAggFAAAAAnN0AAAABnByb29mcwAAAAAAAAAAAAgFAAAAAnR4AAAAD3NlbmRlclB1YmxpY0tleQc0aA98", "chainId": 84, "height": 541903, "spentComplexity": 0 } View: original | compacted Prev: 5Fo1RiybA7PPhNJL7wAu898VfQsbwofTphE5Jnhsbwyg Next: 7unPpKJsW5UzWeU7XXwKLviBQHp5hq4dGdGH5aJPWFuS Diff:
OldNewDifferences
1-{-# STDLIB_VERSION 1 #-}
1+{-# STDLIB_VERSION 2 #-}
22 {-# CONTENT_TYPE EXPRESSION #-}
33 match tx {
44 case dt: DataTransaction =>
5- let type = extract(getString(dt.data, "type"))
6- let gameId = extract(getString(dt.data, "gameId"))
7- let serverSigned = sigVerify(dt.bodyBytes, dt.proofs[0], tx.senderPublicKey)
8- if ((type == "start"))
9- then {
10- let betAmount = extract(getInteger(dt.data, (gameId + "_amount")))
11- let player1 = extract(getString(dt.data, (gameId + "_player1")))
12- let player1TxId = extract(getString(dt.data, (gameId + "_tx1")))
13- let player2 = extract(getString(dt.data, (gameId + "_player2")))
14- let player2TxId = extract(getString(dt.data, (gameId + "_tx2")))
15- let dtStartDataDefined = if (if (if (isDefined(getInteger(dt.data, (gameId + "_winAmount"))))
16- then isDefined(getBinary(dt.data, (gameId + "_squadronHash")))
17- else false)
18- then isDefined(getBoolean(dt.data, ("used_tx_" + player1TxId)))
19- else false)
20- then isDefined(getBoolean(dt.data, ("used_tx_" + player2TxId)))
21- else false
22- let player1Tx = transactionById(fromBase58String(player1TxId))
23- let player2Tx = transactionById(fromBase58String(player2TxId))
24- let tr1Ok = match player1Tx {
25- case t: TransferTransaction =>
26- if (if (if (if ((t.amount == betAmount))
27- then !(isDefined(getString(tx.sender, ("used_tx_" + player1TxId))))
28- else false)
29- then !(isDefined(t.assetId))
30- else false)
31- then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player1)).bytes)))) == gameId)
32- else false)
33- then (t.recipient == tx.sender)
34- else false
35- case _ =>
36- false
37- }
38- let tr2Ok = match player2Tx {
39- case t: TransferTransaction =>
40- if (if (if (if ((t.amount == betAmount))
41- then !(isDefined(getString(tx.sender, ("used_tx_" + player2TxId))))
42- else false)
43- then !(isDefined(t.assetId))
44- else false)
45- then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player2)).bytes)))) == gameId)
46- else false)
47- then (t.recipient == tx.sender)
48- else false
49- case _ =>
50- false
51- }
52- if (!(serverSigned))
53- then throw("dtx:start fail - server did not sign tx")
54- else if (!(tr1Ok))
55- then throw("dtx:start fail - player 1 ttx is invalid")
56- else if (!(tr2Ok))
57- then throw("dtx:start fail - player 2 ttx is invalid")
58- else if (!(dtStartDataDefined))
59- then throw("dtx:start fail - start data is incomplete")
60- else true
61- }
62- else if ((type == "finish"))
63- then {
64- let winner = extract(getString(dt.data, (gameId + "_winner")))
65- let correctWinner = if ((winner == extract(getString(tx.sender, (gameId + "_player1")))))
66- then true
67- else (winner == extract(getString(tx.sender, (gameId + "_player2"))))
68- let squadron1 = extract(getBinary(dt.data, (gameId + "_squadron1")))
69- let squadron2 = extract(getBinary(dt.data, (gameId + "_squadron2")))
70- let gameSalt = extract(getBinary(dt.data, (gameId + "_salt")))
71- let correctSquadrons = (sha256(((squadron1 + squadron2) + gameSalt)) == extract(getBinary(tx.sender, (gameId + "_squadronHash"))))
72- if (!(serverSigned))
73- then throw("dtx:finish fail - server did not sign tx")
74- else if (!(correctWinner))
75- then throw("dtx:finish fail - winner is incorrect")
76- else if (!(correctSquadrons))
77- then throw("dtx:finish fail - squadrons are incorrect")
78- else true
5+ if (!(isDefined(getString(dt.data, "type"))))
6+ then throw("dtx fail - dtx type not defined")
7+ else if (!(isDefined(getString(dt.data, "gameId"))))
8+ then throw("dtx fail - game id not defined")
9+ else {
10+ let type = extract(getString(dt.data, "type"))
11+ let gameId = extract(getString(dt.data, "gameId"))
12+ let serverSigned = sigVerify(dt.bodyBytes, dt.proofs[0], tx.senderPublicKey)
13+ if ((type == "start"))
14+ then {
15+ let betAmount = extract(getInteger(dt.data, (gameId + "_amount")))
16+ let player1 = extract(getString(dt.data, (gameId + "_player1")))
17+ let player1TxId = extract(getString(dt.data, (gameId + "_tx1")))
18+ let player2 = extract(getString(dt.data, (gameId + "_player2")))
19+ let player2TxId = extract(getString(dt.data, (gameId + "_tx2")))
20+ let dtStartDataDefined = if (if (if (isDefined(getInteger(dt.data, (gameId + "_winAmount"))))
21+ then isDefined(getBinary(dt.data, (gameId + "_squadronHash")))
22+ else false)
23+ then isDefined(getBoolean(dt.data, ("used_tx_" + player1TxId)))
24+ else false)
25+ then isDefined(getBoolean(dt.data, ("used_tx_" + player2TxId)))
26+ else false
27+ let player1Tx = transactionById(fromBase58String(player1TxId))
28+ let player2Tx = transactionById(fromBase58String(player2TxId))
29+ let tr1Ok = match player1Tx {
30+ case t: TransferTransaction =>
31+ if (if (if (if ((t.amount == betAmount))
32+ then !(isDefined(getString(tx.sender, ("used_tx_" + player1TxId))))
33+ else false)
34+ then !(isDefined(t.assetId))
35+ else false)
36+ then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player1)).bytes)))) == gameId)
37+ else false)
38+ then (t.recipient == tx.sender)
39+ else false
40+ case _ =>
41+ false
42+ }
43+ let tr2Ok = match player2Tx {
44+ case t: TransferTransaction =>
45+ if (if (if (if ((t.amount == betAmount))
46+ then !(isDefined(getString(tx.sender, ("used_tx_" + player2TxId))))
47+ else false)
48+ then !(isDefined(t.assetId))
49+ else false)
50+ then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player2)).bytes)))) == gameId)
51+ else false)
52+ then (t.recipient == tx.sender)
53+ else false
54+ case _ =>
55+ false
56+ }
57+ if (!(serverSigned))
58+ then throw("dtx:start fail - server did not sign tx")
59+ else if (!(tr1Ok))
60+ then throw("dtx:start fail - player 1 ttx is invalid")
61+ else if (!(tr2Ok))
62+ then throw("dtx:start fail - player 2 ttx is invalid")
63+ else if (!(dtStartDataDefined))
64+ then throw("dtx:start fail - start data is incomplete")
65+ else true
66+ }
67+ else if ((type == "finish"))
68+ then {
69+ let winner = extract(getString(dt.data, (gameId + "_winner")))
70+ let correctWinner = if ((winner == extract(getString(tx.sender, (gameId + "_player1")))))
71+ then true
72+ else (winner == extract(getString(tx.sender, (gameId + "_player2"))))
73+ let squadron1 = extract(getBinary(dt.data, (gameId + "_squadron1")))
74+ let squadron2 = extract(getBinary(dt.data, (gameId + "_squadron2")))
75+ let gameSalt = extract(getBinary(dt.data, (gameId + "_salt")))
76+ let correctSquadrons = (sha256(((squadron1 + squadron2) + gameSalt)) == extract(getBinary(tx.sender, (gameId + "_squadronHash"))))
77+ if (!(serverSigned))
78+ then throw("dtx:finish fail - server did not sign tx")
79+ else if (!(correctWinner))
80+ then throw("dtx:finish fail - winner is incorrect")
81+ else if (!(correctSquadrons))
82+ then throw("dtx:finish fail - squadrons are incorrect")
83+ else true
84+ }
85+ else if ((type == "payout"))
86+ then if (!(isDefined(getString(tx.sender, (gameId + "_winner")))))
87+ then throw("dtx:payout fail - game winner not defined")
88+ else {
89+ let winnerPk = extract(getString(tx.sender, (gameId + "_winner")))
90+ let winnerSigned = sigVerify(dt.bodyBytes, dt.proofs[0], fromBase58String(winnerPk))
91+ let hashPkNotInState = !(isDefined(getBoolean(tx.sender, ((gameId + "_") + winnerPk))))
92+ let hashPkInData = isDefined(getBoolean(dt.data, ((gameId + "_") + winnerPk)))
93+ let ttxIdNotInState = !(isDefined(getBoolean(tx.sender, dt.data[3].key)))
94+ let data4 = (size(dt.data) == 4)
95+ if (!(winnerSigned))
96+ then throw("dtx:payout fail - winner did not sign tx")
97+ else if (!(hashPkNotInState))
98+ then throw("dtx:payout fail - payout dtx already sent")
99+ else if (!(hashPkInData))
100+ then throw("dtx:payout fail - payout (gameId, winnerPk) pair is not set")
101+ else if (!(ttxIdNotInState))
102+ then throw("dtx:payout fail - payout ttx id is not set")
103+ else if (!(data4))
104+ then throw("dtx:payout fail - data size is invalid")
105+ else true
106+ }
107+ else throw(("dtx:type_unknown " + type))
79108 }
80- else if ((type == "payout"))
81- then {
82- let winnerPk = extract(getString(tx.sender, (gameId + "_winner")))
83- let winnerSigned = sigVerify(dt.bodyBytes, dt.proofs[0], fromBase58String(winnerPk))
84- let hashPkNotInState = !(isDefined(getBoolean(tx.sender, ((gameId + "_") + winnerPk))))
85- let hashPkInData = isDefined(getBoolean(dt.data, ((gameId + "_") + winnerPk)))
86- let ttxIdNotInState = !(isDefined(getBoolean(tx.sender, dt.data[3].key)))
87- let data4 = (size(dt.data) == 4)
88- if (!(winnerSigned))
89- then throw("dtx:payout fail - winner did not sign tx")
90- else if (!(hashPkNotInState))
91- then throw("dtx:payout fail - payout dtx already sent")
92- else if (!(hashPkInData))
93- then throw("dtx:payout fail - payout (gameId, winnerPk) pair is not set")
94- else if (!(ttxIdNotInState))
95- then throw("dtx:payout fail - payout ttx id is not set")
96- else if (!(data4))
97- then throw("dtx:payout fail - data size is invalid")
98- else true
99- }
100- else throw(("dtx:type_unknown " + type))
101109 case tt: TransferTransaction =>
102110 let serverSigned = sigVerify(tt.bodyBytes, tt.proofs[0], tx.senderPublicKey)
103111 if (serverSigned)
Full:
OldNewDifferences
1-{-# STDLIB_VERSION 1 #-}
1+{-# STDLIB_VERSION 2 #-}
22 {-# CONTENT_TYPE EXPRESSION #-}
33 match tx {
44 case dt: DataTransaction =>
5- let type = extract(getString(dt.data, "type"))
6- let gameId = extract(getString(dt.data, "gameId"))
7- let serverSigned = sigVerify(dt.bodyBytes, dt.proofs[0], tx.senderPublicKey)
8- if ((type == "start"))
9- then {
10- let betAmount = extract(getInteger(dt.data, (gameId + "_amount")))
11- let player1 = extract(getString(dt.data, (gameId + "_player1")))
12- let player1TxId = extract(getString(dt.data, (gameId + "_tx1")))
13- let player2 = extract(getString(dt.data, (gameId + "_player2")))
14- let player2TxId = extract(getString(dt.data, (gameId + "_tx2")))
15- let dtStartDataDefined = if (if (if (isDefined(getInteger(dt.data, (gameId + "_winAmount"))))
16- then isDefined(getBinary(dt.data, (gameId + "_squadronHash")))
17- else false)
18- then isDefined(getBoolean(dt.data, ("used_tx_" + player1TxId)))
19- else false)
20- then isDefined(getBoolean(dt.data, ("used_tx_" + player2TxId)))
21- else false
22- let player1Tx = transactionById(fromBase58String(player1TxId))
23- let player2Tx = transactionById(fromBase58String(player2TxId))
24- let tr1Ok = match player1Tx {
25- case t: TransferTransaction =>
26- if (if (if (if ((t.amount == betAmount))
27- then !(isDefined(getString(tx.sender, ("used_tx_" + player1TxId))))
28- else false)
29- then !(isDefined(t.assetId))
30- else false)
31- then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player1)).bytes)))) == gameId)
32- else false)
33- then (t.recipient == tx.sender)
34- else false
35- case _ =>
36- false
37- }
38- let tr2Ok = match player2Tx {
39- case t: TransferTransaction =>
40- if (if (if (if ((t.amount == betAmount))
41- then !(isDefined(getString(tx.sender, ("used_tx_" + player2TxId))))
42- else false)
43- then !(isDefined(t.assetId))
44- else false)
45- then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player2)).bytes)))) == gameId)
46- else false)
47- then (t.recipient == tx.sender)
48- else false
49- case _ =>
50- false
51- }
52- if (!(serverSigned))
53- then throw("dtx:start fail - server did not sign tx")
54- else if (!(tr1Ok))
55- then throw("dtx:start fail - player 1 ttx is invalid")
56- else if (!(tr2Ok))
57- then throw("dtx:start fail - player 2 ttx is invalid")
58- else if (!(dtStartDataDefined))
59- then throw("dtx:start fail - start data is incomplete")
60- else true
61- }
62- else if ((type == "finish"))
63- then {
64- let winner = extract(getString(dt.data, (gameId + "_winner")))
65- let correctWinner = if ((winner == extract(getString(tx.sender, (gameId + "_player1")))))
66- then true
67- else (winner == extract(getString(tx.sender, (gameId + "_player2"))))
68- let squadron1 = extract(getBinary(dt.data, (gameId + "_squadron1")))
69- let squadron2 = extract(getBinary(dt.data, (gameId + "_squadron2")))
70- let gameSalt = extract(getBinary(dt.data, (gameId + "_salt")))
71- let correctSquadrons = (sha256(((squadron1 + squadron2) + gameSalt)) == extract(getBinary(tx.sender, (gameId + "_squadronHash"))))
72- if (!(serverSigned))
73- then throw("dtx:finish fail - server did not sign tx")
74- else if (!(correctWinner))
75- then throw("dtx:finish fail - winner is incorrect")
76- else if (!(correctSquadrons))
77- then throw("dtx:finish fail - squadrons are incorrect")
78- else true
5+ if (!(isDefined(getString(dt.data, "type"))))
6+ then throw("dtx fail - dtx type not defined")
7+ else if (!(isDefined(getString(dt.data, "gameId"))))
8+ then throw("dtx fail - game id not defined")
9+ else {
10+ let type = extract(getString(dt.data, "type"))
11+ let gameId = extract(getString(dt.data, "gameId"))
12+ let serverSigned = sigVerify(dt.bodyBytes, dt.proofs[0], tx.senderPublicKey)
13+ if ((type == "start"))
14+ then {
15+ let betAmount = extract(getInteger(dt.data, (gameId + "_amount")))
16+ let player1 = extract(getString(dt.data, (gameId + "_player1")))
17+ let player1TxId = extract(getString(dt.data, (gameId + "_tx1")))
18+ let player2 = extract(getString(dt.data, (gameId + "_player2")))
19+ let player2TxId = extract(getString(dt.data, (gameId + "_tx2")))
20+ let dtStartDataDefined = if (if (if (isDefined(getInteger(dt.data, (gameId + "_winAmount"))))
21+ then isDefined(getBinary(dt.data, (gameId + "_squadronHash")))
22+ else false)
23+ then isDefined(getBoolean(dt.data, ("used_tx_" + player1TxId)))
24+ else false)
25+ then isDefined(getBoolean(dt.data, ("used_tx_" + player2TxId)))
26+ else false
27+ let player1Tx = transactionById(fromBase58String(player1TxId))
28+ let player2Tx = transactionById(fromBase58String(player2TxId))
29+ let tr1Ok = match player1Tx {
30+ case t: TransferTransaction =>
31+ if (if (if (if ((t.amount == betAmount))
32+ then !(isDefined(getString(tx.sender, ("used_tx_" + player1TxId))))
33+ else false)
34+ then !(isDefined(t.assetId))
35+ else false)
36+ then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player1)).bytes)))) == gameId)
37+ else false)
38+ then (t.recipient == tx.sender)
39+ else false
40+ case _ =>
41+ false
42+ }
43+ let tr2Ok = match player2Tx {
44+ case t: TransferTransaction =>
45+ if (if (if (if ((t.amount == betAmount))
46+ then !(isDefined(getString(tx.sender, ("used_tx_" + player2TxId))))
47+ else false)
48+ then !(isDefined(t.assetId))
49+ else false)
50+ then (extract(getString(dt.data, ("game_" + toBase58String(addressFromPublicKey(fromBase58String(player2)).bytes)))) == gameId)
51+ else false)
52+ then (t.recipient == tx.sender)
53+ else false
54+ case _ =>
55+ false
56+ }
57+ if (!(serverSigned))
58+ then throw("dtx:start fail - server did not sign tx")
59+ else if (!(tr1Ok))
60+ then throw("dtx:start fail - player 1 ttx is invalid")
61+ else if (!(tr2Ok))
62+ then throw("dtx:start fail - player 2 ttx is invalid")
63+ else if (!(dtStartDataDefined))
64+ then throw("dtx:start fail - start data is incomplete")
65+ else true
66+ }
67+ else if ((type == "finish"))
68+ then {
69+ let winner = extract(getString(dt.data, (gameId + "_winner")))
70+ let correctWinner = if ((winner == extract(getString(tx.sender, (gameId + "_player1")))))
71+ then true
72+ else (winner == extract(getString(tx.sender, (gameId + "_player2"))))
73+ let squadron1 = extract(getBinary(dt.data, (gameId + "_squadron1")))
74+ let squadron2 = extract(getBinary(dt.data, (gameId + "_squadron2")))
75+ let gameSalt = extract(getBinary(dt.data, (gameId + "_salt")))
76+ let correctSquadrons = (sha256(((squadron1 + squadron2) + gameSalt)) == extract(getBinary(tx.sender, (gameId + "_squadronHash"))))
77+ if (!(serverSigned))
78+ then throw("dtx:finish fail - server did not sign tx")
79+ else if (!(correctWinner))
80+ then throw("dtx:finish fail - winner is incorrect")
81+ else if (!(correctSquadrons))
82+ then throw("dtx:finish fail - squadrons are incorrect")
83+ else true
84+ }
85+ else if ((type == "payout"))
86+ then if (!(isDefined(getString(tx.sender, (gameId + "_winner")))))
87+ then throw("dtx:payout fail - game winner not defined")
88+ else {
89+ let winnerPk = extract(getString(tx.sender, (gameId + "_winner")))
90+ let winnerSigned = sigVerify(dt.bodyBytes, dt.proofs[0], fromBase58String(winnerPk))
91+ let hashPkNotInState = !(isDefined(getBoolean(tx.sender, ((gameId + "_") + winnerPk))))
92+ let hashPkInData = isDefined(getBoolean(dt.data, ((gameId + "_") + winnerPk)))
93+ let ttxIdNotInState = !(isDefined(getBoolean(tx.sender, dt.data[3].key)))
94+ let data4 = (size(dt.data) == 4)
95+ if (!(winnerSigned))
96+ then throw("dtx:payout fail - winner did not sign tx")
97+ else if (!(hashPkNotInState))
98+ then throw("dtx:payout fail - payout dtx already sent")
99+ else if (!(hashPkInData))
100+ then throw("dtx:payout fail - payout (gameId, winnerPk) pair is not set")
101+ else if (!(ttxIdNotInState))
102+ then throw("dtx:payout fail - payout ttx id is not set")
103+ else if (!(data4))
104+ then throw("dtx:payout fail - data size is invalid")
105+ else true
106+ }
107+ else throw(("dtx:type_unknown " + type))
79108 }
80- else if ((type == "payout"))
81- then {
82- let winnerPk = extract(getString(tx.sender, (gameId + "_winner")))
83- let winnerSigned = sigVerify(dt.bodyBytes, dt.proofs[0], fromBase58String(winnerPk))
84- let hashPkNotInState = !(isDefined(getBoolean(tx.sender, ((gameId + "_") + winnerPk))))
85- let hashPkInData = isDefined(getBoolean(dt.data, ((gameId + "_") + winnerPk)))
86- let ttxIdNotInState = !(isDefined(getBoolean(tx.sender, dt.data[3].key)))
87- let data4 = (size(dt.data) == 4)
88- if (!(winnerSigned))
89- then throw("dtx:payout fail - winner did not sign tx")
90- else if (!(hashPkNotInState))
91- then throw("dtx:payout fail - payout dtx already sent")
92- else if (!(hashPkInData))
93- then throw("dtx:payout fail - payout (gameId, winnerPk) pair is not set")
94- else if (!(ttxIdNotInState))
95- then throw("dtx:payout fail - payout ttx id is not set")
96- else if (!(data4))
97- then throw("dtx:payout fail - data size is invalid")
98- else true
99- }
100- else throw(("dtx:type_unknown " + type))
101109 case tt: TransferTransaction =>
102110 let serverSigned = sigVerify(tt.bodyBytes, tt.proofs[0], tx.senderPublicKey)
103111 if (serverSigned)
104112 then true
105113 else {
106114 let recipientAddr = toBase58String(addressFromRecipient(tt.recipient).bytes)
107115 let gameId = extract(getString(tx.sender, ("game_" + recipientAddr)))
108116 let winner = extract(getString(tx.sender, (gameId + "_winner")))
109117 let winnerAddr = toBase58String(addressFromPublicKey(fromBase58String(winner)).bytes)
110118 let winAmount = extract(getInteger(tx.sender, (gameId + "_winAmount")))
111119 if ((recipientAddr != winnerAddr))
112120 then throw("ttx:fail - recipient is not winner")
113121 else if (!(isDefined(getBoolean(tx.sender, toBase58String(tt.id)))))
114122 then throw("ttx:fail - payout ttx not registered")
115123 else if (isDefined(tt.assetId))
116124 then throw("ttx:fail - asset id is set (not waves)")
117125 else if ((tt.amount != winAmount))
118126 then throw("ttx:fail - wrong payout amount")
119127 else true
120128 }
121129 case st: SetScriptTransaction =>
122130 sigVerify(st.bodyBytes, st.proofs[0], tx.senderPublicKey)
123131 case _ =>
124132 false
125133 }

github/deemru/w8io/026f985 
29.97 ms