tx · GvkGdywtQqPmjxF2o3ji34u5RT16ejy6bS72yRLYbL6q

3N4revPn12feiSAyC78tAZEJfsyprVYPzsL:  -0.05000000 Waves

2022.02.10 11:24 [1917285] smart account 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "GvkGdywtQqPmjxF2o3ji34u5RT16ejy6bS72yRLYbL6q",
    "fee": 5000000,
    "feeAssetId": null,
    "timestamp": 1644481503947,
    "version": 2,
    "chainId": 84,
    "sender": "3N4revPn12feiSAyC78tAZEJfsyprVYPzsL",
    "senderPublicKey": "5smGxL7bfeRokaN53Z31Y72dF2Lkr5Cg1kuWRV3gniNe",
    "proofs": [
        "3XKN7AQr3JV7fReA9Mze9ahEsnBdg3GFruSyvfnsSmbNi7yTP1BhUykDYPkLjhfqCHjHkvaDLY12UPoLiPD8P2mC"
    ],
    "script": "base64:AAIFAAAAAAAAABgIAhIECgIBARIECgIBARIICgYBAQEIAQEAAAAYAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmJldGFCaWdJbnQAAAAAaxoi+AABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGkAAAACCQAAZAAAAAIJAABrAAAAAwUAAAAHc2NhbGUxMgUAAAABeAUAAAABeQkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF5BQAAAAF4AAAAAAAAAAACAAAAAAAAACcQAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAIc2tld25lc3MAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAAGQAAAACBQAAAAF4BQAAAAF5BAAAAAhmaXJzdHBvdwkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HBAAAAAlzZWNvbmRwb3cJAABsAAAABgkAAGsAAAADBQAAAAF4BQAAAAF5BQAAAAZzY2FsZTgAAAAAAAAAAAAAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAABsAAAABgkAAGUAAAACBQAAAAJzawUAAAAEYmV0YQUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAARET1dOCQAAZAAAAAIJAABrAAAAAwUAAAACeHkFAAAABnNjYWxlOAUAAAAIZmlyc3Rwb3cJAABoAAAAAgAAAAAAAAAAAgkAAGsAAAADBQAAAAlzZWNvbmRwb3cFAAAACHRoaXJkcG93BQAAAAZzY2FsZTgBAAAAE2NhbGN1bGF0ZVNlbmRBbW91bnQAAAAGAAAACGJhbGFuY2VBAAAACGJhbGFuY2VCAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQAAAASdG9rZW5SZWNlaXZlQW1vdW50AAAAB3Rva2VuSWQEAAAADXNsaXBwYWdlVmFsdWUJAABlAAAAAgUAAAAGc2NhbGU4CQAAaQAAAAIJAABoAAAAAgUAAAAGc2NhbGU4AAAAAAAAAAABAAAAAAAAmJaABAAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQEAAAAAXgJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAAEnRva2VuUmVjZWl2ZUFtb3VudAQAAAABeQkAAGQAAAACBQAAAAhiYWxhbmNlQgUAAAASdG9rZW5SZWNlaXZlQW1vdW50BAAAAAlpbnZhcmlhbnQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBAAAAAxpbnZhcmlhbnROZXcDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEIJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAAAF5CQAAAgAAAAECAAAAFldyb25nIGFzc2V0IGluIHBheW1lbnQEAAAAF2ludmFyaWFudEVzdGltYXRlZFJhdGlvCQAAawAAAAMFAAAABnNjYWxlOAUAAAAJaW52YXJpYW50BQAAAAxpbnZhcmlhbnROZXcKAQAAAA1nZXRTdGVwQW1vdW50AAAAAgAAAANhY2MAAAAEc3RlcAMJAAAAAAAAAgUAAAADYWNjAP//////////BAAAAAxhbW91bnRUb1NlbmQJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkCQAAaQAAAAIJAABoAAAAAgUAAAAEc3RlcAUAAAAeZGVsdGFCZXR3ZWVuTWF4QW5kTWluU2VuZFZhbHVlAAAAAAAAAAAFBAAAAA1zdGVwSW52YXJpYW50AwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQQkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAF4CQAAZQAAAAIFAAAACGJhbGFuY2VCBQAAAAxhbW91bnRUb1NlbmQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAMYW1vdW50VG9TZW5kBQAAAAF5AwkAAGYAAAACBQAAAA1zdGVwSW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAADGFtb3VudFRvU2VuZAD//////////wUAAAADYWNjBAAAAApzdGVwQW1vdW50CgAAAAACJGwJAARMAAAAAgAAAAAAAAAAAQkABEwAAAACAAAAAAAAAAACCQAETAAAAAIAAAAAAAAAAAMJAARMAAAAAgAAAAAAAAAABAkABEwAAAACAAAAAAAAAAAFBQAAAANuaWwKAAAAAAIkcwkAAZAAAAABBQAAAAIkbAoAAAAABSRhY2MwAP//////////CgEAAAAFJGYwXzEAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIFAAAAAiRhCQABkQAAAAIFAAAAAiRsBQAAAAIkaQoBAAAABSRmMF8yAAAAAgAAAAIkYQAAAAIkaQMJAABnAAAAAgUAAAACJGkFAAAAAiRzBQAAAAIkYQkAAAIAAAABAgAAABNMaXN0IHNpemUgZXhjZWVkcyA1CQEAAAAFJGYwXzIAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACBQAAAAUkYWNjMAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAgAAAAAAAAAAAwAAAAAAAAAABAAAAAAAAAAABQMJAABmAAAAAgAAAAAAAAAAAAUAAAAKc3RlcEFtb3VudAkAAAIAAAABAgAAADRzb21ldGhpbmcgd2VudCB3cm9uZyB3aGlsZSB3b3JraW5nIHdpdGggYW1vdW50VG9TZW5kAwMJAABmAAAAAgUAAAAXaW52YXJpYW50RXN0aW1hdGVkUmF0aW8FAAAADXNsaXBwYWdlVmFsdWUJAABmAAAAAgUAAAAMaW52YXJpYW50TmV3BQAAAAlpbnZhcmlhbnQHBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAACnN0ZXBBbW91bnQAAAADAAAAAWkBAAAADmludmFyaWFudENhbGNjAAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAIc2tld25lc3MAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAAGQAAAACBQAAAAF4BQAAAAF5BAAAAAhmaXJzdHBvdwkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HBAAAAAlzZWNvbmRwb3cJAABsAAAABgkAAGsAAAADBQAAAAF4BQAAAAF5BQAAAAZzY2FsZTgAAAAAAAAAAAAAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAABsAAAABgkAAGUAAAACBQAAAAJzawUAAAAEYmV0YQUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAARET1dOBAAAAAlpbnZhcmlhbnQJAABkAAAAAgkAAGsAAAADBQAAAAJ4eQUAAAAGc2NhbGU4BQAAAAhmaXJzdHBvdwkAAGgAAAACAAAAAAAAAAACCQAAawAAAAMFAAAACXNlY29uZHBvdwUAAAAIdGhpcmRwb3cFAAAABnNjYWxlOAkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAAA25pbAAAAAFpAQAAABRpbnZhcmlhbnRDYWxjY0JpZ0ludAAAAAIAAAABeAAAAAF5BAAAAAJzawkBAAAACHNrZXduZXNzAAAAAgUAAAABeAUAAAABeQQAAAAJaW52YXJpYW50CQAAZAAAAAIJAAGgAAAAAQkAATwAAAADCQABNgAAAAEJAABkAAAAAgUAAAABeAUAAAABeQkAATYAAAABBQAAAAdzY2FsZTEyCQAAdgAAAAYJAAE2AAAAAQUAAAACc2sFAAAACGRpZ2l0czEyCQABNgAAAAEFAAAABWFscGhhBQAAAAthbHBoYURpZ2l0cwUAAAAIZGlnaXRzMTIFAAAAB0NFSUxJTkcJAABoAAAAAgAAAAAAAAAAAgkAAaAAAAABCQABPAAAAAMJAAB2AAAABgkAATwAAAADCQABNgAAAAEFAAAAAXgJAAE2AAAAAQUAAAABeQkAATYAAAABBQAAAAZzY2FsZTgAAAAAAAAAAAAJAAE2AAAAAQAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOCQAAdgAAAAYJAAE2AAAAAQkAAGUAAAACBQAAAAJzawUAAAAKYmV0YUJpZ0ludAUAAAAIZGlnaXRzMTIJAAE2AAAAAQUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAhkaWdpdHMxMgUAAAAERE9XTgkAATYAAAABBQAAAAdzY2FsZTEyCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAlpbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAADbmlsAAAAAWkBAAAACGV4Y2hhbmdlAAAABgAAAAhiYWxhbmNlQQAAAAhiYWxhbmNlQgAAAAlwbXRBbW91bnQAAAAKcG10QXNzZXRJZAAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUAAAASbWluQW1vdW50VG9SZWNlaXZlBAAAAAZhbW91bnQJAQAAABNjYWxjdWxhdGVTZW5kQW1vdW50AAAABgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBQAAABhlc3RpbWF0ZWRBbW91bnRUb1JlY2VpdmUFAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQUAAAAJcG10QW1vdW50BQAAAApwbXRBc3NldElkBAAAABBnb3Zlcm5hbmNlUmV3YXJkCQAAawAAAAMFAAAABmFtb3VudAUAAAANZmVlR292ZXJuYW5jZQUAAAAJZmVlU2NhbGU2BAAAAA5hbW91bnRNaW51c0ZlZQkAAGsAAAADBQAAAAZhbW91bnQJAABlAAAAAgUAAAAJZmVlU2NhbGU2BQAAAANmZWUFAAAACWZlZVNjYWxlNgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAKc2VuZEFtb3VudAUAAAAGYW1vdW50CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAABdzZW5kQW1vdW50V2l0aENvbWlzc2lvbgUAAAAOYW1vdW50TWludXNGZWUFAAAAA25pbAAAAAEAAAACdHgBAAAABnZlcmlmeQAAAAAJAAH0AAAAAwgFAAAAAnR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHgAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V5ehdxBA==",
    "height": 1917285,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

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

