tx · 5W4aQ1Dw6o7QbPSJpVMvqVH9PaRHuVNhdPjU7X8rBFxc

3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP:  -0.05000000 Waves

2022.02.25 14:55 [1939125] smart account 3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "5W4aQ1Dw6o7QbPSJpVMvqVH9PaRHuVNhdPjU7X8rBFxc",
    "fee": 5000000,
    "feeAssetId": null,
    "timestamp": 1645790180934,
    "version": 2,
    "chainId": 84,
    "sender": "3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP",
    "senderPublicKey": "89LFt4Pg8y6n1ZYsj4eeagWgkpVvSAyszsXGyo6ZfnVM",
    "proofs": [
        "5S3LiZRQZFg31Mz9VAkAhcLAdbQpwkT6SUNh9CHDPbmCLmKePiCrpTMemGxbhSZ1gS1oajyztWPfrXaWDmKwJRJ1"
    ],
    "script": "base64:AAIFAAAAAAAAAAwIAhIICgYBAQEIAQEAAAAYAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAAdzY2FsZTE2AAAjhvJvwQAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAABBXrPX3gAABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGQAAAACCQAAawAAAAMFAAAAB3NjYWxlMTYFAAAAAXgFAAAAAXkJAABrAAAAAwUAAAAHc2NhbGUxNgUAAAABeQUAAAABeAAAAAAAAAAAAgEAAAANaW52YXJpYW50Q2FsYwAAAAIAAAABeAAAAAF5BAAAAAJzawkBAAAACHNrZXduZXNzAAAAAgUAAAABeAUAAAABeQkAAGQAAAACCQAAawAAAAMJAABkAAAAAgUAAAABeAUAAAABeQUAAAAHc2NhbGUxNgkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HCQAAaAAAAAIAAAAAAAAAAAIJAABrAAAAAwkAAaAAAAABCQAAdgAAAAYJAAE8AAAAAwkAATYAAAABBQAAAAF4CQABNgAAAAEFAAAAAXkJAAE2AAAAAQUAAAAGc2NhbGU4AAAAAAAAAAAACQABNgAAAAEAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04FAAAABnNjYWxlOAEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAAAABJ0b2tlblJlY2VpdmVBbW91bnQAAAAHdG9rZW5JZAQAAAAdd29yc3RBbGxvd2VkTmV3SW52YXJpYW50UmF0aW8JAABlAAAAAgUAAAAGc2NhbGU4CQAAaQAAAAIJAABoAAAAAgUAAAAGc2NhbGU4AAAAAAAAAAABAAAAAAAAmJaABAAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQEAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIEAAAAAXgJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAAEnRva2VuUmVjZWl2ZUFtb3VudAQAAAABeQkAAGQAAAACBQAAAAhiYWxhbmNlQgUAAAASdG9rZW5SZWNlaXZlQW1vdW50CgEAAAANZ2V0U3RlcEFtb3VudAAAAAIAAAADYWNjAAAABHN0ZXADCQAAAAAAAAIIBQAAAANhY2MAAAACXzEA//////////8EAAAADGFtb3VudFRvU2VuZAkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQJAABpAAAAAgkAAGkAAAACCQAAaAAAAAIFAAAABHN0ZXAFAAAAHmRlbHRhQmV0d2Vlbk1heEFuZE1pblNlbmRWYWx1ZQAAAAAAAAAAAwUAAAAGc2NhbGUzBAAAAA1zdGVwSW52YXJpYW50AwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQQkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAF4CQAAZQAAAAIFAAAACGJhbGFuY2VCBQAAAAxhbW91bnRUb1NlbmQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAMYW1vdW50VG9TZW5kBQAAAAF5AwkAAGYAAAACBQAAAA1zdGVwSW52YXJpYW50BQAAAAlpbnZhcmlhbnQJAAUUAAAAAgUAAAAMYW1vdW50VG9TZW5kBQAAAA1zdGVwSW52YXJpYW50CQAFFAAAAAIA//////////8AAAAAAAAAAAAFAAAAA2FjYwQAAAAPYW1vdW50VG9TZW5kTWluCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIJAAUUAAAAAgD//////////wAAAAAAAAAAAAAAAAAAAAAAAwMJAABmAAAAAgAAAAAAAAAAAAgFAAAAD2Ftb3VudFRvU2VuZE1pbgAAAAJfMQkAAAIAAAABAgAAAAUhISEhIQQAAAAMaW52RXN0aW1hdGVkAwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQQkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAF4CQAAZQAAAAIFAAAACGJhbGFuY2VCBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRCCQEAAAANaW52YXJpYW50Q2FsYwAAAAIJAABlAAAAAgUAAAAIYmFsYW5jZUEFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAUAAAABeQkAAAIAAAABAgAAABZXcm9uZyBhc3NldCBpbiBwYXltZW50BAAAABBhbW91bnRUb1NlbmRCZXN0AwkAAGYAAAACBQAAAAlpbnZhcmlhbnQFAAAADGludkVzdGltYXRlZAMJAABnAAAAAgUAAAAdd29yc3RBbGxvd2VkTmV3SW52YXJpYW50UmF0aW8JAABrAAAAAwUAAAAGc2NhbGU4BQAAAAlpbnZhcmlhbnQFAAAADGludkVzdGltYXRlZAkAAAIAAAABAgAAABdCYWQgZXN0aW1hdGlvbiBwcm92aWRlZAQAAAABYQoAAAAAAiRsCQAETAAAAAIAAAAAAAAAABkJAARMAAAAAgAAAAAAAAAAyAkABEwAAAACAAAAAAAAAAH0BQAAAANuaWwKAAAAAAIkcwkAAZAAAAABBQAAAAIkbAoAAAAABSRhY2MwCQAFFAAAAAIA//////////8AAAAAAAAAAAAKAQAAAAUkZjBfMQAAAAIAAAACJGEAAAACJGkDCQAAZwAAAAIFAAAAAiRpBQAAAAIkcwUAAAACJGEJAQAAAA1nZXRTdGVwQW1vdW50AAAAAgUAAAACJGEJAAGRAAAAAgUAAAACJGwFAAAAAiRpCgEAAAAFJGYwXzIAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQAAAgAAAAECAAAAE0xpc3Qgc2l6ZSBleGNlZWRzIDMJAQAAAAUkZjBfMgAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIFAAAABSRhY2MwAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAACAAAAAAAAAAADAwkAAGYAAAACAAAAAAAAAAAACAUAAAABYQAAAAJfMQgFAAAAD2Ftb3VudFRvU2VuZE1pbgAAAAJfMQgFAAAAAWEAAAACXzEEAAAAAWEKAAAAAAIkbAkABEwAAAACAP////////4MCQAETAAAAAIA/////////zgJAARMAAAAAgD/////////5wUAAAADbmlsCgAAAAACJHMJAAGQAAAAAQUAAAACJGwKAAAAAAUkYWNjMAkABRQAAAACAP//////////AAAAAAAAAAAACgEAAAAFJGYwXzEAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIFAAAAAiRhCQABkQAAAAIFAAAAAiRsBQAAAAIkaQoBAAAABSRmMF8yAAAAAgAAAAIkYQAAAAIkaQMJAABnAAAAAgUAAAACJGkFAAAAAiRzBQAAAAIkYQkAAAIAAAABAgAAABNMaXN0IHNpemUgZXhjZWVkcyAzCQEAAAAFJGYwXzIAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACBQAAAAUkYWNjMAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAgAAAAAAAAAAAwQAAAAPdHVwbGVTZW5kQmV0dGVyAwkAAGYAAAACAAAAAAAAAAAACAUAAAABYQAAAAJfMQkABRQAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAADGludkVzdGltYXRlZAUAAAABYQMJAABnAAAAAgUAAAAdd29yc3RBbGxvd2VkTmV3SW52YXJpYW50UmF0aW8JAABrAAAAAwUAAAAGc2NhbGU4BQAAAAlpbnZhcmlhbnQIBQAAAA90dXBsZVNlbmRCZXR0ZXIAAAACXzIJAAACAAAAAQIAAAAXQmFkIGVzdGltYXRpb24gcHJvdmlkZWQIBQAAAA90dXBsZVNlbmRCZXR0ZXIAAAACXzEFAAAAEGFtb3VudFRvU2VuZEJlc3QAAAABAAAAAWkBAAAACGV4Y2hhbmdlAAAABgAAAAhiYWxhbmNlQQAAAAhiYWxhbmNlQgAAAAlwbXRBbW91bnQAAAAKcG10QXNzZXRJZAAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUAAAASbWluQW1vdW50VG9SZWNlaXZlBAAAAAZhbW91bnQJAQAAABNjYWxjdWxhdGVTZW5kQW1vdW50AAAABgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBQAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUFAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQUAAAAJcG10QW1vdW50BQAAAApwbXRBc3NldElkBAAAABBnb3Zlcm5hbmNlUmV3YXJkCQAAawAAAAMFAAAABmFtb3VudAUAAAANZmVlR292ZXJuYW5jZQUAAAAJZmVlU2NhbGU2BAAAAA5hbW91bnRNaW51c0ZlZQkAAGsAAAADBQAAAAZhbW91bnQJAABlAAAAAgUAAAAJZmVlU2NhbGU2BQAAAANmZWUFAAAACWZlZVNjYWxlNgkABE4AAAACCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAApzZW5kQW1vdW50BQAAAAZhbW91bnQJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAAF3NlbmRBbW91bnRXaXRoQ29taXNzaW9uBQAAAA5hbW91bnRNaW51c0ZlZQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50CQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAACGJhbGFuY2VBBQAAAAhiYWxhbmNlQgUAAAADbmlsAwkAAAAAAAACBQAAAApwbXRBc3NldElkBQAAAAtzdHJBc3NldElkQQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAMaW52YXJpYW50TmV3CQEAAAANaW52YXJpYW50Q2FsYwAAAAIJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAACXBtdEFtb3VudAkAAGUAAAACBQAAAAhiYWxhbmNlQgUAAAAGYW1vdW50BQAAAANuaWwJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAADGludmFyaWFudE5ldwkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAAAZhbW91bnQJAABkAAAAAgUAAAAIYmFsYW5jZUIFAAAACXBtdEFtb3VudAUAAAADbmlsAAAAAQAAAAJ0eAEAAAAGdmVyaWZ5AAAAAAkAAfQAAAADCAUAAAACdHgAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAJ0eAAAAAZwcm9vZnMAAAAAAAAAAAAIBQAAAAJ0eAAAAA9zZW5kZXJQdWJsaWNLZXmdG7yN",
    "height": 1939125,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: AAKjujiZapLJhWuAQVFy4YKVqx2V2iVJNPuy1eVQXT7X
