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.

Sign up for GitHub

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

Jump to bottom

EIP-4200 Tests #1103

Merged
merged 20 commits into from
Apr 22, 2023
Merged

EIP-4200 Tests #1103

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
c7a85a2
Add RJUMP/RJUMPI tests
hugo-dc Dec 4, 2022
5a553cd
Update valid RJUMP/RJUMPI validation tests
gumb0 Jan 16, 2023
aa4ce4c
Update RJUMP/RJUMPI execution tests
gumb0 Jan 16, 2023
b715ca4
Add RJUMPV validation cases
gumb0 Jan 16, 2023
99ffed6
Add RJUMPV execution cases
gumb0 Jan 16, 2023
ab1bcc6
Update invalid RJUMP/RJUMPI validation tests
gumb0 Jan 16, 2023
523c0b3
Add test for RJUMPI with max offset
gumb0 Jan 17, 2023
0fa8bf9
Add test for RJUMP with max offset
gumb0 Jan 17, 2023
9d96e73
Add tests jumping into RJUMPV/CALLF immediates, add RJUMPV tests
hugo-dc Jan 19, 2023
e3affe0
Update to cancun
hugo-dc Mar 9, 2023
7cc49d6
Move to correct directory
hugo-dc Mar 17, 2023
2b01216
Change Cancun to >=Cancun, remove unneeded labels
hugo-dc Mar 28, 2023
c3a3369
Don't check Shanghai when there is already EOF code in state
hugo-dc Mar 31, 2023
ab10cf5
Fix RJUMPV comments, add test with RJUMPV at the end without immediates
hugo-dc Apr 10, 2023
33bcca5
Remove BlockchainTests
hugo-dc Apr 10, 2023
2ad4844
Remove not needed filled tests
hugo-dc Apr 13, 2023
d1fd23b
Fix wrong comments and code
hugo-dc Apr 18, 2023
ba8707e
Delete previous tests
hugo-dc Apr 18, 2023
b52f54a
Add validation tests
hugo-dc Apr 18, 2023
a4b8913
Update README
hugo-dc Apr 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5,977 changes: 5,977 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEOF/stEIP4200/EOF1_RJUMP_RJUMPI_RJUMPV_Execution.json
View file
Open in desktop

Large diffs are not rendered by default.

