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 J = y(B, C)
63
63
 
    let w = (B + F)
64
64
 
    let x = (C + F)
65
-
    func K (L,M) =     if ((L == -1))
65
+
    func K (L,M) =     if ((L._1 == -1))
66
66
 
        then {
67
67
 
            let N = (D - (((M * I) / 3) / h))
68
68
 
            let O = if ((G == a))
69
69
 
                then y(w, (C - N))
70
70
 
                else y((B - N), x)
71
71
 
            if ((O > J))
72
-
                then N
73
-
                else -1
72
+
                then $Tuple2(N, O)
73
+
                else $Tuple2(-1, 0)
74
74
 
            }
75
75
 
        else L
76
76
 
77
-
    let P = K(-1, 3)
78
-
    if ((0 > P))
77
+
    let P = K($Tuple2(-1, 0), 3)
78
+
    if ((0 > P._1))
79
79
 
        then throw("!!!!!")
80
80
 
        else {
81
81
 
            let Q = if ((G == a))
83
83
 
                else if ((G == b))
84
84
 
                    then y((B - D), x)
85
85
 
                    else throw("Wrong asset in payment")
86
-
            if ((H >= fraction(i, J, Q)))
87
-
                then throw("Bad estimation provided")
86
+
            let R = if ((J > Q))
87
+
                then if ((H >= fraction(i, J, Q)))
88
+
                    then throw("Bad estimation provided")
89
+
                    else {
90
+
                        let S = {
91
+
                            let T = [25, 200, 500]
92
+
                            let U = size(T)
93
+
                            let V = $Tuple2(-1, 0)
94
+
                            func W (X,Y) =                             if ((Y >= U))
95
+
                                then X
96
+
                                else K(X, T[Y])
97
+
98
+
                            func Z (X,Y) =                             if ((Y >= U))
99
+
                                then X
100
+
                                else throw("List size exceeds 3")
101
+
102
+
                            Z(W(W(W(V, 0), 1), 2), 3)
103
+
                            }
104
+
                        if ((0 > S._1))
105
+
                            then P._1
106
+
                            else S._1
107
+
                        }
88
108
 
                else {
89
-
                    let R = if ((J > Q))
90
-
                        then {
91
-
                            let S = {
92
-
                                let T = [25, 200, 500]
93
-
                                let U = size(T)
94
-
                                let V = -1
95
-
                                func W (X,Y) =                                 if ((Y >= U))
96
-
                                    then X
97
-
                                    else K(X, T[Y])
109
+
                    let S = {
110
+
                        let T = [-500, -200, -25]
111
+
                        let U = size(T)
112
+
                        let V = $Tuple2(-1, 0)
113
+
                        func W (X,Y) =                         if ((Y >= U))
114
+
                            then X
115
+
                            else K(X, T[Y])
98
116
 
99
-
                                func Z (X,Y) =                                 if ((Y >= U))
100
-
                                    then X
101
-
                                    else throw("List size exceeds 3")
117
+
                        func Z (X,Y) =                         if ((Y >= U))
118
+
                            then X
119
+
                            else throw("List size exceeds 3")
102
120
 
103
-
                                Z(W(W(W(V, 0), 1), 2), 3)
104
-
                                }
105
-
                            if ((0 > S))
106
-
                                then P
107
-
                                else S
108
-
                            }
109
-
                        else {
110
-
                            let S = {
111
-
                                let T = [-500, -200, -25]
112
-
                                let U = size(T)
113
-
                                let V = -1
114
-
                                func W (X,Y) =                                 if ((Y >= U))
115
-
                                    then X
116
-
                                    else K(X, T[Y])
117
-
118
-
                                func Z (X,Y) =                                 if ((Y >= U))
119
-
                                    then X
120
-
                                    else throw("List size exceeds 3")
121
-
122
-
                                Z(W(W(W(V, 0), 1), 2), 3)
123
-
                                }
124
-
                            if ((0 > S))
125
-
                                then D
126
-
                                else S
127
-
                            }
128
-
                    R
121
+
                        Z(W(W(W(V, 0), 1), 2), 3)
122
+
                        }
123
+
                    let aa = if ((0 > S._1))
124
+
                        then $Tuple2(D, Q)
125
+
                        else S
126
+
                    if ((H >= fraction(i, J, aa._2)))
127
+
                        then throw("Bad estimation provided")
128
+
                        else aa._1
129
129
 
                    }
130
+
            R
130
131
 
            }
131
132
 
    }
132
133
 
133
134
 
