diff options
Diffstat (limited to 'src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json')
| -rw-r--r-- | src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json index c04526a04..643af091d 100644 --- a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json +++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json @@ -302,27 +302,27 @@ }, "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", + "//00 code0" : " 00-32 : x", + "//01 code" : " 32-64 : y", + "//02 code" : " 64-96 : a", + "//03 code" : " 96-128 : b", + "//04 code" : "128-160 : x2", + "//05 code" : "160-192 : y2", + "//06 code" : "192-224 : z", - "code" : "300-332 : x+a", - "code" : "332-364 : y+b", - "code" : "400-432 : x2*z", - "code" : "432-464 : y2*z", + "//07 code" : "300-332 : x+a", + "//08 code" : "332-364 : y+b", + "//09 code" : "400-432 : x2*z", + "//0a 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", + "//0b code" : " [[0]] : add(xy + ab)", + "//0c code" : " [[1]] : mul(x2y2 * z)", + "//0d code" : " [[2]] : (x + a) == (x2 * z)", + "//0e code" : " [[3]] : (y + b) == (y2 * z)", + "//0f code" : " [[0a]] : x + a", + "//10 code" : " [[0b]] : y + b", + "//11 code" : " [[14]] : x2 * z", + "//12 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", |