122 changes: 122 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEOF/stEIP4200/RJUMPI_MaxOffset.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,122 @@
{
"RJUMPI_MaxOffset_d0g0v0_Cancun" : {
"_info" : {
"comment" : "",
"filling-rpc-server" : "evmone-t8n 0.10.0-dev",
"filling-tool-version" : "retesteth-0.3.1-shanghai+commit.e3504804.Linux.g++",
"generatedTestHash" : "fba80a1282c0eaf638c4fbbed41e59ca9e820a025ebf9e56c1b2292421b5833e",
"lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++",
"solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++",
"source" : "src/EIPTestsFiller/StateTests/stEOF/stEIP4200/RJUMPI_MaxOffsetFiller.yml",
"sourceHash" : "14258fb6ac73c308c76eff0ed8675bc456fe0aa16d03a6f295bd99fec5710d0c"
},
"blocks" : [
{
"blockHeader" : {
"baseFeePerGas" : "0x0a",
"bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"difficulty" : "0x00",
"extraData" : "0x00",
"gasLimit" : "0x05500000",
"gasUsed" : "0x029810",
"hash" : "0x156edb836713973b17b9df7f2b0954a044c8a8c785f470ca2d92250826022d50",
"mixHash" : "0x0000000000000000000000000000000000000000000000000000000000020000",
"nonce" : "0x0000000000000000",
"number" : "0x01",
"parentHash" : "0x5eb699c1f95dc891c9370d703826c96276a47babf11256531ec60ebefa2ee63f",
"receiptTrie" : "0x6182a203a3068bb9df432d080f6e4de7155860fd67931d4341e321bd40faef3e",
"stateRoot" : "0xd89ee07bfc5378a548e3ba558013147e8ec57218a9f64fade1e18270594a0e1d",
"timestamp" : "0x03e8",
"transactionsTrie" : "0x9dd289e39c0f3c60bacc63eec0e84d263b70642c46c5733938be86ff9350b308",
"uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
"withdrawalsRoot" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421"
},
"rlp" : "0xf90281f90218a05eb699c1f95dc891c9370d703826c96276a47babf11256531ec60ebefa2ee63fa01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0d89ee07bfc5378a548e3ba558013147e8ec57218a9f64fade1e18270594a0e1da09dd289e39c0f3c60bacc63eec0e84d263b70642c46c5733938be86ff9350b308a06182a203a3068bb9df432d080f6e4de7155860fd67931d4341e321bd40faef3eb901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080018405500000830298108203e800a000000000000000000000000000000000000000000000000000000000000200008800000000000000000aa056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421f862f860800a83e4e1c094b94f5374fce5edbc8e2a8697c15331677e6ebf0b80801ba07c94e62687323becbaa8b3ceac9a4bac4eda2836456f8a4cc3965b597752eddaa05701b7e30347eb8405502fa12388189aa244a0671c959026f636b4d4e06dbd9fc0c0",
"transactions" : [
{
"data" : "0x",
"gasLimit" : "0xe4e1c0",
"gasPrice" : "0x0a",
"nonce" : "0x00",
"r" : "0x7c94e62687323becbaa8b3ceac9a4bac4eda2836456f8a4cc3965b597752edda",
"s" : "0x5701b7e30347eb8405502fa12388189aa244a0671c959026f636b4d4e06dbd9f",
"sender" : "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b",
"to" : "0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b",
"v" : "0x1b",
"value" : "0x00"
}
],
"uncleHeaders" : [
],
"withdrawals" : [
]
}
],
"genesisBlockHeader" : {
"baseFeePerGas" : "0x0b",
"bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"difficulty" : "0x00",
"extraData" : "0x00",
"gasLimit" : "0x05500000",
"gasUsed" : "0x00",
"hash" : "0x5eb699c1f95dc891c9370d703826c96276a47babf11256531ec60ebefa2ee63f",
"mixHash" : "0x0000000000000000000000000000000000000000000000000000000000020000",
"nonce" : "0x0000000000000000",
"number" : "0x00",
"parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000",
"receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"stateRoot" : "0xca76a6ff6d8bea8df2033fe234684d6d2633483eaaf8360c8330bf6578e32f30",
"timestamp" : "0x00",
"transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
"withdrawalsRoot" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421"
},
"genesisRLP" : "0xf90219f90213a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0ca76a6ff6d8bea8df2033fe234684d6d2633483eaaf8360c8330bf6578e32f30a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080808405500000808000a000000000000000000000000000000000000000000000000000000000000200008800000000000000000ba056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421c0c0c0",
"lastblockhash" : "0x156edb836713973b17b9df7f2b0954a044c8a8c785f470ca2d92250826022d50",
"network" : "Cancun",
"postState" : {
"0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x0bd1d160",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
},
"0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x00",
"code" : "0x7fef0001010004020001802e03000000000000020000000000000000000000000060005260137f60015d7fff000000000000000000000000000000000000000000000000000000815260058101905061800081015b808210156088577f5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b82526020820191506054565b507f7fef000101000402000100010300000000000000fe000000000000000000000081526020810190507e60005260146000f30000000000000000000000000000000000000000000000815260098101905080600080f06000556001805550",
"nonce" : "0x01",
"storage" : {
"0x00" : "0xf1ecf98489fa9ed60a664fc4998db699cfa39d40",
"0x01" : "0x01"
}
},
"0xf1ecf98489fa9ed60a664fc4998db699cfa39d40" : {
"balance" : "0x00",
"code" : "0xef000101000402000100010300000000000000fe",
"nonce" : "0x01",
"storage" : {
}
}
},
"pre" : {
"0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x0bebc200",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x00",
"code" : "0x7fef0001010004020001802e03000000000000020000000000000000000000000060005260137f60015d7fff000000000000000000000000000000000000000000000000000000815260058101905061800081015b808210156088577f5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b82526020820191506054565b507f7fef000101000402000100010300000000000000fe000000000000000000000081526020810190507e60005260146000f30000000000000000000000000000000000000000000000815260098101905080600080f06000556001805550",
"nonce" : "0x00",
"storage" : {
}
}
},
"sealEngine" : "NoProof"
}
}
122 changes: 122 additions & 0 deletions EIPTests/BlockchainTests/StateTests/stEOF/stEIP4200/RJUMPV_MaxOffset.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,122 @@
{
"RJUMPV_MaxOffset_d0g0v0_Cancun" : {
"_info" : {
"comment" : "",
"filling-rpc-server" : "evmone-t8n 0.10.0-dev",
"filling-tool-version" : "retesteth-0.3.1-shanghai+commit.e3504804.Linux.g++",
"generatedTestHash" : "a13316edd95f561806b03ed554da767752539b7afe7f6da7f576248b45de80f4",
"lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++",
"solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++",
"source" : "src/EIPTestsFiller/StateTests/stEOF/stEIP4200/RJUMPV_MaxOffsetFiller.yml",
"sourceHash" : "6db22c0dd8e64b3d506d284a7e4e18d320c072f83c89bd70b6b17c972e6e22c5"
},
"blocks" : [
{
"blockHeader" : {
"baseFeePerGas" : "0x0a",
"bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"difficulty" : "0x00",
"extraData" : "0x00",
"gasLimit" : "0x05500000",
"gasUsed" : "0x03180f",
"hash" : "0xe16e343e9c6371793e7c73cbb4056bdbabb1f308e3cf1b08a55169c8f8e700f0",
"mixHash" : "0x0000000000000000000000000000000000000000000000000000000000020000",
"nonce" : "0x0000000000000000",
"number" : "0x01",
"parentHash" : "0x915865b4be3827176c0140a8c040043b90c3879d1cef12d6cd61e94213c38a62",
"receiptTrie" : "0xe8365f35f5464b02128a65c3aaff6cf26a4099ca2620b0a148d24232ef4cef36",
"stateRoot" : "0x73bbca5478de485602d88a03c0d66b5fc1aa555c3d4a966387a02ae5f57d60d7",
"timestamp" : "0x03e8",
"transactionsTrie" : "0x9dd289e39c0f3c60bacc63eec0e84d263b70642c46c5733938be86ff9350b308",
"uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
"withdrawalsRoot" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421"
},
"rlp" : "0xf90281f90218a0915865b4be3827176c0140a8c040043b90c3879d1cef12d6cd61e94213c38a62a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa073bbca5478de485602d88a03c0d66b5fc1aa555c3d4a966387a02ae5f57d60d7a09dd289e39c0f3c60bacc63eec0e84d263b70642c46c5733938be86ff9350b308a0e8365f35f5464b02128a65c3aaff6cf26a4099ca2620b0a148d24232ef4cef36b9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000800184055000008303180f8203e800a000000000000000000000000000000000000000000000000000000000000200008800000000000000000aa056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421f862f860800a83e4e1c094b94f5374fce5edbc8e2a8697c15331677e6ebf0b80801ba07c94e62687323becbaa8b3ceac9a4bac4eda2836456f8a4cc3965b597752eddaa05701b7e30347eb8405502fa12388189aa244a0671c959026f636b4d4e06dbd9fc0c0",
"transactions" : [
{
"data" : "0x",
"gasLimit" : "0xe4e1c0",
"gasPrice" : "0x0a",
"nonce" : "0x00",
"r" : "0x7c94e62687323becbaa8b3ceac9a4bac4eda2836456f8a4cc3965b597752edda",
"s" : "0x5701b7e30347eb8405502fa12388189aa244a0671c959026f636b4d4e06dbd9f",
"sender" : "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b",
"to" : "0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b",
"v" : "0x1b",
"value" : "0x00"
}
],
"uncleHeaders" : [
],
"withdrawals" : [
]
}
],
"genesisBlockHeader" : {
"baseFeePerGas" : "0x0b",
"bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"coinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"difficulty" : "0x00",
"extraData" : "0x00",
"gasLimit" : "0x05500000",
"gasUsed" : "0x00",
"hash" : "0x915865b4be3827176c0140a8c040043b90c3879d1cef12d6cd61e94213c38a62",
"mixHash" : "0x0000000000000000000000000000000000000000000000000000000000020000",
"nonce" : "0x0000000000000000",
"number" : "0x00",
"parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000",
"receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"stateRoot" : "0xb7ef9aa41d5b30a544fee0abeacb54be086a12d1b8b1ff44155ea1fa1de90b19",
"timestamp" : "0x00",
"transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
"withdrawalsRoot" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421"
},
"genesisRLP" : "0xf90219f90213a00000000000000000000000000000000000000000000000000000000000000000a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa0b7ef9aa41d5b30a544fee0abeacb54be086a12d1b8b1ff44155ea1fa1de90b19a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421b901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080808405500000808000a000000000000000000000000000000000000000000000000000000000000200008800000000000000000ba056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421c0c0c0",
"lastblockhash" : "0xe16e343e9c6371793e7c73cbb4056bdbabb1f308e3cf1b08a55169c8f8e700f0",
"network" : "Cancun",
"postState" : {
"0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x0bccd16a",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
},
"0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x00",
"code" : "0x7fef0001010004020001802f03000000000000020000000000000000000000000060005260137f60015e017fff0000000000000000000000000000000000000000000000000000815260068101905061800081015b808210156088577f5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b82526020820191506054565b507f7fef000101000402000100010300000000000000fe000000000000000000000081526020810190507e60005260146000f30000000000000000000000000000000000000000000000815260098101905080600080f06000556001805550",
"nonce" : "0x01",
"storage" : {
"0x00" : "0xf1ecf98489fa9ed60a664fc4998db699cfa39d40",
"0x01" : "0x01"
}
},
"0xf1ecf98489fa9ed60a664fc4998db699cfa39d40" : {
"balance" : "0x00",
"code" : "0xef000101000402000100010300000000000000fe",
"nonce" : "0x01",
"storage" : {
}
}
},
"pre" : {
"0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x0bebc200",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"0xb94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
"balance" : "0x00",
"code" : "0x7fef0001010004020001802f03000000000000020000000000000000000000000060005260137f60015e017fff0000000000000000000000000000000000000000000000000000815260068101905061800081015b808210156088577f5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b82526020820191506054565b507f7fef000101000402000100010300000000000000fe000000000000000000000081526020810190507e60005260146000f30000000000000000000000000000000000000000000000815260098101905080600080f06000556001805550",
"nonce" : "0x00",
"storage" : {
}
}
},
"sealEngine" : "NoProof"
}
}
Loading