diff options
Diffstat (limited to 'src/GeneralStateTestsFiller')
4 files changed, 441 insertions, 5 deletions
diff --git a/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTestsFiller.json b/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTestsFiller.json new file mode 100644 index 000000000..2f360e476 --- /dev/null +++ b/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTestsFiller.json @@ -0,0 +1,96 @@ +{ + "ExtCodeCopyTests" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x020000", + "currentGasLimit" : "0x7fffffffffffffff", + "currentNumber" : "2675000", + "currentTimestamp" : "1000", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : ["ALL"], + "result" : { + "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x02" : "0x00", + "0x03" : "0x00", + "0x04" : "0x00", + "0x05" : "0x11120000000000000000000000000000000000000000000000000000000000", + "0x06" : "0x11121314151617181920212223242526272829303132000000000000000000" + } + }, + "bbbf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "shouldnotexist" : "1" + }, + "cccf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0" + }, + "dddf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "nonce" : "1" + } + + } + } + ], + "pre" : + { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0xffffffffffffffffffffffffffffffff", + "code" : "", + "nonce" : "0", + "storage" : { + } + }, + "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "7000", + "code" : "{ (EXTCODECOPY 0xbbbf5374fce5edbc8e2a8697c15331677e6ebf0b 1 10 2) [[2]] (MLOAD 0) (EXTCODECOPY 0xcccf5374fce5edbc8e2a8697c15331677e6ebf0b 1 10 2) [[3]] (MLOAD 0) (EXTCODECOPY 0xdddf5374fce5edbc8e2a8697c15331677e6ebf0b 1 10 2) [[4]] (MLOAD 0) (EXTCODECOPY 0xeeef5374fce5edbc8e2a8697c15331677e6ebf0b 1 10 2) [[5]] (MLOAD 0) (EXTCODECOPY 0xeeef5374fce5edbc8e2a8697c15331677e6ebf0b 1 10 200) [[6]] (MLOAD 0)}", + "nonce" : "0", + "storage" : { + } + }, + "cccf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0", + "code" : "", + "nonce" : "0", + "storage" : { + } + }, + "dddf5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0", + "code" : "", + "nonce" : "1", + "storage" : { + } + }, + "eeef5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0", + "code" : "0x1122334455667788991011121314151617181920212223242526272829303132", + "nonce" : "1", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "400000" + ], + "gasPrice" : "1", + "nonce" : "0", + "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b", + "value" : [ + "0" + ] + } + } +} diff --git a/src/GeneralStateTestsFiller/stRevertTest/RevertInStaticCallFiller.json b/src/GeneralStateTestsFiller/stRevertTest/RevertInStaticCallFiller.json new file mode 100644 index 000000000..ebe319183 --- /dev/null +++ b/src/GeneralStateTestsFiller/stRevertTest/RevertInStaticCallFiller.json @@ -0,0 +1,66 @@ +{ + "RevertInStaticCall" : { + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x020000", + "currentGasLimit" : "1000000", + "currentNumber" : "1", + "currentTimestamp" : "1000", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : "ALL", + "result" : { + "1000000000000000000000000000000000000000" : { + "storage" : { + } + } + } + } + ], + "pre" : { + "1000000000000000000000000000000000000000" : { + "balance" : "1000", + "code" : "{ [[ 0 ]] (STATICCALL 50000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 0 64 0 64 )}", + "nonce" : "0", + "storage" : { + } + }, + "945304eb96065b2a98b57a48a06ae28d285a71b5" : { + "balance" : "0", + "code" : "{ (REVERT 0 0) }", + "nonce" : "0", + "storage" : { + } + }, + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "1000000", + "code" : "", + "nonce" : "0", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "105044" + ], + "gasPrice" : "1", + "nonce" : "0", + "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "1000000000000000000000000000000000000000", + "value" : [ + "" + ] + } + } +} diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/ecpairing_one_point_with_g2_zero_and_g1_invalidFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/ecpairing_one_point_with_g2_zero_and_g1_invalidFiller.json new file mode 100644 index 000000000..1c9da738b --- /dev/null +++ b/src/GeneralStateTestsFiller/stZeroKnowledge/ecpairing_one_point_with_g2_zero_and_g1_invalidFiller.json @@ -0,0 +1,277 @@ +{ + "ecpairing_one_point_with_g2_zero_and_g1_invalid": { + "_info" : { + "comment" : "Use the ecpairing checker with one point, where g1 is not on the curve but g2 is zero. cpp-ethereum once had a bug in this case; as soon as cpp-ethereum recognized g2 zero, it returned something without checking the validity of g1" + }, + "env": { + "currentCoinbase": "0x3535353535353535353535353535353535353535", + "currentDifficulty": "0x020000", + "currentGasLimit": "0x5f5e100", + "currentNumber": "0x01", + "currentTimestamp": "1000", + "previousHash": "0xc6745cf3cada515bbfb9573261c82547e0b8f9e3d5dd382e464704a84e47b5ad" + }, + "pre": { + "24143873e0e0815fdcbcffdbe09c979cbf9ad013": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000001": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "dceceaf3fc5c0a63d195d69b1a90011b7b19650d": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "c305c901078781c232a2a521c2af7980f8385ee9": { + "storage": { + "0x00": "0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6" + }, + "nonce": "1", + "balance": "0", + "code": "0x600035601c52740100000000000000000000000000000000000000006020526fffffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff000000000000000000000000000000016060527402540be3fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffdabf41c00000000000000000000000002540be40060a0526330c8d1da600051141561012c576107806004356004013511151558576004356004013560200160043560040161014037602061092061014051610160600060086305f5e0fff11558576020610900526109006040806109608284600060046018f150505061096080516020820120905060005561096060206020820352604081510160206001820306601f820103905060208203f350005b" + }, + "0000000000000000000000000000000000000005": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "0000000000000000000000000000000000000008": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "13cbb8d99c6c4e0f2728c7d72606e78a29c4e224": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000003": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "82a978b3f5962a5b0957d9ee9eef472ee55b42f1": { + "storage": {}, + "nonce": "6", + "balance": "999999999999007220", + "code": "0x" + }, + "0000000000000000000000000000000000000006": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "0000000000000000000000000000000000000007": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "598443f1880ef585b21f1d7585bd0577402861e5": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "7d577a597b2742b498cb5cf0c26cdcd726d39e6e": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000004": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "e0fc04fa2d34a66b779fd5cee748268032a146c0": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000002": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "77db2bebba79db42a978f896968f4afce746ea1f": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "10a1c1cb95c92ec31d3f22c66eef1d9f3f258c6b": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "90f0b1ebbba1c1936aff7aaf20a7878ff9e04b6c": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + } + }, + "transaction": { + "data": [ + "0x30c8d1da000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000001100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "gasLimit": [ + "0x38c68", "90000", "110000", "200000" + ], + "gasPrice": "0x1", + "nonce": "0x6", + "secretKey": "0x044852b2a670ade5407e78fb2863c51de9fcb96542a07186fe3aeda6bb8a116d", + "to": "0xc305c901078781c232a2a521c2af7980f8385ee9", + "value": [ + "0x" + ] + }, + "expect": [ + { + "indexes": { + "data": 0, + "gas": 0, + "value": 0 + }, + "network": [ + "Byzantium" + ], + "result": { + "24143873e0e0815fdcbcffdbe09c979cbf9ad013": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000001": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "dceceaf3fc5c0a63d195d69b1a90011b7b19650d": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "c305c901078781c232a2a521c2af7980f8385ee9": { + "storage": { + "0x00": "0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6" + }, + "nonce": "1", + "balance": "0", + "code": "0x600035601c52740100000000000000000000000000000000000000006020526fffffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff000000000000000000000000000000016060527402540be3fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffdabf41c00000000000000000000000002540be40060a0526330c8d1da600051141561012c576107806004356004013511151558576004356004013560200160043560040161014037602061092061014051610160600060086305f5e0fff11558576020610900526109006040806109608284600060046018f150505061096080516020820120905060005561096060206020820352604081510160206001820306601f820103905060208203f350005b" + }, + "0000000000000000000000000000000000000005": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "0000000000000000000000000000000000000008": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "13cbb8d99c6c4e0f2728c7d72606e78a29c4e224": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000003": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "82a978b3f5962a5b0957d9ee9eef472ee55b42f1": { + "storage": {}, + "nonce": "7", + "code": "0x" + }, + "0000000000000000000000000000000000000006": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "0000000000000000000000000000000000000007": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "598443f1880ef585b21f1d7585bd0577402861e5": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "7d577a597b2742b498cb5cf0c26cdcd726d39e6e": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000004": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "e0fc04fa2d34a66b779fd5cee748268032a146c0": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "0000000000000000000000000000000000000002": { + "storage": {}, + "nonce": "0", + "balance": "1", + "code": "0x" + }, + "77db2bebba79db42a978f896968f4afce746ea1f": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "10a1c1cb95c92ec31d3f22c66eef1d9f3f258c6b": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + }, + "90f0b1ebbba1c1936aff7aaf20a7878ff9e04b6c": { + "storage": {}, + "nonce": "0", + "balance": "1000000000000000000", + "code": "0x" + } + } + } + ] + } +} diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pairingTestFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pairingTestFiller.json index d87fb7577..b5507b80e 100644 --- a/src/GeneralStateTestsFiller/stZeroKnowledge/pairingTestFiller.json +++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pairingTestFiller.json @@ -94,7 +94,7 @@ } }, "transaction" : { - "data" : [ + "//dataValues" : [ " AP 111e129f1cf1097710d41c4ac70fcdfa5ba2023c6ff1cbeac322de49d1b6df7c103188585e2364128fe25c70558f1560f4f9350baf3959e603cc91486e110936", "-AP 111e129f1cf1097710d41c4ac70fcdfa5ba2023c6ff1cbeac322de49d1b6df7c2032c61a830e3c17286de9462bf242fca2883585b93870a73853face6a6bf411", " BP 06967a1237ebfeca9aaae0d6d0bab8e28c198c5a339ef8a2407e31cdac516db90e4e3ed0898ba2ce904a02b739caf9931f9b43c600154592cee5239435f91f76", @@ -125,7 +125,7 @@ " 1122334455667788991011121314151617181920212223242526272829303132" ], - "data" : [ + "//dataMeaning" : [ "[0] proof.A + vk.A + negateG1(proof.Ap) + P2", "[1] vk.B + proof.B + negateG1(proof.Bp) + P2", "[2] proof.C + vk.C + negateG1(proof.Cp) + P2", @@ -141,9 +141,6 @@ "0x000000000000000000000000000000000000000000000000000000000000024020a754d2071d4d53903e3b31a7e98ad6882d58aec240ef981fdf0a9d22c5926a29c853fcea789887315916bbeb89ca37edb355b4f980c9a12a94f30deeed30211213d2149b006137fcfb23036606f848d638d576a120ca981b5b1a5f9300b3ee2276cf730cf493cd95d64677bbb75fc42db72513a4c1e387b476d056f80aa75f21ee6226d31426322afcda621464d0611d226783262e21bb3bc86b537e986237096df1f82dff337dd5972e32a8ad43e28a78a96a823ef1cd4debe12b6552ea5f1abb4a25eb9379ae96c84fff9f0540abcfc0a0d11aeda02d4f37e4baf74cb0c11073b3ff2cdbb38755f8691ea59e9606696b3ff278acfc098fa8226470d03869217cee0a9ad79a4493b5253e2e4e3a39fc2df38419f230d341f60cb064a0ac290a3d76f140db8418ba512272381446eb73958670f00cf46f1d9e64cba057b53c26f64a8ec70387a13e41430ed3ee4a7db2059cc5fc13c067194bcc0cb49a98552fd72bd9edb657346127da132e5b82ab908f5816c826acb499e22f2412d1a2d70f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2198a1f162a73261f112401aa2db79c7dab1533c9935c77290a6ce3b191f2318d198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c21800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa", "0x00000000000000000000000000000000000000000000000000000000000001801c76476f4def4bb94541d57ebba1193381ffa7aa76ada664dd31c16024c43f593034dd2920f673e204fee2811c678745fc819b55d3e9d294e45c9b03a76aef41209dd15ebff5d46c4bd888e51a93cf99a7329636c63514396b4a452003a35bf704bf11ca01483bfa8b34b43561848d28905960114c8ac04049af4b6315a416782bb8324af6cfc93537a2ad1a445cfd0ca2a71acd7ac41fadbf933c2a51be344d120a2a4cf30c1bf9845f20c6fe39e07ea2cce61f0c9bb048165fe5e4de877550111e129f1cf1097710d41c4ac70fcdfa5ba2023c6ff1cbeac322de49d1b6df7c103188585e2364128fe25c70558f1560f4f9350baf3959e603cc91486e110936198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c21800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa" ], - "data2" : [ - "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba" - ], "gasLimit" : [ "10000000", "90000", "110000", "200000" ], |