Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug Report][dev branch] dev分支move v6版本跑main历史高度区块3527247报verify error #3827

Closed
nkysg opened this issue Dec 28, 2022 · 2 comments
Assignees
Labels
bug Something isn't working

Comments

@nkysg
Copy link
Collaborator

nkysg commented Dec 28, 2022

Bug Report

Starcoin version:

Current behavior:

Expected behavior:

Steps to reproduce:

Related code:

insert short code snippets here

Other information:

@nkysg nkysg added the bug Something isn't working label Dec 28, 2022
@nkysg
Copy link
Collaborator Author

nkysg commented Dec 28, 2022

2022-12-29T00:28:34.124352+08:00 ERROR - [VM] error loading resource at (0x69f1e543a3bef043b63bed825fcd2cf6, Struct(CachedStructIndex(102))): PartialVMError { major_status: TOO_MANY_TYPE_NODES, sub_status: None, message: None, exec_state: None, indices: [], offsets: [] } from data store
2022-12-29T00:28:34.124429+08:00 ERROR - Verification error during runtime: VMError { major_status: TOO_MANY_TYPE_NODES, sub_status: None, message: None, exec_state: Some(ExecutionState { stack_trace: [(Some(ModuleId { address: 0x69f1e543a3bef043b63bed825fcd2cf6, name: Identifier("KikoCatCard03") }), FunctionDefinitionIndex(14), 57), (Some(ModuleId { address: 0x69f1e543a3bef043b63bed825fcd2cf6, name: Identifier("KikoCatCard03") }), FunctionDefinitionIndex(15), 70)] }), location: Module(ModuleId { address: 0x69f1e543a3bef043b63bed825fcd2cf6, name: Identifier("KikoCatCard03") }), indices: [], offsets: [(FunctionDefinitionIndex(1), 646)] }
2022-12-29T00:28:34.124778+08:00 ERROR - Error: VMError { major_status: VERIFICATION_ERROR, sub_status: None, message: None, exec_state: None, location: Module(ModuleId { address: 0x69f1e543a3bef043b63bed825fcd2cf6, name: Identifier("KikoCatCard03") }), indices: [], offsets: [] }
CORE DUMP: >>>>>>>>>>>>
Call stack:
 frame #0: 0x69f1e543a3bef043b63bed825fcd2cf6::KikoCatCard03::mint_original_nft_with_image [pc = 70]
 frame #1: 0x69f1e543a3bef043b63bed825fcd2cf6::KikoCatCard03::mint_original_nft [pc = 57]
