tx · 8z1mRHTvsEt2AzVUG8QDkdwCAdXGiZEaDJVzURqWkxV1
3N2eueE5vLLKe8jXuBDbdbKcPaH36yG1Had: -0.14000000 Waves
2022.12.15 13:07 [2361283] smart account 3N2eueE5vLLKe8jXuBDbdbKcPaH36yG1Had > SELF 0.00000000 Waves
{
"type": 13,
"id": "8z1mRHTvsEt2AzVUG8QDkdwCAdXGiZEaDJVzURqWkxV1",
"fee": 14000000,
"feeAssetId": null,
"timestamp": 1671098837465,
"version": 2,
"chainId": 84,
"sender": "3N2eueE5vLLKe8jXuBDbdbKcPaH36yG1Had",
"senderPublicKey": "EAmZF2D2BbfoPsrMGFAs2UCv8ScAXxhAZRzFpkveca8G",
"proofs": [
"5CUVrEyTf9fP6sPjBbjfJFaUtsjuS5pYq1HEzoADX5bWod2oqgwuTBByaZEzDhsxbGsKdUiPLLPRSUB9Eg5FneCf",
"5txvcgoE6L8WNxSasw5XdkvUVT7DKkLFoU9TPsjLdi6XBk5dc3rsdhrsvU3yVkAcmugHn1QtGkdQrEv4NtzVUBkH"
],
"script": "base64:BgICCAITAAZvcmFjbGUJAQdBZGRyZXNzAQEaAVRIE5cMwNMzzCUygLYp96dkaICr48x7S5kBE2dldEJhc2U1OEZyb21PcmFjbGUBA2tleQQHJG1hdGNoMAkAnQgCBQZvcmFjbGUFA2tleQMJAAECBQckbWF0Y2gwAgZTdHJpbmcEBnN0cmluZwUHJG1hdGNoMAkA2QQBBQZzdHJpbmcEB25vdGhpbmcFByRtYXRjaDAJAAIBCQCsAgIFA2tleQIIaXMgZW1wdHkADWtBZG1pblB1YktleTECC2FkbWluX3B1Yl8xAA1rQWRtaW5QdWJLZXkyAgthZG1pbl9wdWJfMgANa0FkbWluUHViS2V5MwILYWRtaW5fcHViXzMAEmtBZG1pbkludm9rZVB1YktleQIQYWRtaW5faW52b2tlX3B1YgALa0dvdkFkZHJlc3MCEmdvdmVybmFuY2VfYWRkcmVzcwAMa0Zhcm1BZGRyZXNzAg9mYXJtaW5nX2FkZHJlc3MAD2tTdXJ2ZXlzQWRkcmVzcwIPc3VydmV5c19hZGRyZXNzAAxrUm91dGluZ0FkZHICD3JvdXRpbmdfYWRkcmVzcwAMYWRtaW5QdWJLZXkxCQETZ2V0QmFzZTU4RnJvbU9yYWNsZQEFDWtBZG1pblB1YktleTEADGFkbWluUHViS2V5MgkBE2dldEJhc2U1OEZyb21PcmFjbGUBBQ1rQWRtaW5QdWJLZXkyAAxhZG1pblB1YktleTMJARNnZXRCYXNlNThGcm9tT3JhY2xlAQUNa0FkbWluUHViS2V5MwALYWRtaW5JbnZva2UJARNnZXRCYXNlNThGcm9tT3JhY2xlAQUSa0FkbWluSW52b2tlUHViS2V5ABFnb3Zlcm5hbmNlQWRkcmVzcwkBB0FkZHJlc3MBCQETZ2V0QmFzZTU4RnJvbU9yYWNsZQEFC2tHb3ZBZGRyZXNzAA5mYXJtaW5nQWRkcmVzcwkBB0FkZHJlc3MBCQETZ2V0QmFzZTU4RnJvbU9yYWNsZQEFDGtGYXJtQWRkcmVzcwAOc3VydmV5c0FkZHJlc3MJAQdBZGRyZXNzAQkBE2dldEJhc2U1OEZyb21PcmFjbGUBBQ9rU3VydmV5c0FkZHJlc3MADnJvdXRpbmdBZGRyZXNzCQEHQWRkcmVzcwEJARNnZXRCYXNlNThGcm9tT3JhY2xlAQUMa1JvdXRpbmdBZGRyABFrZXlQcmVmaXhQb29sTmFtZQIFcG9vbF8AAQJ0eAEGdmVyaWZ5AAQSYWRtaW5QdWJLZXkxU2lnbmVkAwkA9AMDCAUCdHgJYm9keUJ5dGVzCQCRAwIIBQJ0eAZwcm9vZnMAAAUMYWRtaW5QdWJLZXkxAAEAAAQSYWRtaW5QdWJLZXkyU2lnbmVkAwkA9AMDCAUCdHgJYm9keUJ5dGVzCQCRAwIIBQJ0eAZwcm9vZnMAAQUMYWRtaW5QdWJLZXkyAAEAAAQSYWRtaW5QdWJLZXkzU2lnbmVkAwkA9AMDCAUCdHgJYm9keUJ5dGVzCQCRAwIIBQJ0eAZwcm9vZnMAAgUMYWRtaW5QdWJLZXkzAAEAAAQXYWRtaW5QdWJLZXlJbnZva2VTaWduZWQDCQD0AwMIBQJ0eAlib2R5Qnl0ZXMJAJEDAggFAnR4BnByb29mcwACBQthZG1pbkludm9rZQABAAAEByRtYXRjaDAFAnR4AwkAAQIFByRtYXRjaDACF0ludm9rZVNjcmlwdFRyYW5zYWN0aW9uBANpbnYFByRtYXRjaDAECmlzUmlnaHRGZWUDCQAAAggFA2ludgNmZWUAoPc2CQAAAggFA2ludgpmZWVBc3NldElkBQR1bml0BwQNaXNSb3V0aW5nQ2FsbAMJAAACCAUDaW52BGRBcHAFDnJvdXRpbmdBZGRyZXNzCQAAAggFA2ludghmdW5jdGlvbgIMcm91dGluZ1RyYWRlBwQSaXNFeGNoYW5nZUNhbGxDUE1NAwMJAQlpc0RlZmluZWQBCQCdCAIFBm9yYWNsZQkArAICBRFrZXlQcmVmaXhQb29sTmFtZQkApQgBCQCkCAEIBQNpbnYEZEFwcAkAAAIIBQNpbnYIZnVuY3Rpb24CDGNhbGxGdW5jdGlvbgcJAAACCQCRAwIIBQNpbnYEYXJncwAAAghleGNoYW5nZQcEDmlzRXhjaGFuZ2VDYWxsAwkBCWlzRGVmaW5lZAEJAJ0IAgUGb3JhY2xlCQCsAgIFEWtleVByZWZpeFBvb2xOYW1lCQClCAEJAKQIAQgFA2ludgRkQXBwCQAAAggFA2ludghmdW5jdGlvbgIIZXhjaGFuZ2UHBA1pc0FpcmRyb3BDYWxsAwkAAAIIBQNpbnYEZEFwcAURZ292ZXJuYW5jZUFkZHJlc3MJAAACCAUDaW52CGZ1bmN0aW9uAgdhaXJEcm9wBwQTaXNVcGRhdGVXZWlnaHRzQ2FsbAMJAAACCAUDaW52BGRBcHAFEWdvdmVybmFuY2VBZGRyZXNzCQAAAggFA2ludghmdW5jdGlvbgINdXBkYXRlV2VpZ2h0cwcEFmlzVGFrZW5JbnRvQWNjb3VudENQTU0DAwkBCWlzRGVmaW5lZAEJAJ0IAgUGb3JhY2xlCQCsAgIFEWtleVByZWZpeFBvb2xOYW1lCQClCAEJAKQIAQgFA2ludgRkQXBwCQAAAggFA2ludghmdW5jdGlvbgIMY2FsbEZ1bmN0aW9uBwkAAAIJAJEDAggFA2ludgRhcmdzAAACGXRha2VJbnRvQWNjb3VudEV4dHJhRnVuZHMHBBJpc1Rha2VuSW50b0FjY291bnQDCQEJaXNEZWZpbmVkAQkAnQgCBQZvcmFjbGUJAKwCAgURa2V5UHJlZml4UG9vbE5hbWUJAKUIAQkApAgBCAUDaW52BGRBcHAJAAACCAUDaW52CGZ1bmN0aW9uAhl0YWtlSW50b0FjY291bnRFeHRyYUZ1bmRzBwQMaXNXcml0ZVRvdGFsAwkAAAIIBQNpbnYEZEFwcAUOc3VydmV5c0FkZHJlc3MJAAACCAUDaW52CGZ1bmN0aW9uAgt3cml0ZVRvdGFscwcEEHNpZ25lZEJ5T25lQWRtaW4JAGcCCQBkAgkAZAIJAGQCBRJhZG1pblB1YktleTFTaWduZWQFEmFkbWluUHViS2V5MlNpZ25lZAUSYWRtaW5QdWJLZXkzU2lnbmVkBRdhZG1pblB1YktleUludm9rZVNpZ25lZAABAwMDAwMDAwUOaXNFeGNoYW5nZUNhbGwGBRJpc0V4Y2hhbmdlQ2FsbENQTU0GBQ1pc0FpcmRyb3BDYWxsBgUNaXNSb3V0aW5nQ2FsbAkAAAIJAJADAQgFA2ludghwYXltZW50cwABBwYDAwMDBRNpc1VwZGF0ZVdlaWdodHNDYWxsBgUSaXNUYWtlbkludG9BY2NvdW50BgUWaXNUYWtlbkludG9BY2NvdW50Q1BNTQYFDGlzV3JpdGVUb3RhbAkAAAIJAJADAQgFA2ludghwYXltZW50cwAABwUQc2lnbmVkQnlPbmVBZG1pbgcFCmlzUmlnaHRGZWUHCQBnAgkAZAIJAGQCBRJhZG1pblB1YktleTFTaWduZWQFEmFkbWluUHViS2V5MlNpZ25lZAUSYWRtaW5QdWJLZXkzU2lnbmVkAAIswO+N",
"height": 2361283,
"applicationStatus": "succeeded",
"spentComplexity": 0
}
View: original | compacted
Prev: 4mQgv8gFZ6322cVh4C4QX1U7CPaf6irztSsMxkFHQPkd
Next: EtgAuHSS2sxcWufC5n3kfXc4g4Ybh6WmDx5JRsAMArRb
Diff:
Old | New | | Differences |
---|
54 | 54 | | |
---|
55 | 55 | | @Verifier(x) |
---|
56 | 56 | | func y () = { |
---|
| 57 | + | let z = if (sigVerify(x.bodyBytes, x.proofs[0], o)) |
---|
| 58 | + | then 1 |
---|
| 59 | + | else 0 |
---|
| 60 | + | let A = if (sigVerify(x.bodyBytes, x.proofs[1], p)) |
---|
| 61 | + | then 1 |
---|
| 62 | + | else 0 |
---|
| 63 | + | let B = if (sigVerify(x.bodyBytes, x.proofs[2], q)) |
---|
| 64 | + | then 1 |
---|
| 65 | + | else 0 |
---|
| 66 | + | let C = if (sigVerify(x.bodyBytes, x.proofs[2], r)) |
---|
| 67 | + | then 1 |
---|
| 68 | + | else 0 |
---|
57 | 69 | | let d = x |
---|
58 | 70 | | if ($isInstanceOf(d, "InvokeScriptTransaction")) |
---|
59 | 71 | | then { |
---|
60 | | - | let z = d |
---|
61 | | - | let A = if ((z.dApp == v)) |
---|
62 | | - | then (z.function == "routingTrade") |
---|
| 72 | + | let D = d |
---|
| 73 | + | let E = if ((D.fee == 900000)) |
---|
| 74 | + | then (D.feeAssetId == unit) |
---|
63 | 75 | | else false |
---|
64 | | - | let B = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
65 | | - | then (z.function == "callFunction") |
---|
| 76 | + | let F = if ((D.dApp == v)) |
---|
| 77 | + | then (D.function == "routingTrade") |
---|
| 78 | + | else false |
---|
| 79 | + | let G = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 80 | + | then (D.function == "callFunction") |
---|
66 | 81 | | else false) |
---|
67 | | - | then (z.args[0] == "exchange") |
---|
| 82 | + | then (D.args[0] == "exchange") |
---|
68 | 83 | | else false |
---|
69 | | - | let C = if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
70 | | - | then (z.function == "exchange") |
---|
| 84 | + | let H = if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 85 | + | then (D.function == "exchange") |
---|
71 | 86 | | else false |
---|
72 | | - | let D = if ((z.dApp == s)) |
---|
73 | | - | then (z.function == "airDrop") |
---|
| 87 | + | let I = if ((D.dApp == s)) |
---|
| 88 | + | then (D.function == "airDrop") |
---|
74 | 89 | | else false |
---|
75 | | - | let E = if ((z.dApp == s)) |
---|
76 | | - | then (z.function == "updateWeights") |
---|
| 90 | + | let J = if ((D.dApp == s)) |
---|
| 91 | + | then (D.function == "updateWeights") |
---|
77 | 92 | | else false |
---|
78 | | - | let F = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
79 | | - | then (z.function == "callFunction") |
---|
| 93 | + | let K = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 94 | + | then (D.function == "callFunction") |
---|
80 | 95 | | else false) |
---|
81 | | - | then (z.args[0] == "takeIntoAccountExtraFunds") |
---|
| 96 | + | then (D.args[0] == "takeIntoAccountExtraFunds") |
---|
82 | 97 | | else false |
---|
83 | | - | let G = if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
84 | | - | then (z.function == "takeIntoAccountExtraFunds") |
---|
| 98 | + | let L = if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 99 | + | then (D.function == "takeIntoAccountExtraFunds") |
---|
85 | 100 | | else false |
---|
86 | | - | let H = if ((z.dApp == u)) |
---|
87 | | - | then (z.function == "writeTotals") |
---|
| 101 | + | let M = if ((D.dApp == u)) |
---|
| 102 | + | then (D.function == "writeTotals") |
---|
88 | 103 | | else false |
---|
89 | | - | let I = sigVerify(x.bodyBytes, x.proofs[0], r) |
---|
90 | | - | if (if (if (if (if (if (C) |
---|
| 104 | + | let N = ((((z + A) + B) + C) >= 1) |
---|
| 105 | + | if (if (if (if (if (if (if (H) |
---|
91 | 106 | | then true |
---|
92 | | - | else B) |
---|
| 107 | + | else G) |
---|
93 | 108 | | then true |
---|
94 | | - | else D) |
---|
| 109 | + | else I) |
---|
95 | 110 | | then true |
---|
96 | | - | else A) |
---|
97 | | - | then (size(z.payments) == 1) |
---|
| 111 | + | else F) |
---|
| 112 | + | then (size(D.payments) == 1) |
---|
98 | 113 | | else false) |
---|
99 | 114 | | then true |
---|
100 | | - | else if (if (if (if (E) |
---|
| 115 | + | else if (if (if (if (J) |
---|
101 | 116 | | then true |
---|
102 | | - | else G) |
---|
| 117 | + | else L) |
---|
103 | 118 | | then true |
---|
104 | | - | else F) |
---|
| 119 | + | else K) |
---|
105 | 120 | | then true |
---|
106 | | - | else H) |
---|
107 | | - | then (size(z.payments) == 0) |
---|
| 121 | + | else M) |
---|
| 122 | + | then (size(D.payments) == 0) |
---|
108 | 123 | | else false) |
---|
109 | | - | then I |
---|
| 124 | + | then N |
---|
| 125 | + | else false) |
---|
| 126 | + | then E |
---|
110 | 127 | | else false |
---|
111 | 128 | | } |
---|
112 | | - | else { |
---|
113 | | - | let J = if (sigVerify(x.bodyBytes, x.proofs[0], o)) |
---|
114 | | - | then 1 |
---|
115 | | - | else 0 |
---|
116 | | - | let K = if (sigVerify(x.bodyBytes, x.proofs[1], p)) |
---|
117 | | - | then 1 |
---|
118 | | - | else 0 |
---|
119 | | - | let L = if (sigVerify(x.bodyBytes, x.proofs[2], q)) |
---|
120 | | - | then 1 |
---|
121 | | - | else 0 |
---|
122 | | - | (((J + K) + L) >= 2) |
---|
123 | | - | } |
---|
| 129 | + | else (((z + A) + B) >= 2) |
---|
124 | 130 | | } |
---|
125 | 131 | | |
---|
Full:
Old | New | | Differences |
---|
1 | 1 | | {-# STDLIB_VERSION 6 #-} |
---|
2 | 2 | | {-# SCRIPT_TYPE ACCOUNT #-} |
---|
3 | 3 | | {-# CONTENT_TYPE DAPP #-} |
---|
4 | 4 | | let a = Address(base58'3MvVBtsXroQpy1tsPw21TU2ET9A8WfmrNjz') |
---|
5 | 5 | | |
---|
6 | 6 | | func b (c) = { |
---|
7 | 7 | | let d = getString(a, c) |
---|
8 | 8 | | if ($isInstanceOf(d, "String")) |
---|
9 | 9 | | then { |
---|
10 | 10 | | let e = d |
---|
11 | 11 | | fromBase58String(e) |
---|
12 | 12 | | } |
---|
13 | 13 | | else { |
---|
14 | 14 | | let f = d |
---|
15 | 15 | | throw((c + "is empty")) |
---|
16 | 16 | | } |
---|
17 | 17 | | } |
---|
18 | 18 | | |
---|
19 | 19 | | |
---|
20 | 20 | | let g = "admin_pub_1" |
---|
21 | 21 | | |
---|
22 | 22 | | let h = "admin_pub_2" |
---|
23 | 23 | | |
---|
24 | 24 | | let i = "admin_pub_3" |
---|
25 | 25 | | |
---|
26 | 26 | | let j = "admin_invoke_pub" |
---|
27 | 27 | | |
---|
28 | 28 | | let k = "governance_address" |
---|
29 | 29 | | |
---|
30 | 30 | | let l = "farming_address" |
---|
31 | 31 | | |
---|
32 | 32 | | let m = "surveys_address" |
---|
33 | 33 | | |
---|
34 | 34 | | let n = "routing_address" |
---|
35 | 35 | | |
---|
36 | 36 | | let o = b(g) |
---|
37 | 37 | | |
---|
38 | 38 | | let p = b(h) |
---|
39 | 39 | | |
---|
40 | 40 | | let q = b(i) |
---|
41 | 41 | | |
---|
42 | 42 | | let r = b(j) |
---|
43 | 43 | | |
---|
44 | 44 | | let s = Address(b(k)) |
---|
45 | 45 | | |
---|
46 | 46 | | let t = Address(b(l)) |
---|
47 | 47 | | |
---|
48 | 48 | | let u = Address(b(m)) |
---|
49 | 49 | | |
---|
50 | 50 | | let v = Address(b(n)) |
---|
51 | 51 | | |
---|
52 | 52 | | let w = "pool_" |
---|
53 | 53 | | |
---|
54 | 54 | | |
---|
55 | 55 | | @Verifier(x) |
---|
56 | 56 | | func y () = { |
---|
| 57 | + | let z = if (sigVerify(x.bodyBytes, x.proofs[0], o)) |
---|
| 58 | + | then 1 |
---|
| 59 | + | else 0 |
---|
| 60 | + | let A = if (sigVerify(x.bodyBytes, x.proofs[1], p)) |
---|
| 61 | + | then 1 |
---|
| 62 | + | else 0 |
---|
| 63 | + | let B = if (sigVerify(x.bodyBytes, x.proofs[2], q)) |
---|
| 64 | + | then 1 |
---|
| 65 | + | else 0 |
---|
| 66 | + | let C = if (sigVerify(x.bodyBytes, x.proofs[2], r)) |
---|
| 67 | + | then 1 |
---|
| 68 | + | else 0 |
---|
57 | 69 | | let d = x |
---|
58 | 70 | | if ($isInstanceOf(d, "InvokeScriptTransaction")) |
---|
59 | 71 | | then { |
---|
60 | | - | let z = d |
---|
61 | | - | let A = if ((z.dApp == v)) |
---|
62 | | - | then (z.function == "routingTrade") |
---|
| 72 | + | let D = d |
---|
| 73 | + | let E = if ((D.fee == 900000)) |
---|
| 74 | + | then (D.feeAssetId == unit) |
---|
63 | 75 | | else false |
---|
64 | | - | let B = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
65 | | - | then (z.function == "callFunction") |
---|
| 76 | + | let F = if ((D.dApp == v)) |
---|
| 77 | + | then (D.function == "routingTrade") |
---|
| 78 | + | else false |
---|
| 79 | + | let G = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 80 | + | then (D.function == "callFunction") |
---|
66 | 81 | | else false) |
---|
67 | | - | then (z.args[0] == "exchange") |
---|
| 82 | + | then (D.args[0] == "exchange") |
---|
68 | 83 | | else false |
---|
69 | | - | let C = if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
70 | | - | then (z.function == "exchange") |
---|
| 84 | + | let H = if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 85 | + | then (D.function == "exchange") |
---|
71 | 86 | | else false |
---|
72 | | - | let D = if ((z.dApp == s)) |
---|
73 | | - | then (z.function == "airDrop") |
---|
| 87 | + | let I = if ((D.dApp == s)) |
---|
| 88 | + | then (D.function == "airDrop") |
---|
74 | 89 | | else false |
---|
75 | | - | let E = if ((z.dApp == s)) |
---|
76 | | - | then (z.function == "updateWeights") |
---|
| 90 | + | let J = if ((D.dApp == s)) |
---|
| 91 | + | then (D.function == "updateWeights") |
---|
77 | 92 | | else false |
---|
78 | | - | let F = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
79 | | - | then (z.function == "callFunction") |
---|
| 93 | + | let K = if (if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 94 | + | then (D.function == "callFunction") |
---|
80 | 95 | | else false) |
---|
81 | | - | then (z.args[0] == "takeIntoAccountExtraFunds") |
---|
| 96 | + | then (D.args[0] == "takeIntoAccountExtraFunds") |
---|
82 | 97 | | else false |
---|
83 | | - | let G = if (isDefined(getString(a, (w + toString(addressFromRecipient(z.dApp)))))) |
---|
84 | | - | then (z.function == "takeIntoAccountExtraFunds") |
---|
| 98 | + | let L = if (isDefined(getString(a, (w + toString(addressFromRecipient(D.dApp)))))) |
---|
| 99 | + | then (D.function == "takeIntoAccountExtraFunds") |
---|
85 | 100 | | else false |
---|
86 | | - | let H = if ((z.dApp == u)) |
---|
87 | | - | then (z.function == "writeTotals") |
---|
| 101 | + | let M = if ((D.dApp == u)) |
---|
| 102 | + | then (D.function == "writeTotals") |
---|
88 | 103 | | else false |
---|
89 | | - | let I = sigVerify(x.bodyBytes, x.proofs[0], r) |
---|
90 | | - | if (if (if (if (if (if (C) |
---|
| 104 | + | let N = ((((z + A) + B) + C) >= 1) |
---|
| 105 | + | if (if (if (if (if (if (if (H) |
---|
91 | 106 | | then true |
---|
92 | | - | else B) |
---|
| 107 | + | else G) |
---|
93 | 108 | | then true |
---|
94 | | - | else D) |
---|
| 109 | + | else I) |
---|
95 | 110 | | then true |
---|
96 | | - | else A) |
---|
97 | | - | then (size(z.payments) == 1) |
---|
| 111 | + | else F) |
---|
| 112 | + | then (size(D.payments) == 1) |
---|
98 | 113 | | else false) |
---|
99 | 114 | | then true |
---|
100 | | - | else if (if (if (if (E) |
---|
| 115 | + | else if (if (if (if (J) |
---|
101 | 116 | | then true |
---|
102 | | - | else G) |
---|
| 117 | + | else L) |
---|
103 | 118 | | then true |
---|
104 | | - | else F) |
---|
| 119 | + | else K) |
---|
105 | 120 | | then true |
---|
106 | | - | else H) |
---|
107 | | - | then (size(z.payments) == 0) |
---|
| 121 | + | else M) |
---|
| 122 | + | then (size(D.payments) == 0) |
---|
108 | 123 | | else false) |
---|
109 | | - | then I |
---|
| 124 | + | then N |
---|
| 125 | + | else false) |
---|
| 126 | + | then E |
---|
110 | 127 | | else false |
---|
111 | 128 | | } |
---|
112 | | - | else { |
---|
113 | | - | let J = if (sigVerify(x.bodyBytes, x.proofs[0], o)) |
---|
114 | | - | then 1 |
---|
115 | | - | else 0 |
---|
116 | | - | let K = if (sigVerify(x.bodyBytes, x.proofs[1], p)) |
---|
117 | | - | then 1 |
---|
118 | | - | else 0 |
---|
119 | | - | let L = if (sigVerify(x.bodyBytes, x.proofs[2], q)) |
---|
120 | | - | then 1 |
---|
121 | | - | else 0 |
---|
122 | | - | (((J + K) + L) >= 2) |
---|
123 | | - | } |
---|
| 129 | + | else (((z + A) + B) >= 2) |
---|
124 | 130 | | } |
---|
125 | 131 | | |
---|