aboutsummaryrefslogtreecommitdiffstats
path: root/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json')
-rw-r--r--src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json38
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",