*frame #2: 0x69f1e543a3bef043b63bed825fcd2cf6::KikoCatCard03::composit_nft [pc = 646]:
0> CopyLoc(0)
1> Call(20)
2> StLoc(100)
3> CopyLoc(5)
4> CopyLoc(6)
5> Add
6> CopyLoc(7)
7> Add
8> CopyLoc(8)
9> Add
10> CopyLoc(9)
11> Add
12> LdU64(0)
13> Gt
14> StLoc(106)
15> MoveLoc(106)
16> BrTrue(21)
17> MoveLoc(0)
18> Pop
19> LdConst(0)
20> Abort
21> CopyLoc(100)
22> MutBorrowGlobal(StructDefinitionIndex(8))
23> StLoc(62)
24> CopyLoc(0)
25> CopyLoc(5)
26> LdU64(1)
27> Call(5)
28> StLoc(59)
29> CopyLoc(0)
30> CopyLoc(6)
31> LdU64(2)
32> Call(5)
33> StLoc(76)
34> CopyLoc(0)
35> CopyLoc(7)
36> LdU64(3)
37> Call(5)
38> StLoc(66)
39> CopyLoc(0)
40> CopyLoc(8)
41> LdU64(4)
42> Call(5)
43> StLoc(70)
44> CopyLoc(0)
45> CopyLoc(9)
46> LdU64(5)
47> Call(5)
48> StLoc(81)
49> CopyLoc(0)
50> CopyLoc(10)
51> LdU64(6)
52> Call(5)
53> StLoc(55)
54> CopyLoc(0)
55> CopyLoc(11)
56> LdU64(7)
57> Call(5)
58> StLoc(71)
59> CopyLoc(0)
60> CopyLoc(12)
61> LdU64(8)
62> Call(5)
63> StLoc(80)
64> CopyLoc(0)
65> CopyLoc(13)
66> LdU64(9)
67> Call(5)
68> StLoc(67)
69> CopyLoc(0)
70> CopyLoc(14)
71> LdU64(10)
72> Call(5)
73> StLoc(86)
74> CopyLoc(0)
75> CopyLoc(15)
76> LdU64(11)
77> Call(5)
78> StLoc(101)
79> CopyLoc(0)
80> CopyLoc(16)
81> LdU64(12)
82> Call(5)
83> StLoc(90)
84> CopyLoc(0)
85> CopyLoc(17)
86> LdU64(13)
87> Call(5)
88> StLoc(68)
89> CopyLoc(0)
90> CopyLoc(18)
91> LdU64(14)
92> Call(5)
93> StLoc(94)
94> CopyLoc(0)
95> CopyLoc(19)
96> LdU64(15)
97> Call(5)
98> StLoc(93)
99> CopyLoc(0)
100> CopyLoc(20)
101> LdU64(16)
102> Call(5)
103> StLoc(78)
104> CopyLoc(0)
105> CopyLoc(21)
106> LdU64(17)
107> Call(5)
108> StLoc(84)
109> CopyLoc(0)
110> CopyLoc(22)
111> LdU64(18)
112> Call(5)
113> StLoc(79)
114> CopyLoc(0)
115> CopyLoc(23)
116> LdU64(19)
117> Call(5)
118> StLoc(61)
119> CopyLoc(0)
120> CopyLoc(24)
121> LdU64(20)
122> Call(5)
123> StLoc(102)
124> CopyLoc(0)
125> CopyLoc(25)
126> LdU64(21)
127> Call(5)
128> StLoc(105)
129> CopyLoc(0)
130> CopyLoc(26)
131> LdU64(22)
132> Call(5)
133> StLoc(97)
134> CopyLoc(0)
135> CopyLoc(27)
136> LdU64(23)
137> Call(5)
138> StLoc(65)
139> CopyLoc(0)
140> CopyLoc(28)
141> LdU64(24)
142> Call(5)
143> StLoc(83)
144> CopyLoc(0)
145> CopyLoc(29)
146> LdU64(25)
147> Call(5)
148> StLoc(113)
149> CopyLoc(0)
150> CopyLoc(30)
151> LdU64(26)
152> Call(5)
153> StLoc(56)
154> CopyLoc(0)
155> CopyLoc(31)
156> LdU64(27)
157> Call(5)
158> StLoc(108)
159> CopyLoc(0)
160> CopyLoc(32)
161> LdU64(28)
162> Call(5)
163> StLoc(75)
164> CopyLoc(0)
165> CopyLoc(33)
166> LdU64(29)
167> Call(5)
168> StLoc(109)
169> CopyLoc(0)
170> CopyLoc(34)
171> LdU64(30)
172> Call(5)
173> StLoc(87)
174> CopyLoc(0)
175> CopyLoc(35)
176> LdU64(31)
177> Call(5)
178> StLoc(60)
179> CopyLoc(0)
180> CopyLoc(36)
181> LdU64(32)
182> Call(5)
183> StLoc(73)
184> CopyLoc(0)
185> CopyLoc(37)
186> LdU64(33)
187> Call(5)
188> StLoc(110)
189> CopyLoc(0)
190> CopyLoc(38)
191> LdU64(34)
192> Call(5)
193> StLoc(112)
194> CopyLoc(0)
195> CopyLoc(39)
196> LdU64(35)
197> Call(5)
198> StLoc(89)
199> CopyLoc(0)
200> CopyLoc(40)
201> LdU64(36)
202> Call(5)
203> StLoc(104)
204> CopyLoc(0)
205> CopyLoc(41)
206> LdU64(37)
207> Call(5)
208> StLoc(92)
209> CopyLoc(0)
210> CopyLoc(42)
211> LdU64(38)
212> Call(5)
213> StLoc(91)
214> CopyLoc(0)
215> CopyLoc(43)
216> LdU64(39)
217> Call(5)
218> StLoc(99)
219> CopyLoc(0)
220> CopyLoc(44)
221> LdU64(40)
222> Call(5)
223> StLoc(95)
224> CopyLoc(0)
225> CopyLoc(45)
226> LdU64(41)
227> Call(5)
228> StLoc(72)
229> CopyLoc(0)
230> CopyLoc(46)
231> LdU64(42)
232> Call(5)
233> StLoc(57)
234> CopyLoc(0)
235> CopyLoc(47)
236> LdU64(43)
237> Call(5)
238> StLoc(85)
239> CopyLoc(0)
240> CopyLoc(48)
241> LdU64(44)
242> Call(5)
243> StLoc(74)
244> CopyLoc(0)
245> CopyLoc(49)
246> LdU64(45)
247> Call(5)
248> StLoc(111)
249> CopyLoc(0)
250> CopyLoc(50)
251> LdU64(46)
252> Call(5)
253> StLoc(82)
254> CopyLoc(0)
255> CopyLoc(51)
256> LdU64(47)
257> Call(5)
258> StLoc(58)
259> CopyLoc(0)
260> CopyLoc(52)
261> LdU64(48)
262> Call(5)
263> StLoc(88)
264> CopyLoc(0)
265> CopyLoc(53)
266> LdU64(49)
267> Call(5)
268> StLoc(96)
269> MoveLoc(0)
270> CopyLoc(54)
271> LdU64(50)
272> Call(5)
273> StLoc(103)
274> LdU128(0)
275> StLoc(98)
276> CopyLoc(98)
277> ImmBorrowLoc(59)
278> Call(6)
279> Add
280> StLoc(98)
281> CopyLoc(98)
282> ImmBorrowLoc(76)
283> Call(6)
284> Add
285> StLoc(98)
286> CopyLoc(98)
287> ImmBorrowLoc(66)
288> Call(6)
289> Add
290> StLoc(98)
291> CopyLoc(98)
292> ImmBorrowLoc(70)
293> Call(6)
294> Add
295> StLoc(98)
296> CopyLoc(98)
297> ImmBorrowLoc(81)
298> Call(6)
299> Add
300> StLoc(98)
301> CopyLoc(98)
302> ImmBorrowLoc(55)
303> Call(6)
304> Add
305> StLoc(98)
306> CopyLoc(98)
307> ImmBorrowLoc(71)
308> Call(6)
309> Add
310> StLoc(98)
311> CopyLoc(98)
312> ImmBorrowLoc(80)
313> Call(6)
314> Add
315> StLoc(98)
316> CopyLoc(98)
317> ImmBorrowLoc(67)
318> Call(6)
319> Add
320> StLoc(98)
321> CopyLoc(98)
322> ImmBorrowLoc(86)
323> Call(6)
324> Add
325> StLoc(98)
326> CopyLoc(98)
327> ImmBorrowLoc(101)
328> Call(6)
329> Add
330> StLoc(98)
331> CopyLoc(98)
332> ImmBorrowLoc(90)
333> Call(6)
334> Add
335> StLoc(98)
336> CopyLoc(98)
337> ImmBorrowLoc(68)
338> Call(6)
339> Add
340> StLoc(98)
341> CopyLoc(98)
342> ImmBorrowLoc(94)
343> Call(6)
344> Add
345> StLoc(98)
346> CopyLoc(98)
347> ImmBorrowLoc(93)
348> Call(6)
349> Add
350> StLoc(98)
351> CopyLoc(98)
352> ImmBorrowLoc(78)
353> Call(6)
354> Add
355> StLoc(98)
356> CopyLoc(98)
357> ImmBorrowLoc(84)
358> Call(6)
359> Add
360> StLoc(98)
361> CopyLoc(98)
362> ImmBorrowLoc(79)
363> Call(6)
364> Add
365> StLoc(98)
366> CopyLoc(98)
367> ImmBorrowLoc(61)
368> Call(6)
369> Add
370> StLoc(98)
371> CopyLoc(98)
372> ImmBorrowLoc(102)
373> Call(6)
374> Add
375> StLoc(98)
376> CopyLoc(98)
377> ImmBorrowLoc(105)
378> Call(6)
379> Add
380> StLoc(98)
381> CopyLoc(98)
382> ImmBorrowLoc(97)
383> Call(6)
384> Add
385> StLoc(98)
386> CopyLoc(98)
387> ImmBorrowLoc(65)
388> Call(6)
389> Add
390> StLoc(98)
391> CopyLoc(98)
392> ImmBorrowLoc(83)
393> Call(6)
394> Add
395> StLoc(98)
396> CopyLoc(98)
397> ImmBorrowLoc(113)
398> Call(6)
399> Add
400> StLoc(98)
401> CopyLoc(98)
402> ImmBorrowLoc(56)
403> Call(6)
404> Add
405> StLoc(98)
406> CopyLoc(98)
407> ImmBorrowLoc(108)
408> Call(6)
409> Add
410> StLoc(98)
411> CopyLoc(98)
412> ImmBorrowLoc(75)
413> Call(6)
414> Add
415> StLoc(98)
416> CopyLoc(98)
417> ImmBorrowLoc(109)
418> Call(6)
419> Add
420> StLoc(98)
421> CopyLoc(98)
422> ImmBorrowLoc(87)
423> Call(6)
424> Add
425> StLoc(98)
426> CopyLoc(98)
427> ImmBorrowLoc(60)
428> Call(6)
429> Add
430> StLoc(98)
431> CopyLoc(98)
432> ImmBorrowLoc(73)
433> Call(6)
434> Add
435> StLoc(98)
436> CopyLoc(98)
437> ImmBorrowLoc(110)
438> Call(6)
439> Add
440> StLoc(98)
441> CopyLoc(98)
442> ImmBorrowLoc(112)
443> Call(6)
444> Add
445> StLoc(98)
446> CopyLoc(98)
447> ImmBorrowLoc(89)
448> Call(6)
449> Add
450> StLoc(98)
451> CopyLoc(98)
452> ImmBorrowLoc(104)
453> Call(6)
454> Add
455> StLoc(98)
456> CopyLoc(98)
457> ImmBorrowLoc(92)
458> Call(6)
459> Add
460> StLoc(98)
461> CopyLoc(98)
462> ImmBorrowLoc(91)
463> Call(6)
464> Add
465> StLoc(98)
466> CopyLoc(98)
467> ImmBorrowLoc(99)
468> Call(6)
469> Add
470> StLoc(98)
471> CopyLoc(98)
472> ImmBorrowLoc(95)
473> Call(6)
474> Add
475> StLoc(98)
476> CopyLoc(98)
477> ImmBorrowLoc(72)
478> Call(6)
479> Add
480> StLoc(98)
481> CopyLoc(98)
482> ImmBorrowLoc(57)
483> Call(6)
484> Add
485> StLoc(98)
486> CopyLoc(98)
487> ImmBorrowLoc(85)
488> Call(6)
489> Add
490> StLoc(98)
491> CopyLoc(98)
492> ImmBorrowLoc(74)
493> Call(6)
494> Add
495> StLoc(98)
496> CopyLoc(98)
497> ImmBorrowLoc(111)
498> Call(6)
499> Add
500> StLoc(98)
501> CopyLoc(98)
502> ImmBorrowLoc(82)
503> Call(6)
504> Add
505> StLoc(98)
506> CopyLoc(98)
507> ImmBorrowLoc(58)
508> Call(6)
509> Add
510> StLoc(98)
511> CopyLoc(98)
512> ImmBorrowLoc(88)
513> Call(6)
514> Add
515> StLoc(98)
516> CopyLoc(98)
517> ImmBorrowLoc(96)
518> Call(6)
519> Add
520> StLoc(98)
521> CopyLoc(98)
522> ImmBorrowLoc(103)
523> Call(6)
524> Add
525> StLoc(98)
526> CopyLoc(100)
527> MoveLoc(62)
528> MutBorrowField(FieldHandleIndex(1))
529> MoveLoc(1)
530> MoveLoc(2)
531> MoveLoc(3)
532> CopyLoc(4)
533> CopyLoc(98)
534> CopyLoc(5)
535> CopyLoc(6)
536> CopyLoc(7)
537> CopyLoc(8)
538> CopyLoc(9)
539> CopyLoc(10)
540> CopyLoc(11)
541> CopyLoc(12)
542> CopyLoc(13)
543> CopyLoc(14)
544> CopyLoc(15)
545> CopyLoc(16)
546> CopyLoc(17)
547> CopyLoc(18)
548> CopyLoc(19)
549> CopyLoc(20)
550> CopyLoc(21)
551> CopyLoc(22)
552> CopyLoc(23)
553> CopyLoc(24)
554> CopyLoc(25)
555> CopyLoc(26)
556> CopyLoc(27)
557> CopyLoc(28)
558> CopyLoc(29)
559> CopyLoc(30)
560> CopyLoc(31)
561> CopyLoc(32)
562> CopyLoc(33)
563> CopyLoc(34)
564> CopyLoc(35)
565> CopyLoc(36)
566> CopyLoc(37)
567> CopyLoc(38)
568> CopyLoc(39)
569> CopyLoc(40)
570> CopyLoc(41)
571> CopyLoc(42)
572> CopyLoc(43)
573> CopyLoc(44)
574> CopyLoc(45)
575> CopyLoc(46)
576> CopyLoc(47)
577> CopyLoc(48)
578> CopyLoc(49)
579> CopyLoc(50)
580> CopyLoc(51)
581> CopyLoc(52)
582> CopyLoc(53)
583> CopyLoc(54)
584> Pack(7)
585> LdFalse
586> Pack(3)
587> CallGeneric(1)
588> StLoc(64)
589> ImmBorrowLoc(64)
590> CallGeneric(2)
591> StLoc(63)
592> CopyLoc(63)
593> MoveLoc(59)
594> MoveLoc(76)
595> MoveLoc(66)
596> MoveLoc(70)
597> MoveLoc(81)
598> MoveLoc(55)
599> MoveLoc(71)
600> MoveLoc(80)
601> MoveLoc(67)
602> MoveLoc(86)
603> MoveLoc(101)
604> MoveLoc(90)
605> MoveLoc(68)
606> MoveLoc(94)
607> MoveLoc(93)
608> MoveLoc(78)
609> MoveLoc(84)
610> MoveLoc(79)
611> MoveLoc(61)
612> MoveLoc(102)
613> MoveLoc(105)
614> MoveLoc(97)
615> MoveLoc(65)
616> MoveLoc(83)
617> MoveLoc(113)
618> MoveLoc(56)
619> MoveLoc(108)
620> MoveLoc(75)
621> MoveLoc(109)
622> MoveLoc(87)
623> MoveLoc(60)
624> MoveLoc(73)
625> MoveLoc(110)
626> MoveLoc(112)
627> MoveLoc(89)
628> MoveLoc(104)
629> MoveLoc(92)
630> MoveLoc(91)
631> MoveLoc(99)
632> MoveLoc(95)
633> MoveLoc(72)
634> MoveLoc(57)
635> MoveLoc(85)
636> MoveLoc(74)
637> MoveLoc(111)
638> MoveLoc(82)
639> MoveLoc(58)
640> MoveLoc(88)
641> MoveLoc(96)
642> MoveLoc(103)
643> Pack(2)
644> StLoc(69)
645> LdConst(1)
646* MutBorrowGlobal(StructDefinitionIndex(1))
Locals:
[0] Invalid
[1] Invalid
[2] Invalid
[3] Invalid
[4] true
[5] U64(1)
[6] U64(2)
[7] U64(3)
[8] U64(0)
[9] U64(0)
[10] U64(0)
[11] U64(0)
[12] U64(0)
[13] U64(0)
[14] U64(0)
[15] U64(0)
[16] U64(0)
[17] U64(0)
[18] U64(0)
[19] U64(0)
[20] U64(0)
[21] U64(0)
[22] U64(0)
[23] U64(0)
[24] U64(0)
[25] U64(0)
[26] U64(0)
[27] U64(0)
[28] U64(0)
[29] U64(0)
[30] U64(0)
[31] U64(0)
[32] U64(0)
[33] U64(0)
[34] U64(0)
[35] U64(0)
[36] U64(0)
[37] U64(0)
[38] U64(0)
[39] U64(0)
[40] U64(0)
[41] U64(0)
[42] U64(0)
[43] U64(0)
[44] U64(0)
[45] U64(0)
[46] U64(0)
[47] U64(0)
[48] U64(0)
[49] U64(0)
[50] U64(0)
[51] U64(0)
[52] U64(0)
[53] U64(0)
[54] U64(0)
[55] Invalid
[56] Invalid
[57] Invalid
[58] Invalid
[59] Invalid
[60] Invalid
[61] Invalid
[62] Invalid
[63] U64(1)
[64] [Address(69f1e543a3bef043b63bed825fcd2cf6), U64(1), [[99, 97, 114, 100], [104, 116, 116, 112, 115, 58, 47, 47, 116, 101, 115, 116, 46, 107, 105, 107, 111, 115, 119, 97, 112, 46, 99, 111, 109, 47, 118, 49, 47, 110, 102, 116, 47, 105, 109, 97, 103, 101, 47, 105, 110, 102, 111, 47, 49, 48, 48, 48, 52], [], [84, 101, 115, 116, 32, 67, 97, 116, 32, 105, 115, 32, 75, 73, 75, 79, 39, 115, 32, 102, 105, 114, 115, 116, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 32, 115, 101, 114, 105, 101, 115, 32, 46, 32, 73, 116, 32, 105, 115, 32, 108, 105, 109, 105, 116, 101, 100, 32, 116, 111, 32, 50, 48, 48, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 101, 115, 46, 32, 69, 97, 99, 104, 32, 109, 121, 116, 101, 115, 121, 32, 98, 111, 120, 32, 119, 105, 108, 108, 32, 112, 114, 111, 100, 117, 99, 101, 32, 97, 32, 117, 110, 105, 113, 117, 101, 32, 75, 73, 75, 79, 32, 84, 101, 115, 116, 32, 67, 97, 116, 46]], [[109, 105, 110, 101, 114], [116, 101, 115, 116, 49], true, U128(3000000000), U64(1), U64(2), U64(3), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0), U64(0)], [false]]
[65] Invalid
[66] Invalid
[67] Invalid
[68] Invalid
[69] [U64(1), [[[Address(69f1e543a3bef043b63bed825fcd2cf6), U64(1), [[98, 97, 99, 107, 103, 114, 111, 117, 110, 100], [104, 116, 116, 112, 115, 58, 47, 47, 116, 101, 115, 116, 46, 107, 105, 107, 111, 115, 119, 97, 112, 46, 99, 111, 109, 47, 118, 49, 47, 110, 102, 116, 47, 105, 109, 97, 103, 101, 47, 105, 110, 102, 111, 47, 49, 48, 48, 48, 49], [], [84, 101, 115, 116, 32, 67, 97, 116, 32, 105, 115, 32, 75, 73, 75, 79, 39, 115, 32, 102, 105, 114, 115, 116, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 32, 115, 101, 114, 105, 101, 115, 32, 46, 32, 73, 116, 32, 105, 115, 32, 108, 105, 109, 105, 116, 101, 100, 32, 116, 111, 32, 50, 48, 48, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 101, 115, 46, 32, 69, 97, 99, 104, 32, 109, 121, 116, 101, 115, 121, 32, 98, 111, 120, 32, 119, 105, 108, 108, 32, 112, 114, 111, 100, 117, 99, 101, 32, 97, 32, 117, 110, 105, 113, 117, 101, 32, 75, 73, 75, 79, 32, 84, 101, 115, 116, 32, 67, 97, 116, 46]], [[98, 97, 99, 107, 103, 114, 111, 117, 110, 100], U64(1), [98, 108, 97, 99, 107], U128(1000000000)], [false]]]], [[[Address(69f1e543a3bef043b63bed825fcd2cf6), U64(2), [[102, 117, 114], [104, 116, 116, 112, 115, 58, 47, 47, 116, 101, 115, 116, 46, 107, 105, 107, 111, 115, 119, 97, 112, 46, 99, 111, 109, 47, 118, 49, 47, 110, 102, 116, 47, 105, 109, 97, 103, 101, 47, 105, 110, 102, 111, 47, 49, 48, 48, 48, 50], [], [84, 101, 115, 116, 32, 67, 97, 116, 32, 105, 115, 32, 75, 73, 75, 79, 39, 115, 32, 102, 105, 114, 115, 116, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 32, 115, 101, 114, 105, 101, 115, 32, 46, 32, 73, 116, 32, 105, 115, 32, 108, 105, 109, 105, 116, 101, 100, 32, 116, 111, 32, 50, 48, 48, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 101, 115, 46, 32, 69, 97, 99, 104, 32, 109, 121, 116, 101, 115, 121, 32, 98, 111, 120, 32, 119, 105, 108, 108, 32, 112, 114, 111, 100, 117, 99, 101, 32, 97, 32, 117, 110, 105, 113, 117, 101, 32, 75, 73, 75, 79, 32, 84, 101, 115, 116, 32, 67, 97, 116, 46]], [[102, 117, 114], U64(2), [114, 101, 100], U128(1000000000)], [false]]]], [[[Address(69f1e543a3bef043b63bed825fcd2cf6), U64(3), [[99, 108, 111, 116, 104, 101, 115], [104, 116, 116, 112, 115, 58, 47, 47, 116, 101, 115, 116, 46, 107, 105, 107, 111, 115, 119, 97, 112, 46, 99, 111, 109, 47, 118, 49, 47, 110, 102, 116, 47, 105, 109, 97, 103, 101, 47, 105, 110, 102, 111, 47, 49, 48, 48, 48, 51], [], [84, 101, 115, 116, 32, 67, 97, 116, 32, 105, 115, 32, 75, 73, 75, 79, 39, 115, 32, 102, 105, 114, 115, 116, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 32, 115, 101, 114, 105, 101, 115, 32, 46, 32, 73, 116, 32, 105, 115, 32, 108, 105, 109, 105, 116, 101, 100, 32, 116, 111, 32, 50, 48, 48, 32, 109, 121, 115, 116, 101, 114, 121, 32, 98, 111, 120, 101, 115, 46, 32, 69, 97, 99, 104, 32, 109, 121, 116, 101, 115, 121, 32, 98, 111, 120, 32, 119, 105, 108, 108, 32, 112, 114, 111, 100, 117, 99, 101, 32, 97, 32, 117, 110, 105, 113, 117, 101, 32, 75, 73, 75, 79, 32, 84, 101, 115, 116, 32, 67, 97, 116, 46]], [[99, 108, 111, 116, 104, 101, 115], U64(3), [98, 108, 117, 101], U128(1000000000)], [false]]]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]], [[]]]
[70] Invalid
[71] Invalid
[72] Invalid
[73] Invalid
[74] Invalid
[75] Invalid
[76] Invalid
[77] Invalid
[78] Invalid
[79] Invalid
[80] Invalid
[81] Invalid
[82] Invalid
[83] Invalid
[84] Invalid
[85] Invalid
[86] Invalid
[87] Invalid
[88] Invalid
[89] Invalid
[90] Invalid
[91] Invalid
[92] Invalid
[93] Invalid
[94] Invalid
[95] Invalid
[96] Invalid
[97] Invalid
[98] U128(3000000000)
[99] Invalid
[100] Address(69f1e543a3bef043b63bed825fcd2cf6)
[101] Invalid
[102] Invalid
[103] Invalid
[104] Invalid
[105] Invalid
[106] Invalid
[107] Invalid
[108] Invalid
[109] Invalid
[110] Invalid
[111] Invalid
[112] Invalid
[113] Invalid
Operand Stack:

