tx · 7wRqcRaKUQoANeyom5SJ8SoKABJg6yUue3ybFarqdGuz

3N2XpUqCtTfja6qx9PYTK5rMqPqPGHjUKBk:  -0.00300000 Waves

2022.06.17 16:09 [2100418] smart account 3N2XpUqCtTfja6qx9PYTK5rMqPqPGHjUKBk > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "7wRqcRaKUQoANeyom5SJ8SoKABJg6yUue3ybFarqdGuz",
    "fee": 300000,
    "feeAssetId": null,
    "timestamp": 1655471384812,
    "version": 2,
    "chainId": 84,
    "sender": "3N2XpUqCtTfja6qx9PYTK5rMqPqPGHjUKBk",
    "senderPublicKey": "HamtkqxV16vJfpP5mMUgFhbhNT5ArhVEuGbrcCXAF2Ac",
    "proofs": [
        "63PKhQCBtuiDLH9vctudt78gCgUmYuqsK7h8MxDjfQ1dARTtt4zzqtxnHZkugZoyRne31Cb4dHHCAua5Ez5ed8Hu"
    ],
    "script": "base64:BgIECAISAAABAWkBA2ZvbwAEAWEDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQAGCQD0AwMBAAEAAQADCQAAAgUBYQUBYQQBYgkA/AcECQEHQWRkcmVzcwEBGgFUNk7lsjFe1AqsUyCidelDiKLOdw5MSb/9AgNiYXIFA25pbAUDbmlsAwkAAAIFAWIFAWIFA25pbAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgDitefZ",
    "height": 2100418,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: CVfxit49PfUXXr4maHbJrYpt1GoMEUbETry12vw3q8cJ
Next: 8jQJh8BzK5mJbYMsmpaQbK56LMFVSwcw4ZvkyoJKkK2d

Diff: 
Old
New
Differences
1
-
{-# STDLIB_VERSION 5 #-}
1
+
{-# STDLIB_VERSION 6 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
-
let dapp3 = Address(base58'3FmpgbD2337ceUsy57qD9w9hUWirszmE7L6')
5
-
6
-
let message = base58'emsY'
7
-
8
-
let pub = base58'HnU9jfhpMcQNaG5yQ46eR43RnkWKGxerw2zVrbpnbGof'
9
-
10
-
let sig = base58'4uXfw7162zaopAkTNa7eo6YK2mJsTiHGJL3dCtRRH63z1nrdoHBHyhbvrfZovkxf2jKsi2vPsaP2XykfZmUiwPeg'
11
-
12
-
let complexCase1 = sigVerify_8Kb(message, sig, pub)
13
-
14
-
let complexCase2 = if (sigVerify_32Kb(message, sig, pub))
15
-
    then sigVerify_16Kb(message, sig, pub)
16
-
    else false
17
-
18
-
let complexCase34 = if (sigVerify(message, sig, pub))
19
-
    then sigVerify(message, sig, pub)
20
-
    else false
21
-
22
-
let complexCase5 = if (sigVerify_8Kb(message, sig, pub))
23
-
    then sigVerify_8Kb(message, sig, pub)
24
-
    else false
25
-
26
-
let complexCase6 = if (sigVerify_64Kb(message, sig, pub))
27
-
    then sigVerify_32Kb(message, sig, pub)
28
-
    else false
29
-
30
-
@Callable(i)
31
-
func case1 (bool) = {
32
-
    let inv = invoke(dapp3, "case1", [complexCase1], nil)
33
-
    if ((inv == inv))
34
-
        then nil
35
-
        else throw("Strict value is not equal to itself.")
36
-
    }
37
-
38
4
 
39
5
 
40
6
 
@Callable(i)
41
-
func case2 (bool) = {
42
-
    let inv = invoke(dapp3, "case2", [complexCase2], nil)
43
-
    if ((inv == inv))
44
-
        then nil
45
-
        else throw("Strict value is not equal to itself.")
46
-
    }
47
-
48
-
49
-
50
-
@Callable(i)
51
-
func case3 (bool) = {
52
-
    let inv = invoke(dapp3, "case3", [complexCase34], nil)
53
-
    if ((inv == inv))
54
-
        then nil
55
-
        else throw("Strict value is not equal to itself.")
56
-
    }
57
-
58
-
59
-
60
-
@Callable(i)
61
-
func case4 (bool) = if (complexCase34)
62
-
    then [ScriptTransfer(dapp3, 99900000000, unit)]
63
-
    else nil
64
-
65
-
66
-
67
-
@Callable(i)
68
-
func case5 (bool) = {
69
-
    let inv = invoke(dapp3, "case5", [complexCase5], nil)
70
-
    if ((inv == inv))
71
-
        then nil
72
-
        else throw("Strict value is not equal to itself.")
73
-
    }
74
-
75
-
76
-
77
-
@Callable(i)
78
-
func case6 (bool) = {
79
-
    let inv = invoke(dapp3, "case6", [complexCase6], nil)
80
-
    if ((inv == inv))
81
-
        then nil
7
+
func foo () = {
8
+
    let a = if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (sigVerify(base58'', base58'', base58''))
9
+
        then true
10
+
        else sigVerify(base58'', base58'', base58''))
11
+
        then true
12
+
        else sigVerify(base58'', base58'', base58''))
13
+
        then true
14
+
        else sigVerify(base58'', base58'', base58''))
15
+
        then true
16
+
        else sigVerify(base58'', base58'', base58''))
