tx · 4dJybP3EzChzNz1TkbKMshZCvpbHfZrXfvBrQtxD8SK5

3MrMgB21F3bVHQcDHLnZeCDGPof8bvjsT2N:  -0.01000000 Waves

2018.12.20 13:50 [413075] smart account 3MrMgB21F3bVHQcDHLnZeCDGPof8bvjsT2N > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "4dJybP3EzChzNz1TkbKMshZCvpbHfZrXfvBrQtxD8SK5",
    "fee": 1000000,
    "feeAssetId": null,
    "timestamp": 1545303058917,
    "version": 1,
    "sender": "3MrMgB21F3bVHQcDHLnZeCDGPof8bvjsT2N",
    "senderPublicKey": "ALJ8Lc3e4oyZ6bdEgP9Kdsh2NmMus4i99Tt9xWFg5yb9",
    "proofs": [
        "4ezYhaWistf85xJ5sB7f4jbvdHbQzNJU1MiF9QHhGx2sRsK6GBADQzrjVybrtGLC3mkC4cswvGbN41fA9Y937Tcc"
    ],
    "script": "base64:AQQAAAAQY2FzaW5vc1B1YmxpY0tleQEAAAAgHipkt9S/3AqIOKX1DANBMFpryhD+GIFz8RTy9kyu4UcEAAAAFmVuY3R5cHRlZENhc2lub3NDaG9pY2UBAAAAIN/6gRvb5jQclqTjQGHQWWN1gCaKZap9Zc1Z+FGZi/IsBAAAAANiZXQAAAAAAAX14QAEAAAACmNhc2lub3NGZWUAAAAAAAAPQkAEAAAAGW1heWJlRGF0YVBsYXllcnNQdWJsaWNLZXkJAAQdAAAAAggFAAAAAnR4AAAABnNlbmRlcgIAAAAQcGxheWVyc1B1YmxpY0tleQQAAAAUZGF0YVBsYXllcnNQdWJsaWNLZXkJAAJZAAAAAQkBAAAAB2V4dHJhY3QAAAABBQAAABltYXliZURhdGFQbGF5ZXJzUHVibGljS2V5BAAAAAxkYXRhTG9ja2VkQXQJAQAAAAdleHRyYWN0AAAAAQkABBoAAAACCAUAAAACdHgAAAAGc2VuZGVyAgAAAAhsb2NrZWRBdAQAAAAWbWF5YmVEYXRhUGxheWVyc0Nob2ljZQkABBoAAAACCAUAAAACdHgAAAAGc2VuZGVyAgAAAA1wbGF5ZXJzQ2hvaWNlBAAAABFkYXRhUGxheWVyc0Nob2ljZQkBAAAAB2V4dHJhY3QAAAABBQAAABZtYXliZURhdGFQbGF5ZXJzQ2hvaWNlBAAAABZtYXliZURhdGFDYXNpbm9zQ2hvaWNlCQAEGgAAAAIIBQAAAAJ0eAAAAAZzZW5kZXICAAAADWNhc2lub3NDaG9pY2UEAAAAEWRhdGFDYXNpbm9zQ2hvaWNlCQEAAAAHZXh0cmFjdAAAAAEFAAAAFm1heWJlRGF0YUNhc2lub3NDaG9pY2UEAAAAD3RpbWVvdXRJbkJsb2NrcwAAAAAAAAAAeAQAAAASZGF0YVRyYW5zYWN0aW9uRmVlAAAAAAAAB6EgBAAAABZ0cmFuc2ZlclRyYW5zYWN0aW9uRmVlAAAAAAAAB6EgBAAAABptYXNzVHJhbnNmZXJUcmFuc2FjdGlvbkZlZQAAAAAAAAknwAQAAAAOY2FzaW5vc0FkZHJlc3MJAQAAABRhZGRyZXNzRnJvbVB1YmxpY0tleQAAAAEFAAAAEGNhc2lub3NQdWJsaWNLZXkEAAAADnBsYXllcnNBZGRyZXNzCQEAAAAUYWRkcmVzc0Zyb21QdWJsaWNLZXkAAAABBQAAABRkYXRhUGxheWVyc1B1YmxpY0tleQQAAAAOYWNjb3VudEJhbGFuY2UJAQAAAAx3YXZlc0JhbGFuY2UAAAABCAUAAAACdHgAAAAGc2VuZGVyBAAAAA5zZW5kZXJJc0Nhc2lubwkAAfQAAAADCAUAAAACdHgAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAJ0eAAAAAZwcm9vZnMAAAAAAAAAAAAFAAAAEGNhc2lub3NQdWJsaWNLZXkEAAAADnNlbmRlcklzUGxheWVyCQAB9AAAAAMIBQAAAAJ0eAAAAAlib2R5Qnl0ZXMJAAGRAAAAAggFAAAAAnR4AAAABnByb29mcwAAAAAAAAAAAAUAAAAUZGF0YVBsYXllcnNQdWJsaWNLZXkEAAAADmlzSW5pdGlhbFN0YXRlAwkBAAAAASEAAAABCQEAAAAJaXNEZWZpbmVkAAAAAQUAAAAZbWF5YmVEYXRhUGxheWVyc1B1YmxpY0tleQkAAGcAAAACBQAAAA5hY2NvdW50QmFsYW5jZQkAAGQAAAACCQAAZAAAAAIFAAAAA2JldAkAAGgAAAACBQAAABJkYXRhVHJhbnNhY3Rpb25GZWUAAAAAAAAAAAMFAAAAGm1hc3NUcmFuc2ZlclRyYW5zYWN0aW9uRmVlBwQAAAAZZGF0YUlzVmFsaWRGb3JMb2NrZWRTdGF0ZQMJAQAAAAlpc0RlZmluZWQAAAABBQAAABltYXliZURhdGFQbGF5ZXJzUHVibGljS2V5CQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABBQAAABZtYXliZURhdGFQbGF5ZXJzQ2hvaWNlBwQAAAASbG9ja2VkU3RhdGVUaW1lb3V0CQAAZgAAAAIFAAAABmhlaWdodAkAAGQAAAACBQAAAAxkYXRhTG9ja2VkQXQFAAAAD3RpbWVvdXRJbkJsb2NrcwQAAAANaXNMb2NrZWRTdGF0ZQMFAAAAGWRhdGFJc1ZhbGlkRm9yTG9ja2VkU3RhdGUJAQAAAAEhAAAAAQUAAAASbG9ja2VkU3RhdGVUaW1lb3V0BwQAAAAbaXNVc2VyRGVjaWRlZE5vdFRvUGxheVN0YXRlAwUAAAAZZGF0YUlzVmFsaWRGb3JMb2NrZWRTdGF0ZQUAAAASbG9ja2VkU3RhdGVUaW1lb3V0BwQAAAAhZGF0YUlzVmFsaWRGb3JQbGF5ZXJSZXZlYWxlZFN0YXRlAwkBAAAACWlzRGVmaW5lZAAAAAEFAAAAFm1heWJlRGF0YVBsYXllcnNDaG9pY2UJAQAAAAEhAAAAAQkBAAAACWlzRGVmaW5lZAAAAAEFAAAAFm1heWJlRGF0YUNhc2lub3NDaG9pY2UHBAAAABpwbGF5ZXJSZXZlYWxlZFN0YXRlVGltZW91dAMJAABmAAAAAgUAAAAGaGVpZ2h0CQAAZAAAAAIFAAAADGRhdGFMb2NrZWRBdAkAAGgAAAACBQAAAA90aW1lb3V0SW5CbG9ja3MAAAAAAAAAAAIJAABnAAAAAgUAAAAOYWNjb3VudEJhbGFuY2UJAABkAAAAAgkAAGQAAAACCQAAaAAAAAIFAAAAA2JldAAAAAAAAAAAAgUAAAASZGF0YVRyYW5zYWN0aW9uRmVlBQAAABptYXNzVHJhbnNmZXJUcmFuc2FjdGlvbkZlZQcEAAAAHmlzUGxheWVyUmV2ZWFsZWRIaXNDaG9pY2VTdGF0ZQMFAAAAIWRhdGFJc1ZhbGlkRm9yUGxheWVyUmV2ZWFsZWRTdGF0ZQkBAAAAASEAAAABBQAAABpwbGF5ZXJSZXZlYWxlZFN0YXRlVGltZW91dAcEAAAAHWlzQ2FzaW5vRGVjaWRlZE5vdFRvUGxheVN0YXRlAwUAAAAhZGF0YUlzVmFsaWRGb3JQbGF5ZXJSZXZlYWxlZFN0YXRlBQAAABpwbGF5ZXJSZXZlYWxlZFN0YXRlVGltZW91dAcEAAAAJWlzRGF0YVZhbGlkRm9yV2lubmVySXNEZXRlcm1pbmVkU3RhdGUJAQAAAAlpc0RlZmluZWQAAAABBQAAABZtYXliZURhdGFDYXNpbm9zQ2hvaWNlBAAAAChpc0JhbGFuY2VWYWxpZEZvcldpbm5lcklzRGV0ZXJtaW5lZFN0YXRlCQAAZwAAAAIFAAAADmFjY291bnRCYWxhbmNlCQAAZAAAAAIJAABoAAAAAgUAAAADYmV0AAAAAAAAAAACBQAAABptYXNzVHJhbnNmZXJUcmFuc2FjdGlvbkZlZQQAAAAZaXNXaW5uZXJJc0RldGVybWluZWRTdGF0ZQMFAAAAJWlzRGF0YVZhbGlkRm9yV2lubmVySXNEZXRlcm1pbmVkU3RhdGUFAAAAKGlzQmFsYW5jZVZhbGlkRm9yV2lubmVySXNEZXRlcm1pbmVkU3RhdGUHBAAAACBpc1BsYXllckRlY2lkZWROb3RUb1NlbmRCZXRTdGF0ZQMFAAAAJWlzRGF0YVZhbGlkRm9yV2lubmVySXNEZXRlcm1pbmVkU3RhdGUJAQAAAAEhAAAAAQUAAAAoaXNCYWxhbmNlVmFsaWRGb3JXaW5uZXJJc0RldGVybWluZWRTdGF0ZQcEAAAAByRtYXRjaDAFAAAAAnR4AwkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAA9EYXRhVHJhbnNhY3Rpb24EAAAAA2R0eAUAAAAHJG1hdGNoMAQAAAALcGF5bG9hZFNpemUJAAGQAAAAAQgFAAAAA2R0eAAAAARkYXRhBAAAABBmaXJzdFBheWxvYWROYW1lCAkAAZEAAAACCAUAAAADZHR4AAAABGRhdGEAAAAAAAAAAAAAAAADa2V5BAAAABFzZWNvbmRQYXlsb2FkTmFtZQgJAAGRAAAAAggFAAAAA2R0eAAAAARkYXRhAAAAAAAAAAABAAAAA2tleQQAAAAVZmlyc3RQYXlsb2FkQXNJbnRlZ2VyCQEAAAAHZXh0cmFjdAAAAAEJAAQQAAAAAggFAAAAA2R0eAAAAARkYXRhBQAAABBmaXJzdFBheWxvYWROYW1lBAAAABVzZWNvbmRQYXlsb2FkQXNTdHJpbmcJAQAAAAdleHRyYWN0AAAAAQkABBMAAAACCAUAAAADZHR4AAAABGRhdGEFAAAAEXNlY29uZFBheWxvYWROYW1lBAAAAAdmZWVJc09rCQAAAAAAAAIIBQAAAANkdHgAAAADZmVlBQAAABJkYXRhVHJhbnNhY3Rpb25GZWUDAwUAAAAOaXNJbml0aWFsU3RhdGUGBQAAABtpc1VzZXJEZWNpZGVkTm90VG9QbGF5U3RhdGUEAAAAF3ZhbGlkTG9ja2VkQXRJc1Byb3ZpZGVkAwkAAAAAAAACBQAAABBmaXJzdFBheWxvYWROYW1lAgAAAAhsb2NrZWRBdAMJAAAAAAAAAgUAAAAVZmlyc3RQYXlsb2FkQXNJbnRlZ2VyBQAAAAZoZWlnaHQGCQAAAAAAAAIFAAAAFWZpcnN0UGF5bG9hZEFzSW50ZWdlcgkAAGUAAAACBQAAAAZoZWlnaHQAAAAAAAAAAAEHBAAAABpwbGF5ZXJzUHVibGljS2V5SXNQcm92aWRlZAkAAAAAAAACBQAAABFzZWNvbmRQYXlsb2FkTmFtZQIAAAAQcGxheWVyc1B1YmxpY0tleQQAAAAWbm9PdGhlckRhdGFXYXNQcm92aWRlZAkAAAAAAAACBQAAAAtwYXlsb2FkU2l6ZQAAAAAAAAAAAgMDAwMFAAAADnNlbmRlcklzQ2FzaW5vBQAAAAdmZWVJc09rBwUAAAAXdmFsaWRMb2NrZWRBdElzUHJvdmlkZWQHBQAAABpwbGF5ZXJzUHVibGljS2V5SXNQcm92aWRlZAcFAAAAFm5vT3RoZXJEYXRhV2FzUHJvdmlkZWQHAwUAAAANaXNMb2NrZWRTdGF0ZQQAAAAcdmFsaWRQbGF5ZXJzQ2hvaWNlSXNQcm92aWRlZAMJAAAAAAAAAgUAAAAQZmlyc3RQYXlsb2FkTmFtZQIAAAANcGxheWVyc0Nob2ljZQMJAAAAAAAAAgUAAAAVZmlyc3RQYXlsb2FkQXNJbnRlZ2VyAAAAAAAAAAAABgkAAAAAAAACBQAAABVmaXJzdFBheWxvYWRBc0ludGVnZXIAAAAAAAAAAAEHBAAAABZub090aGVyRGF0YVdhc1Byb3ZpZGVkCQAAAAAAAAIFAAAAC3BheWxvYWRTaXplAAAAAAAAAAABAwMDBQAAAA5zZW5kZXJJc1BsYXllcgUAAAAHZmVlSXNPawcFAAAAHHZhbGlkUGxheWVyc0Nob2ljZUlzUHJvdmlkZWQHBQAAABZub090aGVyRGF0YVdhc1Byb3ZpZGVkBwMFAAAAHmlzUGxheWVyUmV2ZWFsZWRIaXNDaG9pY2VTdGF0ZQQAAAAcdmFsaWRDYXNpbm9DaG9pY2VXYXNQcm92aWRlZAMJAAAAAAAAAgUAAAAQZmlyc3RQYXlsb2FkTmFtZQIAAAANY2FzaW5vc0Nob2ljZQMJAAAAAAAAAgUAAAAVZmlyc3RQYXlsb2FkQXNJbnRlZ2VyAAAAAAAAAAAABgkAAAAAAAACBQAAABVmaXJzdFBheWxvYWRBc0ludGVnZXIAAAAAAAAAAAEHBAAAABZjYXNpbm9zU2FsdFdhc1Byb3ZpZGVkCQAAAAAAAAIFAAAAEXNlY29uZFBheWxvYWROYW1lAgAAAAtjYXNpbm9zU2FsdAQAAAAiY2hvaWNlQW5kU2FsdE1hdGNoZXNIYXJkY29kZWRWYWx1ZQkAAAAAAAACCQAB9QAAAAEJAAGbAAAAAQkAASwAAAACCQABpAAAAAEFAAAAFWZpcnN0UGF5bG9hZEFzSW50ZWdlcgUAAAAVc2Vjb25kUGF5bG9hZEFzU3RyaW5nBQAAABZlbmN0eXB0ZWRDYXNpbm9zQ2hvaWNlBAAAABZub090aGVyRGF0YVdhc1Byb3ZpZGVkCQAAAAAAAAIFAAAAC3BheWxvYWRTaXplAAAAAAAAAAACAwMDAwMFAAAADnNlbmRlcklzQ2FzaW5vBQAAAAdmZWVJc09rBwUAAAAcdmFsaWRDYXNpbm9DaG9pY2VXYXNQcm92aWRlZAcFAAAAFmNhc2lub3NTYWx0V2FzUHJvdmlkZWQHBQAAACJjaG9pY2VBbmRTYWx0TWF0Y2hlc0hhcmRjb2RlZFZhbHVlBwUAAAAWbm9PdGhlckRhdGFXYXNQcm92aWRlZAcHAwkAAAEAAAACBQAAAAckbWF0Y2gwAgAAABNUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAAN0dHgFAAAAByRtYXRjaDAEAAAAB2ZlZUlzT2sJAAAAAAAAAggFAAAAA3R0eAAAAANmZWUFAAAAFnRyYW5zZmVyVHJhbnNhY3Rpb25GZWUDBQAAAB1pc0Nhc2lub0RlY2lkZWROb3RUb1BsYXlTdGF0ZQQAAAARcmVjaXBpZW50SXNQbGF5ZXIJAAAAAAAAAggFAAAAA3R0eAAAAAlyZWNpcGllbnQFAAAADnBsYXllcnNBZGRyZXNzBAAAAA9hbW91bnRJc0NvcnJlbnQJAAAAAAAAAggFAAAAA3R0eAAAAAZhbW91bnQJAABoAAAAAgUAAAADYmV0AAAAAAAAAAACAwMFAAAAB2ZlZUlzT2sFAAAAEXJlY2lwaWVudElzUGxheWVyBwUAAAAPYW1vdW50SXNDb3JyZW50BwMFAAAAIGlzUGxheWVyRGVjaWRlZE5vdFRvU2VuZEJldFN0YXRlBAAAABFyZWNpcGllbnRJc0Nhc2lubwkAAAAAAAACCAUAAAADdHR4AAAACXJlY2lwaWVudAUAAAAOY2FzaW5vc0FkZHJlc3MEAAAAD2Ftb3VudElzQ29ycmVjdAkAAAAAAAACCAUAAAADdHR4AAAABmFtb3VudAUAAAADYmV0AwMFAAAAB2ZlZUlzT2sFAAAAEXJlY2lwaWVudElzQ2FzaW5vBwUAAAAPYW1vdW50SXNDb3JyZWN0BwcDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAF01hc3NUcmFuc2ZlclRyYW5zYWN0aW9uBAAAAANtdHgFAAAAByRtYXRjaDAEAAAAB2ZlZUlzT2sJAAAAAAAAAggFAAAAA210eAAAAANmZWUFAAAAGm1hc3NUcmFuc2ZlclRyYW5zYWN0aW9uRmVlAwUAAAAZaXNXaW5uZXJJc0RldGVybWluZWRTdGF0ZQQAAAANd2lubmVyQWRkcmVzcwMJAAAAAAAAAgUAAAARZGF0YUNhc2lub3NDaG9pY2UFAAAAEWRhdGFQbGF5ZXJzQ2hvaWNlBQAAAA5wbGF5ZXJzQWRkcmVzcwUAAAAOY2FzaW5vc0FkZHJlc3MEAAAAEXByaXplR29lc1RvV2lubmVyAwkAAAAAAAACCAkAAZEAAAACCAUAAAADbXR4AAAACXRyYW5zZmVycwAAAAAAAAAAAAAAAAlyZWNpcGllbnQFAAAADXdpbm5lckFkZHJlc3MJAAAAAAAAAggJAAGRAAAAAggFAAAAA210eAAAAAl0cmFuc2ZlcnMAAAAAAAAAAAAAAAAGYW1vdW50CQAAZQAAAAIJAABoAAAAAgUAAAADYmV0AAAAAAAAAAACBQAAAApjYXNpbm9zRmVlBwQAAAAPZmVlR29lc1RvQ2FzaW5vAwkAAAAAAAACCAkAAZEAAAACCAUAAAADbXR4AAAACXRyYW5zZmVycwAAAAAAAAAAAQAAAAlyZWNpcGllbnQFAAAADmNhc2lub3NBZGRyZXNzCQAAAAAAAAIICQABkQAAAAIIBQAAAANtdHgAAAAJdHJhbnNmZXJzAAAAAAAAAAABAAAABmFtb3VudAUAAAAKY2FzaW5vc0ZlZQcEAAAAFXRoZXJlQXJlVHdvUmVjaXBpZW50cwkAAAAAAAACCAUAAAADbXR4AAAADXRyYW5zZmVyQ291bnQAAAAAAAAAAAIDAwMFAAAAB2ZlZUlzT2sFAAAAEXByaXplR29lc1RvV2lubmVyBwUAAAAPZmVlR29lc1RvQ2FzaW5vBwUAAAAVdGhlcmVBcmVUd29SZWNpcGllbnRzBwcHhg/8kw==",
    "chainId": 84,
    "height": 413075,
    "spentComplexity": 0
}

View: original | compacted
Prev: none
Next: none

Full: 
Old
New
Differences
1
-
# no script
1
+
{-# STDLIB_VERSION 1 #-}
2
+
{-# CONTENT_TYPE EXPRESSION #-}
3
+
let casinosPublicKey = base58'32kizC3bBgzqzBEXSp9A4tiJUWgcYLR8wGPMC6aA3MdG'
4
+
let enctyptedCasinosChoice = base58'G5KTuZiDXJzssRCPomtGxCfMLRk5S1vMz84mSWnqYUp3'
5
+
let bet = 100000000
6
+
let casinosFee = 1000000
7
+
let maybeDataPlayersPublicKey = getString(tx.sender, "playersPublicKey")
8
+
let dataPlayersPublicKey = fromBase58String(extract(maybeDataPlayersPublicKey))
9
+
let dataLockedAt = extract(getInteger(tx.sender, "lockedAt"))
10
+
let maybeDataPlayersChoice = getInteger(tx.sender, "playersChoice")
11
+
let dataPlayersChoice = extract(maybeDataPlayersChoice)
12
+
let maybeDataCasinosChoice = getInteger(tx.sender, "casinosChoice")
13
+
let dataCasinosChoice = extract(maybeDataCasinosChoice)
14
+
let timeoutInBlocks = 120
15
+
let dataTransactionFee = 500000
16
+
let transferTransactionFee = 500000
17
+
let massTransferTransactionFee = 600000
18
+
let casinosAddress = addressFromPublicKey(casinosPublicKey)
19
+
let playersAddress = addressFromPublicKey(dataPlayersPublicKey)
20
+
let accountBalance = wavesBalance(tx.sender)
21
+
let senderIsCasino = sigVerify(tx.bodyBytes, tx.proofs[0], casinosPublicKey)
22
+
let senderIsPlayer = sigVerify(tx.bodyBytes, tx.proofs[0], dataPlayersPublicKey)
23
+
let isInitialState = if (!(isDefined(maybeDataPlayersPublicKey)))
24
+
    then (accountBalance >= ((bet + (dataTransactionFee * 3)) + massTransferTransactionFee))
25
+
    else false
26
+
let dataIsValidForLockedState = if (isDefined(maybeDataPlayersPublicKey))
27
+
    then !(isDefined(maybeDataPlayersChoice))
28
+
    else false
29
+
let lockedStateTimeout = (height > (dataLockedAt + timeoutInBlocks))
30
+
let isLockedState = if (dataIsValidForLockedState)
31
+
    then !(lockedStateTimeout)
32
+
    else false
33
+
let isUserDecidedNotToPlayState = if (dataIsValidForLockedState)
34
+
    then lockedStateTimeout
35
+
    else false
36
+
let dataIsValidForPlayerRevealedState = if (isDefined(maybeDataPlayersChoice))
37
+
    then !(isDefined(maybeDataCasinosChoice))
38
+
    else false
39
+
let playerRevealedStateTimeout = if ((height > (dataLockedAt + (timeoutInBlocks * 2))))
40
+
    then (accountBalance >= (((bet * 2) + dataTransactionFee) + massTransferTransactionFee))
41
+
    else false
42
+
let isPlayerRevealedHisChoiceState = if (dataIsValidForPlayerRevealedState)
43
+
    then !(playerRevealedStateTimeout)
44
+
    else false
45
+
let isCasinoDecidedNotToPlayState = if (dataIsValidForPlayerRevealedState)
46
+
    then playerRevealedStateTimeout
47
+
    else false
48
+
let isDataValidForWinnerIsDeterminedState = isDefined(maybeDataCasinosChoice)
49
+
let isBalanceValidForWinnerIsDeterminedState = (accountBalance >= ((bet * 2) + massTransferTransactionFee))
50
+
let isWinnerIsDeterminedState = if (isDataValidForWinnerIsDeterminedState)
51
+
    then isBalanceValidForWinnerIsDeterminedState
52
+
    else false
53
+
let isPlayerDecidedNotToSendBetState = if (isDataValidForWinnerIsDeterminedState)
54
+
    then !(isBalanceValidForWinnerIsDeterminedState)
55
+
    else false
56
+
match tx {
57
+
    case dtx: DataTransaction => 
58
+
        let payloadSize = size(dtx.data)
59
+
        let firstPayloadName = dtx.data[0].key
60
+
        let secondPayloadName = dtx.data[1].key
61
+
        let firstPayloadAsInteger = extract(getInteger(dtx.data, firstPayloadName))
62
+
        let secondPayloadAsString = extract(getString(dtx.data, secondPayloadName))
63
+
        let feeIsOk = (dtx.fee == dataTransactionFee)
64
+
        if (if (isInitialState)
65
+
            then true
66
+
            else isUserDecidedNotToPlayState)
67
+
            then {
68
+
                let validLockedAtIsProvided = if ((firstPayloadName == "lockedAt"))
69
+
                    then if ((firstPayloadAsInteger == height))
70
+
                        then true
71
+
                        else (firstPayloadAsInteger == (height - 1))
72
+
                    else false
73
+
                let playersPublicKeyIsProvided = (secondPayloadName == "playersPublicKey")
74
+
                let noOtherDataWasProvided = (payloadSize == 2)
75
+
                if (if (if (if (senderIsCasino)
76
+
                    then feeIsOk
77
+
                    else false)
78
+
                    then validLockedAtIsProvided
79
+
                    else false)
80
+
                    then playersPublicKeyIsProvided
81
+
                    else false)
82
+
                    then noOtherDataWasProvided
83
+
                    else false
84
+
                }
85
+
            else if (isLockedState)
86
+
                then {
87
+
                    let validPlayersChoiceIsProvided = if ((firstPayloadName == "playersChoice"))
88
+
                        then if ((firstPayloadAsInteger == 0))
89
+
                            then true
90
+
                            else (firstPayloadAsInteger == 1)
91
+
                        else false
92
+
                    let noOtherDataWasProvided = (payloadSize == 1)
93
+
                    if (if (if (senderIsPlayer)
94
+
                        then feeIsOk
95
+
                        else false)
96
+
                        then validPlayersChoiceIsProvided
97
+
                        else false)
98
+
                        then noOtherDataWasProvided
99
+
                        else false
100
+
                    }
101
+
                else if (isPlayerRevealedHisChoiceState)
102
+
                    then {
103
+
                        let validCasinoChoiceWasProvided = if ((firstPayloadName == "casinosChoice"))
104
+
                            then if ((firstPayloadAsInteger == 0))
105
+
                                then true
106
+
                                else (firstPayloadAsInteger == 1)
107
+
                            else false
108
+
                        let casinosSaltWasProvided = (secondPayloadName == "casinosSalt")
109
+
                        let choiceAndSaltMatchesHardcodedValue = (keccak256(toBytes((toString(firstPayloadAsInteger) + secondPayloadAsString))) == enctyptedCasinosChoice)
110
+
                        let noOtherDataWasProvided = (payloadSize == 2)
111
+
                        if (if (if (if (if (senderIsCasino)
112
+
                            then feeIsOk
113
+
                            else false)
114
+
                            then validCasinoChoiceWasProvided
115
+
                            else false)
116
+
                            then casinosSaltWasProvided
117
+
                            else false)
118
+
                            then choiceAndSaltMatchesHardcodedValue
119
+
                            else false)
120
+
                            then noOtherDataWasProvided
121
+
                            else false
122
+
                        }
123
+
                    else false
124
+
    case ttx: TransferTransaction => 
125
+
        let feeIsOk = (ttx.fee == transferTransactionFee)
126
+
        if (isCasinoDecidedNotToPlayState)
127
+
            then {
128
+
                let recipientIsPlayer = (ttx.recipient == playersAddress)
129
+
                let amountIsCorrent = (ttx.amount == (bet * 2))
130
+
                if (if (feeIsOk)
131
+
                    then recipientIsPlayer
132
+
                    else false)
133
+
                    then amountIsCorrent
134
+
                    else false
135
+
                }
136
+
            else if (isPlayerDecidedNotToSendBetState)
137
+
                then {
138
+
                    let recipientIsCasino = (ttx.recipient == casinosAddress)
139
+
                    let amountIsCorrect = (ttx.amount == bet)
140
+
                    if (if (feeIsOk)
141
+
                        then recipientIsCasino
142
+
                        else false)
143
+
                        then amountIsCorrect
144
+
                        else false
145
+
                    }
146
+
                else false
147
+
    case mtx: MassTransferTransaction => 
148
+
        let feeIsOk = (mtx.fee == massTransferTransactionFee)
149
+
        if (isWinnerIsDeterminedState)
150
+
            then {
151
+
                let winnerAddress = if ((dataCasinosChoice == dataPlayersChoice))
152
+
                    then playersAddress
153
+
                    else casinosAddress
154
+
                let prizeGoesToWinner = if ((mtx.transfers[0].recipient == winnerAddress))
155
+
                    then (mtx.transfers[0].amount == ((bet * 2) - casinosFee))
156
+
                    else false
157
+
                let feeGoesToCasino = if ((mtx.transfers[1].recipient == casinosAddress))
158
+
                    then (mtx.transfers[1].amount == casinosFee)
159
+
                    else false
160
+
                let thereAreTwoRecipients = (mtx.transferCount == 2)
161
+
                if (if (if (feeIsOk)
162
+
                    then prizeGoesToWinner
163
+
                    else false)
164
+
                    then feeGoesToCasino
165
+
                    else false)
166
+
                    then thereAreTwoRecipients
167
+
                    else false
168
+
                }
169
+
            else false
170
+
    case _ => 
171
+
        false
172
+
}

github/deemru/w8io/026f985 
25.43 ms ◑