w8 · tx · B55···1se

tx · B55nHtQeaevLN1VSSudcgtM3tgksNcMTRkie51YnD1se

3N4revPn12feiSAyC78tAZEJfsyprVYPzsL:  -0.05000000 Waves

2022.02.10 11:34 [1917296] smart account 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "B55nHtQeaevLN1VSSudcgtM3tgksNcMTRkie51YnD1se",
    "fee": 5000000,
    "feeAssetId": null,
    "timestamp": 1644482160520,
    "version": 2,
    "chainId": 84,
    "sender": "3N4revPn12feiSAyC78tAZEJfsyprVYPzsL",
    "senderPublicKey": "5smGxL7bfeRokaN53Z31Y72dF2Lkr5Cg1kuWRV3gniNe",
    "proofs": [
        "q8ssRYy7yduGZX5tGwsKDBNjwN6hLGhNVQRppUgPKZgBYPrY3hn6VzAovizaXNRghw3BogeeyBNXdhYoQpT86kx"
    ],
    "script": "base64:AAIFAAAAAAAAABgIAhIECgIBARIECgIBARIICgYBAQEIAQEAAAAZAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmJldGFCaWdJbnQAAAAAaxoi+AABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGkAAAACCQAAZAAAAAIJAABrAAAAAwUAAAAHc2NhbGUxMgUAAAABeAUAAAABeQkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF5BQAAAAF4AAAAAAAAAAACAAAAAAAAACcQAQAAAA5za2V3bmVzc0JpZ0ludAAAAAIAAAABeAAAAAF5CQAAaQAAAAIJAABkAAAAAgkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF4BQAAAAF5CQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgAAAAAAAAAAAIBAAAADWludmFyaWFudENhbGMAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04JAABkAAAAAgkAAGsAAAADBQAAAAJ4eQUAAAAGc2NhbGU4BQAAAAhmaXJzdHBvdwkAAGgAAAACAAAAAAAAAAACCQAAawAAAAMFAAAACXNlY29uZHBvdwUAAAAIdGhpcmRwb3cFAAAABnNjYWxlOAEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAAAABJ0b2tlblJlY2VpdmVBbW91bnQAAAAHdG9rZW5JZAQAAAANc2xpcHBhZ2VWYWx1ZQkAAGUAAAACBQAAAAZzY2FsZTgJAABpAAAAAgkAAGgAAAACBQAAAAZzY2FsZTgAAAAAAAAAAAEAAAAAAACYloAEAAAAHmRlbHRhQmV0d2Vlbk1heEFuZE1pblNlbmRWYWx1ZQkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAQAAAABeAkAAGQAAAACBQAAAAhiYWxhbmNlQQUAAAASdG9rZW5SZWNlaXZlQW1vdW50BAAAAAF5CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAABJ0b2tlblJlY2VpdmVBbW91bnQEAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIEAAAADGludmFyaWFudE5ldwMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEEJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgUAAAABeAkAAGUAAAACBQAAAAhiYWxhbmNlQgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQgkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAAXkJAAACAAAAAQIAAAAWV3JvbmcgYXNzZXQgaW4gcGF5bWVudAQAAAAXaW52YXJpYW50RXN0aW1hdGVkUmF0aW8JAABrAAAAAwUAAAAGc2NhbGU4BQAAAAlpbnZhcmlhbnQFAAAADGludmFyaWFudE5ldwoBAAAADWdldFN0ZXBBbW91bnQAAAACAAAAA2FjYwAAAARzdGVwAwkAAAAAAAACBQAAAANhY2MA//////////8EAAAADGFtb3VudFRvU2VuZAkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQJAABpAAAAAgkAAGgAAAACBQAAAARzdGVwBQAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUAAAAAAAAAAAUEAAAADXN0ZXBJbnZhcmlhbnQDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAADGFtb3VudFRvU2VuZAkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAAAxhbW91bnRUb1NlbmQFAAAAAXkDCQAAZgAAAAIFAAAADXN0ZXBJbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAAMYW1vdW50VG9TZW5kAP//////////BQAAAANhY2MEAAAACnN0ZXBBbW91bnQKAAAAAAIkbAkABEwAAAACAAAAAAAAAAABCQAETAAAAAIAAAAAAAAAAAIJAARMAAAAAgAAAAAAAAAAAwkABEwAAAACAAAAAAAAAAAECQAETAAAAAIAAAAAAAAAAAUFAAAAA25pbAoAAAAAAiRzCQABkAAAAAEFAAAAAiRsCgAAAAAFJGFjYzAA//////////8KAQAAAAUkZjBfMQAAAAIAAAACJGEAAAACJGkDCQAAZwAAAAIFAAAAAiRpBQAAAAIkcwUAAAACJGEJAQAAAA1nZXRTdGVwQW1vdW50AAAAAgUAAAACJGEJAAGRAAAAAgUAAAACJGwFAAAAAiRpCgEAAAAFJGYwXzIAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQAAAgAAAAECAAAAE0xpc3Qgc2l6ZSBleGNlZWRzIDUJAQAAAAUkZjBfMgAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIFAAAABSRhY2MwAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAACAAAAAAAAAAADAAAAAAAAAAAEAAAAAAAAAAAFAwkAAGYAAAACAAAAAAAAAAAABQAAAApzdGVwQW1vdW50CQAAAgAAAAECAAAANHNvbWV0aGluZyB3ZW50IHdyb25nIHdoaWxlIHdvcmtpbmcgd2l0aCBhbW91bnRUb1NlbmQDAwkAAGYAAAACBQAAABdpbnZhcmlhbnRFc3RpbWF0ZWRSYXRpbwUAAAANc2xpcHBhZ2VWYWx1ZQkAAGYAAAACBQAAAAxpbnZhcmlhbnROZXcFAAAACWludmFyaWFudAcFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAUAAAAKc3RlcEFtb3VudAAAAAMAAAABaQEAAAAOaW52YXJpYW50Q2FsY2MAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04EAAAACWludmFyaWFudAkAAGQAAAACCQAAawAAAAMFAAAAAnh5BQAAAAZzY2FsZTgFAAAACGZpcnN0cG93CQAAaAAAAAIAAAAAAAAAAAIJAABrAAAAAwUAAAAJc2Vjb25kcG93BQAAAAh0aGlyZHBvdwUAAAAGc2NhbGU4CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAlpbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAADbmlsAAAAAWkBAAAAFGludmFyaWFudENhbGNjQmlnSW50AAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAOc2tld25lc3NCaWdJbnQAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAATYAAAABCQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAdgAAAAYJAAE2AAAAAQUAAAACc2sFAAAACGRpZ2l0czEyCQABNgAAAAEFAAAABWFscGhhBQAAAAthbHBoYURpZ2l0cwUAAAAIZGlnaXRzMTIFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAHYAAAAGCQABPAAAAAMJAAE2AAAAAQUAAAABeAkAATYAAAABBQAAAAF5CQABNgAAAAEFAAAABnNjYWxlOAAAAAAAAAAAAAkAATYAAAABAAAAAAAAAAAFAAAAAAAAAAABCQAAaQAAAAIFAAAAB2RpZ2l0czgAAAAAAAAAAAIFAAAABERPV04EAAAACHRoaXJkcG93CQAAdgAAAAYJAAE2AAAAAQkAAGUAAAACBQAAAAJzawUAAAAKYmV0YUJpZ0ludAUAAAAIZGlnaXRzMTIJAAE2AAAAAQUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAhkaWdpdHMxMgUAAAAERE9XTgQAAAAJaW52YXJpYW50CQAAZAAAAAIJAAGgAAAAAQkAATwAAAADBQAAAAJ4eQkAATYAAAABBQAAAAdzY2FsZTEyBQAAAAhmaXJzdHBvdwkAAGgAAAACAAAAAAAAAAACCQABoAAAAAEJAAE8AAAAAwUAAAAJc2Vjb25kcG93BQAAAAh0aGlyZHBvdwkAATYAAAABBQAAAAdzY2FsZTEyCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAlpbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAADbmlsAAAAAWkBAAAACGV4Y2hhbmdlAAAABgAAAAhiYWxhbmNlQQAAAAhiYWxhbmNlQgAAAAlwbXRBbW91bnQAAAAKcG10QXNzZXRJZAAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUAAAASbWluQW1vdW50VG9SZWNlaXZlBAAAAAZhbW91bnQJAQAAABNjYWxjdWxhdGVTZW5kQW1vdW50AAAABgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBQAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUFAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQUAAAAJcG10QW1vdW50BQAAAApwbXRBc3NldElkBAAAABBnb3Zlcm5hbmNlUmV3YXJkCQAAawAAAAMFAAAABmFtb3VudAUAAAANZmVlR292ZXJuYW5jZQUAAAAJZmVlU2NhbGU2BAAAAA5hbW91bnRNaW51c0ZlZQkAAGsAAAADBQAAAAZhbW91bnQJAABlAAAAAgUAAAAJZmVlU2NhbGU2BQAAAANmZWUFAAAACWZlZVNjYWxlNgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAKc2VuZEFtb3VudAUAAAAGYW1vdW50CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAABdzZW5kQW1vdW50V2l0aENvbWlzc2lvbgUAAAAOYW1vdW50TWludXNGZWUFAAAAA25pbAAAAAEAAAACdHgBAAAABnZlcmlmeQAAAAAJAAH0AAAAAwgFAAAAAnR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHgAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V5UHtGlg==",
    "height": 1917296,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: 6d9WeQv4zwicgbxgVZZ3yjWoP6p6sBWD7ZBna98HmMm7
