tx · 79UEBDqghBiBhmkUSbBN98tYqtzwWgC579ysBhdx5vvH

3N6qtbZbSPVcvJ1pk87e9ahdsZTjHN8e5mL:  -0.01000000 Waves

2021.09.16 13:59 [1705515] smart account 3N6qtbZbSPVcvJ1pk87e9ahdsZTjHN8e5mL > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "79UEBDqghBiBhmkUSbBN98tYqtzwWgC579ysBhdx5vvH",
    "fee": 1000000,
    "feeAssetId": null,
    "timestamp": 1631789962564,
    "version": 2,
    "chainId": 84,
    "sender": "3N6qtbZbSPVcvJ1pk87e9ahdsZTjHN8e5mL",
    "senderPublicKey": "EYAKsFBespqQveBrfmX29rsehBJrSwQ3B6yN4ADyw8Kx",
    "proofs": [
        "5eUAyfHkd7dxtNLewLubt1dmQSMk8kKL1vPLhAfUC48ad8ULVzNQP8Uy8eggFm1xtxqv2eALtYgaickwogETyXa"
    ],
    "script": "base64:AAIFAAAAAAAAAA0IAhIJCgcYGBERGAIBAAAACwAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmNvbW1pc3Npb24AAAAAAAAAC7gAAAAAGGNvbW1pc3Npb25TY2FsZURlbGltaXRlcgAAAAAAAA9CQAEAAAAIc2tld25lc3MAAAACAAAAAXgAAAABeQkAAGkAAAACCQAAaQAAAAIJAABkAAAAAgkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF4BQAAAAF5CQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgAAAAAAAAAAAIAAAAAAAAAJxABAAAADWludmFyaWFudENhbGMAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkJAABkAAAAAgkAAGsAAAADCQAAZAAAAAIFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HCQAAaAAAAAIAAAAAAAAAAAIJAABrAAAAAwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOCQAAbAAAAAYJAABlAAAAAgUAAAACc2sFAAAABGJldGEFAAAAB2RpZ2l0czgFAAAABWFscGhhBQAAAAthbHBoYURpZ2l0cwUAAAAHZGlnaXRzOAUAAAAERE9XTgUAAAAGc2NhbGU4AQAAAA9jaGVja1Bvc3NpYmlsdHkAAAAHAAAACXBtdEFtb3VudAAAABJtaW5BbW91bnRUb1JlY2VpdmUAAAAKZXhjaGFuZ2VycwAAAA5leGNoYW5nZXJzVHlwZQAAABFyb3V0aW5nQXNzZXRzS2V5cwAAAAVhcmdzMQAAAAVhcmdzMgQAAAANZEFwcDFUb2tlblBheQkBAAAAEUBleHRyTmF0aXZlKDEwNTApAAAAAgkBAAAAEUBleHRyTmF0aXZlKDEwNjIpAAAAAQkAAZEAAAACBQAAAApleGNoYW5nZXJzAAAAAAAAAAAACQABkQAAAAIFAAAAEXJvdXRpbmdBc3NldHNLZXlzAAAAAAAAAAAABAAAAA1kQXBwMVRva2VuR2V0CQEAAAARQGV4dHJOYXRpdmUoMTA1MCkAAAACCQEAAAARQGV4dHJOYXRpdmUoMTA2MikAAAABCQABkQAAAAIFAAAACmV4Y2hhbmdlcnMAAAAAAAAAAAAJAAGRAAAAAgUAAAARcm91dGluZ0Fzc2V0c0tleXMAAAAAAAAAAAEEAAAADWRBcHAyVG9rZW5QYXkJAQAAABFAZXh0ck5hdGl2ZSgxMDUwKQAAAAIJAQAAABFAZXh0ck5hdGl2ZSgxMDYyKQAAAAEJAAGRAAAAAgUAAAAKZXhjaGFuZ2VycwAAAAAAAAAAAQkAAZEAAAACBQAAABFyb3V0aW5nQXNzZXRzS2V5cwAAAAAAAAAAAgQAAAANZEFwcDJUb2tlbkdldAkBAAAAEUBleHRyTmF0aXZlKDEwNTApAAAAAgkBAAAAEUBleHRyTmF0aXZlKDEwNjIpAAAAAQkAAZEAAAACBQAAAApleGNoYW5nZXJzAAAAAAAAAAABCQABkQAAAAIFAAAAEXJvdXRpbmdBc3NldHNLZXlzAAAAAAAAAAADBAAAABRnZXRGcm9tMVRyYWRlV2l0aEZlZQMJAAAAAAAAAgkAAZEAAAACBQAAAA5leGNoYW5nZXJzVHlwZQAAAAAAAAAAAAIAAAAEZmxhdAQAAAAJaW52YXJpYW50CQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAADWRBcHAxVG9rZW5QYXkFAAAADWRBcHAxVG9rZW5HZXQEAAAAE21pbkFtb3VudFRvUmVjZWl2ZTEJAAGRAAAAAgUAAAAFYXJnczIAAAAAAAAAAAAEAAAADGludmFyaWFudE5ldwkAAGQAAAACCQAAZAAAAAIJAABkAAAAAgkBAAAADWludmFyaWFudENhbGMAAAACCQAAZAAAAAIFAAAADWRBcHAxVG9rZW5QYXkFAAAACXBtdEFtb3VudAkAAGUAAAACBQAAAA1kQXBwMVRva2VuR2V0BQAAABNtaW5BbW91bnRUb1JlY2VpdmUxCQEAAAANaW52YXJpYW50Q2FsYwAAAAIJAABkAAAAAgUAAAANZEFwcDFUb2tlblBheQUAAAAJcG10QW1vdW50CQAAZQAAAAIFAAAADWRBcHAxVG9rZW5HZXQFAAAAE21pbkFtb3VudFRvUmVjZWl2ZTEJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGQAAAACBQAAAA1kQXBwMVRva2VuUGF5BQAAAAlwbXRBbW91bnQJAABlAAAAAgUAAAANZEFwcDFUb2tlbkdldAUAAAATbWluQW1vdW50VG9SZWNlaXZlMQkBAAAADWludmFyaWFudENhbGMAAAACCQAAZAAAAAIFAAAADWRBcHAxVG9rZW5QYXkFAAAACXBtdEFtb3VudAkAAGUAAAACBQAAAA1kQXBwMVRva2VuR2V0BQAAABNtaW5BbW91bnRUb1JlY2VpdmUxAwkAAGcAAAACBQAAAAxpbnZhcmlhbnROZXcFAAAACWludmFyaWFudAUAAAATbWluQW1vdW50VG9SZWNlaXZlMQkAAAIAAAABAgAAACdGbGF0IGNvbnRyYWN0OiBpbnZhcmlhbnROZXcgPCBpbnZhcmlhbnQJAAACAAAAAQIAAAAXSW5jb3JyZWN0IGV4Y2hhbmdlIHR5cGUEAAAAFGdldEZyb20yVHJhZGVXaXRoRmVlAwkAAAAAAAACCQABkQAAAAIFAAAADmV4Y2hhbmdlcnNUeXBlAAAAAAAAAAABAgAAAARjcG1tBAAAABdnZXRGcm9tMlRyYWRlV2l0aG91dEZlZQkAAGsAAAADBQAAAA1kQXBwMlRva2VuR2V0BQAAABRnZXRGcm9tMVRyYWRlV2l0aEZlZQkAAGQAAAACBQAAABRnZXRGcm9tMVRyYWRlV2l0aEZlZQUAAAANZEFwcDJUb2tlblBheQkAAGsAAAADBQAAABdnZXRGcm9tMlRyYWRlV2l0aG91dEZlZQkAAGUAAAACBQAAABhjb21taXNzaW9uU2NhbGVEZWxpbWl0ZXIFAAAACmNvbW1pc3Npb24FAAAAGGNvbW1pc3Npb25TY2FsZURlbGltaXRlcgkAAAIAAAABAgAAABdJbmNvcnJlY3QgZXhjaGFuZ2UgdHlwZQkAAGcAAAACBQAAABRnZXRGcm9tMlRyYWRlV2l0aEZlZQUAAAASbWluQW1vdW50VG9SZWNlaXZlAAAAAQAAAAFpAQAAAAxyb3V0aW5nVHJhZGUAAAAHAAAACmV4Y2hhbmdlcnMAAAAOZXhjaGFuZ2Vyc1R5cGUAAAAFYXJnczEAAAAFYXJnczIAAAARcm91dGluZ0Fzc2V0c0tleXMAAAAOcmVjZWl2ZUFzc2V0SWQAAAASbWluQW1vdW50VG9SZWNlaXZlBAAAAAskdDA0NjQ1NDcxOQkABRQAAAACCAkAAZEAAAACCAUAAAABaQAAAAhwYXltZW50cwAAAAAAAAAAAAAAAAZhbW91bnQICQABkQAAAAIIBQAAAAFpAAAACHBheW1lbnRzAAAAAAAAAAAAAAAAB2Fzc2V0SWQEAAAACXBtdEFtb3VudAgFAAAACyR0MDQ2NDU0NzE5AAAAAl8xBAAAAApwbXRBc3NldElkCAUAAAALJHQwNDY0NTQ3MTkAAAACXzIDCQEAAAABIQAAAAEJAQAAAA9jaGVja1Bvc3NpYmlsdHkAAAAHBQAAAAlwbXRBbW91bnQFAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQUAAAAKZXhjaGFuZ2VycwUAAAAOZXhjaGFuZ2Vyc1R5cGUFAAAAEXJvdXRpbmdBc3NldHNLZXlzBQAAAAVhcmdzMQUAAAAFYXJnczIJAAACAAAAAQIAAAAmQ2hlY2sgdHJhbnNhY3Rpb24gcG9zc2liaWx0eTogZGVjbGluZWQEAAAAC3JvdXRpbmdTaXplCQABkAAAAAEFAAAACmV4Y2hhbmdlcnMKAQAAAAxleGNoYW5nZUZvbGQAAAACAAAAC2FjY3VtdWxhdGVkAAAACWV4Y2hhbmdlcgQAAAALJHQwNTAxODUwODEFAAAAC2FjY3VtdWxhdGVkBAAAAA9leGNoYW5nZUNvdW50ZXIIBQAAAAskdDA1MDE4NTA4MQAAAAJfMQQAAAAOYW1vdW50c1dpdGhGZWUIBQAAAAskdDA1MDE4NTA4MQAAAAJfMgQAAAAMYXNzZXRzSWRTZW5kCAUAAAALJHQwNTAxODUwODEAAAACXzMEAAAACyR0MDUwOTA1MjEzAwkAAAAAAAACBQAAAA9leGNoYW5nZUNvdW50ZXIAAAAAAAAAAAAJAAUUAAAAAgUAAAAKcG10QXNzZXRJZAUAAAAJcG10QW1vdW50CQAFFAAAAAIFAAAADGFzc2V0c0lkU2VuZAUAAAAOYW1vdW50c1dpdGhGZWUEAAAADnBtdEFzc2V0SWRSb3V0CAUAAAALJHQwNTA5MDUyMTMAAAACXzEEAAAADXBtdEFtb3VudFJvdXQIBQAAAAskdDA1MDkwNTIxMwAAAAJfMgMJAAAAAAAAAgMJAABnAAAAAgUAAAAPZXhjaGFuZ2VDb3VudGVyAAAAAAAAAAAACQAAZgAAAAIFAAAAC3JvdXRpbmdTaXplBQAAAA9leGNoYW5nZUNvdW50ZXIHBgQAAAAQZXhjaGFuZ2VyQWRkcmVzcwkBAAAAEUBleHRyTmF0aXZlKDEwNjIpAAAAAQUAAAAJZXhjaGFuZ2VyBAAAAANpbnYDCQAAAAAAAAIJAAGRAAAAAgUAAAAOZXhjaGFuZ2Vyc1R5cGUFAAAAD2V4Y2hhbmdlQ291bnRlcgIAAAAEY3BtbQkAA/wAAAAEBQAAABBleGNoYW5nZXJBZGRyZXNzAgAAAAhleGNoYW5nZQkABEwAAAACCQABkQAAAAIFAAAABWFyZ3MxBQAAAA9leGNoYW5nZUNvdW50ZXIFAAAAA25pbAkABEwAAAACCQEAAAAPQXR0YWNoZWRQYXltZW50AAAAAgUAAAAOcG10QXNzZXRJZFJvdXQFAAAADXBtdEFtb3VudFJvdXQFAAAAA25pbAMJAAAAAAAAAgkAAZEAAAACBQAAAA5leGNoYW5nZXJzVHlwZQUAAAAPZXhjaGFuZ2VDb3VudGVyAgAAAARmbGF0CQAD/AAAAAQFAAAAEGV4Y2hhbmdlckFkZHJlc3MCAAAACGV4Y2hhbmdlCQAETAAAAAIJAAGRAAAAAgUAAAAFYXJnczEFAAAAD2V4Y2hhbmdlQ291bnRlcgkABEwAAAACCQABkQAAAAIFAAAABWFyZ3MyBQAAAA9leGNoYW5nZUNvdW50ZXIFAAAAA25pbAkABEwAAAACCQEAAAAPQXR0YWNoZWRQYXltZW50AAAAAgUAAAAOcG10QXNzZXRJZFJvdXQFAAAADXBtdEFtb3VudFJvdXQFAAAAA25pbAkAAAIAAAABAgAAABdJbmNvcnJlY3QgZXhjaGFuZ2UgdHlwZQMJAAAAAAAAAgUAAAADaW52BQAAAANpbnYEAAAAByRtYXRjaDAFAAAAA2ludgMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAARKEludCwgQnl0ZVZlY3RvcikEAAAAA2ludgUAAAAHJG1hdGNoMAQAAAALJHQwNTk4MjYwMjAFAAAAA2ludgQAAAANYW1vdW50V2l0aEZlZQgFAAAACyR0MDU5ODI2MDIwAAAAAl8xBAAAAAthc3NldElkU2VuZAgFAAAACyR0MDU5ODI2MDIwAAAAAl8yCQAFFQAAAAMJAABkAAAAAgUAAAAPZXhjaGFuZ2VDb3VudGVyAAAAAAAAAAABBQAAAA1hbW91bnRXaXRoRmVlBQAAAAthc3NldElkU2VuZAkAAAIAAAABAgAAAEBJbmNvcnJlY3QgaW52b2tlIHJlc3VsdDogZXhwZWN0ZWQgYW1vdW50V2l0aEZlZSBhbmQgYXNzZXRzSWRTZW5kCQAAAgAAAAECAAAAJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgUAAAALYWNjdW11bGF0ZWQEAAAACyR0MDYyNzA2MzcxBAAAAA0kbGlzdDYzMjI2MzcxBQAAAApleGNoYW5nZXJzBAAAAA0kc2l6ZTYzMjI2MzcxCQABkAAAAAEFAAAADSRsaXN0NjMyMjYzNzEEAAAADSRhY2MwNjMyMjYzNzEJAAUVAAAAAwAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAwkAAAAAAAACBQAAAA0kc2l6ZTYzMjI2MzcxAAAAAAAAAAAABQAAAA0kYWNjMDYzMjI2MzcxBAAAAA0kYWNjMTYzMjI2MzcxCQEAAAAMZXhjaGFuZ2VGb2xkAAAAAgUAAAANJGFjYzA2MzIyNjM3MQkAAZEAAAACBQAAAA0kbGlzdDYzMjI2MzcxAAAAAAAAAAAAAwkAAAAAAAACBQAAAA0kc2l6ZTYzMjI2MzcxAAAAAAAAAAABBQAAAA0kYWNjMTYzMjI2MzcxBAAAAA0kYWNjMjYzMjI2MzcxCQEAAAAMZXhjaGFuZ2VGb2xkAAAAAgUAAAANJGFjYzE2MzIyNjM3MQkAAZEAAAACBQAAAA0kbGlzdDYzMjI2MzcxAAAAAAAAAAABAwkAAAAAAAACBQAAAA0kc2l6ZTYzMjI2MzcxAAAAAAAAAAACBQAAAA0kYWNjMjYzMjI2MzcxBAAAAA0kYWNjMzYzMjI2MzcxCQEAAAAMZXhjaGFuZ2VGb2xkAAAAAgUAAAANJGFjYzI2MzIyNjM3MQkAAZEAAAACBQAAAA0kbGlzdDYzMjI2MzcxAAAAAAAAAAACAwkAAAAAAAACBQAAAA0kc2l6ZTYzMjI2MzcxAAAAAAAAAAADBQAAAA0kYWNjMzYzMjI2MzcxBAAAAA0kYWNjNDYzMjI2MzcxCQEAAAAMZXhjaGFuZ2VGb2xkAAAAAgUAAAANJGFjYzM2MzIyNjM3MQkAAZEAAAACBQAAAA0kbGlzdDYzMjI2MzcxAAAAAAAAAAADCQAAAgAAAAECAAAAEkxpc3Qgc2l6ZSBleGNlZWQgMwQAAAAPZXhjaGFuZ2VDb3VudGVyCAUAAAALJHQwNjI3MDYzNzEAAAACXzEEAAAADmFtb3VudHNXaXRoRmVlCAUAAAALJHQwNjI3MDYzNzEAAAACXzIEAAAADGFzc2V0c0lkU2VuZAgFAAAACyR0MDYyNzA2MzcxAAAAAl8zBAAAAA9hbW91bnRUb1JlY2lldmUJAAPwAAAAAgUAAAAEdGhpcwUAAAAOcmVjZWl2ZUFzc2V0SWQDAwkAAAAAAAACBQAAAA9leGNoYW5nZUNvdW50ZXIFAAAAC3JvdXRpbmdTaXplCQAAZwAAAAIFAAAAD2Ftb3VudFRvUmVjaWV2ZQUAAAASbWluQW1vdW50VG9SZWNlaXZlBwkABEwAAAACCQEAAAAOU2NyaXB0VHJhbnNmZXIAAAADCAUAAAABaQAAAAZjYWxsZXIFAAAAD2Ftb3VudFRvUmVjaWV2ZQUAAAAOcmVjZWl2ZUFzc2V0SWQFAAAAA25pbAkAAAIAAAABAgAAAD5yb3V0aW5nICE9IHJvdXRpbmdTaXplIG9yIGFtb3VudFRvUmVjaWV2ZSA8IG1pbkFtb3VudFRvUmVjZWl2ZQAAAACnlCU2",
    "height": 1705515,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: 6Fs8rzUuoHKgpMcMxR6uxFxNXzdSQ8fr9Y28V6UgPTkc
Next: 2xmHXGqXj3Gjwu8aYgDJDWVua3bAetd3yvw97jNAJZfn

Diff: 
Old
New
Differences
31
31
 
    let dApp1TokenGet = getIntegerValue(addressFromStringValue(exchangers[0]), routingAssetsKeys[1])
32
32
 
    let dApp2TokenPay = getIntegerValue(addressFromStringValue(exchangers[1]), routingAssetsKeys[2])
33
33
 
    let dApp2TokenGet = getIntegerValue(addressFromStringValue(exchangers[1]), routingAssetsKeys[3])
34
-
    let getFrom1TradeWithFee = if ((exchangersType[0] == "cpmm"))
34
+
    let getFrom1TradeWithFee = if ((exchangersType[0] == "flat"))
35
35
 
        then {
36
-
            let getFrom1Trade = fraction(dApp1TokenGet, pmtAmount, (pmtAmount + dApp1TokenPay))
37
-
            fraction(getFrom1Trade, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
36
+
            let invariant = invariantCalc(dApp1TokenPay, dApp1TokenGet)
37
+
            let minAmountToReceive1 = args2[0]
38
+
            let invariantNew = (((invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1)) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1)))
39
+
            if ((invariantNew >= invariant))
40
+
                then minAmountToReceive1
