tx · DNUCKGaAj3jaR3uxF9q56Jsqr9SSriXCuxg3E69YjUSs 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL: -0.05000000 Waves 2022.02.11 15:46 [1918964] smart account 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL > SELF 0.00000000 Waves
{ "type": 13, "id": "DNUCKGaAj3jaR3uxF9q56Jsqr9SSriXCuxg3E69YjUSs", "fee": 5000000, "feeAssetId": null, "timestamp": 1644583644113, "version": 2, "chainId": 84, "sender": "3N4revPn12feiSAyC78tAZEJfsyprVYPzsL", "senderPublicKey": "5smGxL7bfeRokaN53Z31Y72dF2Lkr5Cg1kuWRV3gniNe", "proofs": [ "utPRH3XjCUthAmhZBq3L2SYNqz2pigL3JgqCaPxdgPRQ6AJD9jHVCWBv5U9beiuBevixuGyGys7aNztbFQk8gVC" ], "script": "base64:AAIFAAAAAAAAABgIAhIECgIBARIECgIBARIICgYBAQEIAQEAAAAZAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmJldGFCaWdJbnQAAAAAaxoi+AABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGkAAAACCQAAZAAAAAIJAABrAAAAAwUAAAAHc2NhbGUxMgUAAAABeAUAAAABeQkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF5BQAAAAF4AAAAAAAAAAACAAAAAAAAACcQAQAAAA5za2V3bmVzc0JpZ0ludAAAAAIAAAABeAAAAAF5CQAAaQAAAAIJAABkAAAAAgkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF4BQAAAAF5CQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgAAAAAAAAAAAIBAAAADWludmFyaWFudENhbGMAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04JAABkAAAAAgkAAGsAAAADBQAAAAJ4eQUAAAAGc2NhbGU4BQAAAAhmaXJzdHBvdwkAAGgAAAACAAAAAAAAAAACCQAAawAAAAMFAAAACXNlY29uZHBvdwUAAAAIdGhpcmRwb3cFAAAABnNjYWxlOAEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAAAABJ0b2tlblJlY2VpdmVBbW91bnQAAAAHdG9rZW5JZAQAAAANc2xpcHBhZ2VWYWx1ZQkAAGUAAAACBQAAAAZzY2FsZTgJAABpAAAAAgkAAGgAAAACBQAAAAZzY2FsZTgAAAAAAAAAAAEAAAAAAACYloAEAAAAHmRlbHRhQmV0d2Vlbk1heEFuZE1pblNlbmRWYWx1ZQkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAQAAAABeAkAAGQAAAACBQAAAAhiYWxhbmNlQQUAAAASdG9rZW5SZWNlaXZlQW1vdW50BAAAAAF5CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAABJ0b2tlblJlY2VpdmVBbW91bnQEAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIEAAAADGludmFyaWFudE5ldwMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEEJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgUAAAABeAkAAGUAAAACBQAAAAhiYWxhbmNlQgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQgkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAAXkJAAACAAAAAQIAAAAWV3JvbmcgYXNzZXQgaW4gcGF5bWVudAQAAAAXaW52YXJpYW50RXN0aW1hdGVkUmF0aW8JAABrAAAAAwUAAAAGc2NhbGU4BQAAAAlpbnZhcmlhbnQFAAAADGludmFyaWFudE5ldwoBAAAADWdldFN0ZXBBbW91bnQAAAACAAAAA2FjYwAAAARzdGVwAwkAAAAAAAACBQAAAANhY2MA//////////8EAAAADGFtb3VudFRvU2VuZAkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQJAABpAAAAAgkAAGgAAAACBQAAAARzdGVwBQAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUAAAAAAAAAAAUEAAAADXN0ZXBJbnZhcmlhbnQDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAADGFtb3VudFRvU2VuZAkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAAAxhbW91bnRUb1NlbmQFAAAAAXkDCQAAZgAAAAIFAAAADXN0ZXBJbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAAMYW1vdW50VG9TZW5kAP//////////BQAAAANhY2MEAAAACnN0ZXBBbW91bnQKAAAAAAIkbAkABEwAAAACAAAAAAAAAAABCQAETAAAAAIAAAAAAAAAAAIJAARMAAAAAgAAAAAAAAAAAwkABEwAAAACAAAAAAAAAAAECQAETAAAAAIAAAAAAAAAAAUFAAAAA25pbAoAAAAAAiRzCQABkAAAAAEFAAAAAiRsCgAAAAAFJGFjYzAA//////////8KAQAAAAUkZjBfMQAAAAIAAAACJGEAAAACJGkDCQAAZwAAAAIFAAAAAiRpBQAAAAIkcwUAAAACJGEJAQAAAA1nZXRTdGVwQW1vdW50AAAAAgUAAAACJGEJAAGRAAAAAgUAAAACJGwFAAAAAiRpCgEAAAAFJGYwXzIAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQAAAgAAAAECAAAAE0xpc3Qgc2l6ZSBleGNlZWRzIDUJAQAAAAUkZjBfMgAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIFAAAABSRhY2MwAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAACAAAAAAAAAAADAAAAAAAAAAAEAAAAAAAAAAAFAwkAAGYAAAACAAAAAAAAAAAABQAAAApzdGVwQW1vdW50CQAAAgAAAAECAAAANHNvbWV0aGluZyB3ZW50IHdyb25nIHdoaWxlIHdvcmtpbmcgd2l0aCBhbW91bnRUb1NlbmQDAwkAAGYAAAACBQAAABdpbnZhcmlhbnRFc3RpbWF0ZWRSYXRpbwUAAAANc2xpcHBhZ2VWYWx1ZQkAAGYAAAACBQAAAAxpbnZhcmlhbnROZXcFAAAACWludmFyaWFudAcFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAUAAAAKc3RlcEFtb3VudAAAAAMAAAABaQEAAAAOaW52YXJpYW50Q2FsY2MAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04EAAAADWZyYWN0aW9uRmlyc3QJAABrAAAAAwUAAAACeHkFAAAABnNjYWxlOAUAAAAIZmlyc3Rwb3cEAAAADmZyYWN0aW9uU2Vjb25kCQAAawAAAAMFAAAACXNlY29uZHBvdwUAAAAIdGhpcmRwb3cFAAAABnNjYWxlOAQAAAAJaW52YXJpYW50CQAAZAAAAAIFAAAADWZyYWN0aW9uRmlyc3QJAABoAAAAAgAAAAAAAAAAAgUAAAAOZnJhY3Rpb25TZWNvbmQJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAACWludmFyaWFudAUAAAAJaW52YXJpYW50BQAAAANuaWwAAAABaQEAAAAUaW52YXJpYW50Q2FsY2NCaWdJbnQAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAA5za2V3bmVzc0JpZ0ludAAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQABNgAAAAEJAABkAAAAAgUAAAABeAUAAAABeQQAAAAIZmlyc3Rwb3cJAAB2AAAABgkAATYAAAABBQAAAAJzawUAAAAIZGlnaXRzMTIJAAE2AAAAAQUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAhkaWdpdHMxMgUAAAAHQ0VJTElORwQAAAAJc2Vjb25kcG93CQAAdgAAAAYJAAE8AAAAAwkAATYAAAABBQAAAAF4CQABNgAAAAEFAAAAAXkJAAE2AAAAAQUAAAAGc2NhbGU4AAAAAAAAAAAACQABNgAAAAEAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAAB2AAAABgkAATYAAAABCQAAZQAAAAIFAAAAAnNrBQAAAApiZXRhQmlnSW50BQAAAAhkaWdpdHMxMgkAATYAAAABBQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAACGRpZ2l0czEyBQAAAARET1dOBAAAAA1mcmFjdGlvbkZpcnN0CQABoAAAAAEJAAE8AAAAAwUAAAACeHkJAAE2AAAAAQUAAAAHc2NhbGUxMgUAAAAIZmlyc3Rwb3cEAAAADmZyYWN0aW9uU2Vjb25kCQABoAAAAAEJAAE8AAAAAwUAAAAJc2Vjb25kcG93BQAAAAh0aGlyZHBvdwkAATYAAAABBQAAAAdzY2FsZTEyBAAAAAlpbnZhcmlhbnQJAABkAAAAAgUAAAANZnJhY3Rpb25GaXJzdAkAAGgAAAACAAAAAAAAAAACBQAAAA5mcmFjdGlvblNlY29uZAkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAAA25pbAAAAAFpAQAAAAhleGNoYW5nZQAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAJcG10QW1vdW50AAAACnBtdEFzc2V0SWQAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQQAAAAGYW1vdW50CQEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYFAAAACGJhbGFuY2VBBQAAAAhiYWxhbmNlQgUAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlBQAAABJtaW5BbW91bnRUb1JlY2VpdmUFAAAACXBtdEFtb3VudAUAAAAKcG10QXNzZXRJZAQAAAAQZ292ZXJuYW5jZVJld2FyZAkAAGsAAAADBQAAAAZhbW91bnQFAAAADWZlZUdvdmVybmFuY2UFAAAACWZlZVNjYWxlNgQAAAAOYW1vdW50TWludXNGZWUJAABrAAAAAwUAAAAGYW1vdW50CQAAZQAAAAIFAAAACWZlZVNjYWxlNgUAAAADZmVlBQAAAAlmZWVTY2FsZTYJAAROAAAAAgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAKc2VuZEFtb3VudAUAAAAGYW1vdW50CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAABdzZW5kQW1vdW50V2l0aENvbWlzc2lvbgUAAAAOYW1vdW50TWludXNGZWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIFAAAAA25pbAMJAAAAAAAAAgUAAAAKcG10QXNzZXRJZAUAAAALc3RyQXNzZXRJZEEJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAADGludmFyaWFudE5ldwkBAAAADWludmFyaWFudENhbGMAAAACCQAAZAAAAAIFAAAACGJhbGFuY2VBBQAAAAlwbXRBbW91bnQJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAABmFtb3VudAUAAAADbmlsCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAxpbnZhcmlhbnROZXcJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAGYW1vdW50CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAAAlwbXRBbW91bnQFAAAAA25pbAAAAAEAAAACdHgBAAAABnZlcmlmeQAAAAAJAAH0AAAAAwgFAAAAAnR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHgAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V57AB5AA==", "height": 1918964, "applicationStatus": "succeeded", "spentComplexity": 0 } View: original | compacted Prev: 2Mtyt5xpxekNEuC4UbaufkTREJS34WYNk2hT1gRhMg7g Next: HnXK7yM16Rk9BRHepsw8RZFJsssHZR16YJs8jyvDxxxP Diff:
Old | New | Differences | |
---|---|---|---|
146 | 146 | let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId) | |
147 | 147 | let governanceReward = fraction(amount, feeGovernance, feeScale6) | |
148 | 148 | let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6) | |
149 | - | [IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee)] | |
149 | + | ([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA)) | |
150 | + | then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))] | |
151 | + | else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))])) | |
150 | 152 | } | |
151 | 153 | ||
152 | 154 |
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 fractionFirst = fraction(xy, scale8, firstpow) | |
122 | 122 | let fractionSecond = fraction(secondpow, thirdpow, scale8) | |
123 | 123 | let invariant = (fractionFirst + (2 * fractionSecond)) | |
124 | 124 | [IntegerEntry("invariant", invariant)] | |
125 | 125 | } | |
126 | 126 | ||
127 | 127 | ||
128 | 128 | ||
129 | 129 | @Callable(i) | |
130 | 130 | func invariantCalccBigInt (x,y) = { | |
131 | 131 | let sk = skewnessBigInt(x, y) | |
132 | 132 | let xy = toBigInt((x + y)) | |
133 | 133 | let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING) | |
134 | 134 | let secondpow = pow(fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)), 0, toBigInt(5), 1, (digits8 / 2), DOWN) | |
135 | 135 | let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN) | |
136 | 136 | let fractionFirst = toInt(fraction(xy, toBigInt(scale12), firstpow)) | |
137 | 137 | let fractionSecond = toInt(fraction(secondpow, thirdpow, toBigInt(scale12))) | |
138 | 138 | let invariant = (fractionFirst + (2 * fractionSecond)) | |
139 | 139 | [IntegerEntry("invariant", invariant)] | |
140 | 140 | } | |
141 | 141 | ||
142 | 142 | ||
143 | 143 | ||
144 | 144 | @Callable(i) | |
145 | 145 | func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = { | |
146 | 146 | let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId) | |
147 | 147 | let governanceReward = fraction(amount, feeGovernance, feeScale6) | |
148 | 148 | let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6) | |
149 | - | [IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee)] | |
149 | + | ([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA)) | |
150 | + | then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))] | |
151 | + | else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))])) | |
150 | 152 | } | |
151 | 153 | ||
152 | 154 | ||
153 | 155 | @Verifier(tx) | |
154 | 156 | func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey) | |
155 | 157 |
github/deemru/w8io/026f985 43.34 ms ◑