tx · 47fQxWfxcvz3FfiTjtKH7HBUSyBRp4xoEW8dXaDjLjBB

3N4revPn12feiSAyC78tAZEJfsyprVYPzsL:  -0.05000000 Waves

2022.02.18 10:03 [1928736] smart account 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "47fQxWfxcvz3FfiTjtKH7HBUSyBRp4xoEW8dXaDjLjBB",
    "fee": 5000000,
    "feeAssetId": null,
    "timestamp": 1645167845490,
    "version": 2,
    "chainId": 84,
    "sender": "3N4revPn12feiSAyC78tAZEJfsyprVYPzsL",
    "senderPublicKey": "5smGxL7bfeRokaN53Z31Y72dF2Lkr5Cg1kuWRV3gniNe",
    "proofs": [
        "5d9wZzf9he3GCMYSxwQDJ38H1ixpSUrvrEyLVRQCUWXSwcHJvirEMQARGfEcv9TzFk6V8XK4TznzPXQF5ZG2iTzd"
    ],
    "script": "base64:AAIFAAAAAAAAABgIAhIECgIBARIECgIBARIICgYBAQEIAQEAAAAZAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmJldGFCaWdJbnQAAAAAaxoi+AABAAAACHNrZXduZXNzAAAAAgAAAAF4AAAAAXkJAABpAAAAAgkAAGkAAAACCQAAZAAAAAIJAABrAAAAAwUAAAAHc2NhbGUxMgUAAAABeAUAAAABeQkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF5BQAAAAF4AAAAAAAAAAACAAAAAAAAACcQAQAAAA5za2V3bmVzc0JpZ0ludAAAAAIAAAABeAAAAAF5CQAAaQAAAAIJAABkAAAAAgkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF4BQAAAAF5CQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgAAAAAAAAAAAIBAAAADWludmFyaWFudENhbGMAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04EAAAACGZpcnN0c3VtCQAAawAAAAMFAAAAAnh5BQAAAAZzY2FsZTgFAAAACGZpcnN0cG93BAAAAAlzZWNvbmRzdW0JAABoAAAAAgAAAAAAAAAAAgkAAGsAAAADBQAAAAlzZWNvbmRwb3cFAAAACHRoaXJkcG93BQAAAAZzY2FsZTgJAABkAAAAAgUAAAAIZmlyc3RzdW0FAAAACXNlY29uZHN1bQEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAAAABJ0b2tlblJlY2VpdmVBbW91bnQAAAAHdG9rZW5JZAQAAAANc2xpcHBhZ2VWYWx1ZQkAAGUAAAACBQAAAAZzY2FsZTgJAABpAAAAAgkAAGgAAAACBQAAAAZzY2FsZTgAAAAAAAAAAAEAAAAAAACYloAEAAAAHmRlbHRhQmV0d2Vlbk1heEFuZE1pblNlbmRWYWx1ZQkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAFW1pblRva2VuUmVjZWl2ZUFtb3VudAQAAAABeAkAAGQAAAACBQAAAAhiYWxhbmNlQQUAAAASdG9rZW5SZWNlaXZlQW1vdW50BAAAAAF5CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAABJ0b2tlblJlY2VpdmVBbW91bnQEAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIEAAAADGludmFyaWFudE5ldwMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEEJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgUAAAABeAkAAGUAAAACBQAAAAhiYWxhbmNlQgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkAwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQgkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAAAXkJAAACAAAAAQIAAAAWV3JvbmcgYXNzZXQgaW4gcGF5bWVudAQAAAAXaW52YXJpYW50RXN0aW1hdGVkUmF0aW8JAABrAAAAAwUAAAAGc2NhbGU4BQAAAAlpbnZhcmlhbnQFAAAADGludmFyaWFudE5ldwoBAAAADWdldFN0ZXBBbW91bnQAAAACAAAAA2FjYwAAAARzdGVwAwkAAAAAAAACBQAAAANhY2MA//////////8EAAAADGFtb3VudFRvU2VuZAkAAGUAAAACBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQJAABpAAAAAgkAAGgAAAACBQAAAARzdGVwBQAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUAAAAAAAAAAAUEAAAADXN0ZXBJbnZhcmlhbnQDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAADGFtb3VudFRvU2VuZAkBAAAADWludmFyaWFudENhbGMAAAACCQAAZQAAAAIFAAAACGJhbGFuY2VBBQAAAAxhbW91bnRUb1NlbmQFAAAAAXkDCQAAZgAAAAIFAAAADXN0ZXBJbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAAMYW1vdW50VG9TZW5kAP//////////BQAAAANhY2MEAAAACnN0ZXBBbW91bnQKAAAAAAIkbAkABEwAAAACAAAAAAAAAAABCQAETAAAAAIAAAAAAAAAAAIJAARMAAAAAgAAAAAAAAAAAwkABEwAAAACAAAAAAAAAAAECQAETAAAAAIAAAAAAAAAAAUFAAAAA25pbAoAAAAAAiRzCQABkAAAAAEFAAAAAiRsCgAAAAAFJGFjYzAA//////////8KAQAAAAUkZjBfMQAAAAIAAAACJGEAAAACJGkDCQAAZwAAAAIFAAAAAiRpBQAAAAIkcwUAAAACJGEJAQAAAA1nZXRTdGVwQW1vdW50AAAAAgUAAAACJGEJAAGRAAAAAgUAAAACJGwFAAAAAiRpCgEAAAAFJGYwXzIAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQAAAgAAAAECAAAAE0xpc3Qgc2l6ZSBleGNlZWRzIDUJAQAAAAUkZjBfMgAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIJAQAAAAUkZjBfMQAAAAIFAAAABSRhY2MwAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAACAAAAAAAAAAADAAAAAAAAAAAEAAAAAAAAAAAFAwkAAGYAAAACAAAAAAAAAAAABQAAAApzdGVwQW1vdW50CQAAAgAAAAECAAAANHNvbWV0aGluZyB3ZW50IHdyb25nIHdoaWxlIHdvcmtpbmcgd2l0aCBhbW91bnRUb1NlbmQDAwkAAGYAAAACBQAAABdpbnZhcmlhbnRFc3RpbWF0ZWRSYXRpbwUAAAANc2xpcHBhZ2VWYWx1ZQkAAGYAAAACBQAAAAxpbnZhcmlhbnROZXcFAAAACWludmFyaWFudAcFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAUAAAAKc3RlcEFtb3VudAAAAAMAAAABaQEAAAAOaW52YXJpYW50Q2FsY2MAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAAhza2V3bmVzcwAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAbAAAAAYFAAAAAnNrBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAAB0NFSUxJTkcEAAAACXNlY29uZHBvdwkAAGwAAAAGCQAAawAAAAMFAAAAAXgFAAAAAXkFAAAABnNjYWxlOAAAAAAAAAAAAAAAAAAAAAAABQAAAAAAAAAAAQkAAGkAAAACBQAAAAdkaWdpdHM4AAAAAAAAAAACBQAAAARET1dOBAAAAAh0aGlyZHBvdwkAAGwAAAAGCQAAZQAAAAIFAAAAAnNrBQAAAARiZXRhBQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04EAAAADWZyYWN0aW9uRmlyc3QJAABrAAAAAwUAAAACeHkFAAAABnNjYWxlOAUAAAAIZmlyc3Rwb3cEAAAADmZyYWN0aW9uU2Vjb25kCQAAawAAAAMFAAAACXNlY29uZHBvdwUAAAAIdGhpcmRwb3cFAAAABnNjYWxlOAQAAAAJaW52YXJpYW50CQAAZAAAAAIFAAAADWZyYWN0aW9uRmlyc3QJAABoAAAAAgAAAAAAAAAAAgUAAAAOZnJhY3Rpb25TZWNvbmQJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAACWludmFyaWFudAUAAAAJaW52YXJpYW50BQAAAANuaWwAAAABaQEAAAAUaW52YXJpYW50Q2FsY2NCaWdJbnQAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAA5za2V3bmVzc0JpZ0ludAAAAAIFAAAAAXgFAAAAAXkEAAAAAnh5CQABNgAAAAEJAABkAAAAAgUAAAABeAUAAAABeQQAAAAIZmlyc3Rwb3cJAAB2AAAABgkAATYAAAABBQAAAAJzawUAAAAIZGlnaXRzMTIJAAE2AAAAAQUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAhkaWdpdHMxMgUAAAAHQ0VJTElORwQAAAAJc2Vjb25kcG93CQAAdgAAAAYJAAE8AAAAAwkAATYAAAABBQAAAAF4CQABNgAAAAEFAAAAAXkJAAE2AAAAAQUAAAAGc2NhbGU4AAAAAAAAAAAACQABNgAAAAEAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAAB2AAAABgkAATYAAAABCQAAZQAAAAIFAAAAAnNrBQAAAApiZXRhQmlnSW50BQAAAAhkaWdpdHMxMgkAATYAAAABBQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAACGRpZ2l0czEyBQAAAARET1dOBAAAAA1mcmFjdGlvbkZpcnN0CQABoAAAAAEJAAE8AAAAAwUAAAACeHkJAAE2AAAAAQUAAAAHc2NhbGUxMgUAAAAIZmlyc3Rwb3cEAAAADmZyYWN0aW9uU2Vjb25kCQAAaAAAAAIAAAAAAAAAAAIJAAGgAAAAAQkAATwAAAADBQAAAAlzZWNvbmRwb3cFAAAACHRoaXJkcG93CQABNgAAAAEFAAAAB3NjYWxlMTIEAAAACWludmFyaWFudAkAAGQAAAACBQAAAA1mcmFjdGlvbkZpcnN0BQAAAA5mcmFjdGlvblNlY29uZAkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAAA25pbAAAAAFpAQAAAAhleGNoYW5nZQAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAJcG10QW1vdW50AAAACnBtdEFzc2V0SWQAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQQAAAAGYW1vdW50CQEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYFAAAACGJhbGFuY2VBBQAAAAhiYWxhbmNlQgUAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlBQAAABJtaW5BbW91bnRUb1JlY2VpdmUFAAAACXBtdEFtb3VudAUAAAAKcG10QXNzZXRJZAQAAAAQZ292ZXJuYW5jZVJld2FyZAkAAGsAAAADBQAAAAZhbW91bnQFAAAADWZlZUdvdmVybmFuY2UFAAAACWZlZVNjYWxlNgQAAAAOYW1vdW50TWludXNGZWUJAABrAAAAAwUAAAAGYW1vdW50CQAAZQAAAAIFAAAACWZlZVNjYWxlNgUAAAADZmVlBQAAAAlmZWVTY2FsZTYJAAROAAAAAgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAKc2VuZEFtb3VudAUAAAAGYW1vdW50CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAABdzZW5kQW1vdW50V2l0aENvbWlzc2lvbgUAAAAOYW1vdW50TWludXNGZWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIFAAAAA25pbAMJAAAAAAAAAgUAAAAKcG10QXNzZXRJZAUAAAALc3RyQXNzZXRJZEEJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAADGludmFyaWFudE5ldwkBAAAADWludmFyaWFudENhbGMAAAACCQAAZAAAAAIFAAAACGJhbGFuY2VBBQAAAAlwbXRBbW91bnQJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAABmFtb3VudAUAAAADbmlsCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAxpbnZhcmlhbnROZXcJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAGYW1vdW50CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAAAlwbXRBbW91bnQFAAAAA25pbAAAAAEAAAACdHgBAAAABnZlcmlmeQAAAAAJAAH0AAAAAwgFAAAAAnR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHgAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V5rY9OCA==",
    "height": 1928736,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: HnXK7yM16Rk9BRHepsw8RZFJsssHZR16YJs8jyvDxxxP