17
+
        then true
18
+
        else sigVerify(base58'', base58'', base58''))
19
+
        then true
20
+
        else sigVerify(base58'', base58'', base58''))
21
+
        then true
22
+
        else sigVerify(base58'', base58'', base58''))
23
+
        then true
24
+
        else sigVerify(base58'', base58'', base58''))
25
+
        then true
26
+
        else sigVerify(base58'', base58'', base58''))
27
+
        then true
28
+
        else sigVerify(base58'', base58'', base58''))
29
+
        then true
30
+
        else sigVerify(base58'', base58'', base58''))
31
+
        then true
32
+
        else sigVerify(base58'', base58'', base58''))
33
+
        then true
34
+
        else sigVerify(base58'', base58'', base58''))
35
+
        then true
36
+
        else sigVerify(base58'', base58'', base58''))
37
+
        then true
38
+
        else sigVerify(base58'', base58'', base58''))
39
+
        then true
40
+
        else sigVerify(base58'', base58'', base58''))
41
+
        then true
42
+
        else sigVerify(base58'', base58'', base58''))
43
+
        then true
44
+
        else sigVerify(base58'', base58'', base58''))
45
+
        then true
46
+
        else sigVerify(base58'', base58'', base58''))
47
+
        then true
48
+
        else sigVerify(base58'', base58'', base58''))
49
+
        then true
50
+
        else sigVerify(base58'', base58'', base58''))
51
+
        then true
52
+
        else sigVerify(base58'', base58'', base58''))
53
+
        then true
54
+
        else sigVerify(base58'', base58'', base58''))
55
+
        then true
56
+
        else sigVerify(base58'', base58'', base58''))
57
+
        then true
58
+
        else sigVerify(base58'', base58'', base58''))
59
+
        then true
60
+
        else sigVerify(base58'', base58'', base58''))
61
+
        then true
62
+
        else sigVerify(base58'', base58'', base58''))
63
+
        then true
64
+
        else sigVerify(base58'', base58'', base58''))
65
+
        then true
66
+
        else sigVerify(base58'', base58'', base58''))
67
+
        then true
68
+
        else sigVerify(base58'', base58'', base58''))
69
+
        then true
70
+
        else sigVerify(base58'', base58'', base58''))
71
+
        then true
72
+
        else sigVerify(base58'', base58'', base58''))
73
+
        then true
74
+
        else sigVerify(base58'', base58'', base58''))
75
+
        then true
76
+
        else sigVerify(base58'', base58'', base58''))
77
+
        then true
78
+
        else sigVerify(base58'', base58'', base58''))
79
+
        then true
80
+
        else sigVerify(base58'', base58'', base58''))
81
+
        then true
82
+
        else sigVerify(base58'', base58'', base58''))
83
+
        then true
84
+
        else sigVerify(base58'', base58'', base58''))
85
+
        then true
86
+
        else sigVerify(base58'', base58'', base58''))
87
+
        then true
88
+
        else sigVerify(base58'', base58'', base58''))
89
+
        then true
90
+
        else sigVerify(base58'', base58'', base58''))
91
+
        then true
92
+
        else sigVerify(base58'', base58'', base58''))
93
+
        then true
94
+
        else sigVerify(base58'', base58'', base58''))
95
+
        then true