<<<<<<<<<<<<

2022-12-29T00:28:34.130267+08:00 WARN - [VM] execute_script_function error, status_type: InvariantViolation, status_code:VERIFICATION_ERROR, message:None, location:Module(ModuleId { address: 0x69f1e543a3bef043b63bed825fcd2cf6, name: Identifier("KikoCatCard03") })
2022-12-29T00:28:34.130577+08:00 INFO - [starcoin-vm] Executed txn: HashValue(0xbfb4c81fc36d2e3cfd6d80074cc73083efae5d26e2de1886c54e1cd9cb92c55d) (sender: 0x69f1e543a3bef043b63bed825fcd2cf6, sequence_number: 1881) txn_status: Discard(VERIFICATION_ERROR), vm_status: ERROR { status_code: VERIFICATION_ERROR }
2022-12-29T00:28:34.130632+08:00 INFO - discard error vm_status output: ERROR { status_code: VERIFICATION_ERROR }
2022-12-29T00:28:34.130643+08:00 INFO - discard error output: VERIFICATION_ERROR
Error: block transaction execute discard, status:VERIFICATION_ERROR, transaction_id: 0xbfb4c81fc36d2e3cfd6d80074cc73083efae5d26e2de1886c54e1cd9cb92c55d

@nkysg nkysg changed the title [Bug Report][dev branch] dev分支跑main历史高度区块3527247报verify error [Bug Report][dev branch] dev分支move v6版本跑main历史高度区块3527247报verify error Dec 28, 2022
nkysg added a commit that referenced this issue Dec 29, 2022
nkysg added a commit that referenced this issue Dec 29, 2022
@nkysg
Copy link
Collaborator Author