Next: J5b4bNh5jk7ZntukHhZyMEX3rug9fYDwyucLH2Lqhy8p

Diff: 
Old
New
Differences
136
136
 
    let D = pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN)
137
137
 
    let E = pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN)
138
138
 
    let ah = toInt(fraction(B, toBigInt(j), C))
139
-
    let ai = toInt(fraction(D, E, toBigInt(j)))
140
-
    let Q = (ah + (2 * ai))
139
+
    let ai = (2 * toInt(fraction(D, E, toBigInt(j))))
140
+
    let Q = (ah + ai)
141
141
 
[IntegerEntry("invariant", Q)]
142
142
 
    }
143
143
 

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 = 1000
29
29
 
30
30
 
let l = 8
31
31
 
32
32
 
let m = 12
33
33
 
34
34
 
let n = 50
35
35
 
36
36
 
let o = 100
37
37
 
38
38
 
let p = 90000000
39
39
 
40
40
 
let q = 110000000
41
41
 
42
42
 
let r = 50
43
43
 
44
44
 
let s = 2
45
45
 
46
46
 
let t = 46000000
47
47
 
48
48
 
let u = 460000000000
49
49
 
50
50
 
func v (w,x) = (((fraction(j, w, x) + fraction(j, x, w)) / 2) / 10000)
51
51
 
