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 | - | ||
100 | - | ||
101 | - | ||
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 |
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 | - | ||
100 | - | ||
101 | - | ||
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/c3f4982 34.03 ms ◑