diff options
zeroKnowledge ECDSA function tests
Diffstat (limited to 'src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json')
| -rw-r--r-- | src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json | 294 |
1 files changed, 294 insertions, 0 deletions
diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json new file mode 100644 index 000000000..2b4477d5b --- /dev/null +++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json @@ -0,0 +1,294 @@ +{ + "pointMulAdd" : { + "env" : { + "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da", + "currentDifficulty" : "0x020000", + "currentGasLimit" : "4012015", + "currentNumber" : "1", + "currentTimestamp" : "1000", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : ["Frontier", "Homestead", "EIP150", "EIP158"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01" + } + } + } + }, + { + "indexes" : { + "data" : [0], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286", + "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4", + "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286", + "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4" + } + } + } + }, + { + "indexes" : { + "data" : [1], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49", + "0x0b" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f", + "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49", + "0x15" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f" + } + } + } + }, + { + "indexes" : { + "data" : [2], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01" + } + } + } + }, + { + "indexes" : { + "data" : [3], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0", + "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4", + "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0", + "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4" + } + } + } + }, + { + "indexes" : { + "data" : [4], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49", + "0x0b" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8", + "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49", + "0x15" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8" + } + } + } + }, + { + "indexes" : { + "data" : [5], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0", + "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4", + "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0", + "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4" + } + } + } + }, + { + "indexes" : { + "data" : [6], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01", + "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286", + "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4", + "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286", + "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4" + } + } + } + }, + { + "indexes" : { + "data" : [7], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", + "0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4", + "0x14" : "0x01", + "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45" + } + } + } + }, + { + "indexes" : { + "data" : [8], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "storage" : { + "0x00" : "0x01", + "0x01" : "0x01", + "0x02" : "0x01", + "0x03" : "0x01 + } + } + } + } + ], + "pre" : { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "1000000000000000000", + "code" : "", + "nonce" : "1", + "storage" : { + } + }, + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "", + "code" : " 00-32 : x", + "code" : " 32-64 : y", + "code" : " 64-96 : a", + "code" : " 96-128 : b", + "code" : "128-160 : x2", + "code" : "160-192 : y2", + "code" : "192-224 : z", + + "code" : "300-332 : x+a", + "code" : "332-364 : y+b", + "code" : "400-432 : x2*z", + "code" : "432-464 : y2*z", + + "code" : " [[0]] : add(xy + ab)", + "code" : " [[1]] : mul(x2y2 * z)", + "code" : " [[2]] : (x + a) == (x2 * z)", + "code" : " [[3]] : (y + b) == (y2 * z)", + "code" : " [[0a]] : x + a", + "code" : " [[0b]] : y + b", + "code" : " [[14]] : x2 * z", + "code" : " [[15]] : y2 * z", + + "code" : "{(MSTORE 0 (CALLDATALOAD 0)) (MSTORE 32 (CALLDATALOAD 32)) (MSTORE 64 (CALLDATALOAD 64)) (MSTORE 96 (CALLDATALOAD 96)) (MSTORE 128 (CALLDATALOAD 128)) (MSTORE 160 (CALLDATALOAD 160)) (MSTORE 192 (CALLDATALOAD 192)) [[0]](CALLCODE 500000 6 0 0 128 300 64) [[1]](CALLCODE 500000 7 0 128 96 400 64) [[10]] (MLOAD 300) [[11]] (MLOAD 332) [[20]] (MLOAD 400) [[21]] (MLOAD 432) [[2]] (EQ (SLOAD 10) (SLOAD 20)) [[3]] (EQ (SLOAD 11) (SLOAD 21))}", + "nonce" : "0", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "(x,y) + (x,y) == (x,y) * 2", + "(x,y) + (x,y) + (x,y) == (x,y) * 3", + "(-x, -y) + (x,y) == (x,y) * 0", + "(-x, -y) + (-x, -y) == (-x,-y) * 2", + "(-x, -y) + (0, 0) == (x, y) * -1", + "(-x, -y) + (-x, -y) == (x, y) * -2", + "(x, y) + (0, 0) == (x, y) * 1", + "(1, 2) + (1, 2) == (1, 2) * -1", + "(1, 2) + (-1, -2) == (1, 2) * 0", + "30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000" + ], + "data" : [ + "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000002", + "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000003", + "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f0000000000000000000000000000000000000000000000000000000000000000", + "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db80000000000000000000000000000000000000000000000000000000000000002", + "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000", + "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff", + "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40000000000000000000000000000000000000000000000000000000000000001", + "0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000", + "0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000" + + ], + "gasLimit" : [ + "2000000" + ], + "gasPrice" : "1", + "nonce" : "1", + "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b", + "value" : [ + "0" + ] + } + } +} |