52
52
 
53
53
 
func y (w,x) = ((fraction(j, w, x) + fraction(j, x, w)) / 2)
54
54
 
55
55
 
56
56
 
func z (w,x) = {
57
57
 
    let A = v(w, x)
58
58
 
    let B = (w + x)
59
59
 
    let C = pow(A, l, r, s, l, CEILING)
60
60
 
    let D = pow(fraction(w, x, i), 0, 5, 1, (l / 2), DOWN)
61
61
 
    let E = pow((A - t), l, r, s, l, DOWN)
62
62
 
    let F = fraction(B, i, C)
63
63
 
    let G = (2 * fraction(D, E, i))
64
64
 
    (F + G)
65
65
 
    }
66
66
 
67
67
 
68
68
 
func H (I,J,K,L,M,N) = {
69
69
 
    let O = (i - ((i * 1) / 10000000))
70
70
 
    let P = (K - L)
71
71
 
    let w = (I + M)
72
72
 
    let x = (J + M)
73
73
 
    let Q = z(I, J)
74
74
 
    let R = if ((N == a))
75
75
 
        then z(w, (J - K))
76
76
 
        else if ((N == b))
77
77
 
            then z((I - K), x)
78
78
 
            else throw("Wrong asset in payment")
79
79
 
    let S = fraction(i, Q, R)
80
80
 
    func T (U,V) =     if ((U == -1))
81
81
 
        then {
82
82
 
            let W = (K - ((V * P) / 5))
83
83
 
            let X = if ((N == a))
84
84
 
                then z(w, (J - W))
85
85
 
                else z((I - W), x)
86
86
 
            if ((X > Q))
87
87
 
                then W
88
88
 
                else -1
89
89
 
            }
90
90
 
        else U
91
91
 
92
92
 
    let Y = {
93
93
 
        let Z = [1, 2, 3, 4, 5]
94
94
 
        let aa = size(Z)
95
95
 
        let ab = -1
96
96
 
        func ac (ad,ae) =         if ((ae >= aa))
97
97
 
            then ad
98
98
 
            else T(ad, Z[ae])
99
99
 
100
100
 
        func af (ad,ae) =         if ((ae >= aa))
101
101
 
            then ad
102
102
 
            else throw("List size exceeds 5")
103
103
 
104
104
 
        af(ac(ac(ac(ac(ac(ab, 0), 1), 2), 3), 4), 5)
105
105
 
        }
106
106
 
    if ((0 > Y))
107
107
 
        then throw("something went wrong while working with amountToSend")
108
108
 
        else if (if ((S > O))
109
109
 
            then (R > Q)
110
110
 
            else false)
111
111
 
            then K
112
112
 
            else Y
113
113
 
    }
