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(ae)
128
128
 
func invariantCalccBigInt (w,x) = {
129
129
 
    let A = y(w, x)
130
-
    let O = (toInt(fraction(toBigInt((w + x)), toBigInt(j), pow(toBigInt(A), m, toBigInt(r), s, m, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN), pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN), toBigInt(j)))))
130
+
    let B = toBigInt((w + x))
131
+
    let C = pow(toBigInt(A), m, toBigInt(r), s, m, CEILING)
132
+
    let D = pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN)
133
+
    let E = pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN)
134
+
    let O = (toInt(fraction(B, toBigInt(j), C)) + (2 * toInt(fraction(D, E, toBigInt(j)))))
131
135
 
[IntegerEntry("invariant", O)]
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 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
 
    (fraction(B, i, C) + (2 * fraction(D, E, i)))
63
63
 
    }
64
64
 
65
65
 
66
66
 
func F (G,H,I,J,K,L) = {
67
67
 
    let M = (i - ((i * 1) / 10000000))
68
68
 
    let N = (I - J)
69
69
 
    let w = (G + K)
70
70
 
    let x = (H + K)
71
71
 
    let O = z(G, H)
72
72
 
    let P = if ((L == a))
73
73
 
        then z(w, (H - I))
74
74
 
        else if ((L == b))
75
75
 
            then z((G - I), x)
76
76
 
            else throw("Wrong asset in payment")
77
77
 
    let Q = fraction(i, O, P)
78
78
 
    func R (S,T) =     if ((S == -1))
79
79
 
        then {
80
80
 
            let U = (I - ((T * N) / 5))
81
81
 
            let V = if ((L == a))
82
82
 
                then z(w, (H - U))
83
83
 
                else z((G - U), x)
84
84
 
            if ((V > O))
85
85
 
                then U
86
86
 
                else -1
87
87
 
            }
88
88
 
        else S
89
89
 
90
90
 
    let W = {
91
91
 
        let X = [1, 2, 3, 4, 5]
92
92
 
        let Y = size(X)
93
93
 
        let Z = -1
94
94
 
        func aa (ab,ac) =         if ((ac >= Y))
95
95
 
            then ab
96
96
 
            else R(ab, X[ac])
97
97
 
98
98
 
        func ad (ab,ac) =         if ((ac >= Y))
99
99
 
            then ab
100
100
 
            else throw("List size exceeds 5")
101
101
 
102
102
 
        ad(aa(aa(aa(aa(aa(Z, 0), 1), 2), 3), 4), 5)
103
103
 
        }
104
104
 
    if ((0 > W))
105
105
 
        then throw("something went wrong while working with amountToSend")
106
106
 
        else if (if ((Q > M))
107
107
 
            then (P > O)
108
108
 
            else false)
109
109
 
            then I
110
110
 
            else W
111
111
 
    }
112
112
 
113
113
 
114
114
 
@Callable(ae)
115
115
 
func invariantCalcc (w,x) = {
116
116
 
    let A = v(w, x)
117
117
 
    let B = (w + x)
118
118
 
    let C = pow(A, l, r, s, l, CEILING)
119
119
 
    let D = pow(fraction(w, x, i), 0, 5, 1, (l / 2), DOWN)
120
120
 
    let E = pow((A - t), l, r, s, l, DOWN)
121
121
 
    let O = (fraction(B, i, C) + (2 * fraction(D, E, i)))
122
122
 
[IntegerEntry("invariant", O)]
123
123
 
    }
124
124
 
125
125
 
126
126
 
127
127
 
@Callable(ae)
128
128
 
func invariantCalccBigInt (w,x) = {
129
129
 
    let A = y(w, x)
130
-
    let O = (toInt(fraction(toBigInt((w + x)), toBigInt(j), pow(toBigInt(A), m, toBigInt(r), s, m, CEILING))) + (2 * toInt(fraction(pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN), pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN), toBigInt(j)))))
130
+
    let B = toBigInt((w + x))
131
+
    let C = pow(toBigInt(A), m, toBigInt(r), s, m, CEILING)
132
+
    let D = pow(fraction(toBigInt(w), toBigInt(x), toBigInt(i)), 0, toBigInt(5), 1, (l / 2), DOWN)
133
+
    let E = pow(toBigInt((A - u)), m, toBigInt(r), s, m, DOWN)
134
+
    let O = (toInt(fraction(B, toBigInt(j), C)) + (2 * toInt(fraction(D, E, toBigInt(j)))))
131
135
 
[IntegerEntry("invariant", O)]
132
136
 
    }
133
137
 
134
138
 
135
139
 
136
140
 
@Callable(ae)
137
141
 
func exchange (G,H,af,ag,ah,ai) = {
138
142
 
    let aj = F(G, H, ah, ai, af, ag)
139
143
 
    let ak = fraction(aj, f, g)
140
144
 
    let al = fraction(aj, (g - e), g)
141
145
 
[IntegerEntry("sendAmount", aj), IntegerEntry("sendAmountWithComission", al)]
142
146
 
    }
143
147
 
144
148
 
145
149
 
@Verifier(am)
146
150
 
func an () = sigVerify(am.bodyBytes, am.proofs[0], am.senderPublicKey)
147
151
 

github/deemru/w8io/169f3d6 
27.31 ms ◑