134
-
@Callable(aa)
135
-
func exchange (B,C,ab,ac,ad,ae) = {
136
-
    let af = A(B, C, ad, ae, ab, ac)
137
-
    let ag = fraction(af, f, g)
138
-
    let ah = fraction(af, (g - e), g)
139
-
    ([IntegerEntry("sendAmount", af), IntegerEntry("sendAmountWithComission", ah), IntegerEntry("invariant", y(B, C))] ++ (if ((ac == a))
140
-
        then [IntegerEntry("invariantNew", y((B + ab), (C - af)))]
141
-
        else [IntegerEntry("invariantNew", y((B - af), (C + ab)))]))
135
+
@Callable(ab)
136
+
func exchange (B,C,ac,ad,ae,af) = {
137
+
    let ag = A(B, C, ae, af, ac, ad)
138
+
    let ah = fraction(ag, f, g)
139
+
    let ai = fraction(ag, (g - e), g)
140
+
    ([IntegerEntry("sendAmount", ag), IntegerEntry("sendAmountWithComission", ai), IntegerEntry("invariant", y(B, C))] ++ (if ((ad == a))
141
+
        then [IntegerEntry("invariantNew", y((B + ac), (C - ag)))]
142
+
        else [IntegerEntry("invariantNew", y((B - ag), (C + ac)))]))
142
143
 
    }
143
144
 
144
145
 
145
-
@Verifier(ai)
146
-
func aj () = sigVerify(ai.bodyBytes, ai.proofs[0], ai.senderPublicKey)
146
+
@Verifier(aj)
147
+
func ak () = sigVerify(aj.bodyBytes, aj.proofs[0], aj.senderPublicKey)
147
148
 

Full: 
Old
New
Differences
1
1
 
{-# STDLIB_VERSION 5 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
4
 
let a = "34N9YcEETLWn93qYQ64EsP1x89tSruJU44RrEMSXXEPJ"
5
5
 
6
6
 
let b = "DG2xFkPdDwKUoBkzGAhQtLpSGzfXLiCYPEzeKH2Ad24p"
7
7
 
8
8
 
let c = if ((a == "WAVES"))
9
9
 
    then unit
10
10
 
    else fromBase58String(a)
11
11
 
12
12
 
let d = if ((b == "WAVES"))
13
13
 
    then unit
14
14
 
    else fromBase58String(b)
15
15
 
16
16
 
let e = 500
17
17
 
18
18
 
let f = 200
19
19
 
20
20
 
let g = 1000000
21
21
 
22
22
 
let h = 1000
23
23
 
24
24
 
let i = 100000000
25
25
 
26
26
 
let j = 1000000000000
27
27
 
28
28
 
let k = 10000000000000000
29
29
 
30
30
 
let l = 1000
31
31
 
32
32
 
let m = 8
33
33
 
34
34
 
let n = 12
35
35
 
36
36
 
let o = 50
37
37
 
38
38
 
let p = 100
39
39
 
40
40
 
let q = 90000000
41
41
 
42
42
 
let r = 110000000
43
43
 
44
44
 
let s = 50
45
45
 
46
46
 
let t = 2
47
47
 
48
48
 
let u = 4600000000000000
49
49
 
50
50
 
func v (w,x) = ((fraction(k, w, x) + fraction(k, x, w)) / 2)
51
51
 
52
52
 
53
53
 
func y (w,x) = {
54
54
 
    let z = v(w, x)
55
55
 
    (fraction((w + x), k, pow(z, m, s, t, m, CEILING)) + (2 * fraction(toInt(pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (m / 2), DOWN)), pow((z - u), m, s, t, m, DOWN), i)))
56
56
 
    }
57
57
 
58
58
 
59
59
 
func A (B,C,D,E,F,G) = {
60
60
 
    let H = (i - ((i * 1) / 10000000))
61
61
 
    let I = (D - E)
62
62
 
    let J = y(B, C)
63
63
 
    let w = (B + F)
64
64
 
    let x = (C + F)
65
-
    func K (L,M) =     if ((L == -1))
65
+
    func K (L,M) =     if ((L._1 == -1))
66
66
 
        then {
67
67
 
            let N = (D - (((M * I) / 3) / h))
68
68
 
            let O = if ((G == a))
69
69
 
                then y(w, (C - N))
70
70
 
                else y((B - N), x)
71
71
 
            if ((O > J))
72
-
                then N
73
-
                else -1
72
+
                then $Tuple2(N, O)
73
+
                else $Tuple2(-1, 0)
74
74
 
            }
75
75
 
        else L
76
76
 
77
-
    let P = K(-1, 3)
78
-
    if ((0 > P))
77
+
    let P = K($Tuple2(-1, 0), 3)
78
+
    if ((0 > P._1))
79
79
 
        then throw("!!!!!")
80
80
 
        else {
81
81
 
            let Q = if ((G == a))
82
82
 
                then y(w, (C - D))
83
83
 
                else if ((G == b))
84
84
 
                    then y((B - D), x)
85
85
 
                    else throw("Wrong asset in payment")
86
-
            if ((H >= fraction(i, J, Q)))
87
-
                then throw("Bad estimation provided")
86
+
            let R = if ((J > Q))
87
+
                then if ((H >= fraction(i, J, Q)))
88
+
                    then throw("Bad estimation provided")
89
+
                    else {
90
+
                        let S = {
91
+
                            let T = [25, 200, 500]
92
+
                            let U = size(T)
93
+
                            let V = $Tuple2(-1, 0)
94
+
                            func W (X,Y) =                             if ((Y >= U))
95
+
                                then X
96
+
                                else K(X, T[Y])
97
+
98
+
                            func Z (X,Y) =                             if ((Y >= U))
99
+
                                then X
100
+
                                else throw("List size exceeds 3")
101
+
102
+
                            Z(W(W(W(V, 0), 1), 2), 3)
103
+
                            }
104
+
                        if ((0 > S._1))
105
+
                            then P._1
106
+
                            else S._1
107
+
                        }
88
108
 
                else {
89
-
                    let R = if ((J > Q))
90
-
                        then {
91
-
                            let S = {
92
-
                                let T = [25, 200, 500]
93
-
                                let U = size(T)
94
-
                                let V = -1
95
-
                                func W (X,Y) =                                 if ((Y >= U))
96
-
                                    then X
97
-
                                    else K(X, T[Y])
109
+
                    let S = {
110
+
                        let T = [-500, -200, -25]
111
+
                        let U = size(T)
112
+
                        let V = $Tuple2(-1, 0)
113
+
                        func W (X,Y) =                         if ((Y >= U))
114
+
                            then X
115
+
                            else K(X, T[Y])
98
116
 
99
-
                                func Z (X,Y) =                                 if ((Y >= U))
100
-
                                    then X
101
-
                                    else throw("List size exceeds 3")
117
+
                        func Z (X,Y) =                         if ((Y >= U))
118
+
                            then X
119
+
                            else throw("List size exceeds 3")
102
120
 
103
-
                                Z(W(W(W(V, 0), 1), 2), 3)
104
-
                                }
105
-
                            if ((0 > S))
106
-
                                then P
107
-
                                else S
108
-
                            }
109
-
                        else {
110
-
                            let S = {
111
-
                                let T = [-500, -200, -25]
112
-
                                let U = size(T)
113
-
                                let V = -1
114
-
                                func W (X,Y) =                                 if ((Y >= U))
115
-
                                    then X
116
-
                                    else K(X, T[Y])
117
-
118
-
                                func Z (X,Y) =                                 if ((Y >= U))
119
-
                                    then X
120
-
                                    else throw("List size exceeds 3")
121
-
122
-
                                Z(W(W(W(V, 0), 1), 2), 3)
123
-
                                }
124
-
                            if ((0 > S))
125
-
                                then D
126
-
                                else S
127
-
                            }
128
-
                    R
121
+
                        Z(W(W(W(V, 0), 1), 2), 3)
122
+
                        }
123
+
                    let aa = if ((0 > S._1))
124
+
                        then $Tuple2(D, Q)
125
+
                        else S
126
+
                    if ((H >= fraction(i, J, aa._2)))
127
+
                        then throw("Bad estimation provided")
128
+
                        else aa._1
129
129
 
                    }
130
+
            R
130
131
 
            }
131
132
 
    }
132
133
 
133
134
 
134
-
@Callable(aa)
135
-
func exchange (B,C,ab,ac,ad,ae) = {
136
-
    let af = A(B, C, ad, ae, ab, ac)
137
-
    let ag = fraction(af, f, g)
138
-
    let ah = fraction(af, (g - e), g)
139
-
    ([IntegerEntry("sendAmount", af), IntegerEntry("sendAmountWithComission", ah), IntegerEntry("invariant", y(B, C))] ++ (if ((ac == a))
140
-
        then [IntegerEntry("invariantNew", y((B + ab), (C - af)))]
141
-
        else [IntegerEntry("invariantNew", y((B - af), (C + ab)))]))
135
+
@Callable(ab)
136
+
func exchange (B,C,ac,ad,ae,af) = {
137
+
    let ag = A(B, C, ae, af, ac, ad)
138
+
    let ah = fraction(ag, f, g)
139
+
    let ai = fraction(ag, (g - e), g)
140
+
    ([IntegerEntry("sendAmount", ag), IntegerEntry("sendAmountWithComission", ai), IntegerEntry("invariant", y(B, C))] ++ (if ((ad == a))
141
+
        then [IntegerEntry("invariantNew", y((B + ac), (C - ag)))]
142
+
        else [IntegerEntry("invariantNew", y((B - ag), (C + ac)))]))
142
143
 
    }
143
144
 
144
145
 
145
-
@Verifier(ai)
146
-
func aj () = sigVerify(ai.bodyBytes, ai.proofs[0], ai.senderPublicKey)
146
+
@Verifier(aj)
147
+
func ak () = sigVerify(aj.bodyBytes, aj.proofs[0], aj.senderPublicKey)
147
148
 

github/deemru/w8io/873ac7e 
54.02 ms ◑