96
+
        else sigVerify(base58'', base58'', base58''))
97
+
        then true
98
+
        else sigVerify(base58'', base58'', base58''))
99
+
        then true
100
+
        else sigVerify(base58'', base58'', base58''))
101
+
        then true
102
+
        else sigVerify(base58'', base58'', base58''))
103
+
        then true
104
+
        else sigVerify(base58'', base58'', base58''))
105
+
        then true
106
+
        else sigVerify(base58'', base58'', base58''))
107
+
        then true
108
+
        else sigVerify(base58'', base58'', base58''))
109
+
        then true
110
+
        else sigVerify(base58'', base58'', base58''))
111
+
        then true
112
+
        else sigVerify(base58'', base58'', base58''))
113
+
        then true
114
+
        else sigVerify(base58'', base58'', base58''))
115
+
        then true
116
+
        else sigVerify(base58'', base58'', base58''))
117
+
        then true
118
+
        else sigVerify(base58'', base58'', base58''))
119
+
        then true
120
+
        else sigVerify(base58'', base58'', base58''))
121
+
        then true
122
+
        else sigVerify(base58'', base58'', base58''))
123
+
        then true
124
+
        else sigVerify(base58'', base58'', base58''))
125
+
        then true
126
+
        else sigVerify(base58'', base58'', base58''))
127
+
        then true
128
+
        else sigVerify(base58'', base58'', base58''))
129
+
        then true
130
+
        else sigVerify(base58'', base58'', base58''))
131
+
        then true
132
+
        else sigVerify(base58'', base58'', base58''))
133
+
        then true
134
+
        else sigVerify(base58'', base58'', base58''))
135
+
        then true
136
+
        else sigVerify(base58'', base58'', base58''))
137
+
        then true
138
+
        else sigVerify(base58'', base58'', base58''))
139
+
        then true
140
+
        else sigVerify(base58'', base58'', base58''))
141
+
        then true
142
+
        else sigVerify(base58'', base58'', base58''))
143
+
        then true
144
+
        else sigVerify(base58'', base58'', base58''))
145
+
        then true
146
+
        else sigVerify(base58'', base58'', base58''))
147
+
        then true
148
+
        else sigVerify(base58'', base58'', base58''))
149
+
        then true
150
+
        else sigVerify(base58'', base58'', base58''))
151
+
        then true
152
+
        else sigVerify(base58'', base58'', base58''))
153
+
        then true
154
+
        else sigVerify(base58'', base58'', base58''))
155
+
        then true
156
+
        else sigVerify(base58'', base58'', base58''))
157
+
        then true
158
+
        else sigVerify(base58'', base58'', base58''))
159
+
        then true
160
+
        else sigVerify(base58'', base58'', base58''))
161
+
        then true
162
+
        else sigVerify(base58'', base58'', base58''))
163
+
        then true
164
+
        else sigVerify(base58'', base58'', base58''))
165
+
        then true
166
+
        else sigVerify(base58'', base58'', base58''))
167
+
        then true
168
+
        else sigVerify(base58'', base58'', base58''))
169
+
        then true
170
+
        else sigVerify(base58'', base58'', base58''))
171
+
        then true
172
+
        else sigVerify(base58'', base58'', base58''))
173
+
        then true
174
+
        else sigVerify(base58'', base58'', base58''))
175
+
        then true
176
+
        else sigVerify(base58'', base58'', base58''))
177
+
        then true
178
+
        else sigVerify(base58'', base58'', base58''))
179
+
        then true
180
+
        else sigVerify(base58'', base58'', base58''))
181
+
        then true
182
+
        else sigVerify(base58'', base58'', base58''))
183
+
        then true
184
+
        else sigVerify(base58'', base58'', base58''))
185
+
        then true
186
+
        else sigVerify(base58'', base58'', base58''))
187
+
        then true
188
+
        else sigVerify(base58'', base58'', base58''))
189
+
        then true
190
+
        else sigVerify(base58'', base58'', base58''))
191
+
        then true
192
+
        else sigVerify(base58'', base58'', base58''))
193
+
        then true
194
+
        else sigVerify(base58'', base58'', base58''))
195
+
        then true
196
+
        else sigVerify(base58'', base58'', base58''))
197
+
        then true
198
+
        else sigVerify(base58'', base58'', base58''))
199
+
        then true
200
+
        else sigVerify(base58'', base58'', base58''))
201
+
        then true