114
114
 
115
115
 
116
116
 
@Callable(ag)
117
117
 
func invariantCalcc (w,x) = {
118
118
 
    let A = v(w, x)
119
119
 
    let B = (w + x)
120
120
 
    let C = pow(A, l, r, s, l, CEILING)
121
121
 
    let D = pow(fraction(w, x, i), 0, 5, 1, (l / 2), DOWN)
122
122
 
    let E = pow((A - t), l, r, s, l, DOWN)
123
123
 
    let ah = fraction(B, i, C)
124
124
 
    let ai = fraction(D, E, i)
125
125
 
    let Q = (ah + (2 * ai))
126
126
 
[IntegerEntry("invariant", Q)]
127
127
 
    }
128
128
 
129
129
 
130
130
 
131
131
 
@Callable(ag)
132
132
 
func invariantCalccBigInt (w,x) = {
133
133
 
    let A = y(w, x)
134
134
 
    let B = toBigInt((w + x))
135
135
 
    let C = pow(toBigInt(A), m, toBigInt(r), s, m, CEILING)
136
136
 
    let D = pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN)
137
137
 
    let E = pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN)
138
138
 
    let ah = toInt(fraction(B, toBigInt(j), C))
139
-
    let ai = toInt(fraction(D, E, toBigInt(j)))
140
-
    let Q = (ah + (2 * ai))
139
+
    let ai = (2 * toInt(fraction(D, E, toBigInt(j))))
140
+
    let Q = (ah + ai)
141
141
 
[IntegerEntry("invariant", Q)]
142
142
 
    }
143
143
 
144
144
 
145
145
 
146
146
 
@Callable(ag)
147
147
 
func exchange (I,J,aj,ak,al,am) = {
148
148
 
    let an = H(I, J, al, am, aj, ak)
149
149
 
    let ao = fraction(an, f, g)
150
150
 
    let ap = fraction(an, (g - e), g)
151
151
 
    ([IntegerEntry("sendAmount", an), IntegerEntry("sendAmountWithComission", ap), IntegerEntry("invariant", z(I, J))] ++ (if ((ak == a))
152
152
 
        then [IntegerEntry("invariantNew", z((I + aj), (J - an)))]
153
153
 
        else [IntegerEntry("invariantNew", z((I - an), (J + aj)))]))
154
154
 
    }
155
155
 
156
156
 
157
157
 
@Verifier(aq)
158
158
 
func ar () = sigVerify(aq.bodyBytes, aq.proofs[0], aq.senderPublicKey)
159
159
 

github/deemru/w8io/169f3d6 
28.95 ms ◑