Next: HBYktZECVU7N9ggWCtSWRKiCMR4neMJMXxVugvnNu4Ei

Diff: 
Old New Differences
127 127  @Callable(i)
128 128  func invariantCalccBigInt (x,y) = {
129 129      let sk = skewnessBigInt(x, y)
130 -     let invariant = (toInt(fraction(toBigInt((x + y)), toBigInt(scale12), pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN), pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN), toBigInt(scale12)))))
130 +     let xy = toBigInt((x + y))
131 +     let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING)
132 +     let secondpow = pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN)
133 +     let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN)
134 +     let invariant = (toInt(fraction(xy, toBigInt(scale12), firstpow)) + (2 * toInt(fraction(secondpow, thirdpow, toBigInt(scale12)))))
131 135  [IntegerEntry("invariant", invariant)]
132 136      }
133 137  
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 slippageScale3 = 1000
29 29  
30 30  let digits8 = 8
31 31  
32 32  let digits12 = 12
33 33  
34 34  let dAppThreshold = 50
35 35  
36 36  let dAppThresholdScale2 = 100
37 37  
38 38  let exchangeRatioLimitMin = 90000000
39 39  
40 40  let exchangeRatioLimitMax = 110000000
41 41  
42 42  let alpha = 50
43 43  
44 44  let alphaDigits = 2
45 45  
46 46  let beta = 46000000
47 47  
48 48  let betaBigInt = 460000000000
49 49  
50 50  func skewness (x,y) = (((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2) / 10000)
51 51  
52 52  
53 53  func skewnessBigInt (x,y) = ((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2)
54 54  
55 55  
56 56  func invariantCalc (x,y) = {
57 57      let sk = skewness(x, y)
58 58      let xy = (x + y)
59 59      let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
60 60      let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
61 61      let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
62 62      (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
63 63      }
64 64  
65 65  
66 66  func calculateSendAmount (balanceA,balanceB,amountToSendEstimated,minTokenReceiveAmount,tokenReceiveAmount,tokenId) = {
67 67      let slippageValue = (scale8 - ((scale8 * 1) / 10000000))
68 68      let deltaBetweenMaxAndMinSendValue = (amountToSendEstimated - minTokenReceiveAmount)
69 69      let x = (balanceA + tokenReceiveAmount)
70 70      let y = (balanceB + tokenReceiveAmount)
71 71      let invariant = invariantCalc(balanceA, balanceB)
72 72      let invariantNew = if ((tokenId == strAssetIdA))
73 73          then invariantCalc(x, (balanceB - amountToSendEstimated))
74 74          else if ((tokenId == strAssetIdB))
75 75              then invariantCalc((balanceA - amountToSendEstimated), y)
76 76              else throw("Wrong asset in payment")
77 77      let invariantEstimatedRatio = fraction(scale8, invariant, invariantNew)
78 78      func getStepAmount (acc,step) =     if ((acc == -1))
79 79          then {
80 80              let amountToSend = (amountToSendEstimated - ((step * deltaBetweenMaxAndMinSendValue) / 5))
81 81              let stepInvariant = if ((tokenId == strAssetIdA))
82 82                  then invariantCalc(x, (balanceB - amountToSend))
83 83                  else invariantCalc((balanceA - amountToSend), y)
84 84              if ((stepInvariant > invariant))
85 85                  then amountToSend
86 86                  else -1
87 87              }
88 88          else acc
89 89  
90 90      let stepAmount = {
91 91          let $l = [1, 2, 3, 4, 5]
92 92          let $s = size($l)
93 93          let $acc0 = -1
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 5")
101 101  
102 102          $f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5)
103 103          }
104 104      if ((0 > stepAmount))
105 105          then throw("something went wrong while working with amountToSend")
106 106          else if (if ((invariantEstimatedRatio > slippageValue))
107 107              then (invariantNew > invariant)
108 108              else false)
109 109              then amountToSendEstimated
110 110              else stepAmount
111 111      }
112 112  
113 113  
114 114  @Callable(i)
115 115  func invariantCalcc (x,y) = {
116 116      let sk = skewness(x, y)
117 117      let xy = (x + y)
118 118      let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
119 119      let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
120 120      let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
121 121      let invariant = (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
122 122  [IntegerEntry("invariant", invariant)]
123 123      }
124 124  
125 125  
126 126  
127 127  @Callable(i)
128 128  func invariantCalccBigInt (x,y) = {
129 129      let sk = skewnessBigInt(x, y)
130 -     let invariant = (toInt(fraction(toBigInt((x + y)), toBigInt(scale12), pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN), pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN), toBigInt(scale12)))))
130 +     let xy = toBigInt((x + y))
131 +     let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING)
132 +     let secondpow = pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN)
133 +     let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN)
134 +     let invariant = (toInt(fraction(xy, toBigInt(scale12), firstpow)) + (2 * toInt(fraction(secondpow, thirdpow, toBigInt(scale12)))))
131 135  [IntegerEntry("invariant", invariant)]
132 136      }
133 137  
134 138  
135 139  
136 140  @Callable(i)
137 141  func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
138 142      let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
139 143      let governanceReward = fraction(amount, feeGovernance, feeScale6)
140 144      let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
141 145  [IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee)]
142 146      }
143 147  
144 148  
145 149  @Verifier(tx)
146 150  func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
147 151