202
+
        else sigVerify(base58'', base58'', base58''))
203
+
        then true
204
+
        else sigVerify(base58'', base58'', base58''))
205
+
        then true
206
+
        else sigVerify(base58'', base58'', base58''))
207
+
        then true
208
+
        else sigVerify(base58'', base58'', base58''))
209
+
        then true
210
+
        else sigVerify(base58'', base58'', base58''))
211
+
        then true
212
+
        else sigVerify(base58'', base58'', base58''))
213
+
        then true
214
+
        else sigVerify(base58'', base58'', base58''))
215
+
        then true
216
+
        else sigVerify(base58'', base58'', base58''))
217
+
        then true
218
+
        else sigVerify(base58'', base58'', base58''))
219
+
        then true
220
+
        else sigVerify(base58'', base58'', base58''))
221
+
        then true
222
+
        else sigVerify(base58'', base58'', base58''))
223
+
        then true
224
+
        else sigVerify(base58'', base58'', base58''))
225
+
        then true
226
+
        else sigVerify(base58'', base58'', base58''))
227
+
        then true
228
+
        else sigVerify(base58'', base58'', base58''))
229
+
        then true
230
+
        else sigVerify(base58'', base58'', base58''))
231
+
        then true
232
+
        else sigVerify(base58'', base58'', base58''))
233
+
        then true
234
+
        else sigVerify(base58'', base58'', base58''))
235
+
        then true
236
+
        else sigVerify(base58'', base58'', base58''))
237
+
        then true
238
+
        else sigVerify(base58'', base58'', base58''))
239
+
        then true
240
+
        else sigVerify(base58'', base58'', base58''))
241
+
        then true
242
+
        else sigVerify(base58'', base58'', base58''))
243
+
        then true
244
+
        else sigVerify(base58'', base58'', base58''))
245
+
        then true
246
+
        else sigVerify(base58'', base58'', base58''))
247
+
        then true
248
+
        else sigVerify(base58'', base58'', base58''))
249
+
        then true
250
+
        else sigVerify(base58'', base58'', base58''))
251
+
        then true
252
+
        else sigVerify(base58'', base58'', base58''))
253
+
        then true
254
+
        else sigVerify(base58'', base58'', base58''))
255
+
        then true
256
+
        else sigVerify(base58'', base58'', base58''))
257
+
        then true
258
+
        else sigVerify(base58'', base58'', base58''))
259
+
        then true
260
+
        else sigVerify(base58'', base58'', base58''))
261
+
        then true
262
+
        else sigVerify(base58'', base58'', base58''))
263
+
        then true
264
+
        else sigVerify(base58'', base58'', base58''))
265
+
        then true
266
+
        else sigVerify(base58'', base58'', base58''))
267
+
        then true
268
+
        else sigVerify(base58'', base58'', base58''))
269
+
        then true
270
+
        else sigVerify(base58'', base58'', base58''))
271
+
        then true
272
+
        else sigVerify(base58'', base58'', base58''))
273
+
        then true
274
+
        else sigVerify(base58'', base58'', base58''))
275
+
        then true
276
+
        else sigVerify(base58'', base58'', base58''))
277
+
        then true
278
+
        else sigVerify(base58'', base58'', base58''))
279
+
        then true
280
+
        else sigVerify(base58'', base58'', base58''))
281
+
        then true
282
+
        else sigVerify(base58'', base58'', base58''))
283
+
        then true
284
+
        else sigVerify(base58'', base58'', base58''))
285
+
        then true
286
+
        else sigVerify(base58'', base58'', base58''))
287
+
        then true
288
+
        else sigVerify(base58'', base58'', base58''))
289
+
        then true
290
+
        else sigVerify(base58'', base58'', base58''))
291
+
        then true
292
+
        else sigVerify(base58'', base58'', base58''))
293
+
        then true
294
+
        else sigVerify(base58'', base58'', base58''))
295
+
        then true
296
+
        else sigVerify(base58'', base58'', base58''))
297
+
        then true
298
+
        else sigVerify(base58'', base58'', base58''))
299
+
        then true
300
+
        else sigVerify(base58'', base58'', base58''))
301
+
        then true
302
+
        else sigVerify(base58'', base58'', base58''))
303
+
        then true
304
+
        else sigVerify(base58'', base58'', base58''))
305
+
        then true
306
+
        else sigVerify(base58'', base58'', base58''))
