1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
|
{
"pointMulAdd" : {
"env" : {
"currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da",
"currentDifficulty" : "0x020000",
"currentGasLimit" : "4012015",
"currentNumber" : "1",
"currentTimestamp" : "1000",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
},
"expect" : [
{
"indexes" : {
"data" : -1,
"gas" : -1,
"value" : -1
},
"network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01"
}
}
}
},
{
"indexes" : {
"data" : [0],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
"0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
"0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
"0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
}
}
}
},
{
"indexes" : {
"data" : [1],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
"0x0b" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f",
"0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
"0x15" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f"
}
}
}
},
{
"indexes" : {
"data" : [2],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01"
}
}
}
},
{
"indexes" : {
"data" : [3],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
"0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
"0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
"0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
}
}
}
},
{
"indexes" : {
"data" : [4],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
"0x0b" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8",
"0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
"0x15" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8"
}
}
}
},
{
"indexes" : {
"data" : [5],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
"0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
"0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
"0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
}
}
}
},
{
"indexes" : {
"data" : [6],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01",
"0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
"0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
"0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
"0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
}
}
}
},
{
"indexes" : {
"data" : [7],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
"0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4",
"0x14" : "0x01",
"0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45"
}
}
}
},
{
"indexes" : {
"data" : [8],
"gas" : -1,
"value" : -1
},
"network" : ["Metropolis"],
"result" : {
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"storage" : {
"0x00" : "0x01",
"0x01" : "0x01",
"0x02" : "0x01",
"0x03" : "0x01"
}
}
}
}
],
"pre" : {
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "1000000000000000000",
"code" : "",
"nonce" : "1",
"storage" : {
}
},
"b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "",
"code" : " 00-32 : x",
"code" : " 32-64 : y",
"code" : " 64-96 : a",
"code" : " 96-128 : b",
"code" : "128-160 : x2",
"code" : "160-192 : y2",
"code" : "192-224 : z",
"code" : "300-332 : x+a",
"code" : "332-364 : y+b",
"code" : "400-432 : x2*z",
"code" : "432-464 : y2*z",
"code" : " [[0]] : add(xy + ab)",
"code" : " [[1]] : mul(x2y2 * z)",
"code" : " [[2]] : (x + a) == (x2 * z)",
"code" : " [[3]] : (y + b) == (y2 * z)",
"code" : " [[0a]] : x + a",
"code" : " [[0b]] : y + b",
"code" : " [[14]] : x2 * z",
"code" : " [[15]] : y2 * z",
"code" : "{(MSTORE 0 (CALLDATALOAD 0)) (MSTORE 32 (CALLDATALOAD 32)) (MSTORE 64 (CALLDATALOAD 64)) (MSTORE 96 (CALLDATALOAD 96)) (MSTORE 128 (CALLDATALOAD 128)) (MSTORE 160 (CALLDATALOAD 160)) (MSTORE 192 (CALLDATALOAD 192)) [[0]](CALLCODE 500000 6 0 0 128 300 64) [[1]](CALLCODE 500000 7 0 128 96 400 64) [[10]] (MLOAD 300) [[11]] (MLOAD 332) [[20]] (MLOAD 400) [[21]] (MLOAD 432) [[2]] (EQ (SLOAD 10) (SLOAD 20)) [[3]] (EQ (SLOAD 11) (SLOAD 21))}",
"nonce" : "0",
"storage" : {
}
}
},
"transaction" : {
"data" : [
"(x,y) + (x,y) == (x,y) * 2",
"(x,y) + (x,y) + (x,y) == (x,y) * 3",
"(-x, -y) + (x,y) == (x,y) * 0",
"(-x, -y) + (-x, -y) == (-x,-y) * 2",
"(-x, -y) + (0, 0) == (x, y) * -1",
"(-x, -y) + (-x, -y) == (x, y) * -2",
"(x, y) + (0, 0) == (x, y) * 1",
"(1, 2) + (1, 2) == (1, 2) * -1",
"(1, 2) + (-1, -2) == (1, 2) * 0",
"30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000"
],
"data" : [
"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000002",
"0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000003",
"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f0000000000000000000000000000000000000000000000000000000000000000",
"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db80000000000000000000000000000000000000000000000000000000000000002",
"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff",
"0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40000000000000000000000000000000000000000000000000000000000000001",
"0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
"0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000"
],
"gasLimit" : [
"2000000"
],
"gasPrice" : "1",
"nonce" : "1",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
"to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
"value" : [
"0"
]
}
}
}
|