Diff: 
Old
New
Differences
111
111
 
@Callable(i)
112
112
 
func invariantCalcc (x,y) = {
113
113
 
    let sk = skewness(x, y)
114
-
    let invariant = (fraction((x + y), scale8, pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)) + (2 * fraction(pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN), pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN), scale8)))
114
+
    let xy = (x + y)
115
+
    let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
116
+
    let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
117
+
    let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
118
+
    let invariant = (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
115
119
 
[IntegerEntry("invariant", invariant)]
116
120
 
    }
117
121
 

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 invariantCalc (x,y) = {
54
54
 
    let sk = skewness(x, y)
55
55
 
    let xy = (x + y)
56
56
 
    let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
57
57
 
    let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
58
58
 
    let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
59
59
 
    (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
60
60
 
    }
61
61
 
62
62
 
63
63
 
func calculateSendAmount (balanceA,balanceB,amountToSendEstimated,minTokenReceiveAmount,tokenReceiveAmount,tokenId) = {
64
64
 
    let slippageValue = (scale8 - ((scale8 * 1) / 10000000))
65
65
 
    let deltaBetweenMaxAndMinSendValue = (amountToSendEstimated - minTokenReceiveAmount)
66
66
 
    let x = (balanceA + tokenReceiveAmount)
67
67
 
    let y = (balanceB + tokenReceiveAmount)
68
68
 
    let invariant = invariantCalc(balanceA, balanceB)
69
69
 
    let invariantNew = if ((tokenId == strAssetIdA))
70
70
 
        then invariantCalc(x, (balanceB - amountToSendEstimated))
71
71
 
        else if ((tokenId == strAssetIdB))
72
72
 
            then invariantCalc((balanceA - amountToSendEstimated), y)
73
73
 
            else throw("Wrong asset in payment")
74
74
 
    let invariantEstimatedRatio = fraction(scale8, invariant, invariantNew)
75
75
 
    func getStepAmount (acc,step) =     if ((acc == -1))
76
76
 
        then {
77
77
 
            let amountToSend = (amountToSendEstimated - ((step * deltaBetweenMaxAndMinSendValue) / 5))
78
78
 
            let stepInvariant = if ((tokenId == strAssetIdA))
79
79
 
                then invariantCalc(x, (balanceB - amountToSend))
80
80
 
                else invariantCalc((balanceA - amountToSend), y)
81
81
 
            if ((stepInvariant > invariant))
82
82
 
                then amountToSend
83
83
 
                else -1
84
84
 
            }
85
85
 
        else acc
86
86
 
87
87
 
    let stepAmount = {
88
88
 
        let $l = [1, 2, 3, 4, 5]
89
89
 
        let $s = size($l)
90
90
 
        let $acc0 = -1
91
91
 
        func $f0_1 ($a,$i) =         if (($i >= $s))
92
92
 
            then $a
93
93
 
            else getStepAmount($a, $l[$i])
94
94
 
95
95
 
        func $f0_2 ($a,$i) =         if (($i >= $s))
96
96
 
            then $a
97
97
 
            else throw("List size exceeds 5")
98
98
 
99
99
 
        $f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5)
100
100
 
        }
101
101
 
    if ((0 > stepAmount))
102
102
 
        then throw("something went wrong while working with amountToSend")
103
103
 
        else if (if ((invariantEstimatedRatio > slippageValue))
104
104
 
            then (invariantNew > invariant)
105
105
 
            else false)
106
106
 
            then amountToSendEstimated
107
107
 
            else stepAmount
108
108
 
    }