307
+
        then true
308
+
        else sigVerify(base58'', base58'', base58''))
309
+
        then true
310
+
        else sigVerify(base58'', base58'', base58''))
311
+
        then true
312
+
        else sigVerify(base58'', base58'', base58''))
313
+
        then true
314
+
        else sigVerify(base58'', base58'', base58''))
315
+
        then true
316
+
        else sigVerify(base58'', base58'', base58'')
317
+
    if ((a == a))
318
+
        then {
319
+
            let b = invoke(Address(base58'3MtsEnA2WD77aZPQ97ZzU2xu99EZc12ecZz'), "bar", nil, nil)
320
+
            if ((b == b))
321
+
                then nil
322
+
                else throw("Strict value is not equal to itself.")
323
+
            }
82
324
 
        else throw("Strict value is not equal to itself.")
83
325
 
    }
84
326
 

Full: 
Old
New
Differences
1
-
{-# STDLIB_VERSION 5 #-}
1
+
{-# STDLIB_VERSION 6 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
-
let dapp3 = Address(base58'3FmpgbD2337ceUsy57qD9w9hUWirszmE7L6')
5
-
6
-
let message = base58'emsY'
7
-
8
-
let pub = base58'HnU9jfhpMcQNaG5yQ46eR43RnkWKGxerw2zVrbpnbGof'
9
-
10
-
let sig = base58'4uXfw7162zaopAkTNa7eo6YK2mJsTiHGJL3dCtRRH63z1nrdoHBHyhbvrfZovkxf2jKsi2vPsaP2XykfZmUiwPeg'
11
-
12
-
let complexCase1 = sigVerify_8Kb(message, sig, pub)
13
-
14
-
let complexCase2 = if (sigVerify_32Kb(message, sig, pub))
15
-
    then sigVerify_16Kb(message, sig, pub)
16
-
    else false
17
-
18
-
let complexCase34 = if (sigVerify(message, sig, pub))
19
-
    then sigVerify(message, sig, pub)
20
-
    else false
21
-
22
-
let complexCase5 = if (sigVerify_8Kb(message, sig, pub))
23
-
    then sigVerify_8Kb(message, sig, pub)
24
-
    else false
25
-
26
-
let complexCase6 = if (sigVerify_64Kb(message, sig, pub))
27
-
    then sigVerify_32Kb(message, sig, pub)
28
-
    else false
29
-
30
-
@Callable(i)
31
-
func case1 (bool) = {
32
-
    let inv = invoke(dapp3, "case1", [complexCase1], nil)
33
-
    if ((inv == inv))
34
-
        then nil
35
-
        else throw("Strict value is not equal to itself.")
36
-
    }
37
-
38
4
 
39
5
 
40
6
 
@Callable(i)
41
-
func case2 (bool) = {
42
-
    let inv = invoke(dapp3, "case2", [complexCase2], nil)
43
-
    if ((inv == inv))
44
-
        then nil
45
-
        else throw("Strict value is not equal to itself.")
46
-
    }
47
-
48
-
49
-
50
-
@Callable(i)
51
-
func case3 (bool) = {
52
-
    let inv = invoke(dapp3, "case3", [complexCase34], nil)
53
-
    if ((inv == inv))
54
-
        then nil
55
-
        else throw("Strict value is not equal to itself.")
56
-
    }
57
-
58
-
59
-
60
-
@Callable(i)
61
-
func case4 (bool) = if (complexCase34)
62
-
    then [ScriptTransfer(dapp3, 99900000000, unit)]
63
-
    else nil
64
-
65
-
66
-
67
-
@Callable(i)
68
-
func case5 (bool) = {
69
-
    let inv = invoke(dapp3, "case5", [complexCase5], nil)
70
-
    if ((inv == inv))
71
-
        then nil
72
-
        else throw("Strict value is not equal to itself.")
73
-
    }
74
-
75
-
76
-
77
-
@Callable(i)
78
-
func case6 (bool) = {
79
-
    let inv = invoke(dapp3, "case6", [complexCase6], nil)
80
-
    if ((inv == inv))
81
-
        then nil
7
+
func foo () = {
8
+
    let a = if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (sigVerify(base58'', base58'', base58''))
9
+
        then true
10
+
        else sigVerify(base58'', base58'', base58''))
11
+
        then true
12
+
        else sigVerify(base58'', base58'', base58''))
13
+
        then true
14
+
        else sigVerify(base58'', base58'', base58''))
15
+
        then true
16
+
        else sigVerify(base58'', base58'', base58''))
17
+
        then true
18
+
        else sigVerify(base58'', base58'', base58''))
19
+
        then true
20
+
        else sigVerify(base58'', base58'', base58''))
21
+
        then true
22
+
        else sigVerify(base58'', base58'', base58''))
23
+
        then true
24
+
        else sigVerify(base58'', base58'', base58''))
25
+
        then true
26
+
        else sigVerify(base58'', base58'', base58''))
27
+
        then true
28
+
        else sigVerify(base58'', base58'', base58''))
29
+
        then true
30
+
        else sigVerify(base58'', base58'', base58''))
31
+
        then true
32
+
        else sigVerify(base58'', base58'', base58''))
33
+
        then true
34
+
        else sigVerify(base58'', base58'', base58''))
35
+
        then true
36
+
        else sigVerify(base58'', base58'', base58''))
37
+
        then true
38
+
        else sigVerify(base58'', base58'', base58''))
39
+
        then true
40
+
        else sigVerify(base58'', base58'', base58''))
41
+
        then true
42
+
        else sigVerify(base58'', base58'', base58''))
43
+
        then true
44
+
        else sigVerify(base58'', base58'', base58''))
45
+
        then true
46
+
        else sigVerify(base58'', base58'', base58''))
47
+
        then true
48
+
        else sigVerify(base58'', base58'', base58''))
49
+
        then true
50
+
        else sigVerify(base58'', base58'', base58''))
51
+
        then true
52
+
        else sigVerify(base58'', base58'', base58''))
53
+
        then true
54
+
        else sigVerify(base58'', base58'', base58''))
55
+
        then true
56
+
        else sigVerify(base58'', base58'', base58''))
57
+
        then true
58
+
        else sigVerify(base58'', base58'', base58''))
59
+
        then true
60
+
        else sigVerify(base58'', base58'', base58''))
61
+
        then true
62
+
        else sigVerify(base58'', base58'', base58''))
63
+
        then true
64
+
        else sigVerify(base58'', base58'', base58''))
65
+
        then true
66
+
        else sigVerify(base58'', base58'', base58''))
67
+
        then true
68
+
        else sigVerify(base58'', base58'', base58''))
69
+
        then true
70
+
        else sigVerify(base58'', base58'', base58''))
71
+
        then true
72
+
        else sigVerify(base58'', base58'', base58''))
73
+
        then true
74
+
        else sigVerify(base58'', base58'', base58''))
75
+
        then true
76
+
        else sigVerify(base58'', base58'', base58''))
77
+
        then true
78
+
        else sigVerify(base58'', base58'', base58''))
79
+
        then true
80
+
        else sigVerify(base58'', base58'', base58''))
81
+
        then true
82
+
        else sigVerify(base58'', base58'', base58''))
83
+
        then true
84
+
        else sigVerify(base58'', base58'', base58''))
85
+
        then true
86
+
        else sigVerify(base58'', base58'', base58''))
87
+
        then true
88
+
        else sigVerify(base58'', base58'', base58''))
89
+
        then true
90
+
        else sigVerify(base58'', base58'', base58''))
91
+
        then true
92
+
        else sigVerify(base58'', base58'', base58''))
93
+
        then true
94
+
        else sigVerify(base58'', base58'', base58''))
95
+
        then true
96
+
        else sigVerify(base58'', base58'', base58''))
97
+
        then true
98
+
        else sigVerify(base58'', base58'', base58''))
99
+
        then true
100
+
        else sigVerify(base58'', base58'', base58''))
101
+
        then true
102
+
        else sigVerify(base58'', base58'', base58''))
103
+
        then true
104
+
        else sigVerify(base58'', base58'', base58''))
105
+
        then true
106
+
        else sigVerify(base58'', base58'', base58''))
107
+
        then true
108
+
        else sigVerify(base58'', base58'', base58''))
109
+
        then true
110
+
        else sigVerify(base58'', base58'', base58''))
111
+
        then true
112
+
        else sigVerify(base58'', base58'', base58''))
113
+
        then true
114
+
        else sigVerify(base58'', base58'', base58''))
115
+
        then true
116
+
        else sigVerify(base58'', base58'', base58''))
117
+
        then true
118
+
        else sigVerify(base58'', base58'', base58''))
