tx · H8YeaEAJNxKqs13gCutmhiL4Ho7kgDwqTz8u284Y3CAM 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL: -0.05000000 Waves 2022.02.22 10:53 [1934591] smart account 3N4revPn12feiSAyC78tAZEJfsyprVYPzsL > SELF 0.00000000 Waves
{ "type": 13, "id": "H8YeaEAJNxKqs13gCutmhiL4Ho7kgDwqTz8u284Y3CAM", "fee": 5000000, "feeAssetId": null, "timestamp": 1645516468520, "version": 2, "chainId": 84, "sender": "3N4revPn12feiSAyC78tAZEJfsyprVYPzsL", "senderPublicKey": "5smGxL7bfeRokaN53Z31Y72dF2Lkr5Cg1kuWRV3gniNe", "proofs": [ "4XRbcnyf1N1Ax9Y9dmuzCr5iicVL6TRNKCG8cN9NJ3wQCvuapJqKnHv8Aj174vibFjq5JcdJCDiTgLMJNzA9K6mg" ], "script": "base64:AAIFAAAAAAAAAB4IAhIECgIBARIECgIBARIECgIBARIICgYBAQEIAQEAAAAcAAAAAAtzdHJBc3NldElkQQIAAAAsMzROOVljRUVUTFduOTNxWVE2NEVzUDF4ODl0U3J1SlU0NFJyRU1TWFhFUEoAAAAAC3N0ckFzc2V0SWRCAgAAACxERzJ4RmtQZER3S1VvQmt6R0FoUXRMcFNHemZYTGlDWVBFemVLSDJBZDI0cAAAAAAIYXNzZXRJZEEDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRBAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQQAAAAAIYXNzZXRJZEIDCQAAAAAAAAIFAAAAC3N0ckFzc2V0SWRCAgAAAAVXQVZFUwUAAAAEdW5pdAkAAlkAAAABBQAAAAtzdHJBc3NldElkQgAAAAADZmVlAAAAAAAAAAH0AAAAAA1mZWVHb3Zlcm5hbmNlAAAAAAAAAADIAAAAAAlmZWVTY2FsZTYAAAAAAAAPQkAAAAAABnNjYWxlMwAAAAAAAAAD6AAAAAAGc2NhbGU4AAAAAAAF9eEAAAAAAAdzY2FsZTEyAAAAAOjUpRAAAAAAAAdzY2FsZTE2AAAjhvJvwQAAAAAAAA5zbGlwcGFnZVNjYWxlMwAAAAAAAAAD6AAAAAAHZGlnaXRzOAAAAAAAAAAACAAAAAAIZGlnaXRzMTIAAAAAAAAAAAwAAAAADWRBcHBUaHJlc2hvbGQAAAAAAAAAADIAAAAAE2RBcHBUaHJlc2hvbGRTY2FsZTIAAAAAAAAAAGQAAAAAFWV4Y2hhbmdlUmF0aW9MaW1pdE1pbgAAAAAABV1KgAAAAAAVZXhjaGFuZ2VSYXRpb0xpbWl0TWF4AAAAAAAGjneAAAAAAAVhbHBoYQAAAAAAAAAAMgAAAAALYWxwaGFEaWdpdHMAAAAAAAAAAAIAAAAABGJldGEAAAAAAAK954AAAAAACmJldGFCaWdJbnQAAAAAaxoi+AAAAAAABmJldGFEUgAAEFes9feAAAEAAAAIc2tld25lc3MAAAACAAAAAXgAAAABeQkAAGkAAAACCQAAaQAAAAIJAABkAAAAAgkAAGsAAAADBQAAAAdzY2FsZTEyBQAAAAF4BQAAAAF5CQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgAAAAAAAAAAAIAAAAAAAAAJxABAAAADnNrZXduZXNzQmlnSW50AAAAAgAAAAF4AAAAAXkEAAAAB3NrZmlyc3QJAABrAAAAAwUAAAAHc2NhbGUxMgUAAAABeAUAAAABeQQAAAAJc2tzZWNvbnNkCQAAawAAAAMFAAAAB3NjYWxlMTIFAAAAAXkFAAAAAXgJAABpAAAAAgkAAGQAAAACBQAAAAdza2ZpcnN0BQAAAAlza3NlY29uc2QAAAAAAAAAAAIBAAAACnNrZXduZXNzRFIAAAACAAAAAXgAAAABeQkAAGkAAAACCQAAZAAAAAIJAABrAAAAAwUAAAAHc2NhbGUxNgUAAAABeAUAAAABeQkAAGsAAAADBQAAAAdzY2FsZTE2BQAAAAF5BQAAAAF4AAAAAAAAAAACAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAIc2tld25lc3MAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAAGQAAAACBQAAAAF4BQAAAAF5BAAAAAhmaXJzdHBvdwkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HBAAAAAlzZWNvbmRwb3cJAABsAAAABgkAAGsAAAADBQAAAAF4BQAAAAF5BQAAAAZzY2FsZTgAAAAAAAAAAAAAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAABsAAAABgkAAGUAAAACBQAAAAJzawUAAAAEYmV0YQUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAARET1dOBAAAAAhmaXJzdHN1bQkAAGsAAAADBQAAAAJ4eQUAAAAGc2NhbGU4BQAAAAhmaXJzdHBvdwQAAAAJc2Vjb25kc3VtCQAAaAAAAAIAAAAAAAAAAAIJAABrAAAAAwUAAAAJc2Vjb25kcG93BQAAAAh0aGlyZHBvdwUAAAAGc2NhbGU4CQAAZAAAAAIFAAAACGZpcnN0c3VtBQAAAAlzZWNvbmRzdW0BAAAAE2NhbGN1bGF0ZVNlbmRBbW91bnQAAAAGAAAACGJhbGFuY2VBAAAACGJhbGFuY2VCAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQAAAASdG9rZW5SZWNlaXZlQW1vdW50AAAAB3Rva2VuSWQEAAAADXNsaXBwYWdlVmFsdWUJAABlAAAAAgUAAAAGc2NhbGU4CQAAaQAAAAIJAABoAAAAAgUAAAAGc2NhbGU4AAAAAAAAAAABAAAAAAAAmJaABAAAAB5kZWx0YUJldHdlZW5NYXhBbmRNaW5TZW5kVmFsdWUJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAABVtaW5Ub2tlblJlY2VpdmVBbW91bnQEAAAAAXgJAABkAAAAAgUAAAAIYmFsYW5jZUEFAAAAEnRva2VuUmVjZWl2ZUFtb3VudAQAAAABeQkAAGQAAAACBQAAAAhiYWxhbmNlQgUAAAASdG9rZW5SZWNlaXZlQW1vdW50BAAAAAlpbnZhcmlhbnQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgUAAAAIYmFsYW5jZUEFAAAACGJhbGFuY2VCBAAAAAxpbnZhcmlhbnROZXcDCQAAAAAAAAIFAAAAB3Rva2VuSWQFAAAAC3N0ckFzc2V0SWRBCQEAAAANaW52YXJpYW50Q2FsYwAAAAIFAAAAAXgJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAAFWFtb3VudFRvU2VuZEVzdGltYXRlZAMJAAAAAAAAAgUAAAAHdG9rZW5JZAUAAAALc3RyQXNzZXRJZEIJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkBQAAAAF5CQAAAgAAAAECAAAAFldyb25nIGFzc2V0IGluIHBheW1lbnQEAAAAF2ludmFyaWFudEVzdGltYXRlZFJhdGlvCQAAawAAAAMFAAAABnNjYWxlOAUAAAAJaW52YXJpYW50BQAAAAxpbnZhcmlhbnROZXcKAQAAAA1nZXRTdGVwQW1vdW50AAAAAgAAAANhY2MAAAAEc3RlcAMJAAAAAAAAAgUAAAADYWNjAP//////////BAAAAAxhbW91bnRUb1NlbmQJAABlAAAAAgUAAAAVYW1vdW50VG9TZW5kRXN0aW1hdGVkCQAAaQAAAAIJAABoAAAAAgUAAAAEc3RlcAUAAAAeZGVsdGFCZXR3ZWVuTWF4QW5kTWluU2VuZFZhbHVlAAAAAAAAAAAFBAAAAA1zdGVwSW52YXJpYW50AwkAAAAAAAACBQAAAAd0b2tlbklkBQAAAAtzdHJBc3NldElkQQkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAF4CQAAZQAAAAIFAAAACGJhbGFuY2VCBQAAAAxhbW91bnRUb1NlbmQJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAMYW1vdW50VG9TZW5kBQAAAAF5AwkAAGYAAAACBQAAAA1zdGVwSW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAADGFtb3VudFRvU2VuZAD//////////wUAAAADYWNjBAAAAApzdGVwQW1vdW50CgAAAAACJGwJAARMAAAAAgAAAAAAAAAAAQkABEwAAAACAAAAAAAAAAACCQAETAAAAAIAAAAAAAAAAAMJAARMAAAAAgAAAAAAAAAABAkABEwAAAACAAAAAAAAAAAFBQAAAANuaWwKAAAAAAIkcwkAAZAAAAABBQAAAAIkbAoAAAAABSRhY2MwAP//////////CgEAAAAFJGYwXzEAAAACAAAAAiRhAAAAAiRpAwkAAGcAAAACBQAAAAIkaQUAAAACJHMFAAAAAiRhCQEAAAANZ2V0U3RlcEFtb3VudAAAAAIFAAAAAiRhCQABkQAAAAIFAAAAAiRsBQAAAAIkaQoBAAAABSRmMF8yAAAAAgAAAAIkYQAAAAIkaQMJAABnAAAAAgUAAAACJGkFAAAAAiRzBQAAAAIkYQkAAAIAAAABAgAAABNMaXN0IHNpemUgZXhjZWVkcyA1CQEAAAAFJGYwXzIAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACCQEAAAAFJGYwXzEAAAACBQAAAAUkYWNjMAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAAAgAAAAAAAAAAAwAAAAAAAAAABAAAAAAAAAAABQMJAABmAAAAAgAAAAAAAAAAAAUAAAAKc3RlcEFtb3VudAkAAAIAAAABAgAAADRzb21ldGhpbmcgd2VudCB3cm9uZyB3aGlsZSB3b3JraW5nIHdpdGggYW1vdW50VG9TZW5kAwMJAABmAAAAAgUAAAAXaW52YXJpYW50RXN0aW1hdGVkUmF0aW8FAAAADXNsaXBwYWdlVmFsdWUJAABmAAAAAgUAAAAMaW52YXJpYW50TmV3BQAAAAlpbnZhcmlhbnQHBQAAABVhbW91bnRUb1NlbmRFc3RpbWF0ZWQFAAAACnN0ZXBBbW91bnQAAAAEAAAAAWkBAAAADmludmFyaWFudENhbGNjAAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAIc2tld25lc3MAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAAGQAAAACBQAAAAF4BQAAAAF5BAAAAAhmaXJzdHBvdwkAAGwAAAAGBQAAAAJzawUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAAdDRUlMSU5HBAAAAAlzZWNvbmRwb3cJAABsAAAABgkAAGsAAAADBQAAAAF4BQAAAAF5BQAAAAZzY2FsZTgAAAAAAAAAAAAAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAABsAAAABgkAAGUAAAACBQAAAAJzawUAAAAEYmV0YQUAAAAHZGlnaXRzOAUAAAAFYWxwaGEFAAAAC2FscGhhRGlnaXRzBQAAAAdkaWdpdHM4BQAAAARET1dOBAAAAA1mcmFjdGlvbkZpcnN0CQAAawAAAAMFAAAAAnh5BQAAAAZzY2FsZTgFAAAACGZpcnN0cG93BAAAAA5mcmFjdGlvblNlY29uZAkAAGsAAAADBQAAAAlzZWNvbmRwb3cFAAAACHRoaXJkcG93BQAAAAZzY2FsZTgEAAAACWludmFyaWFudAkAAGQAAAACBQAAAA1mcmFjdGlvbkZpcnN0CQAAaAAAAAIAAAAAAAAAAAIFAAAADmZyYWN0aW9uU2Vjb25kCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAlpbnZhcmlhbnQFAAAACWludmFyaWFudAUAAAADbmlsAAAAAWkBAAAAFGludmFyaWFudENhbGNjQmlnSW50AAAAAgAAAAF4AAAAAXkEAAAAAnNrCQEAAAAOc2tld25lc3NCaWdJbnQAAAACBQAAAAF4BQAAAAF5BAAAAAJ4eQkAATYAAAABCQAAZAAAAAIFAAAAAXgFAAAAAXkEAAAACGZpcnN0cG93CQAAdgAAAAYJAAE2AAAAAQUAAAACc2sFAAAACGRpZ2l0czEyCQABNgAAAAEFAAAABWFscGhhBQAAAAthbHBoYURpZ2l0cwUAAAAIZGlnaXRzMTIFAAAAB0NFSUxJTkcEAAAADnNlY3Bvd2ZyYWN0aW9uCQABPAAAAAMJAAE2AAAAAQUAAAABeAkAATYAAAABBQAAAAF5CQABNgAAAAEFAAAABnNjYWxlOAQAAAAJc2Vjb25kcG93CQAAdgAAAAYFAAAADnNlY3Bvd2ZyYWN0aW9uAAAAAAAAAAAACQABNgAAAAEAAAAAAAAAAAUAAAAAAAAAAAEJAABpAAAAAgUAAAAHZGlnaXRzOAAAAAAAAAAAAgUAAAAERE9XTgQAAAAIdGhpcmRwb3cJAAB2AAAABgkAATYAAAABCQAAZQAAAAIFAAAAAnNrBQAAAApiZXRhQmlnSW50BQAAAAhkaWdpdHMxMgkAATYAAAABBQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAACGRpZ2l0czEyBQAAAARET1dOBAAAAA1mcmFjdGlvbkZpcnN0CQABoAAAAAEJAAE8AAAAAwUAAAACeHkJAAE2AAAAAQUAAAAHc2NhbGUxMgUAAAAIZmlyc3Rwb3cEAAAADmZyYWN0aW9uU2Vjb25kCQAAaAAAAAIAAAAAAAAAAAIJAAGgAAAAAQkAATwAAAADBQAAAAlzZWNvbmRwb3cFAAAACHRoaXJkcG93CQABNgAAAAEFAAAAB3NjYWxlMTIEAAAACWludmFyaWFudAkAAGQAAAACBQAAAA1mcmFjdGlvbkZpcnN0BQAAAA5mcmFjdGlvblNlY29uZAkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAAA25pbAAAAAFpAQAAAA9pbnZhcmlhbnRDYWxjRFIAAAACAAAAAXgAAAABeQQAAAACc2sJAQAAAApza2V3bmVzc0RSAAAAAgUAAAABeAUAAAABeQQAAAAIZmlyc3RQb3cJAABsAAAABgUAAAACc2sFAAAAB2RpZ2l0czgFAAAABWFscGhhBQAAAAthbHBoYURpZ2l0cwUAAAAHZGlnaXRzOAUAAAAHQ0VJTElORwQAAAAIZmlyc3RTdW0JAABrAAAAAwkAAGQAAAACBQAAAAF4BQAAAAF5BQAAAAdzY2FsZTE2BQAAAAhmaXJzdFBvdwQAAAARc2Vjb25kU3VtRnJhY3Rpb24JAAE8AAAAAwkAATYAAAABBQAAAAF4CQABNgAAAAEFAAAAAXkJAAE2AAAAAQUAAAAGc2NhbGU4BAAAABJzZWNvbmRTdW1GaXJzdFBhcnQJAAGgAAAAAQkAAHYAAAAGBQAAABFzZWNvbmRTdW1GcmFjdGlvbgAAAAAAAAAAAAkAATYAAAABAAAAAAAAAAAFAAAAAAAAAAABCQAAaQAAAAIFAAAAB2RpZ2l0czgAAAAAAAAAAAIFAAAABERPV04EAAAAAXQJAABlAAAAAgUAAAACc2sFAAAABmJldGFEUgQAAAATc2Vjb25kU3VtU2Vjb25kUGFydAkAAGwAAAAGBQAAAAF0BQAAAAdkaWdpdHM4BQAAAAVhbHBoYQUAAAALYWxwaGFEaWdpdHMFAAAAB2RpZ2l0czgFAAAABERPV04EAAAACXNlY29uZFN1bQkAAGgAAAACAAAAAAAAAAACCQAAawAAAAMFAAAAEnNlY29uZFN1bUZpcnN0UGFydAUAAAATc2Vjb25kU3VtU2Vjb25kUGFydAUAAAAGc2NhbGU4BAAAAAlpbnZhcmlhbnQJAABkAAAAAgUAAAAIZmlyc3RTdW0FAAAACXNlY29uZFN1bQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAJaW52YXJpYW50BQAAAAlpbnZhcmlhbnQFAAAAA25pbAAAAAFpAQAAAAhleGNoYW5nZQAAAAYAAAAIYmFsYW5jZUEAAAAIYmFsYW5jZUIAAAAJcG10QW1vdW50AAAACnBtdEFzc2V0SWQAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlAAAAEm1pbkFtb3VudFRvUmVjZWl2ZQQAAAAGYW1vdW50CQEAAAATY2FsY3VsYXRlU2VuZEFtb3VudAAAAAYFAAAACGJhbGFuY2VBBQAAAAhiYWxhbmNlQgUAAAAYZXN0aW1hdGVkQW1vdW50VG9SZWNlaXZlBQAAABJtaW5BbW91bnRUb1JlY2VpdmUFAAAACXBtdEFtb3VudAUAAAAKcG10QXNzZXRJZAQAAAAQZ292ZXJuYW5jZVJld2FyZAkAAGsAAAADBQAAAAZhbW91bnQFAAAADWZlZUdvdmVybmFuY2UFAAAACWZlZVNjYWxlNgQAAAAOYW1vdW50TWludXNGZWUJAABrAAAAAwUAAAAGYW1vdW50CQAAZQAAAAIFAAAACWZlZVNjYWxlNgUAAAADZmVlBQAAAAlmZWVTY2FsZTYJAAROAAAAAgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgIAAAAKc2VuZEFtb3VudAUAAAAGYW1vdW50CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAABdzZW5kQW1vdW50V2l0aENvbWlzc2lvbgUAAAAOYW1vdW50TWludXNGZWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAACWludmFyaWFudAkBAAAADWludmFyaWFudENhbGMAAAACBQAAAAhiYWxhbmNlQQUAAAAIYmFsYW5jZUIFAAAAA25pbAMJAAAAAAAAAgUAAAAKcG10QXNzZXRJZAUAAAALc3RyQXNzZXRJZEEJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAICAAAADGludmFyaWFudE5ldwkBAAAADWludmFyaWFudENhbGMAAAACCQAAZAAAAAIFAAAACGJhbGFuY2VBBQAAAAlwbXRBbW91bnQJAABlAAAAAgUAAAAIYmFsYW5jZUIFAAAABmFtb3VudAUAAAADbmlsCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACAgAAAAxpbnZhcmlhbnROZXcJAQAAAA1pbnZhcmlhbnRDYWxjAAAAAgkAAGUAAAACBQAAAAhiYWxhbmNlQQUAAAAGYW1vdW50CQAAZAAAAAIFAAAACGJhbGFuY2VCBQAAAAlwbXRBbW91bnQFAAAAA25pbAAAAAEAAAACdHgBAAAABnZlcmlmeQAAAAAJAAH0AAAAAwgFAAAAAnR4AAAACWJvZHlCeXRlcwkAAZEAAAACCAUAAAACdHgAAAAGcHJvb2ZzAAAAAAAAAAAACAUAAAACdHgAAAAPc2VuZGVyUHVibGljS2V5S8dleA==", "height": 1934591, "applicationStatus": "succeeded", "spentComplexity": 0 } View: original | compacted Prev: 2Vc7aHTkra4gYTn8nsDCMfCsMnZfmx3vpoVz9LasQAoD Next: none Diff:
Old | New | Differences | |
---|---|---|---|
163 | 163 | let secondSumFraction = fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)) | |
164 | 164 | let secondSumFirstPart = toInt(pow(secondSumFraction, 0, toBigInt(5), 1, (digits8 / 2), DOWN)) | |
165 | 165 | let t = (sk - betaDR) | |
166 | - | let secondSumSecondPart = pow( | |
166 | + | let secondSumSecondPart = pow(t, digits8, alpha, alphaDigits, digits8, DOWN) | |
167 | 167 | let secondSum = (2 * fraction(secondSumFirstPart, secondSumSecondPart, scale8)) | |
168 | 168 | let invariant = (firstSum + secondSum) | |
169 | 169 | [IntegerEntry("invariant", invariant)] |
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 scale16 = 10000000000000000 | |
29 | 29 | ||
30 | 30 | let slippageScale3 = 1000 | |
31 | 31 | ||
32 | 32 | let digits8 = 8 | |
33 | 33 | ||
34 | 34 | let digits12 = 12 | |
35 | 35 | ||
36 | 36 | let dAppThreshold = 50 | |
37 | 37 | ||
38 | 38 | let dAppThresholdScale2 = 100 | |
39 | 39 | ||
40 | 40 | let exchangeRatioLimitMin = 90000000 | |
41 | 41 | ||
42 | 42 | let exchangeRatioLimitMax = 110000000 | |
43 | 43 | ||
44 | 44 | let alpha = 50 | |
45 | 45 | ||
46 | 46 | let alphaDigits = 2 | |
47 | 47 | ||
48 | 48 | let beta = 46000000 | |
49 | 49 | ||
50 | 50 | let betaBigInt = 460000000000 | |
51 | 51 | ||
52 | 52 | let betaDR = 4600000000000000 | |
53 | 53 | ||
54 | 54 | func skewness (x,y) = (((fraction(scale12, x, y) + fraction(scale12, y, x)) / 2) / 10000) | |
55 | 55 | ||
56 | 56 | ||
57 | 57 | func skewnessBigInt (x,y) = { | |
58 | 58 | let skfirst = fraction(scale12, x, y) | |
59 | 59 | let skseconsd = fraction(scale12, y, x) | |
60 | 60 | ((skfirst + skseconsd) / 2) | |
61 | 61 | } | |
62 | 62 | ||
63 | 63 | ||
64 | 64 | func skewnessDR (x,y) = ((fraction(scale16, x, y) + fraction(scale16, y, x)) / 2) | |
65 | 65 | ||
66 | 66 | ||
67 | 67 | func invariantCalc (x,y) = { | |
68 | 68 | let sk = skewness(x, y) | |
69 | 69 | let xy = (x + y) | |
70 | 70 | let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING) | |
71 | 71 | let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN) | |
72 | 72 | let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN) | |
73 | 73 | let firstsum = fraction(xy, scale8, firstpow) | |
74 | 74 | let secondsum = (2 * fraction(secondpow, thirdpow, scale8)) | |
75 | 75 | (firstsum + secondsum) | |
76 | 76 | } | |
77 | 77 | ||
78 | 78 | ||
79 | 79 | func calculateSendAmount (balanceA,balanceB,amountToSendEstimated,minTokenReceiveAmount,tokenReceiveAmount,tokenId) = { | |
80 | 80 | let slippageValue = (scale8 - ((scale8 * 1) / 10000000)) | |
81 | 81 | let deltaBetweenMaxAndMinSendValue = (amountToSendEstimated - minTokenReceiveAmount) | |
82 | 82 | let x = (balanceA + tokenReceiveAmount) | |
83 | 83 | let y = (balanceB + tokenReceiveAmount) | |
84 | 84 | let invariant = invariantCalc(balanceA, balanceB) | |
85 | 85 | let invariantNew = if ((tokenId == strAssetIdA)) | |
86 | 86 | then invariantCalc(x, (balanceB - amountToSendEstimated)) | |
87 | 87 | else if ((tokenId == strAssetIdB)) | |
88 | 88 | then invariantCalc((balanceA - amountToSendEstimated), y) | |
89 | 89 | else throw("Wrong asset in payment") | |
90 | 90 | let invariantEstimatedRatio = fraction(scale8, invariant, invariantNew) | |
91 | 91 | func getStepAmount (acc,step) = if ((acc == -1)) | |
92 | 92 | then { | |
93 | 93 | let amountToSend = (amountToSendEstimated - ((step * deltaBetweenMaxAndMinSendValue) / 5)) | |
94 | 94 | let stepInvariant = if ((tokenId == strAssetIdA)) | |
95 | 95 | then invariantCalc(x, (balanceB - amountToSend)) | |
96 | 96 | else invariantCalc((balanceA - amountToSend), y) | |
97 | 97 | if ((stepInvariant > invariant)) | |
98 | 98 | then amountToSend | |
99 | 99 | else -1 | |
100 | 100 | } | |
101 | 101 | else acc | |
102 | 102 | ||
103 | 103 | let stepAmount = { | |
104 | 104 | let $l = [1, 2, 3, 4, 5] | |
105 | 105 | let $s = size($l) | |
106 | 106 | let $acc0 = -1 | |
107 | 107 | func $f0_1 ($a,$i) = if (($i >= $s)) | |
108 | 108 | then $a | |
109 | 109 | else getStepAmount($a, $l[$i]) | |
110 | 110 | ||
111 | 111 | func $f0_2 ($a,$i) = if (($i >= $s)) | |
112 | 112 | then $a | |
113 | 113 | else throw("List size exceeds 5") | |
114 | 114 | ||
115 | 115 | $f0_2($f0_1($f0_1($f0_1($f0_1($f0_1($acc0, 0), 1), 2), 3), 4), 5) | |
116 | 116 | } | |
117 | 117 | if ((0 > stepAmount)) | |
118 | 118 | then throw("something went wrong while working with amountToSend") | |
119 | 119 | else if (if ((invariantEstimatedRatio > slippageValue)) | |
120 | 120 | then (invariantNew > invariant) | |
121 | 121 | else false) | |
122 | 122 | then amountToSendEstimated | |
123 | 123 | else stepAmount | |
124 | 124 | } | |
125 | 125 | ||
126 | 126 | ||
127 | 127 | @Callable(i) | |
128 | 128 | func invariantCalcc (x,y) = { | |
129 | 129 | let sk = skewness(x, y) | |
130 | 130 | let xy = (x + y) | |
131 | 131 | let firstpow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING) | |
132 | 132 | let secondpow = pow(fraction(x, y, scale8), 0, 5, 1, (digits8 / 2), DOWN) | |
133 | 133 | let thirdpow = pow((sk - beta), digits8, alpha, alphaDigits, digits8, DOWN) | |
134 | 134 | let fractionFirst = fraction(xy, scale8, firstpow) | |
135 | 135 | let fractionSecond = fraction(secondpow, thirdpow, scale8) | |
136 | 136 | let invariant = (fractionFirst + (2 * fractionSecond)) | |
137 | 137 | [IntegerEntry("invariant", invariant)] | |
138 | 138 | } | |
139 | 139 | ||
140 | 140 | ||
141 | 141 | ||
142 | 142 | @Callable(i) | |
143 | 143 | func invariantCalccBigInt (x,y) = { | |
144 | 144 | let sk = skewnessBigInt(x, y) | |
145 | 145 | let xy = toBigInt((x + y)) | |
146 | 146 | let firstpow = pow(toBigInt(sk), digits12, toBigInt(alpha), alphaDigits, digits12, CEILING) | |
147 | 147 | let secpowfraction = fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)) | |
148 | 148 | let secondpow = pow(secpowfraction, 0, toBigInt(5), 1, (digits8 / 2), DOWN) | |
149 | 149 | let thirdpow = pow(toBigInt((sk - betaBigInt)), digits12, toBigInt(alpha), alphaDigits, digits12, DOWN) | |
150 | 150 | let fractionFirst = toInt(fraction(xy, toBigInt(scale12), firstpow)) | |
151 | 151 | let fractionSecond = (2 * toInt(fraction(secondpow, thirdpow, toBigInt(scale12)))) | |
152 | 152 | let invariant = (fractionFirst + fractionSecond) | |
153 | 153 | [IntegerEntry("invariant", invariant)] | |
154 | 154 | } | |
155 | 155 | ||
156 | 156 | ||
157 | 157 | ||
158 | 158 | @Callable(i) | |
159 | 159 | func invariantCalcDR (x,y) = { | |
160 | 160 | let sk = skewnessDR(x, y) | |
161 | 161 | let firstPow = pow(sk, digits8, alpha, alphaDigits, digits8, CEILING) | |
162 | 162 | let firstSum = fraction((x + y), scale16, firstPow) | |
163 | 163 | let secondSumFraction = fraction(toBigInt(x), toBigInt(y), toBigInt(scale8)) | |
164 | 164 | let secondSumFirstPart = toInt(pow(secondSumFraction, 0, toBigInt(5), 1, (digits8 / 2), DOWN)) | |
165 | 165 | let t = (sk - betaDR) | |
166 | - | let secondSumSecondPart = pow( | |
166 | + | let secondSumSecondPart = pow(t, digits8, alpha, alphaDigits, digits8, DOWN) | |
167 | 167 | let secondSum = (2 * fraction(secondSumFirstPart, secondSumSecondPart, scale8)) | |
168 | 168 | let invariant = (firstSum + secondSum) | |
169 | 169 | [IntegerEntry("invariant", invariant)] | |
170 | 170 | } | |
171 | 171 | ||
172 | 172 | ||
173 | 173 | ||
174 | 174 | @Callable(i) | |
175 | 175 | func exchange (balanceA,balanceB,pmtAmount,pmtAssetId,estimatedAmountToReceive,minAmountToReceive) = { | |
176 | 176 | let amount = calculateSendAmount(balanceA, balanceB, estimatedAmountToReceive, minAmountToReceive, pmtAmount, pmtAssetId) | |
177 | 177 | let governanceReward = fraction(amount, feeGovernance, feeScale6) | |
178 | 178 | let amountMinusFee = fraction(amount, (feeScale6 - fee), feeScale6) | |
179 | 179 | ([IntegerEntry("sendAmount", amount), IntegerEntry("sendAmountWithComission", amountMinusFee), IntegerEntry("invariant", invariantCalc(balanceA, balanceB))] ++ (if ((pmtAssetId == strAssetIdA)) | |
180 | 180 | then [IntegerEntry("invariantNew", invariantCalc((balanceA + pmtAmount), (balanceB - amount)))] | |
181 | 181 | else [IntegerEntry("invariantNew", invariantCalc((balanceA - amount), (balanceB + pmtAmount)))])) | |
182 | 182 | } | |
183 | 183 | ||
184 | 184 | ||
185 | 185 | @Verifier(tx) | |
186 | 186 | func verify () = sigVerify(tx.bodyBytes, tx.proofs[0], tx.senderPublicKey) | |
187 | 187 |
github/deemru/w8io/169f3d6 35.67 ms ◑