109
109
 
110
110
 
111
111
 
@Callable(i)
112
112
 
func invariantCalcc (x,y) = {
113
113
 
    let sk = skewness(x, y)
114
-
    let invariant = (fraction((x + y), scale8, pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)) + (2 * fraction(pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN), pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN), scale8)))
114
+
    let xy = (x + y)
115
+
    let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING)
116
+
    let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN)
117
+
    let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN)
118
+
    let invariant = (fraction(xy, scale8, firstpow) + (2 * fraction(secondpow, thirdpow, scale8)))
115
119
 
[IntegerEntry("invariant", invariant)]
116
120
 
    }
117
121
 
118
122
 
119
123
 
120
124
 
@Callable(i)
121
125
 
func invariantCalccBigInt (x,y) = {
122
126
 
    let sk = skewness(x, y)
123
127
 
    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)))))
124
128
 
[IntegerEntry("invariant", invariant)]
125
129
 
    }
126
130
 
127
131
 
128
132
 
129
133
 
@Callable(i)
130
134
 
func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = {
131
135
 
    let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId)
132
136
 
    let governanceReward = fraction(amount, feeGovernance, feeScale6)
133
137
 
    let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6)
134
138
 
[IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee)]
135
139
 
    }
136
140
 
137
141
 
138
142
 
@Verifier(tx)
139
143
 
func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey)
140
144
 

github/deemru/w8io/169f3d6 
47.16 ms ◑