119
+
        then true
120
+
        else sigVerify(base58'', base58'', base58''))
121
+
        then true
122
+
        else sigVerify(base58'', base58'', base58''))
123
+
        then true
124
+
        else sigVerify(base58'', base58'', base58''))
125
+
        then true
126
+
        else sigVerify(base58'', base58'', base58''))
127
+
        then true
128
+
        else sigVerify(base58'', base58'', base58''))
129
+
        then true
130
+
        else sigVerify(base58'', base58'', base58''))
131
+
        then true
132
+
        else sigVerify(base58'', base58'', base58''))
133
+
        then true
134
+
        else sigVerify(base58'', base58'', base58''))
135
+
        then true
136
+
        else sigVerify(base58'', base58'', base58''))
137
+
        then true
138
+
        else sigVerify(base58'', base58'', base58''))
139
+
        then true
140
+
        else sigVerify(base58'', base58'', base58''))
141
+
        then true
142
+
        else sigVerify(base58'', base58'', base58''))
143
+
        then true
144
+
        else sigVerify(base58'', base58'', base58''))
145
+
        then true
146
+
        else sigVerify(base58'', base58'', base58''))
147
+
        then true
148
+
        else sigVerify(base58'', base58'', base58''))
149
+
        then true
150
+
        else sigVerify(base58'', base58'', base58''))
151
+
        then true
152
+
        else sigVerify(base58'', base58'', base58''))
153
+
        then true
154
+
        else sigVerify(base58'', base58'', base58''))
155
+
        then true
156
+
        else sigVerify(base58'', base58'', base58''))
157
+
        then true
158
+
        else sigVerify(base58'', base58'', base58''))
159
+
        then true
160
+
        else sigVerify(base58'', base58'', base58''))
161
+
        then true
162
+
        else sigVerify(base58'', base58'', base58''))
163
+
        then true
164
+
        else sigVerify(base58'', base58'', base58''))
165
+
        then true
166
+
        else sigVerify(base58'', base58'', base58''))
167
+
        then true
168
+
        else sigVerify(base58'', base58'', base58''))
169
+
        then true
170
+
        else sigVerify(base58'', base58'', base58''))
171
+
        then true
172
+
        else sigVerify(base58'', base58'', base58''))
173
+
        then true
174
+
        else sigVerify(base58'', base58'', base58''))
175
+
        then true
176
+
        else sigVerify(base58'', base58'', base58''))
177
+
        then true
178
+
        else sigVerify(base58'', base58'', base58''))
179
+
        then true
180
+
        else sigVerify(base58'', base58'', base58''))
181
+
        then true
182
+
        else sigVerify(base58'', base58'', base58''))
183
+
        then true
184
+
        else sigVerify(base58'', base58'', base58''))
185
+
        then true
186
+
        else sigVerify(base58'', base58'', base58''))
187
+
        then true
188
+
        else sigVerify(base58'', base58'', base58''))
189
+
        then true
190
+
        else sigVerify(base58'', base58'', base58''))
191
+
        then true
192
+
        else sigVerify(base58'', base58'', base58''))
193
+
        then true
194
+
        else sigVerify(base58'', base58'', base58''))
195
+
        then true
196
+
        else sigVerify(base58'', base58'', base58''))
197
+
        then true
198
+
        else sigVerify(base58'', base58'', base58''))
199
+
        then true
200
+
        else sigVerify(base58'', base58'', base58''))
201
+
        then true
202
+
        else sigVerify(base58'', base58'', base58''))
203
+
        then true
204
+
        else sigVerify(base58'', base58'', base58''))
205
+
        then true
206
+
        else sigVerify(base58'', base58'', base58''))
207
+
        then true
208
+
        else sigVerify(base58'', base58'', base58''))
209
+
        then true
210
+
        else sigVerify(base58'', base58'', base58''))
211
+
        then true
212
+
        else sigVerify(base58'', base58'', base58''))
213
+
        then true
214
+
        else sigVerify(base58'', base58'', base58''))
215
+
        then true
216
+
        else sigVerify(base58'', base58'', base58''))
217
+
        then true
218
+
        else sigVerify(base58'', base58'', base58''))
219
+
        then true
220
+
        else sigVerify(base58'', base58'', base58''))
221
+
        then true
222
+
        else sigVerify(base58'', base58'', base58''))
223
+
        then true
224
+
        else sigVerify(base58'', base58'', base58''))