nkysg commented Dec 30, 2022

fixed in starcoinorg/move@a781b64

@nkysg nkysg closed this as completed Dec 30, 2022
@nkysg nkysg self-assigned this Dec 30, 2022
nkysg added a commit that referenced this issue Jan 8, 2023
* use GasParameter replace costTable

* compat GasCost and GasConstants

* ErrorContext change to ErrorDescription

* update GasConstants member function

* ErrorContext change to ErrorDescription

* update move TableHandle def

* 1.refactor gas-algebra-ext
2.add gas_params for starcoin_vm

* 1.fix mpm code
2.fix TableHandle code

* 1.fix mpm code
2.fix TableHandle code

* fix fmt

* for build_test

* fix test compiler error

* fix fmt

* build_test for test

* fix NativeGasParams

* 1.add move stdlib nursery GasParam
2.fix starcoin_vm gas_meter
3.fix fmt and clippy warnning

* update starcoin_natives gas_params

* update VmConfig to gas_params

* fix GasParams names

* fix GasParams names

* 1.fix native function name
2.fix genesis gas_meter

* 1.fix native function name
 2.fix genesis gas_meter

* add genesis

* temp test

* fix test_example_config_compact

* revert barnard genesis

* add comment

* remove test code

* add vmconfig to gas_schedule test