Old	New		Differences
127	127		@Callable(i)
128	128		func invariantCalccBigInt (x,y) = {
129	129		let sk = skewnessBigInt(x, y)
130		-	let invariant = (toInt(fraction(toBigInt((x + y)), toBigInt(scale12), pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN), pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN), toBigInt(scale12)))))
	130	+	let xy = toBigInt((x + y))
	131	+	let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING)
	132	+	let secondpow = pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN)
	133	+	let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN)
	134	+	let invariant = (toInt(fraction(xy, toBigInt(scale12), firstpow)) + (2 * toInt(fraction(secondpow, thirdpow, toBigInt(scale12)))))
131	135		[IntegerEntry("invariant", invariant)]
132	136		}
133	137

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 slippageScale3 = 1000
29	29
30	30		let digits8 = 8
31	31
32	32		let digits12 = 12
33	33
34	34		let dAppThreshold = 50
35	35
36	36		let dAppThresholdScale2 = 100
37	37
38	38		let exchangeRatioLimitMin = 90000000
39	39
40	40		let exchangeRatioLimitMax = 110000000
41	41
42	42		let alpha = 50
43	43
44	44		let alphaDigits = 2
45	45
46	46		let beta = 46000000
47	47
48	48		let betaBigInt = 460000000000
49	49
50	50		func skewness (x,y) = (((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2) / 10000)
51	51
52	52
53	53		func skewnessBigInt (x,y) = ((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2)
54	54
55	55
56	56		func invariantCalc (x,y) = {
57	57		let sk = skewness(x, y)
58	58		let xy = (x + y)
59	59		let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
60	60		let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
61	61		let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
62	62		(fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
63	63		}
64	64
65	65
66	66		func calculateSendAmount (balanceA,balanceB,amountToSendEstimated,minTokenReceiveAmount,tokenReceiveAmount,tokenId) = {
67	67		let slippageValue = (scale8 - ((scale8 * 1) / 10000000))
68	68		let deltaBetweenMaxAndMinSendValue = (amountToSendEstimated - minTokenReceiveAmount)
69	69		let x = (balanceA + tokenReceiveAmount)
70	70		let y = (balanceB + tokenReceiveAmount)
71	71		let invariant = invariantCalc(balanceA, balanceB)
72	72		let invariantNew = if ((tokenId == strAssetIdA))
73	73		then invariantCalc(x, (balanceB - amountToSendEstimated))
74	74		else if ((tokenId == strAssetIdB))
75	75		then invariantCalc((balanceA - amountToSendEstimated), y)
76	76		else throw("Wrong asset in payment")
77	77		let invariantEstimatedRatio = fraction(scale8, invariant, invariantNew)
78	78		func getStepAmount (acc,step) = if ((acc == -1))
79	79		then {
80	80		let amountToSend = (amountToSendEstimated - ((step * deltaBetweenMaxAndMinSendValue) / 5))
81	81		let stepInvariant = if ((tokenId == strAssetIdA))
82	82		then invariantCalc(x, (balanceB - amountToSend))
83	83		else invariantCalc((balanceA - amountToSend), y)
84	84		if ((stepInvariant > invariant))
85	85		then amountToSend
86	86		else -1
87	87		}
88	88		else acc
89	89
90	90		let stepAmount = {
91	91		let $l = [1, 2, 3, 4, 5]
92	92		let $s = size($l)
93	93		let $acc0 = -1
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 5")
101	101
102	102		$f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5)
103	103		}
104	104		if ((0 > stepAmount))
105	105		then throw("something went wrong while working with amountToSend")
106	106		else if (if ((invariantEstimatedRatio > slippageValue))
107	107		then (invariantNew > invariant)
108	108		else false)
109	109		then amountToSendEstimated
110	110		else stepAmount
111	111		}
112	112
113	113
114	114		@Callable(i)
115	115		func invariantCalcc (x,y) = {
116	116		let sk = skewness(x, y)
117	117		let xy = (x + y)
118	118		let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
119	119		let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
120	120		let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
121	121		let invariant = (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
122	122		[IntegerEntry("invariant", invariant)]
123	123		}
124	124
125	125
126	126
127	127		@Callable(i)
128	128		func invariantCalccBigInt (x,y) = {
129	129		let sk = skewnessBigInt(x, y)
130		-	let invariant = (toInt(fraction(toBigInt((x + y)), toBigInt(scale12), pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN), pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN), toBigInt(scale12)))))
	130	+	let xy = toBigInt((x + y))
	131	+	let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING)
	132	+	let secondpow = pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN)
	133	+	let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN)
	134	+	let invariant = (toInt(fraction(xy, toBigInt(scale12), firstpow)) + (2 * toInt(fraction(secondpow, thirdpow, toBigInt(scale12)))))
131	135		[IntegerEntry("invariant", invariant)]
132	136		}
133	137
134	138
135	139
136	140		@Callable(i)
137	141		func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
138	142		let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
139	143		let governanceReward = fraction(amount, feeGovernance, feeScale6)
140	144		let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
141	145		[IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee)]
142	146		}
143	147
144	148
145	149		@Verifier(tx)
146	150		func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
147	151

github/deemru/w8io/169f3d6 
142.23 ms ◑