41
+
                else throw("Flat contract: invariantNew < invariant")
38
42
 
            }
39
-
        else if ((exchangersType[0] == "flat"))
40
-
            then {
41
-
                let invariant = invariantCalc(dApp1TokenPay, dApp1TokenGet)
42
-
                let minAmountToReceive1 = args2[0]
43
-
                let invariantNew = invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))
44
-
                if ((invariantNew >= invariant))
45
-
                    then minAmountToReceive1
46
-
                    else throw("Flat contract: invariantNew < invariant")
47
-
                }
48
-
            else throw("Incorrect exchange type")
43
+
        else throw("Incorrect exchange type")
49
44
 
    let getFrom2TradeWithFee = if ((exchangersType[1] == "cpmm"))
50
45
 
        then {
51
-
            let getFrom2Trade = fraction(dApp2TokenGet, getFrom1TradeWithFee, (getFrom1TradeWithFee + dApp2TokenPay))
52
-
            fraction(getFrom2Trade, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
46
+
            let getFrom2TradeWithoutFee = fraction(dApp2TokenGet, getFrom1TradeWithFee, (getFrom1TradeWithFee + dApp2TokenPay))
47
+
            fraction(getFrom2TradeWithoutFee, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
53
48
 
            }
54
-
        else if ((exchangersType[1] == "flat"))
55
-
            then {
56
-
                let invariant = invariantCalc(dApp2TokenPay, dApp2TokenGet)
57
-
                let minAmountToReceive2 = args2[1]
58
-
                let invariantNew = invariantCalc((dApp2TokenPay + getFrom1TradeWithFee), (dApp2TokenGet - minAmountToReceive2))
59
-
                if ((invariantNew >= invariant))
60
-
                    then minAmountToReceive2
61
-
                    else throw("Flat contract: invariantNew < invariant")
62
-
                }
63
-
            else throw("Incorrect exchange type")
64
-
    if ((getFrom2TradeWithFee >= minAmountToReceive))
65
-
        then true
66
-
        else false
49
+
        else throw("Incorrect exchange type")
50
+
    (getFrom2TradeWithFee >= minAmountToReceive)
67
51
 
    }
68
52
 
69
53
 
70
54
 
@Callable(i)
71
55
 
func routingTrade (exchangers,exchangersType,args1,args2,routingAssetsKeys,receiveAssetId,minAmountToReceive) = {
72
-
    let $t041774251 = $Tuple2(i.payments[0].amount, i.payments[0].assetId)
73
-
    let pmtAmount = $t041774251._1
74
-
    let pmtAssetId = $t041774251._2
56
+
    let $t046454719 = $Tuple2(i.payments[0].amount, i.payments[0].assetId)
57
+
    let pmtAmount = $t046454719._1
58
+
    let pmtAssetId = $t046454719._2
75
59
 
    if (!(checkPossibilty(pmtAmount, minAmountToReceive, exchangers, exchangersType, routingAssetsKeys, args1, args2)))
76
60
 
        then throw("Check transaction possibilty: declined")
77
61
 
        else {
78
62
 
            let routingSize = size(exchangers)
79
63
 
            func exchangeFold (accumulated,exchanger) =             {
80
-
                let $t045504613 = accumulated
81
-
                let exchangeCounter = $t045504613._1
82
-
                let amountsWithFee = $t045504613._2
83
-
                let assetsIdSend = $t045504613._3
84
-
                let $t046224745 = if ((exchangeCounter == 0))
64
+
                let $t050185081 = accumulated
65
+
                let exchangeCounter = $t050185081._1
66
+
                let amountsWithFee = $t050185081._2
67
+
                let assetsIdSend = $t050185081._3
68
+
                let $t050905213 = if ((exchangeCounter == 0))
85
69
 
                    then $Tuple2(pmtAssetId, pmtAmount)
86
70
 
                    else $Tuple2(assetsIdSend, amountsWithFee)
87
-
                let pmtAssetIdRout = $t046224745._1
88
-
                let pmtAmountRout = $t046224745._2
71
+
                let pmtAssetIdRout = $t050905213._1
72
+
                let pmtAmountRout = $t050905213._2
89
73
 
                if (((if ((exchangeCounter >= 0))
90
74
 
                    then (routingSize > exchangeCounter)
91
75
 
                    else false) == true))
99
83
 
                        if ((inv == inv))
100
84
 
                            then                             match inv {
101
85
 
                                case inv: (Int, ByteVector) => 
102
-
                                    let $t055145552 = inv
103
-
                                    let amountWithFee = $t055145552._1
104
-
                                    let assetIdSend = $t055145552._2
86
+
                                    let $t059826020 = inv
87
+
                                    let amountWithFee = $t059826020._1
88
+
                                    let assetIdSend = $t059826020._2
105
89
 
                                    $Tuple3((exchangeCounter + 1), amountWithFee, assetIdSend)
106
90
 
                                case _ => 
107
91
 
                                    throw("Incorrect invoke result: expected amountWithFee and assetsIdSend")
111
95
 
                    else accumulated
112
96
 
                }
113
97
 
114
-
            let $t058025903 = {
115
-
                let $list58545903 = exchangers
116
-
                let $size58545903 = size($list58545903)
117
-
                let $acc058545903 = $Tuple3(0, 0, base58'')
118
-
                if (($size58545903 == 0))
119
-
                    then $acc058545903
98
+
            let $t062706371 = {
99
+
                let $list63226371 = exchangers
100
+
                let $size63226371 = size($list63226371)
101
+
                let $acc063226371 = $Tuple3(0, 0, base58'')
102
+
                if (($size63226371 == 0))
103
+
                    then $acc063226371
120
104
 
                    else {
121
-
                        let $acc158545903 = exchangeFold($acc058545903, $list58545903[0])
122
-
                        if (($size58545903 == 1))
123
-
                            then $acc158545903
105
+
                        let $acc163226371 = exchangeFold($acc063226371, $list63226371[0])
106
+
                        if (($size63226371 == 1))
107
+
                            then $acc163226371
124
108
 
                            else {
125
-
                                let $acc258545903 = exchangeFold($acc158545903, $list58545903[1])
126
-
                                if (($size58545903 == 2))
127
-
                                    then $acc258545903
109
+
                                let $acc263226371 = exchangeFold($acc163226371, $list63226371[1])
110
+
                                if (($size63226371 == 2))
111
+
                                    then $acc263226371
128
112
 
                                    else {
129
-
                                        let $acc358545903 = exchangeFold($acc258545903, $list58545903[2])
130
-
                                        if (($size58545903 == 3))
131
-
                                            then $acc358545903
113
+
                                        let $acc363226371 = exchangeFold($acc263226371, $list63226371[2])
114
+
                                        if (($size63226371 == 3))
115
+
                                            then $acc363226371
132
116
 
                                            else {
133
-
                                                let $acc458545903 = exchangeFold($acc358545903, $list58545903[3])
117
+
                                                let $acc463226371 = exchangeFold($acc363226371, $list63226371[3])
134
118
 
                                                throw("List size exceed 3")
135
119
 
                                                }
136
120
 
                                        }
137
121
 
                                }
138
122
 
                        }
139
123
 
                }
140
-
            let exchangeCounter = $t058025903._1
141
-
            let amountsWithFee = $t058025903._2
142
-
            let assetsIdSend = $t058025903._3
124
+
            let exchangeCounter = $t062706371._1
125
+
            let amountsWithFee = $t062706371._2
126
+
            let assetsIdSend = $t062706371._3
143
127
 
            let amountToRecieve = assetBalance(this, receiveAssetId)
144
128
 
            if (if ((exchangeCounter == routingSize))
145
129
 
                then (amountToRecieve >= minAmountToReceive)
Full: 
Old
New
Differences
1
1
 
{-# STDLIB_VERSION 5 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
4
 
let digits8 = 8
5
5
 
6
6
 
let scale8 = 100000000
7
7
 
8
8
 
let scale12 = 1000000000000
9
9
 
10
10
 
let alpha = 50
11
11
 
12
12
 
let alphaDigits = 2
13
13
 
14
14
 
let beta = 46000000
15
15
 
16
16
 
let commission = 3000
17
17
 
18
18
 
let commissionScaleDelimiter = 1000000
19
19
 
20
20
 
func skewness (x,y) = (((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2) / 10000)
21
21
 
22
22
 
23
23
 
func invariantCalc (x,y) = {
24
24
 
    let sk = skewness(x, y)
25
25
 
    (fraction((x + y), scale8, pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)) + (2 * fraction(pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN), pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN), scale8)))
26
26
 
    }
27
27
 
28
28
 
29
29
 
func checkPossibilty (pmtAmount,minAmountToReceive,exchangers,exchangersType,routingAssetsKeys,args1,args2) = {
30
30
 
    let dApp1TokenPay = getIntegerValue(addressFromStringValue(exchangers[0]), routingAssetsKeys[0])
31
31
 
    let dApp1TokenGet = getIntegerValue(addressFromStringValue(exchangers[0]), routingAssetsKeys[1])
32
32
 
    let dApp2TokenPay = getIntegerValue(addressFromStringValue(exchangers[1]), routingAssetsKeys[2])
33
33
 
    let dApp2TokenGet = getIntegerValue(addressFromStringValue(exchangers[1]), routingAssetsKeys[3])
34
-
    let getFrom1TradeWithFee = if ((exchangersType[0] == "cpmm"))
34
+
    let getFrom1TradeWithFee = if ((exchangersType[0] == "flat"))
35
35
 
        then {
36
-
            let getFrom1Trade = fraction(dApp1TokenGet, pmtAmount, (pmtAmount + dApp1TokenPay))
37
-
            fraction(getFrom1Trade, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
36
+
            let invariant = invariantCalc(dApp1TokenPay, dApp1TokenGet)
37
+
            let minAmountToReceive1 = args2[0]
38
+
            let invariantNew = (((invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1)) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))) + invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1)))
39
+
            if ((invariantNew >= invariant))
40
+
                then minAmountToReceive1
41
+
                else throw("Flat contract: invariantNew < invariant")
38
42
 
            }
39
-
        else if ((exchangersType[0] == "flat"))
40
-
            then {
41
-
                let invariant = invariantCalc(dApp1TokenPay, dApp1TokenGet)
42
-
                let minAmountToReceive1 = args2[0]
43
-
                let invariantNew = invariantCalc((dApp1TokenPay + pmtAmount), (dApp1TokenGet - minAmountToReceive1))
44
-
                if ((invariantNew >= invariant))
45
-
                    then minAmountToReceive1
46
-
                    else throw("Flat contract: invariantNew < invariant")
47
-
                }
48
-
            else throw("Incorrect exchange type")
43
+
        else throw("Incorrect exchange type")
49
44
 
    let getFrom2TradeWithFee = if ((exchangersType[1] == "cpmm"))
50
45
 
        then {
51
-
            let getFrom2Trade = fraction(dApp2TokenGet, getFrom1TradeWithFee, (getFrom1TradeWithFee + dApp2TokenPay))
52
-
            fraction(getFrom2Trade, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
46
+
            let getFrom2TradeWithoutFee = fraction(dApp2TokenGet, getFrom1TradeWithFee, (getFrom1TradeWithFee + dApp2TokenPay))
47
+
            fraction(getFrom2TradeWithoutFee, (commissionScaleDelimiter - commission), commissionScaleDelimiter)
53
48
 
            }
54
-
        else if ((exchangersType[1] == "flat"))
55
-
            then {
56
-
                let invariant = invariantCalc(dApp2TokenPay, dApp2TokenGet)
57
-
                let minAmountToReceive2 = args2[1]
58
-
                let invariantNew = invariantCalc((dApp2TokenPay + getFrom1TradeWithFee), (dApp2TokenGet - minAmountToReceive2))
59
-
                if ((invariantNew >= invariant))
60
-
                    then minAmountToReceive2
61
-
                    else throw("Flat contract: invariantNew < invariant")
62
-
                }
63
-
            else throw("Incorrect exchange type")
64
-
    if ((getFrom2TradeWithFee >= minAmountToReceive))
65
-
        then true
66
-
        else false
49
+
        else throw("Incorrect exchange type")
50
+
    (getFrom2TradeWithFee >= minAmountToReceive)
67
51
 
    }
68
52
 
69
53
 
70
54
 
@Callable(i)
71
55
 
func routingTrade (exchangers,exchangersType,args1,args2,routingAssetsKeys,receiveAssetId,minAmountToReceive) = {
72
-
    let $t041774251 = $Tuple2(i.payments[0].amount, i.payments[0].assetId)
73
-
    let pmtAmount = $t041774251._1
74
-
    let pmtAssetId = $t041774251._2
56
+
    let $t046454719 = $Tuple2(i.payments[0].amount, i.payments[0].assetId)
57
+
    let pmtAmount = $t046454719._1
58
+
    let pmtAssetId = $t046454719._2
75
59
 
    if (!(checkPossibilty(pmtAmount, minAmountToReceive, exchangers, exchangersType, routingAssetsKeys, args1, args2)))
76
60
 
        then throw("Check transaction possibilty: declined")
77
61
 
        else {
78
62
 
            let routingSize = size(exchangers)
79
63
 
            func exchangeFold (accumulated,exchanger) =             {
80
-
                let $t045504613 = accumulated
81
-
                let exchangeCounter = $t045504613._1
82
-
                let amountsWithFee = $t045504613._2
83
-
                let assetsIdSend = $t045504613._3
84
-
                let $t046224745 = if ((exchangeCounter == 0))
64
+
                let $t050185081 = accumulated
65
+
                let exchangeCounter = $t050185081._1
66
+
                let amountsWithFee = $t050185081._2
67
+
                let assetsIdSend = $t050185081._3
68
+
                let $t050905213 = if ((exchangeCounter == 0))
85
69
 
                    then $Tuple2(pmtAssetId, pmtAmount)
86
70
 
                    else $Tuple2(assetsIdSend, amountsWithFee)
87
-
                let pmtAssetIdRout = $t046224745._1
88
-
                let pmtAmountRout = $t046224745._2
71
+
                let pmtAssetIdRout = $t050905213._1
72
+
                let pmtAmountRout = $t050905213._2
89
73
 
                if (((if ((exchangeCounter >= 0))
90
74
 
                    then (routingSize > exchangeCounter)
91
75
 
                    else false) == true))
92
76
 
                    then {
93
77
 
                        let exchangerAddress = addressFromStringValue(exchanger)
94
78
 
                        let inv = if ((exchangersType[exchangeCounter] == "cpmm"))
95
79
 
                            then invoke(exchangerAddress, "exchange", [args1[exchangeCounter]], [AttachedPayment(pmtAssetIdRout, pmtAmountRout)])
96
80
 
                            else if ((exchangersType[exchangeCounter] == "flat"))
97
81
 
                                then invoke(exchangerAddress, "exchange", [args1[exchangeCounter], args2[exchangeCounter]], [AttachedPayment(pmtAssetIdRout, pmtAmountRout)])
98
82
 
                                else throw("Incorrect exchange type")
99
83
 
                        if ((inv == inv))
100
84
 
                            then                             match inv {
101
85
 
                                case inv: (Int, ByteVector) => 
102
-
                                    let $t055145552 = inv
103
-
                                    let amountWithFee = $t055145552._1
104
-
                                    let assetIdSend = $t055145552._2
86
+
                                    let $t059826020 = inv
87
+
                                    let amountWithFee = $t059826020._1
88
+
                                    let assetIdSend = $t059826020._2
105
89
 
                                    $Tuple3((exchangeCounter + 1), amountWithFee, assetIdSend)
106
90
 
                                case _ => 
107
91
 
                                    throw("Incorrect invoke result: expected amountWithFee and assetsIdSend")
108
92
 
                            }
109
93
 
                            else throw("Strict value is not equal to itself.")
110
94
 
                        }
111
95
 
                    else accumulated
112
96
 
                }
113
97
 
114
-
            let $t058025903 = {
115
-
                let $list58545903 = exchangers
116
-
                let $size58545903 = size($list58545903)
117
-
                let $acc058545903 = $Tuple3(0, 0, base58'')
118
-
                if (($size58545903 == 0))
119
-
                    then $acc058545903
98
+
            let $t062706371 = {
99
+
                let $list63226371 = exchangers
100
+
                let $size63226371 = size($list63226371)
101
+
                let $acc063226371 = $Tuple3(0, 0, base58'')
102
+
                if (($size63226371 == 0))
103
+
                    then $acc063226371
120
104
 
                    else {
121
-
                        let $acc158545903 = exchangeFold($acc058545903, $list58545903[0])
122
-
                        if (($size58545903 == 1))
123
-
                            then $acc158545903
105
+
                        let $acc163226371 = exchangeFold($acc063226371, $list63226371[0])
106
+
                        if (($size63226371 == 1))
107
+
                            then $acc163226371
124
108
 
                            else {
125
-
                                let $acc258545903 = exchangeFold($acc158545903, $list58545903[1])
126
-
                                if (($size58545903 == 2))
127
-
                                    then $acc258545903
109
+
                                let $acc263226371 = exchangeFold($acc163226371, $list63226371[1])
110
+
                                if (($size63226371 == 2))
111
+
                                    then $acc263226371
128
112
 
                                    else {
129
-
                                        let $acc358545903 = exchangeFold($acc258545903, $list58545903[2])
130
-
                                        if (($size58545903 == 3))
131
-
                                            then $acc358545903
113
+
                                        let $acc363226371 = exchangeFold($acc263226371, $list63226371[2])
114
+
                                        if (($size63226371 == 3))
115
+
                                            then $acc363226371
132
116
 
                                            else {
133
-
                                                let $acc458545903 = exchangeFold($acc358545903, $list58545903[3])
117
+
                                                let $acc463226371 = exchangeFold($acc363226371, $list63226371[3])
134
118
 
                                                throw("List size exceed 3")
135
119
 
                                                }
136
120
 
                                        }
137
121
 
                                }
138
122
 
                        }
139
123
 
                }
140
-
            let exchangeCounter = $t058025903._1
141
-
            let amountsWithFee = $t058025903._2
142
-
            let assetsIdSend = $t058025903._3
124
+
            let exchangeCounter = $t062706371._1
125
+
            let amountsWithFee = $t062706371._2
126
+
            let assetsIdSend = $t062706371._3
143
127
 
            let amountToRecieve = assetBalance(this, receiveAssetId)
144
128
 
            if (if ((exchangeCounter == routingSize))
145
129
 
                then (amountToRecieve >= minAmountToReceive)
146
130
 
                else false)
147
131
 
                then [ScriptTransfer(i.caller, amountToRecieve, receiveAssetId)]
148
132
 
                else throw("routing != routingSize or amountToRecieve < minAmountToReceive")
149
133
 
            }
150
134
 
    }
151
135
 
152
136
 

github/deemru/w8io/026f985 
45.12 ms ◑