* add gas meter calc function

* remove debug info

* fix simple_instruction

* fix complex instr and gas_meter

* remove unused code

* fix gas_meter related charge implement

* fix log

* remove unused code

* update starcoin_vm get gas_params

* temp remove table_info column

* fix charge_move_to and charge_borrow_global

* add debug info for gas_meter

* fix vector append remove reverse

* fix sha2_256 sha3_256 native_function cal zero str

* add nft INTERNAL_TYPE_ERROR test

* Add more test

* [vm] Fix #3804, the vm do not clear cache correctly.

* update move

* update starcoin-framework

* fix gas-algebra config

* fix fmt

* add test stdlib precompiled

* fix test_init_script and test_signer_cap_internal_type_error

* update move_stdlib params

* comment stdlib pre compiler test

* Package transaction publish bundle logic

* Update move dep for fixing transactional test harness

* reopen test_stdlib_pre_compiled

* Fix test cases

* comment StarcoinFramework checkpoint

* compatible legacy AccountDataCache

* remove unused file

* add move bytecode v5 to v4

* Fix task help

* move bytecode v6

* update starcoin-framework

* fix test

* update genesis

* fix test

* fix test

* fix #3827

Co-authored-by: jolestar <jolestar@gmail.com>
Co-authored-by: fikgol <hit.cs.lijun@gmail.com>
Co-authored-by: WGB5445 <919603023@qq.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant