| By type | Count |
| 6410 | Success_ |
| 470 | Ignored_SkipTestMaxGasLimit(4503599627370496) |
| 342 | Ignored_SkipTestMaxGasLimit(4363961650643952) |
| 342 | Ignored_SkipTestMaxGasLimit(4433230883193329) |
| 339 | Ignored_SkipTestMaxGasLimit(4433230883194032) |
| 339 | Ignored_SkipTestMaxGasLimit(4433230883194031) |
| 292 | Ignored_SkipTestSelfDestruct |
| 290 | Ignored_SkipTestMaxGasLimit(80000000) |
| 228 | Ignored_SkipTestMaxGasLimit(4363961650643958) |
| 228 | Ignored_SkipTestMaxGasLimit(4363961650643960) |
| 228 | Ignored_SkipTestMaxGasLimit(4363961650643954) |
| 228 | Ignored_SkipTestMaxGasLimit(4363961650643956) |
| 126 | Ignored_SkipTestMaxSteps(1025) |
| 114 | Ignored_SkipTestMaxGasLimit(4363961650643955) |
| 114 | Ignored_SkipTestMaxGasLimit(4363961650643961) |
| 114 | Ignored_SkipTestMaxGasLimit(4433230883196429) |
| 114 | Ignored_SkipTestMaxGasLimit(4363961650643957) |
| 114 | Ignored_SkipTestMaxGasLimit(4433230883193328) |
| 114 | Ignored_SkipTestMaxGasLimit(4433230883196430) |
| 114 | Ignored_SkipTestMaxGasLimit(4363961650643962) |
| 114 | Ignored_SkipTestMaxGasLimit(4363961650643959) |
| 113 | Ignored_SkipTestMaxGasLimit(4433230883194033) |
| 113 | Ignored_SkipTestMaxSteps(26825) |
| 113 | Ignored_SkipTestMaxGasLimit(4433230883194030) |
| 83 | Ignored_SkipTestMaxGasLimit(7897826) |
| 50 | Ignored_SkipTestMaxGasLimit(78750377) |
| 34 | Ignored_SkipTestMaxGasLimit(250000000) |
| 25 | Ignored_SkipTestMaxGasLimit(42949672960) |
| 22 | Ignored_SkipTestMaxGasLimit(734328) |
| 22 | Ignored_SkipTestMaxGasLimit(78750373) |
| 22 | Ignored_SkipTestMaxGasLimit(587387) |
| 14 | Ignored_SkipTestMaxGasLimit(847936) |
| 14 | Ignored_SkipTestMaxGasLimit(78773183) |
| 13 | Ignored_SkipTestMaxGasLimit(78773182) |
| 13 | Ignored_SkipTestMaxGasLimit(672666) |
| 12 | Ignored_SkipTestMaxGasLimit(78772720) |
| 11 | Ignored_SkipTestMaxGasLimit(672663) |
| 8 | Ignored_SkipTestMaxGasLimit(847933) |
| 8 | Ignored_SkipTestMaxGasLimit(3943159) |
| 8 | Ignored_SkipTestMaxGasLimit(1075325) |
| 8 | Ignored_SkipTestMaxGasLimit(3912526) |
| 8 | Ignored_SkipTestMaxGasLimit(3892208) |
| 8 | Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 212,<br /> name: "MODEXP: call success if valid input and enough gas",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 215,<br /> name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 219,<br /> name: "MODEXP: output acc bytes must equal",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 251,<br /> name: "MODEXP: State transition (to) constraint of gas_left",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}])<br /> right: Ok(()) |
| 8 | Ignored_SkipTestMaxGasLimit(1077530) |
| 8 | Ignored_SkipTestMaxGasLimit(9437184) |
| 8 | Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 212,<br /> name: "MODEXP: call success if valid input and enough gas",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}])<br /> right: Ok(()) |
| 8 | Ignored_SkipTestMaxSteps(2708) |
| 6 | Ignored_SkipTestMaxGasLimit(672660) |
| 6 | Ignored_SkipTestMaxGasLimit(600000) |
| 6 | Ignored_SkipTestMaxGasLimit(98444480) |
| 6 | Ignored_SkipTestMaxGasLimit(648238) |
| 5 | Ignored_SkipTestMaxGasLimit(78772828) |
| 5 | Ignored_SkipTestMaxGasLimit(78750718) |
| 5 | Ignored_SkipTestMaxGasLimit(1000000) |
| 5 | Panic_not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } |
| 5 | Ignored_SkipTestMaxGasLimit(78772870) |
| 5 | Ignored_SkipTestMaxGasLimit(39378023) |
| 5 | Ignored_SkipTestMaxGasLimit(78772746) |
| 5 | Ignored_SkipTestMaxSteps(2156) |
| 5 | Ignored_SkipTestMaxGasLimit(508401) |
| 5 | Ignored_SkipTestMaxGasLimit(529865) |
| 5 | Ignored_SkipTestMaxGasLimit(78772787) |
| 4 | Ignored_SkipTestMaxGasLimit(83886081) |
| 4 | Ignored_SkipTestMaxSteps(69376) |
| 4 | Ignored_SkipTestMaxGasLimit(2047140) |
| 4 | Ignored_SkipTestMaxSteps(2584) |
| 4 | Ignored_SkipTestMaxSteps(2283) |
| 4 | Ignored_SkipTestMaxGasLimit(77560425) |
| 4 | Ignored_SkipTestMaxGasLimit(1008233) |
| 4 | Ignored_SkipTestMaxGasLimit(4373561) |
| 4 | Ignored_SkipTestMaxGasLimit(508227) |
| 3 | Ignored_SkipTestMaxGasLimit(4433230883193847) |
| 3 | Ignored_SkipTestMaxGasLimit(508215) |
| 3 | Ignored_SkipTestMaxGasLimit(78773017) |
| 3 | Ignored_SkipTestMaxGasLimit(78773129) |
| 3 | Ignored_SkipTestMaxGasLimit(1075331) |
| 3 | Ignored_SkipTestMaxGasLimit(1077536) |
| 3 | Ignored_SkipTestMaxSteps(6438) |
| 3 | Ignored_SkipTestMaxGasLimit(680795) |
| 3 | Ignored_SkipTestMaxSteps(4695) |
| 3 | Ignored_SkipTestMaxGasLimit(4433230883193848) |
| 3 | Ignored_SkipTestMaxGasLimit(791036) |
| 2 | Ignored_SkipTestMaxGasLimit(234978596) |
| 2 | Ignored_SkipTestMaxSteps(2443) |
| 2 | Ignored_SkipTestMaxGasLimit(3000000) |
| 2 | Ignored_SkipTestMaxGasLimit(508389) |
| 2 | Ignored_SkipTestMaxSteps(8065) |
| 2 | Ignored_SkipTestMaxGasLimit(7000000) |
| 2 | Ignored_SkipTestMaxGasLimit(98444454) |
| 2 | Ignored_SkipTestMaxSteps(8560) |
| 2 | Ignored_SkipTestMaxGasLimit(8089280) |
| 2 | Ignored_SkipTestMaxSteps(5944) |
| 2 | Ignored_SkipTestMaxSteps(2354) |
| 2 | Ignored_SkipTestMaxGasLimit(2047137) |
| 2 | Fail_StorgeMismatch(slot:1 expected:0, found: 1) |
| 2 | Ignored_SkipTestMaxGasLimit(2133825) |
| 2 | Ignored_SkipTestMaxGasLimit(78754201) |
| 2 | Ignored_SkipTestMaxGasLimit(78773242) |
| 2 | Ignored_SkipTestMaxGasLimit(5786929) |
| 2 | Ignored_SkipTestMaxGasLimit(930000) |
| 2 | Ignored_SkipTestMaxGasLimit(17046725299038) |
| 2 | Ignored_SkipTestMaxSteps(17423) |
| 2 | Ignored_SkipTestMaxSteps(2361) |
| 2 | Ignored_SkipTestMaxGasLimit(2133523) |
| 2 | Ignored_SkipTestMaxGasLimit(113729469) |
| 2 | Ignored_SkipTestMaxGasLimit(17592186190689) |
| 2 | Ignored_SkipTestMaxSteps(6215) |
| 2 | Ignored_SkipTestMaxGasLimit(98444453) |
| 2 | Ignored_SkipTestMaxGasLimit(10048101) |
| 2 | Ignored_SkipTestMaxGasLimit(2133655) |
| 2 | Ignored_SkipTestMaxGasLimit(528289) |
| 2 | Ignored_SkipTestMaxSteps(16400) |
| 2 | Ignored_SkipTestMaxGasLimit(2133759) |
| 2 | Ignored_SkipTestMaxGasLimit(78772904) |
| 2 | Ignored_SkipTestMaxSteps(1968) |
| 2 | Ignored_SkipTestMaxSteps(2458) |
| 2 | Ignored_SkipTestMaxGasLimit(641748) |
| 2 | Ignored_SkipTestMaxSteps(18450) |
| 2 | Ignored_SkipTestMaxGasLimit(78772905) |
| 2 | Ignored_SkipTestMaxGasLimit(2052540) |
| 2 | Ignored_SkipTestMaxSteps(8640) |
| 2 | Ignored_SkipTestMaxSteps(2459) |
| 2 | Ignored_SkipTestMaxSteps(37925) |
| 2 | Ignored_SkipTestMaxSteps(6437) |
| 2 | Ignored_SkipTestMaxGasLimit(8777204) |
| 2 | Ignored_SkipTestMaxSteps(2583) |
| 2 | Ignored_SkipTestMaxSteps(30735) |
| 2 | Ignored_SkipTestMaxGasLimit(78754211) |
| 2 | Ignored_SkipTestMaxSteps(6427) |
| 2 | Ignored_SkipTestMaxSteps(3944) |
| 2 | Ignored_SkipTestMaxSteps(2585) |
| 2 | Ignored_SkipTestMaxGasLimit(9843774679) |
| 2 | Ignored_SkipTestMaxSteps(2707) |
| 2 | Ignored_SkipTestMaxSteps(8798) |
| 2 | Ignored_SkipTestMaxSteps(1026) |
| 2 | Ignored_SkipTestMaxSteps(1250036) |
| 2 | Ignored_SkipTestMaxSteps(1875) |
| 2 | Panic_not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 0, storage: {}, code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, keccak_code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, code_size: 5 } |
| 2 | Ignored_SkipTestMaxGasLimit(2151677) |
| 2 | Ignored_SkipTestMaxGasLimit(528451) |
| 2 | Ignored_SkipTestMaxGasLimit(42278584695) |
| 2 | Ignored_SkipTestMaxSteps(16405) |
| 2 | Ignored_SkipTestMaxSteps(930764) |
| 2 | Ignored_SkipTestMaxGasLimit(78773241) |
| 2 | Ignored_SkipTestMaxGasLimit(4433230883193846) |
| 2 | Ignored_SkipTestMaxSteps(4694) |
| 2 | Ignored_SkipTestMaxGasLimit(78772721) |
| 2 | Ignored_SkipTestMaxGasLimit(78773184) |
| 2 | Ignored_SkipTestMaxSteps(1250029) |
| 2 | Ignored_SkipTestMaxSteps(4996) |
| 2 | Ignored_SkipTestMaxSteps(4606) |
| 2 | Panic_assertion `left == right` failed<br /> left: 53082<br /> right: 54000 |
| 2 | Ignored_SkipTestMaxGasLimit(710000) |
| 2 | Ignored_SkipTestMaxGasLimit(33969169) |
| 2 | Ignored_SkipTestMaxSteps(69375) |
| 2 | Ignored_SkipTestMaxSteps(6216) |
| 2 | Ignored_SkipTestMaxSteps(2157) |
| 2 | Ignored_SkipTestMaxGasLimit(2201545) |
| 1 | Ignored_SkipTestMaxSteps(7700) |
| 1 | Ignored_SkipTestMaxGasLimit(1468895746) |
| 1 | Ignored_SkipTestMaxGasLimit(18216493) |
| 1 | Ignored_SkipTestMaxGasLimit(16801046) |
| 1 | Ignored_SkipTestMaxSteps(23014) |
| 1 | Ignored_SkipTestMaxSteps(2320) |
| 1 | Ignored_SkipTestMaxGasLimit(1368228759) |
| 1 | Ignored_SkipTestMaxGasLimit(686854) |
| 1 | Ignored_SkipTestMaxSteps(1784) |
| 1 | Ignored_SkipTestMaxSteps(29689) |
| 1 | Ignored_SkipTestMaxGasLimit(3963736256) |
| 1 | Ignored_SkipTestMaxSteps(15148) |
| 1 | Ignored_SkipTestMaxSteps(7956) |
| 1 | Ignored_SkipTestMaxSteps(6657) |
| 1 | Ignored_SkipTestMaxSteps(22710) |
| 1 | Ignored_SkipTestMaxGasLimit(1236557749) |
| 1 | Ignored_SkipTestMaxGasLimit(527605043) |
| 1 | Ignored_SkipTestMaxGasLimit(33969172) |
| 1 | Ignored_SkipTestMaxGasLimit(2788708) |
| 1 | Ignored_SkipTestMaxGasLimit(1150984998) |
| 1 | Ignored_SkipTestMaxGasLimit(4990376) |
| 1 | Ignored_SkipTestMaxSteps(28930) |
| 1 | Ignored_SkipTestMaxGasLimit(78773018) |
| 1 | Ignored_SkipTestMaxSteps(29660) |
| 1 | Ignored_SkipTestMaxGasLimit(2891353) |
| 1 | Ignored_SkipTestMaxGasLimit(801162330) |
| 1 | Ignored_SkipTestMaxGasLimit(98442273) |
| 1 | Ignored_SkipTestMaxGasLimit(2133847) |
| 1 | Ignored_SkipTestMaxGasLimit(1095160389) |
| 1 | Ignored_SkipTestMaxGasLimit(1350000) |
| 1 | Ignored_SkipTestMaxGasLimit(3141592) |
| 1 | Ignored_SkipTestMaxSteps(14037) |
| 1 | Ignored_SkipTestMaxSteps(69642) |
| 1 | Ignored_SkipTestMaxSteps(36900) |
| 1 | Ignored_SkipTestMaxSteps(26816) |
| 1 | Ignored_SkipTestMaxSteps(14036) |
| 1 | Ignored_SkipTestMaxGasLimit(2133599) |
| 1 | Ignored_SkipTestMaxGasLimit(468848650) |
| 1 | Ignored_SkipTestMaxGasLimit(585001) |
| 1 | Ignored_SkipTestMaxGasLimit(103015739) |
| 1 | Ignored_SkipTestMaxSteps(3486) |
| 1 | Ignored_SkipTestMaxGasLimit(484101480) |
| 1 | Ignored_SkipTestMaxSteps(9512) |
| 1 | Ignored_SkipTestMaxSteps(30160) |
| 1 | Ignored_SkipTestMaxGasLimit(2133699) |
| 1 | Ignored_SkipTestMaxGasLimit(203068349) |
| 1 | Ignored_SkipTestMaxGasLimit(2065441969) |
| 1 | Ignored_SkipTestMaxGasLimit(1059467499) |
| 1 | Ignored_SkipTestMaxGasLimit(1213823078) |
| 1 | Ignored_SkipTestMaxSteps(15351) |
| 1 | Ignored_SkipTestMaxSteps(6850) |
| 1 | Ignored_SkipTestMaxGasLimit(1891130330) |
| 1 | Ignored_SkipTestMaxGasLimit(1926099334) |
| 1 | Ignored_SkipTestMaxSteps(1330) |
| 1 | Ignored_SkipTestMaxSteps(9180) |
| 1 | Ignored_SkipTestMaxSteps(6701) |
| 1 | Ignored_SkipTestMaxSteps(4711) |
| 1 | Ignored_SkipTestMaxGasLimit(1410953338) |
| 1 | Ignored_SkipTestMaxGasLimit(2133725) |
| 1 | Ignored_SkipTestMaxSteps(1283107) |
| 1 | Ignored_SkipTestMaxSteps(2366) |
| 1 | Ignored_SkipTestMaxSteps(22951) |
| 1 | Ignored_SkipTestMaxSteps(14111) |
| 1 | Ignored_SkipTestMaxSteps(15921) |
| 1 | Ignored_SkipTestMaxGasLimit(526559958) |
| 1 | Ignored_SkipTestMaxGasLimit(1932635474) |
| 1 | Ignored_SkipTestMaxSteps(57788) |
| 1 | Ignored_SkipTestMaxSteps(6697) |
| 1 | Ignored_SkipTestMaxSteps(28630) |
| 1 | Ignored_SkipTestMaxGasLimit(688366) |
| 1 | Ignored_SkipTestMaxSteps(4690) |
| 1 | Ignored_SkipTestMaxSteps(1500029) |
| 1 | Ignored_SkipTestMaxGasLimit(2788684) |
| 1 | Ignored_SkipTestMaxSteps(58130) |
| 1 | Ignored_SkipTestMaxGasLimit(21978411) |
| 1 | Ignored_SkipTestMaxGasLimit(9313850) |
| 1 | Ignored_SkipTestMaxGasLimit(535923493) |
| 1 | Ignored_SkipTestMaxGasLimit(576656) |
| 1 | Ignored_SkipTestMaxSteps(7339) |
| 1 | Ignored_SkipTestMaxGasLimit(931013) |
| 1 | Ignored_SkipTestMaxSteps(2362) |
| 1 | Ignored_SkipTestMaxSteps(1650028) |
| 1 | Ignored_SkipTestMaxSteps(6704) |
| 1 | Ignored_SkipTestMaxGasLimit(985068) |
| 1 | Ignored_SkipTestMaxGasLimit(2133791) |
| 1 | Ignored_SkipTestMaxSteps(1874) |
| 1 | Ignored_SkipTestMaxGasLimit(571095) |
| 1 | Ignored_SkipTestMaxGasLimit(1263945447) |
| 1 | Ignored_SkipTestMaxGasLimit(4901005) |
| 1 | Ignored_SkipTestMaxGasLimit(1412867939) |
| 1 | Ignored_SkipTestMaxGasLimit(560682) |
| 1 | Ignored_SkipTestMaxGasLimit(1004111082) |
| 1 | Ignored_SkipTestMaxGasLimit(584387) |
| 1 | Ignored_SkipTestMaxGasLimit(2147508591) |
| 1 | Ignored_SkipTestMaxGasLimit(2038066692) |
| 1 | Ignored_SkipTestMaxSteps(5918) |
| 1 | Ignored_SkipTestMaxGasLimit(104990982) |
| 1 | Ignored_SkipTestMaxGasLimit(2201501) |
| 1 | Ignored_SkipTestMaxSteps(7454) |
| 1 | Ignored_SkipTestMaxGasLimit(16805487) |
| 1 | Ignored_SkipTestMaxSteps(2774) |
| 1 | Ignored_SkipTestMaxGasLimit(801808371) |
| 1 | Ignored_SkipTestMaxSteps(69536) |
| 1 | Ignored_SkipTestMaxSteps(46669) |
| 1 | Ignored_SkipTestMaxSteps(11697) |
| 1 | Ignored_SkipTestMaxGasLimit(562157) |
| 1 | Ignored_SkipTestMaxGasLimit(1283993398) |
| 1 | Ignored_SkipTestMaxGasLimit(485979535) |
| 1 | Ignored_SkipTestMaxGasLimit(304093096) |
| 1 | Ignored_SkipTestMaxGasLimit(144161472) |
| 1 | Ignored_SkipTestMaxSteps(34708) |
| 1 | Ignored_SkipTestMaxSteps(186852) |
| 1 | Ignored_SkipTestMaxGasLimit(1043284057) |
| 1 | Ignored_SkipTestMaxSteps(11692) |
| 1 | Ignored_SkipTestMaxGasLimit(1556088551) |
| 1 | Ignored_SkipTestMaxSteps(22386) |
| 1 | Ignored_SkipTestMaxGasLimit(611323) |
| 1 | Ignored_SkipTestMaxSteps(1426097) |
| 1 | Ignored_SkipTestMaxGasLimit(1850655913) |
| 1 | Ignored_SkipTestMaxGasLimit(1518044) |
| 1 | Ignored_SkipTestMaxGasLimit(1869556436) |
| 1 | Ignored_SkipTestMaxGasLimit(1683343101) |
| 1 | Ignored_SkipTestMaxGasLimit(9846782) |
| 1 | Ignored_SkipTestMaxGasLimit(16805472) |
| 1 | Ignored_SkipTestMaxGasLimit(1258533502) |
| 1 | Ignored_SkipTestMaxGasLimit(855137385770) |
| 1 | Ignored_SkipTestMaxSteps(1015) |
| 1 | Ignored_SkipTestMaxGasLimit(423699254) |
| 1 | Ignored_SkipTestMaxSteps(69385) |
| 1 | Ignored_SkipTestMaxSteps(4693) |
| 1 | Ignored_SkipTestMaxSteps(28301) |
| 1 | Ignored_SkipTestMaxSteps(1226) |
| 1 | Ignored_SkipTestMaxGasLimit(2071421725) |
| 1 | Ignored_SkipTestMaxGasLimit(2151633) |
| 1 | Ignored_SkipTestMaxSteps(1450029) |
| 1 | Ignored_SkipTestMaxGasLimit(971451) |
| 1 | Ignored_SkipTestMaxGasLimit(365456730) |
| 1 | Ignored_SkipTestMaxGasLimit(9840869) |
| 1 | Ignored_SkipTestMaxSteps(4406) |
| 1 | Ignored_SkipTestMaxSteps(1232357) |
| 1 | Ignored_SkipTestMaxSteps(6435) |
| 1 | Ignored_SkipTestMaxGasLimit(1871470754) |
| 1 | Ignored_SkipTestMaxSteps(204379) |
| 1 | Ignored_SkipTestMaxGasLimit(157799102) |
| 1 | Ignored_SkipTestMaxGasLimit(515444) |
| 1 | Ignored_SkipTestMaxGasLimit(264530516) |
| 1 | Ignored_SkipTestMaxGasLimit(3444881) |
| 1 | Ignored_SkipTestMaxSteps(2068) |
| 1 | Ignored_SkipTestMaxSteps(2352) |
| 1 | Ignored_SkipTestMaxSteps(2359) |
| 1 | Ignored_SkipTestMaxSteps(46670) |
| 1 | Ignored_SkipTestMaxGasLimit(2139992323) |
| 1 | Ignored_SkipTestMaxGasLimit(1842335570) |
| 1 | Ignored_SkipTestMaxSteps(20619) |
| 1 | Ignored_SkipTestMaxGasLimit(1172118193) |
| 1 | Ignored_SkipTestMaxGasLimit(2133567) |
| 1 | Ignored_SkipTestMaxSteps(14219) |
| 1 | Ignored_SkipTestMaxSteps(5781) |
| 1 | Ignored_SkipTestMaxGasLimit(8653299) |
| 1 | Ignored_SkipTestMaxSteps(4699) |
| 1 | Ignored_SkipTestMaxSteps(9472) |
| 1 | Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 212,<br /> name: "MODEXP: call success if valid input and enough gas",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 215,<br /> name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 450,<br /> name: "MODEXP",<br /> },<br /> index: 251,<br /> name: "MODEXP: State transition (to) constraint of gas_left",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 52,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 68,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 21,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}])<br /> right: Ok(()) |
| 1 | Ignored_SkipTestMaxSteps(3299) |
| 1 | Ignored_SkipTestMaxGasLimit(1241595297) |
| 1 | Ignored_SkipTestMaxSteps(2406) |
| 1 | Ignored_SkipTestMaxSteps(8404) |
| 1 | Ignored_SkipTestMaxGasLimit(2151721) |
| 1 | Ignored_SkipTestMaxSteps(5381) |
| 1 | Ignored_SkipTestMaxSteps(15104) |
| 1 | Ignored_SkipTestMaxSteps(8018) |
| 1 | Ignored_SkipTestMaxSteps(28658) |
| 1 | Ignored_SkipTestMaxSteps(1700014) |
| 1 | Ignored_SkipTestMaxSteps(81020) |
| 1 | Ignored_SkipTestMaxSteps(81050) |
| 1 | Ignored_SkipTestMaxSteps(251880) |
| 1 | Ignored_SkipTestMaxGasLimit(60281340) |
| 1 | Ignored_SkipTestMaxGasLimit(3537748) |
| 1 | Ignored_SkipTestMaxGasLimit(1908121162) |
| 1 | Ignored_SkipTestMaxSteps(2282) |
| 1 | Ignored_SkipTestMaxGasLimit(1861454593) |
| 1 | Ignored_SkipTestMaxGasLimit(289121604) |
| 1 | Ignored_SkipTestMaxSteps(6429) |
| 1 | Ignored_SkipTestMaxGasLimit(580880863) |
| 1 | Ignored_SkipTestMaxSteps(1500014) |
| 1 | Ignored_SkipTestMaxSteps(23041) |
| 1 | Ignored_SkipTestMaxSteps(10328) |
| 1 | Ignored_SkipTestMaxSteps(62978) |
| 1 | Ignored_SkipTestMaxGasLimit(523992) |
| 1 | Ignored_SkipTestMaxGasLimit(601249) |
| 1 | Ignored_SkipTestMaxGasLimit(2801342) |
| 1 | Ignored_SkipTestMaxSteps(14256) |
| 1 | Ignored_SkipTestMaxGasLimit(4990444) |
| 1 | Ignored_SkipTestMaxSteps(2357) |
| 1 | Ignored_SkipTestMaxSteps(38919) |
| 1 | Ignored_SkipTestMaxSteps(46657) |
| 1 | Ignored_SkipTestMaxSteps(2367) |
| 1 | Ignored_SkipTestMaxSteps(4319) |
| 1 | Ignored_SkipTestMaxGasLimit(41617986111) |
| 1 | Ignored_SkipTestMaxGasLimit(2000000) |
| 1 | Ignored_SkipTestMaxGasLimit(2201589) |
| 1 | Ignored_SkipTestMaxGasLimit(254884091) |
| 1 | Fail_StorgeMismatch(slot:1 expected:1, found: 0) |
| 1 | Ignored_SkipTestMaxGasLimit(508377) |
| 1 | Ignored_SkipTestMaxGasLimit(155778264) |
| 1 | Ignored_SkipTestMaxSteps(10210) |
| 1 | Fail_Exception(expected:false, found:"TracingError(\"Failed to run Trace, err: Failed to apply config.Transactions[0]: intrinsic gas too low: have 1000, want 21000\")") |
| 1 | Ignored_SkipTestMaxSteps(14023) |
| 1 | Ignored_SkipTestMaxGasLimit(98442254) |
| 1 | Ignored_SkipTestMaxSteps(8325) |
| 1 | Ignored_SkipTestMaxGasLimit(1834776319) |
| 1 | Ignored_SkipTestMaxSteps(43015) |
| 1 | Ignored_SkipTestMaxGasLimit(725074658) |
| 1 | Ignored_SkipTestMaxSteps(21212) |
| 1 | Ignored_SkipTestMaxGasLimit(1364142683) |
| 1 | Ignored_SkipTestMaxGasLimit(969039724) |
| 1 | Ignored_SkipTestMaxSteps(1886) |
| 1 | Ignored_SkipTestMaxGasLimit(755513) |
| 1 | Ignored_SkipTestMaxGasLimit(16801049) |
| 1 | Ignored_SkipTestMaxGasLimit(1380924135) |
| 1 | Ignored_SkipTestMaxSteps(1177807) |
| 1 | Ignored_SkipTestMaxSteps(2368) |
| 1 | Ignored_SkipTestMaxSteps(33414) |
| 1 | Ignored_SkipTestMaxGasLimit(2243704) |
| 1 | Ignored_SkipTestMaxSteps(4698) |
| 1 | Ignored_SkipTestMaxGasLimit(1135806493) |
| 1 | Ignored_SkipTestMaxSteps(1042) |
| 1 | Ignored_SkipTestMaxSteps(6440) |
| 1 | Ignored_SkipTestMaxSteps(5410) |
| 1 | Ignored_SkipTestMaxGasLimit(5015968) |
| 1 | Ignored_SkipTestMaxSteps(3948) |
| 1 | Ignored_SkipTestMaxGasLimit(98442249) |
| 1 | Ignored_SkipTestMaxSteps(4686) |
| 1 | Ignored_SkipTestMaxSteps(19842) |
| 1 | Ignored_SkipTestMaxSteps(8270) |
| 1 | Ignored_SkipTestMaxGasLimit(713626) |
| 1 | Ignored_SkipTestMaxGasLimit(620442384) |
| 1 | Ignored_SkipTestMaxGasLimit(15303357) |
| 1 | Ignored_SkipTestMaxSteps(4920) |
| 1 | Ignored_SkipTestMaxGasLimit(9735525) |
| 1 | Ignored_SkipTestMaxGasLimit(9313839) |
| 1 | Ignored_SkipTestMaxGasLimit(984379957) |
| 1 | Ignored_SkipTestMaxSteps(8526) |
| 1 | Ignored_SkipTestMaxSteps(4836) |
| 1 | Ignored_SkipTestMaxGasLimit(3963736245) |
| 1 | Ignored_SkipTestMaxSteps(2374) |
| 1 | Ignored_SkipTestMaxGasLimit(547156642) |
| 1 | Ignored_SkipTestMaxGasLimit(1482384341) |
| 1 | Ignored_SkipTestMaxSteps(19473) |
| 1 | Ignored_SkipTestMaxGasLimit(375133628) |
| 1 | Ignored_SkipTestMaxSteps(46663) |
| 1 | Ignored_SkipTestMaxSteps(1967) |
| 1 | Ignored_SkipTestMaxGasLimit(385557323) |
| 1 | Ignored_SkipTestMaxGasLimit(3432247) |
| 1 | Ignored_SkipTestMaxSteps(46662) |
| 1 | Ignored_SkipTestMaxGasLimit(2052537) |
| 1 | Ignored_SkipTestMaxGasLimit(272706163) |
| 1 | Ignored_SkipTestMaxGasLimit(5015977) |
| 1 | Ignored_SkipTestMaxGasLimit(71266543) |
| 1 | Ignored_SkipTestMaxGasLimit(47687943) |
| 1 | Ignored_SkipTestMaxGasLimit(98442251) |
| 1 | Ignored_SkipTestMaxSteps(7253) |
| 1 | Ignored_SkipTestMaxGasLimit(2133467) |
| 1 | Ignored_SkipTestMaxGasLimit(648083) |
| 1 | Ignored_SkipTestMaxSteps(5097) |
| 1 | Ignored_SkipTestMaxSteps(7074) |
| 1 | Ignored_SkipTestMaxGasLimit(1410816741) |
| 1 | Ignored_SkipTestMaxSteps(18418) |
| 1 | Ignored_SkipTestMaxSteps(57239) |
| 1 | Ignored_SkipTestMaxGasLimit(199532355) |
| 1 | Ignored_SkipTestMaxSteps(3001479) |
| 1 | Ignored_SkipTestMaxSteps(2001429) |
| 1 | Ignored_SkipTestMaxGasLimit(1904591199) |
| 1 | Ignored_SkipTestMaxGasLimit(1382108742) |
| 1 | Ignored_SkipTestMaxSteps(31221) |
| 1 | Ignored_SkipTestMaxSteps(23032) |
| 1 | Ignored_SkipTestMaxSteps(4072) |
| 1 | Ignored_SkipTestMaxSteps(6335) |
| 1 | Ignored_SkipTestMaxGasLimit(78773130) |
| 1 | Ignored_SkipTestMaxGasLimit(50581807) |
| 1 | Ignored_SkipTestMaxGasLimit(2133781) |
| 1 | Ignored_SkipTestMaxGasLimit(716587341) |
| 1 | Ignored_SkipTestMaxGasLimit(719647634) |
| 1 | Ignored_SkipTestMaxSteps(36880) |
| 1 | Ignored_SkipTestMaxGasLimit(547588560) |
| 1 | Ignored_SkipTestMaxGasLimit(2442246) |
| 1 | Ignored_SkipTestMaxGasLimit(704316192) |
| 1 | Ignored_SkipTestMaxSteps(181317) |
| 1 | Ignored_SkipTestMaxSteps(6446) |
| 1 | Ignored_SkipTestMaxGasLimit(1944132888) |
| 1 | Ignored_SkipTestMaxSteps(16135) |
| 1 | Ignored_SkipTestMaxSteps(14033) |
| 1 | Ignored_SkipTestMaxGasLimit(692102623) |
| 1 | Ignored_SkipTestMaxSteps(181314) |
| 1 | Ignored_SkipTestMaxGasLimit(1582728214) |
| 1 | Ignored_SkipTestMaxSteps(6430) |
| 1 | Ignored_SkipTestMaxSteps(8760) |
| 1 | Ignored_SkipTestMaxSteps(1400) |
| 1 | Ignored_SkipTestMaxSteps(18441) |
| 1 | Ignored_SkipTestMaxSteps(4110) |
| 1 | Ignored_SkipTestMaxGasLimit(2801318) |
| 1 | Ignored_SkipTestMaxGasLimit(735473278) |
| 1 | Ignored_SkipTestMaxSteps(1243311) |
| 1 | Ignored_SkipTestMaxSteps(521760) |
| 1 | Ignored_SkipTestMaxSteps(5487) |
| 1 | Ignored_SkipTestMaxSteps(40793) |
| 1 | Ignored_SkipTestMaxGasLimit(995346365) |
| 1 | Ignored_SkipTestMaxSteps(6167) |
| 1 | Ignored_SkipTestMaxSteps(29071) |
| 1 | Ignored_SkipTestMaxSteps(25104) |
| 1 | Ignored_SkipTestMaxSteps(27857) |
| 1 | Ignored_SkipTestMaxGasLimit(985204) |
| 1 | Ignored_SkipTestMaxSteps(2355) |
| 1 | Ignored_SkipTestMaxSteps(4380) |
| 1 | Ignored_SkipTestMaxGasLimit(636046) |
| 1 | Ignored_SkipTestMaxSteps(1332) |
| 1 | Ignored_SkipTestMaxSteps(4962) |
| 1 | Ignored_SkipTestMaxSteps(6428) |
| 1 | Ignored_SkipTestMaxSteps(14620) |
| 1 | Ignored_SkipTestMaxSteps(19474) |
| 1 | Ignored_SkipTestMaxSteps(9211) |
| 1 | Ignored_SkipTestMaxGasLimit(2891377) |
| 1 | Ignored_SkipTestMaxGasLimit(776764027) |
| 1 | Ignored_SkipTestMaxSteps(784511) |
| 1 | Ignored_SkipTestMaxGasLimit(57527498) |
| 1 | Ignored_SkipTestMaxSteps(1230807) |
| 1 | Ignored_SkipTestMaxGasLimit(15000000) |
| id |
test_id |
level |
details |
path |
|
InitCollision_d1_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
InitCollision_d1_g0_v0
|
Fail
|
StorgeMismatch(slot:1 expected:0, found: 1)
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
|
InitCollision_d2_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
InitCollision_d2_g0_v0
|
Fail
|
StorgeMismatch(slot:1 expected:1, found: 0)
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
|
InitCollision_d3_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
InitCollision_d3_g0_v0
|
Fail
|
StorgeMismatch(slot:1 expected:0, found: 1)
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
|
TransactionCollisionToEmptyButCode_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 0, storage: {}, code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, keccak_code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
|
TransactionCollisionToEmptyButCode_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v1
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 0, storage: {}, code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, keccak_code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
|
TransactionCollisionToEmptyButNonce_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v0
|
Panic
|
assertion `left == right` failed
left: 53082
right: 54000
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
|
TransactionCollisionToEmptyButNonce_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v1
|
Panic
|
assertion `left == right` failed
left: 53082
right: 54000
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
|
initCollidingWithNonEmptyAccount_d0_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d0_g0_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
|
initCollidingWithNonEmptyAccount_d1_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d1_g0_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
|
initCollidingWithNonEmptyAccount_d2_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d2_g0_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
|
initCollidingWithNonEmptyAccount_d3_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d3_g0_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
|
initCollidingWithNonEmptyAccount_d4_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d4_g0_v0
|
Panic
|
not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 }
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
|
invalidTr_d0_g0_v0#tests/src/GeneralStateTestsFiller/stExample/invalidTrFiller.json
|
invalidTr_d0_g0_v0
|
Fail
|
Exception(expected:false, found:"TracingError(\"Failed to run Trace, err: Failed to apply config.Transactions[0]: intrinsic gas too low: have 1000, want 21000\")")
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stExample/invalidTrFiller.json
|
|
modexp_d27_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d27_g0_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d27_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d27_g1_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d27_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d27_g2_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d27_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d27_g3_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d29_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d29_g0_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d29_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d29_g1_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d29_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d29_g2_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d29_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d29_g3_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d30_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d30_g0_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d30_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d30_g1_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d30_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d30_g2_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d30_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d30_g3_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d31_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d31_g0_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d31_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d31_g1_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d31_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d31_g2_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_d31_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
modexp_d31_g3_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 219,
name: "MODEXP: output acc bytes must equal",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
|
|
modexp_modsize0_returndatasize_d2_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json
|
modexp_modsize0_returndatasize_d2_g0_v0
|
Panic
|
assertion `left == right` failed
left: Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 212,
name: "MODEXP: call success if valid input and enough gas",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 215,
name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 450,
name: "MODEXP",
},
index: 251,
name: "MODEXP: State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 15 ('Execution step region1_0'),
offset: 52,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 68,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 21,
annotation: "",
},
rotation: 0,
},
"1",
),
],
}])
right: Ok(())
|
https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json
|