Next: 6yDwQ8dhFLEAksg1ttBx8CWhBdY7Yd3EYDAktJjkE4Ko

Diff: 
Old
New
Differences
62
62
 
    let invariant = invariantCalc(balanceA, balanceB)
63
63
 
    let x = (balanceA + tokenReceiveAmount)
64
64
 
    let y = (balanceB + tokenReceiveAmount)
65
-
    func getStepAmount (acc,step) =     if ((acc == -1))
65
+
    func getStepAmount (acc,step) =     if ((acc._1 == -1))
66
66
 
        then {
67
67
 
            let amountToSend = (amountToSendEstimated - (((step * deltaBetweenMaxAndMinSendValue) / 3) / scale3))
68
68
 
            let stepInvariant = if ((tokenId == strAssetIdA))
69
69
 
                then invariantCalc(x, (balanceB - amountToSend))
70
70
 
                else invariantCalc((balanceA - amountToSend), y)
71
71
 
            if ((stepInvariant > invariant))
72
-
                then amountToSend
73
-
                else -1
72
+
                then $Tuple2(amountToSend, stepInvariant)
73
+
                else $Tuple2(-1, 0)
74
74
 
            }
75
75
 
        else acc
76
76
 
77
-
    let amountToSendMin = getStepAmount(-1, 3)
78
-
    if ((0 > amountToSendMin))
77
+
    let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
78
+
    if ((0 > amountToSendMin._1))
79
79
 
        then throw("!!!!!")
80
80
 
        else {
81
81
 
            let invEstimated = if ((tokenId == strAssetIdA))
83
83
 
                else if ((tokenId == strAssetIdB))
84
84
 
                    then invariantCalc((balanceA - amountToSendEstimated), y)
85
85
 
                    else throw("Wrong asset in payment")
86
-
            if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
87
-
                then throw("Bad estimation provided")
86
+
            let amountToSendBest = if ((invariant > invEstimated))
87
+
                then if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
88
+
                    then throw("Bad estimation provided")
89
+
                    else {
90
+
                        let a = {
91
+
                            let $l = [25, 200, 500]
92
+
                            let $s = size($l)
93
+
                            let $acc0 = $Tuple2(-1, 0)
94
+
                            func $f0_1 ($a,$i) =                             if (($i >= $s))
95
+
                                then $a
96
+
                                else getStepAmount($a, $l[$i])
97
+
98
+
                            func $f0_2 ($a,$i) =                             if (($i >= $s))
99
+
                                then $a
100
+
                                else throw("List size exceeds 3")
101
+
102
+
                            $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
103
+
                            }
104
+
                        if ((0 > a._1))
105
+
                            then amountToSendMin._1
106
+
                            else a._1
107
+
                        }
88
108
 
                else {
89
-
                    let amountToSendBest = if ((invariant > invEstimated))
90
-
                        then {
91
-
                            let a = {
92
-
                                let $l = [25, 200, 500]
93
-
                                let $s = size($l)
94
-
                                let $acc0 = -1
95
-
                                func $f0_1 ($a,$i) =                                 if (($i >= $s))
96
-
                                    then $a
97
-
                                    else getStepAmount($a, $l[$i])
109
+
                    let a = {
110
+
                        let $l = [-500, -200, -25]
111
+
                        let $s = size($l)
112
+
                        let $acc0 = $Tuple2(-1, 0)
113
+
                        func $f0_1 ($a,$i) =                         if (($i >= $s))
114
+
                            then $a
115
+
                            else getStepAmount($a, $l[$i])
98
116
 
99
-
                                func $f0_2 ($a,$i) =                                 if (($i >= $s))
100
-
                                    then $a
101
-
                                    else throw("List size exceeds 3")
117
+
                        func $f0_2 ($a,$i) =                         if (($i >= $s))
118
+
                            then $a
119
+
                            else throw("List size exceeds 3")
102
120
 
103
-
                                $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
104
-
                                }
105
-
                            if ((0 > a))
106
-
                                then amountToSendMin
107
-
                                else a
108
-
                            }
109
-
                        else {
110
-
                            let a = {
111
-
                                let $l = [-500, -200, -25]
112
-
                                let $s = size($l)
113
-
                                let $acc0 = -1
114
-
                                func $f0_1 ($a,$i) =                                 if (($i >= $s))
115
-
                                    then $a
116
-
                                    else getStepAmount($a, $l[$i])
117
-
118
-
                                func $f0_2 ($a,$i) =                                 if (($i >= $s))
119
-
                                    then $a
120
-
                                    else throw("List size exceeds 3")
121
-
122
-
                                $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
123
-
                                }
124
-
                            if ((0 > a))
125
-
                                then amountToSendEstimated
126
-
                                else a
127
-
                            }
128
-
                    amountToSendBest
121
+
                        $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
122
+
                        }
123
+
                    let tupleSendBetter = if ((0 > a._1))
124
+
                        then $Tuple2(amountToSendEstimated, invEstimated)
125
+
                        else a
126
+
                    if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, tupleSendBetter._2)))
127
+
                        then throw("Bad estimation provided")
128
+
                        else tupleSendBetter._1
129
129
 
                    }
130
+
            amountToSendBest
130
131
 
            }
131
132
 
    }
132
133
 

Full: 
Old
New
Differences
1
1
 
{-# STDLIB_VERSION 5 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
4
 
let strAssetIdA = "34N9YcEETLWn93qYQ64EsP1x89tSruJU44RrEMSXXEPJ"
5
5
 
6
6
 
let strAssetIdB = "DG2xFkPdDwKUoBkzGAhQtLpSGzfXLiCYPEzeKH2Ad24p"
7
7
 
8
8
 
let assetIdA = if ((strAssetIdA == "WAVES"))
9
9
 
    then unit
10
10
 
    else fromBase58String(strAssetIdA)
11
11
 
12
12
 
let assetIdB = if ((strAssetIdB == "WAVES"))
13
13
 
    then unit
14
14
 
    else fromBase58String(strAssetIdB)
15
15
 
16
16
 
let fee = 500
17
17
 
18
18
 
let feeGovernance = 200
19
19
 
20
20
 
let feeScale6 = 1000000
21
21
 
22
22
 
let scale3 = 1000
23
23
 
24
24
 
let scale8 = 100000000
25
25
 
26
26
 
let scale12 = 1000000000000
27
27
 
28
28
 
let scale16 = 10000000000000000
29
29
 
30
30
 
let slippageScale3 = 1000
31
31
 
32
32
 
let digits8 = 8
33
33
 
34
34
 
let digits12 = 12
35
35
 
36
36
 
let dAppThreshold = 50
37
37
 
38
38
 
let dAppThresholdScale2 = 100
39
39
 
40
40
 
let exchangeRatioLimitMin = 90000000
41
41
 
42
42
 
let exchangeRatioLimitMax = 110000000
43
43
 
44
44
 
let alpha = 50
45
45
 
46
46
 
let alphaDigits = 2
47
47
 
48
48
 
let beta = 4600000000000000
49
49
 
50
50
 
func skewness (x,y) = ((fraction(scale16, x, y) + fraction(scale16, y, x)) / 2)
51
51
 
52
52
 
53
53
 
func invariantCalc (x,y) = {
54
54
 
    let sk = skewness(x, y)
55
55
 
    (fraction((x + y), scale16, pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)) + (2 * fraction(toInt(pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN)), pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN), scale8)))
56
56
 
    }
57
57
 
58
58
 
59
59
 
func calculateSendAmount (balanceA,balanceB,amountToSendEstimated,minTokenReceiveAmount,tokenReceiveAmount,tokenId) = {
60
60
 
    let worstAllowedNewInvariantRatio = (scale8 - ((scale8 * 1) / 10000000))
61
61
 
    let deltaBetweenMaxAndMinSendValue = (amountToSendEstimated - minTokenReceiveAmount)
62
62
 
    let invariant = invariantCalc(balanceA, balanceB)
63
63
 
    let x = (balanceA + tokenReceiveAmount)
64
64
 
    let y = (balanceB + tokenReceiveAmount)
65
-
    func getStepAmount (acc,step) =     if ((acc == -1))
65
+
    func getStepAmount (acc,step) =     if ((acc._1 == -1))
66
66
 
        then {
67
67
 
            let amountToSend = (amountToSendEstimated - (((step * deltaBetweenMaxAndMinSendValue) / 3) / scale3))
68
68
 
            let stepInvariant = if ((tokenId == strAssetIdA))
69
69
 
                then invariantCalc(x, (balanceB - amountToSend))
70
70
 
                else invariantCalc((balanceA - amountToSend), y)
71
71
 
            if ((stepInvariant > invariant))
72
-
                then amountToSend
73
-
                else -1
72
+
                then $Tuple2(amountToSend, stepInvariant)
73
+
                else $Tuple2(-1, 0)
74
74
 
            }
75
75
 
        else acc
76
76
 
77
-
    let amountToSendMin = getStepAmount(-1, 3)
78
-
    if ((0 > amountToSendMin))
77
+
    let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
78
+
    if ((0 > amountToSendMin._1))
79
79
 
        then throw("!!!!!")
80
80
 
        else {
81
81
 
            let invEstimated = if ((tokenId == strAssetIdA))
82
82
 
                then invariantCalc(x, (balanceB - amountToSendEstimated))
83
83
 
                else if ((tokenId == strAssetIdB))
84
84
 
                    then invariantCalc((balanceA - amountToSendEstimated), y)
85
85
 
                    else throw("Wrong asset in payment")
86
-
            if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
87
-
                then throw("Bad estimation provided")
86
+
            let amountToSendBest = if ((invariant > invEstimated))
87
+
                then if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
88
+
                    then throw("Bad estimation provided")
89
+
                    else {
90
+
                        let a = {
91
+
                            let $l = [25, 200, 500]
92
+
                            let $s = size($l)
93
+
                            let $acc0 = $Tuple2(-1, 0)
94
+
                            func $f0_1 ($a,$i) =                             if (($i >= $s))
95
+
                                then $a
96
+
                                else getStepAmount($a, $l[$i])
97
+
98
+
                            func $f0_2 ($a,$i) =                             if (($i >= $s))
99
+
                                then $a
100
+
                                else throw("List size exceeds 3")
101
+
102
+
                            $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
103
+
                            }
104
+
                        if ((0 > a._1))
105
+
                            then amountToSendMin._1
106
+
                            else a._1
107
+
                        }
88
108
 
                else {
89
-
                    let amountToSendBest = if ((invariant > invEstimated))
90
-
                        then {
91
-
                            let a = {
92
-
                                let $l = [25, 200, 500]
93
-
                                let $s = size($l)
94
-
                                let $acc0 = -1
95
-
                                func $f0_1 ($a,$i) =                                 if (($i >= $s))
96
-
                                    then $a
97
-
                                    else getStepAmount($a, $l[$i])
109
+
                    let a = {
110
+
                        let $l = [-500, -200, -25]
111
+
                        let $s = size($l)
112
+
                        let $acc0 = $Tuple2(-1, 0)
113
+
                        func $f0_1 ($a,$i) =                         if (($i >= $s))
114
+
                            then $a
115
+
                            else getStepAmount($a, $l[$i])
98
116
 
99
-
                                func $f0_2 ($a,$i) =                                 if (($i >= $s))
100
-
                                    then $a
101
-
                                    else throw("List size exceeds 3")
117
+
                        func $f0_2 ($a,$i) =                         if (($i >= $s))
118
+
                            then $a
119
+
                            else throw("List size exceeds 3")
102
120
 
103
-
                                $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
104
-
                                }
105
-
                            if ((0 > a))
106
-
                                then amountToSendMin
107
-
                                else a
108
-
                            }
109
-
                        else {
110
-
                            let a = {
111
-
                                let $l = [-500, -200, -25]
112
-
                                let $s = size($l)
113
-
                                let $acc0 = -1
114
-
                                func $f0_1 ($a,$i) =                                 if (($i >= $s))
115
-
                                    then $a
116
-
                                    else getStepAmount($a, $l[$i])
117
-
118
-
                                func $f0_2 ($a,$i) =                                 if (($i >= $s))
119
-
                                    then $a
120
-
                                    else throw("List size exceeds 3")
121
-
122
-
                                $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
123
-
                                }
124
-
                            if ((0 > a))
125
-
                                then amountToSendEstimated
126
-
                                else a
127
-
                            }
128
-
                    amountToSendBest
121
+
                        $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
122
+
                        }
123
+
                    let tupleSendBetter = if ((0 > a._1))
124
+
                        then $Tuple2(amountToSendEstimated, invEstimated)
125
+
                        else a
126
+
                    if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, tupleSendBetter._2)))
127
+
                        then throw("Bad estimation provided")
128
+
                        else tupleSendBetter._1
129
129
 
                    }
130
+
            amountToSendBest
130
131
 
            }
131
132
 
    }
132
133
 
133
134
 
134
135
 
@Callable(i)
135
136
 
func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
136
137
 
    let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
137
138
 
    let governanceReward = fraction(amount, feeGovernance, feeScale6)
138
139
 
    let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
139
140
 
    ([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA))
140
141
 
        then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))]
141
142
 
        else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))]))
142
143
 
    }
143
144
 
144
145
 
145
146
 
@Verifier(tx)
146
147
 
func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
147
148
 

github/deemru/w8io/873ac7e 
48.03 ms ◑