225
+
        then true
226
+
        else sigVerify(base58'', base58'', base58''))
227
+
        then true
228
+
        else sigVerify(base58'', base58'', base58''))
229
+
        then true
230
+
        else sigVerify(base58'', base58'', base58''))
231
+
        then true
232
+
        else sigVerify(base58'', base58'', base58''))
233
+
        then true
234
+
        else sigVerify(base58'', base58'', base58''))
235
+
        then true
236
+
        else sigVerify(base58'', base58'', base58''))
237
+
        then true
238
+
        else sigVerify(base58'', base58'', base58''))
239
+
        then true
240
+
        else sigVerify(base58'', base58'', base58''))
241
+
        then true
242
+
        else sigVerify(base58'', base58'', base58''))
243
+
        then true
244
+
        else sigVerify(base58'', base58'', base58''))
245
+
        then true
246
+
        else sigVerify(base58'', base58'', base58''))
247
+
        then true
248
+
        else sigVerify(base58'', base58'', base58''))
249
+
        then true
250
+
        else sigVerify(base58'', base58'', base58''))
251
+
        then true
252
+
        else sigVerify(base58'', base58'', base58''))
253
+
        then true
254
+
        else sigVerify(base58'', base58'', base58''))
255
+
        then true
256
+
        else sigVerify(base58'', base58'', base58''))
257
+
        then true
258
+
        else sigVerify(base58'', base58'', base58''))
259
+
        then true
260
+
        else sigVerify(base58'', base58'', base58''))
261
+
        then true
262
+
        else sigVerify(base58'', base58'', base58''))
263
+
        then true
264
+
        else sigVerify(base58'', base58'', base58''))
265
+
        then true
266
+
        else sigVerify(base58'', base58'', base58''))
267
+
        then true
268
+
        else sigVerify(base58'', base58'', base58''))
269
+
        then true
270
+
        else sigVerify(base58'', base58'', base58''))
271
+
        then true
272
+
        else sigVerify(base58'', base58'', base58''))
273
+
        then true
274
+
        else sigVerify(base58'', base58'', base58''))
275
+
        then true
276
+
        else sigVerify(base58'', base58'', base58''))
277
+
        then true
278
+
        else sigVerify(base58'', base58'', base58''))
279
+
        then true
280
+
        else sigVerify(base58'', base58'', base58''))
281
+
        then true
282
+
        else sigVerify(base58'', base58'', base58''))
283
+
        then true
284
+
        else sigVerify(base58'', base58'', base58''))
285
+
        then true
286
+
        else sigVerify(base58'', base58'', base58''))
287
+
        then true
288
+
        else sigVerify(base58'', base58'', base58''))
289
+
        then true
290
+
        else sigVerify(base58'', base58'', base58''))
291
+
        then true
292
+
        else sigVerify(base58'', base58'', base58''))
293
+
        then true
294
+
        else sigVerify(base58'', base58'', base58''))
295
+
        then true
296
+
        else sigVerify(base58'', base58'', base58''))
297
+
        then true
298
+
        else sigVerify(base58'', base58'', base58''))
299
+
        then true
300
+
        else sigVerify(base58'', base58'', base58''))
301
+
        then true
302
+
        else sigVerify(base58'', base58'', base58''))
303
+
        then true
304
+
        else sigVerify(base58'', base58'', base58''))
305
+
        then true
306
+
        else sigVerify(base58'', base58'', base58''))
307
+
        then true
308
+
        else sigVerify(base58'', base58'', base58''))
309
+
        then true
310
+
        else sigVerify(base58'', base58'', base58''))
311
+
        then true
312
+
        else sigVerify(base58'', base58'', base58''))
313
+
        then true
314
+
        else sigVerify(base58'', base58'', base58''))
315
+
        then true
316
+
        else sigVerify(base58'', base58'', base58'')
317
+
    if ((a == a))
318
+
        then {
319
+
            let b = invoke(Address(base58'3MtsEnA2WD77aZPQ97ZzU2xu99EZc12ecZz'), "bar", nil, nil)
320
+
            if ((b == b))
321
+
                then nil
322
+
                else throw("Strict value is not equal to itself.")
323
+
            }
82
324
 
        else throw("Strict value is not equal to itself.")
83
325
 
    }
84
326
 
85
327
 

github/deemru/w8io/169f3d6 
57.96 ms ◑