w8 · tx · BLQ···ths

tx · BLQoUvmHdgSVToVnAcBDX14MWRKe9ey8coU2f5rXMths

3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP:  -0.05000000 Waves

2022.02.25 15:24 [1939152] smart account 3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "BLQoUvmHdgSVToVnAcBDX14MWRKe9ey8coU2f5rXMths",
    "fee": 5000000,
    "feeAssetId": null,
    "timestamp": 1645791886603,
    "version": 2,
    "chainId": 84,
    "sender": "3NATMChCuzdHBV89FhZMpRTiMZMxyAvK9yP",
    "senderPublicKey": "89LFt4Pg8y6n1ZYsj4eeagWgkpVvSAyszsXGyo6ZfnVM",
    "proofs": [
        "3giig32maEkkXaWzCrpxTn9ontRNA3o9CPSnSqBc9qKiYeypJGL8Qrm2hzkz8y9adPtAuVGH3Qqq5XGujtPCqA7s"
    ],
    "script": "base64:AAIFAAAAAAAAAAwIAhIICgYBAQEIAQEAAAAYAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAAdzY2FsZTE2AAAjhvJvwQAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAABBXrPX3gAABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGQAAAACCQAAawAAAAMFAAAAB3NjYWxlMTYFAAAAAXgFAAAAAXkJAABrAAAAAwUAAAAHc2NhbGUxNgUAAAABeQUAAAABeAAAAAAAAAAAAgEAAAANaW52YXJpYW50Q2FsYwAAAAIAAAABeAAAAAF5BAAAAAJzawkBAAAACHNrZXduZXNzAAAAAgUAAAABeAUAAAABeQkAAGQAAAACCQAAawAAAAMJAABkAAAAAgUAAAABeAUAAAABeQUAAAAHc2NhbGUxNgkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HCQAAaAAAAAIAAAAAAAAAAAIJAABrAAAAAwkAAaAAAAABCQAAdgAAAAYJAAE8AAAAAwkAATYAAAABBQAAAAF4CQABNgAAAAEFAAAAAXkJAAE2AAAAAQUAAAAGc2NhbGU4AAAAAAAAAAAACQABNgAAAAEAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04FAAAABnNjYWxlOAEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAAAABJ0b2tlblJlY2VpdmVBbW91bnQAAAAHdG9rZW5JZAQAAAAdd29yc3RBbGxvd2VkTmV3SW52YXJpYW50UmF0aW8JAABlAAAAAgUAAAAGc2NhbGU4CQAAaQAAAAIJAABoAAAAAgUAAAAGc2NhbGU4AAAAAAAAAAABAAAAAAAAmJaABAAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQEAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIEAAAAAXgJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAAEnRva2VuUmVjZWl2ZUFtb3VudAQAAAABeQkAAGQAAAACBQAAAAhiYWxhbmNlQgUAAAASdG9rZW5SZWNlaXZlQW1vdW50CgEAAAANZ2V0U3RlcEFtb3VudAAAAAIAAAADYWNjAAAABHN0ZXADCQAAAAAAAAIIBQAAAANhY2MAAAACXzEA//////////8EAAAADGFtb3VudFRvU2VuZAkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQJAABpAAAAAgkAAGkAAAACCQAAaAAAAAIFAAAABHN0ZXAFAAAAHmRlbHRhQmV0d2Vlbk1heEFuZE1pblNlbmRWYWx1ZQAAAAAAAAAAAwUAAAAGc2NhbGUzBAAAAA1zdGVwSW52YXJpYW50AwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQQkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAF4CQAAZQAAAAIFAAAACGJhbGFuY2VCBQAAAAxhbW91bnRUb1NlbmQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAMYW1vdW50VG9TZW5kBQAAAAF5AwkAAGYAAAACBQAAAA1zdGVwSW52YXJpYW50BQAAAAlpbnZhcmlhbnQJAAUUAAAAAgUAAAAMYW1vdW50VG9TZW5kBQAAAA1zdGVwSW52YXJpYW50CQAFFAAAAAIA//////////8AAAAAAAAAAAAFAAAAA2FjYwQAAAAPYW1vdW50VG9TZW5kTWluCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIJAAUUAAAAAgD//////////wAAAAAAAAAAAAAAAAAAAAALuAMJAABmAAAAAgAAAAAAAAAAAAgFAAAAD2Ftb3VudFRvU2VuZE1pbgAAAAJfMQkAAAIAAAABAgAAAB9QcmljZSBpcyB3b3JzZSB0aGFuIG1pblJlY2VpdmVkBAAAAAxpbnZFc3RpbWF0ZWQDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEIJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAAAF5CQAAAgAAAAECAAAAFldyb25nIGFzc2V0IGluIHBheW1lbnQEAAAAEGFtb3VudFRvU2VuZEJlc3QDCQAAZgAAAAIFAAAACWludmFyaWFudAUAAAAMaW52RXN0aW1hdGVkAwkAAGcAAAACBQAAAB13b3JzdEFsbG93ZWROZXdJbnZhcmlhbnRSYXRpbwkAAGsAAAADBQAAAAZzY2FsZTgFAAAACWludmFyaWFudAUAAAAMaW52RXN0aW1hdGVkCQAAAgAAAAECAAAAGUJhZCBlc3RpbWF0aW9uIHByb3ZpZGVkIDEEAAAAAWEKAAAAAAIkbAkABEwAAAACAAAAAAAAAAAZCQAETAAAAAIAAAAAAAAAAMgJAARMAAAAAgAAAAAAAAAB9AUAAAADbmlsCgAAAAACJHMJAAGQAAAAAQUAAAACJGwKAAAAAAUkYWNjMAkABRQAAAACAP//////////AAAAAAAAAAAACgEAAAAFJGYwXzEAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIFAAAAAiRhCQABkQAAAAIFAAAAAiRsBQAAAAIkaQoBAAAABSRmMF8yAAAAAgAAAAIkYQAAAAIkaQMJAABnAAAAAgUAAAACJGkFAAAAAiRzBQAAAAIkYQkAAAIAAAABAgAAABNMaXN0IHNpemUgZXhjZWVkcyAzCQEAAAAFJGYwXzIAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACBQAAAAUkYWNjMAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAgAAAAAAAAAAAwMJAABmAAAAAgAAAAAAAAAAAAgFAAAAAWEAAAACXzEIBQAAAA9hbW91bnRUb1NlbmRNaW4AAAACXzEIBQAAAAFhAAAAAl8xBAAAAAFhCgAAAAACJGwJAARMAAAAAgD////////+DAkABEwAAAACAP////////84CQAETAAAAAIA/////////+cFAAAAA25pbAoAAAAAAiRzCQABkAAAAAEFAAAAAiRsCgAAAAAFJGFjYzAJAAUUAAAAAgD//////////wAAAAAAAAAAAAoBAAAABSRmMF8xAAAAAgAAAAIkYQAAAAIkaQMJAABnAAAAAgUAAAACJGkFAAAAAiRzBQAAAAIkYQkBAAAADWdldFN0ZXBBbW91bnQAAAACBQAAAAIkYQkAAZEAAAACBQAAAAIkbAUAAAACJGkKAQAAAAUkZjBfMgAAAAIAAAACJGEAAAACJGkDCQAAZwAAAAIFAAAAAiRpBQAAAAIkcwUAAAACJGEJAAACAAAAAQIAAAATTGlzdCBzaXplIGV4Y2VlZHMgMwkBAAAABSRmMF8yAAAAAgkBAAAABSRmMF8xAAAAAgkBAAAABSRmMF8xAAAAAgkBAAAABSRmMF8xAAAAAgUAAAAFJGFjYzAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAIAAAAAAAAAAAMEAAAAD3R1cGxlU2VuZEJldHRlcgMJAABmAAAAAgAAAAAAAAAAAAgFAAAAAWEAAAACXzEJAAUUAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAAAxpbnZFc3RpbWF0ZWQFAAAAAWEDCQAAZwAAAAIFAAAAHXdvcnN0QWxsb3dlZE5ld0ludmFyaWFudFJhdGlvCQAAawAAAAMFAAAABnNjYWxlOAUAAAAJaW52YXJpYW50CAUAAAAPdHVwbGVTZW5kQmV0dGVyAAAAAl8yCQAAAgAAAAECAAAAGUJhZCBlc3RpbWF0aW9uIHByb3ZpZGVkIDIIBQAAAA90dXBsZVNlbmRCZXR0ZXIAAAACXzEFAAAAEGFtb3VudFRvU2VuZEJlc3QAAAABAAAAAWkBAAAACGV4Y2hhbmdlAAAABgAAAAhiYWxhbmNlQQAAAAhiYWxhbmNlQgAAAAlwbXRBbW91bnQAAAAKcG10QXNzZXRJZAAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUAAAASbWluQW1vdW50VG9SZWNlaXZlBAAAAAZhbW91bnQJAQAAABNjYWxjdWxhdGVTZW5kQW1vdW50AAAABgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBQAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUFAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQUAAAAJcG10QW1vdW50BQAAAApwbXRBc3NldElkBAAAABBnb3Zlcm5hbmNlUmV3YXJkCQAAawAAAAMFAAAABmFtb3VudAUAAAANZmVlR292ZXJuYW5jZQUAAAAJZmVlU2NhbGU2BAAAAA5hbW91bnRNaW51c0ZlZQkAAGsAAAADBQAAAAZhbW91bnQJAABlAAAAAgUAAAAJZmVlU2NhbGU2BQAAAANmZWUFAAAACWZlZVNjYWxlNgkABE4AAAACCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAApzZW5kQW1vdW50BQAAAAZhbW91bnQJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAAF3NlbmRBbW91bnRXaXRoQ29taXNzaW9uBQAAAA5hbW91bnRNaW51c0ZlZQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50CQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAACGJhbGFuY2VBBQAAAAhiYWxhbmNlQgUAAAADbmlsAwkAAAAAAAACBQAAAApwbXRBc3NldElkBQAAAAtzdHJBc3NldElkQQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAMaW52YXJpYW50TmV3CQEAAAANaW52YXJpYW50Q2FsYwAAAAIJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAACXBtdEFtb3VudAkAAGUAAAACBQAAAAhiYWxhbmNlQgUAAAAGYW1vdW50BQAAAANuaWwJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAADGludmFyaWFudE5ldwkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAAAZhbW91bnQJAABkAAAAAgUAAAAIYmFsYW5jZUIFAAAACXBtdEFtb3VudAUAAAADbmlsAAAAAQAAAAJ0eAEAAAAGdmVyaWZ5AAAAAAkAAfQAAAADCAUAAAACdHgAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAJ0eAAAAAZwcm9vZnMAAAAAAAAAAAAIBQAAAAJ0eAAAAA9zZW5kZXJQdWJsaWNLZXk7VBsP",
    "height": 1939152,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

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

Diff: 
Old New Differences
74 74              }
75 75          else acc
76 76  
77 -     let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
77 +     let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3000)
78 78      if ((0 > amountToSendMin._1))
79 -         then throw("!!!!!")
79 +         then throw("Price is worse than minReceived")
80 80          else {
81 81              let invEstimated = if ((tokenId == strAssetIdA))
82 82                  then invariantCalc(x, (balanceB - amountToSendEstimated))
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 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 72                  then $Tuple2(amountToSend, stepInvariant)
73 73                  else $Tuple2(-1, 0)
74 74              }
75 75          else acc
76 76  
77 -     let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
77 +     let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3000)
78 78      if ((0 > amountToSendMin._1))
79 -         then throw("!!!!!")
79 +         then throw("Price is worse than minReceived")
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 86              let amountToSendBest = if ((invariant > invEstimated))
87 87                  then if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
88 88                      then throw("Bad estimation provided 1")
89 89                      else {
90 90                          let a = {
91 91                              let $l = [25, 200, 500]
92 92                              let $s = size($l)
93 93                              let $acc0 = $Tuple2(-1, 0)
94 94                              func $f0_1 ($a,$i) =                             if (($i >= $s))
95 95                                  then $a
96 96                                  else getStepAmount($a, $l[$i])
97 97  
98 98                              func $f0_2 ($a,$i) =                             if (($i >= $s))
99 99                                  then $a
100 100                                  else throw("List size exceeds 3")
101 101  
102 102                              $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
103 103                              }
104 104                          if ((0 > a._1))
105 105                              then amountToSendMin._1
106 106                              else a._1
107 107                          }
108 108                  else {
109 109                      let a = {
110 110                          let $l = [-500, -200, -25]
111 111                          let $s = size($l)
112 112                          let $acc0 = $Tuple2(-1, 0)
113 113                          func $f0_1 ($a,$i) =                         if (($i >= $s))
114 114                              then $a
115 115                              else getStepAmount($a, $l[$i])
116 116  
117 117                          func $f0_2 ($a,$i) =                         if (($i >= $s))
118 118                              then $a
119 119                              else throw("List size exceeds 3")
120 120  
121 121                          $f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
122 122                          }
123 123                      let tupleSendBetter = if ((0 > a._1))
124 124                          then $Tuple2(amountToSendEstimated, invEstimated)
125 125                          else a
126 126                      if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, tupleSendBetter._2)))
127 127                          then throw("Bad estimation provided 2")
128 128                          else tupleSendBetter._1
129 129                      }
130 130              amountToSendBest
131 131              }
132 132      }
133 133  
134 134  
135 135  @Callable(i)
136 136  func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
137 137      let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
138 138      let governanceReward = fraction(amount, feeGovernance, feeScale6)
139 139      let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
140 140      ([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA))
141 141          then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))]
142 142          else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))]))
143 143      }
144 144  
145 145  
146 146  @Verifier(tx)
147 147  func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
148 148

Old	New		Differences
74	74		}
75	75		else acc
76	76
77		-	let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
	77	+	let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3000)
78	78		if ((0 > amountToSendMin._1))
79		-	then throw("~~!!!!!~~")
	79	+	then throw("Price is worse than minReceived")
80	80		else {
81	81		let invEstimated = if ((tokenId == strAssetIdA))
82	82		then invariantCalc(x, (balanceB - amountToSendEstimated))

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	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	72		then $Tuple2(amountToSend, stepInvariant)
73	73		else $Tuple2(-1, 0)
74	74		}
75	75		else acc
76	76
77		-	let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3)
	77	+	let amountToSendMin = getStepAmount($Tuple2(-1, 0), 3000)
78	78		if ((0 > amountToSendMin._1))
79		-	then throw("~~!!!!!~~")
	79	+	then throw("Price is worse than minReceived")
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	86		let amountToSendBest = if ((invariant > invEstimated))
87	87		then if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, invEstimated)))
88	88		then throw("Bad estimation provided 1")
89	89		else {
90	90		let a = {
91	91		let $l = [25, 200, 500]
92	92		let $s = size($l)
93	93		let $acc0 = $Tuple2(-1, 0)
94	94		func $f0_1 ($a,$i) = if (($i >= $s))
95	95		then $a
96	96		else getStepAmount($a, $l[$i])
97	97
98	98		func $f0_2 ($a,$i) = if (($i >= $s))
99	99		then $a
100	100		else throw("List size exceeds 3")
101	101
102	102		$f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
103	103		}
104	104		if ((0 > a._1))
105	105		then amountToSendMin._1
106	106		else a._1
107	107		}
108	108		else {
109	109		let a = {
110	110		let $l = [-500, -200, -25]
111	111		let $s = size($l)
112	112		let $acc0 = $Tuple2(-1, 0)
113	113		func $f0_1 ($a,$i) = if (($i >= $s))
114	114		then $a
115	115		else getStepAmount($a, $l[$i])
116	116
117	117		func $f0_2 ($a,$i) = if (($i >= $s))
118	118		then $a
119	119		else throw("List size exceeds 3")
120	120
121	121		$f0_2($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3)
122	122		}
123	123		let tupleSendBetter = if ((0 > a._1))
124	124		then $Tuple2(amountToSendEstimated, invEstimated)
125	125		else a
126	126		if ((worstAllowedNewInvariantRatio >= fraction(scale8, invariant, tupleSendBetter._2)))
127	127		then throw("Bad estimation provided 2")
128	128		else tupleSendBetter._1
129	129		}
130	130		amountToSendBest
131	131		}
132	132		}
133	133
134	134
135	135		@Callable(i)
136	136		func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
137	137		let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
138	138		let governanceReward = fraction(amount, feeGovernance, feeScale6)
139	139		let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
140	140		([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA))
141	141		then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))]
142	142		else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))]))
143	143		}
144	144
145	145
146	146		@Verifier(tx)
147	147		func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
148	148

github/deemru/w8io/873ac7e 
29.03 ms ◑