github.com/ethereum/go-ethereum@v1.16.1/core/vm/contracts_test.go (about) 1 // Copyright 2017 The go-ethereum Authors 2 // This file is part of the go-ethereum library. 3 // 4 // The go-ethereum library is free software: you can redistribute it and/or modify 5 // it under the terms of the GNU Lesser General Public License as published by 6 // the Free Software Foundation, either version 3 of the License, or 7 // (at your option) any later version. 8 // 9 // The go-ethereum library is distributed in the hope that it will be useful, 10 // but WITHOUT ANY WARRANTY; without even the implied warranty of 11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 // GNU Lesser General Public License for more details. 13 // 14 // You should have received a copy of the GNU Lesser General Public License 15 // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>. 16 17 package vm 18 19 import ( 20 "bytes" 21 "encoding/json" 22 "fmt" 23 "os" 24 "testing" 25 "time" 26 27 "github.com/ethereum/go-ethereum/common" 28 ) 29 30 // precompiledTest defines the input/output pairs for precompiled contract tests. 31 type precompiledTest struct { 32 Input, Expected string 33 Gas uint64 34 Name string 35 NoBenchmark bool // Benchmark primarily the worst-cases 36 } 37 38 // precompiledFailureTest defines the input/error pairs for precompiled 39 // contract failure tests. 40 type precompiledFailureTest struct { 41 Input string 42 ExpectedError string 43 Name string 44 } 45 46 // allPrecompiles does not map to the actual set of precompiles, as it also contains 47 // repriced versions of precompiles at certain slots 48 var allPrecompiles = map[common.Address]PrecompiledContract{ 49 common.BytesToAddress([]byte{1}): &ecrecover{}, 50 common.BytesToAddress([]byte{2}): &sha256hash{}, 51 common.BytesToAddress([]byte{3}): &ripemd160hash{}, 52 common.BytesToAddress([]byte{4}): &dataCopy{}, 53 common.BytesToAddress([]byte{5}): &bigModExp{eip2565: false, eip7883: false}, 54 common.BytesToAddress([]byte{0xf5}): &bigModExp{eip2565: true, eip7883: false}, 55 common.BytesToAddress([]byte{0xf6}): &bigModExp{eip2565: true, eip7883: true}, 56 common.BytesToAddress([]byte{6}): &bn256AddIstanbul{}, 57 common.BytesToAddress([]byte{7}): &bn256ScalarMulIstanbul{}, 58 common.BytesToAddress([]byte{8}): &bn256PairingIstanbul{}, 59 common.BytesToAddress([]byte{9}): &blake2F{}, 60 common.BytesToAddress([]byte{0x0a}): &kzgPointEvaluation{}, 61 62 common.BytesToAddress([]byte{0x0f, 0x0a}): &bls12381G1Add{}, 63 common.BytesToAddress([]byte{0x0f, 0x0b}): &bls12381G1MultiExp{}, 64 common.BytesToAddress([]byte{0x0f, 0x0c}): &bls12381G2Add{}, 65 common.BytesToAddress([]byte{0x0f, 0x0d}): &bls12381G2MultiExp{}, 66 common.BytesToAddress([]byte{0x0f, 0x0e}): &bls12381Pairing{}, 67 common.BytesToAddress([]byte{0x0f, 0x0f}): &bls12381MapG1{}, 68 common.BytesToAddress([]byte{0x0f, 0x10}): &bls12381MapG2{}, 69 } 70 71 // EIP-152 test vectors 72 var blake2FMalformedInputTests = []precompiledFailureTest{ 73 { 74 Input: "", 75 ExpectedError: errBlake2FInvalidInputLength.Error(), 76 Name: "vector 0: empty input", 77 }, 78 { 79 Input: "00000c48c9bdf267e6096a3ba7ca8485ae67bb2bf894fe72f36e3cf1361d5f3af54fa5d182e6ad7f520e511f6c3e2b8c68059b6bbd41fbabd9831f79217e1319cde05b61626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000001", 80 ExpectedError: errBlake2FInvalidInputLength.Error(), 81 Name: "vector 1: less than 213 bytes input", 82 }, 83 { 84 Input: "000000000c48c9bdf267e6096a3ba7ca8485ae67bb2bf894fe72f36e3cf1361d5f3af54fa5d182e6ad7f520e511f6c3e2b8c68059b6bbd41fbabd9831f79217e1319cde05b61626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000001", 85 ExpectedError: errBlake2FInvalidInputLength.Error(), 86 Name: "vector 2: more than 213 bytes input", 87 }, 88 { 89 Input: "0000000c48c9bdf267e6096a3ba7ca8485ae67bb2bf894fe72f36e3cf1361d5f3af54fa5d182e6ad7f520e511f6c3e2b8c68059b6bbd41fbabd9831f79217e1319cde05b61626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000002", 90 ExpectedError: errBlake2FInvalidFinalFlag.Error(), 91 Name: "vector 3: malformed final block indicator flag", 92 }, 93 } 94 95 func testPrecompiled(addr string, test precompiledTest, t *testing.T) { 96 p := allPrecompiles[common.HexToAddress(addr)] 97 in := common.Hex2Bytes(test.Input) 98 gas := p.RequiredGas(in) 99 t.Run(fmt.Sprintf("%s-Gas=%d", test.Name, gas), func(t *testing.T) { 100 if res, _, err := RunPrecompiledContract(p, in, gas, nil); err != nil { 101 t.Error(err) 102 } else if common.Bytes2Hex(res) != test.Expected { 103 t.Errorf("Expected %v, got %v", test.Expected, common.Bytes2Hex(res)) 104 } 105 if expGas := test.Gas; expGas != gas { 106 t.Errorf("%v: gas wrong, expected %d, got %d", test.Name, expGas, gas) 107 } 108 // Verify that the precompile did not touch the input buffer 109 exp := common.Hex2Bytes(test.Input) 110 if !bytes.Equal(in, exp) { 111 t.Errorf("Precompiled %v modified input data", addr) 112 } 113 }) 114 } 115 116 func testPrecompiledOOG(addr string, test precompiledTest, t *testing.T) { 117 p := allPrecompiles[common.HexToAddress(addr)] 118 in := common.Hex2Bytes(test.Input) 119 gas := p.RequiredGas(in) - 1 120 121 t.Run(fmt.Sprintf("%s-Gas=%d", test.Name, gas), func(t *testing.T) { 122 _, _, err := RunPrecompiledContract(p, in, gas, nil) 123 if err.Error() != "out of gas" { 124 t.Errorf("Expected error [out of gas], got [%v]", err) 125 } 126 // Verify that the precompile did not touch the input buffer 127 exp := common.Hex2Bytes(test.Input) 128 if !bytes.Equal(in, exp) { 129 t.Errorf("Precompiled %v modified input data", addr) 130 } 131 }) 132 } 133 134 func testPrecompiledFailure(addr string, test precompiledFailureTest, t *testing.T) { 135 p := allPrecompiles[common.HexToAddress(addr)] 136 in := common.Hex2Bytes(test.Input) 137 gas := p.RequiredGas(in) 138 t.Run(test.Name, func(t *testing.T) { 139 _, _, err := RunPrecompiledContract(p, in, gas, nil) 140 if err.Error() != test.ExpectedError { 141 t.Errorf("Expected error [%v], got [%v]", test.ExpectedError, err) 142 } 143 // Verify that the precompile did not touch the input buffer 144 exp := common.Hex2Bytes(test.Input) 145 if !bytes.Equal(in, exp) { 146 t.Errorf("Precompiled %v modified input data", addr) 147 } 148 }) 149 } 150 151 func benchmarkPrecompiled(addr string, test precompiledTest, bench *testing.B) { 152 if test.NoBenchmark { 153 return 154 } 155 p := allPrecompiles[common.HexToAddress(addr)] 156 in := common.Hex2Bytes(test.Input) 157 reqGas := p.RequiredGas(in) 158 159 var ( 160 res []byte 161 err error 162 data = make([]byte, len(in)) 163 ) 164 165 bench.Run(fmt.Sprintf("%s-Gas=%d", test.Name, reqGas), func(bench *testing.B) { 166 bench.ReportAllocs() 167 start := time.Now() 168 bench.ResetTimer() 169 for i := 0; i < bench.N; i++ { 170 copy(data, in) 171 res, _, err = RunPrecompiledContract(p, data, reqGas, nil) 172 } 173 bench.StopTimer() 174 elapsed := uint64(time.Since(start)) 175 if elapsed < 1 { 176 elapsed = 1 177 } 178 gasUsed := reqGas * uint64(bench.N) 179 bench.ReportMetric(float64(reqGas), "gas/op") 180 // Keep it as uint64, multiply 100 to get two digit float later 181 mgasps := (100 * 1000 * gasUsed) / elapsed 182 bench.ReportMetric(float64(mgasps)/100, "mgas/s") 183 //Check if it is correct 184 if err != nil { 185 bench.Error(err) 186 return 187 } 188 if common.Bytes2Hex(res) != test.Expected { 189 bench.Errorf("Expected %v, got %v", test.Expected, common.Bytes2Hex(res)) 190 return 191 } 192 }) 193 } 194 195 // Benchmarks the sample inputs from the ECRECOVER precompile. 196 func BenchmarkPrecompiledEcrecover(bench *testing.B) { 197 t := precompiledTest{ 198 Input: "38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e000000000000000000000000000000000000000000000000000000000000001b38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e789d1dd423d25f0772d2748d60f7e4b81bb14d086eba8e8e8efb6dcff8a4ae02", 199 Expected: "000000000000000000000000ceaccac640adf55b2028469bd36ba501f28b699d", 200 Name: "", 201 } 202 benchmarkPrecompiled("01", t, bench) 203 } 204 205 // Benchmarks the sample inputs from the SHA256 precompile. 206 func BenchmarkPrecompiledSha256(bench *testing.B) { 207 t := precompiledTest{ 208 Input: "38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e000000000000000000000000000000000000000000000000000000000000001b38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e789d1dd423d25f0772d2748d60f7e4b81bb14d086eba8e8e8efb6dcff8a4ae02", 209 Expected: "811c7003375852fabd0d362e40e68607a12bdabae61a7d068fe5fdd1dbbf2a5d", 210 Name: "128", 211 } 212 benchmarkPrecompiled("02", t, bench) 213 } 214 215 // Benchmarks the sample inputs from the RIPEMD precompile. 216 func BenchmarkPrecompiledRipeMD(bench *testing.B) { 217 t := precompiledTest{ 218 Input: "38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e000000000000000000000000000000000000000000000000000000000000001b38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e789d1dd423d25f0772d2748d60f7e4b81bb14d086eba8e8e8efb6dcff8a4ae02", 219 Expected: "0000000000000000000000009215b8d9882ff46f0dfde6684d78e831467f65e6", 220 Name: "128", 221 } 222 benchmarkPrecompiled("03", t, bench) 223 } 224 225 // Benchmarks the sample inputs from the identity precompile. 226 func BenchmarkPrecompiledIdentity(bench *testing.B) { 227 t := precompiledTest{ 228 Input: "38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e000000000000000000000000000000000000000000000000000000000000001b38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e789d1dd423d25f0772d2748d60f7e4b81bb14d086eba8e8e8efb6dcff8a4ae02", 229 Expected: "38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e000000000000000000000000000000000000000000000000000000000000001b38d18acb67d25c8bb9942764b62f18e17054f66a817bd4295423adf9ed98873e789d1dd423d25f0772d2748d60f7e4b81bb14d086eba8e8e8efb6dcff8a4ae02", 230 Name: "128", 231 } 232 benchmarkPrecompiled("04", t, bench) 233 } 234 235 // Tests the sample inputs from the ModExp EIP 198. 236 func TestPrecompiledModExp(t *testing.T) { testJson("modexp", "05", t) } 237 func BenchmarkPrecompiledModExp(b *testing.B) { benchJson("modexp", "05", b) } 238 239 func TestPrecompiledModExpEip2565(t *testing.T) { testJson("modexp_eip2565", "f5", t) } 240 func BenchmarkPrecompiledModExpEip2565(b *testing.B) { benchJson("modexp_eip2565", "f5", b) } 241 242 func TestPrecompiledModExpEip7883(t *testing.T) { testJson("modexp_eip7883", "f6", t) } 243 func BenchmarkPrecompiledModExpEip7883(b *testing.B) { benchJson("modexp_eip7883", "f6", b) } 244 245 // Tests the sample inputs from the elliptic curve addition EIP 213. 246 func TestPrecompiledBn256Add(t *testing.T) { testJson("bn256Add", "06", t) } 247 func BenchmarkPrecompiledBn256Add(b *testing.B) { benchJson("bn256Add", "06", b) } 248 249 // Tests OOG 250 func TestPrecompiledModExpOOG(t *testing.T) { 251 modexpTests, err := loadJson("modexp") 252 if err != nil { 253 t.Fatal(err) 254 } 255 for _, test := range modexpTests { 256 testPrecompiledOOG("05", test, t) 257 } 258 } 259 260 // Tests the sample inputs from the elliptic curve scalar multiplication EIP 213. 261 func TestPrecompiledBn256ScalarMul(t *testing.T) { testJson("bn256ScalarMul", "07", t) } 262 func BenchmarkPrecompiledBn256ScalarMul(b *testing.B) { benchJson("bn256ScalarMul", "07", b) } 263 264 // Tests the sample inputs from the elliptic curve pairing check EIP 197. 265 func TestPrecompiledBn256Pairing(t *testing.T) { testJson("bn256Pairing", "08", t) } 266 func BenchmarkPrecompiledBn256Pairing(b *testing.B) { benchJson("bn256Pairing", "08", b) } 267 268 func TestPrecompiledBlake2F(t *testing.T) { testJson("blake2F", "09", t) } 269 func BenchmarkPrecompiledBlake2F(b *testing.B) { benchJson("blake2F", "09", b) } 270 271 func TestPrecompileBlake2FMalformedInput(t *testing.T) { 272 for _, test := range blake2FMalformedInputTests { 273 testPrecompiledFailure("09", test, t) 274 } 275 } 276 277 func TestPrecompiledEcrecover(t *testing.T) { testJson("ecRecover", "01", t) } 278 279 func testJson(name, addr string, t *testing.T) { 280 tests, err := loadJson(name) 281 if err != nil { 282 t.Fatal(err) 283 } 284 for _, test := range tests { 285 testPrecompiled(addr, test, t) 286 } 287 } 288 289 func testJsonFail(name, addr string, t *testing.T) { 290 tests, err := loadJsonFail(name) 291 if err != nil { 292 t.Fatal(err) 293 } 294 for _, test := range tests { 295 testPrecompiledFailure(addr, test, t) 296 } 297 } 298 299 func benchJson(name, addr string, b *testing.B) { 300 tests, err := loadJson(name) 301 if err != nil { 302 b.Fatal(err) 303 } 304 for _, test := range tests { 305 benchmarkPrecompiled(addr, test, b) 306 } 307 } 308 309 func TestPrecompiledBLS12381G1Add(t *testing.T) { testJson("blsG1Add", "f0a", t) } 310 func TestPrecompiledBLS12381G1Mul(t *testing.T) { testJson("blsG1Mul", "f0b", t) } 311 func TestPrecompiledBLS12381G1MultiExp(t *testing.T) { testJson("blsG1MultiExp", "f0b", t) } 312 func TestPrecompiledBLS12381G2Add(t *testing.T) { testJson("blsG2Add", "f0c", t) } 313 func TestPrecompiledBLS12381G2Mul(t *testing.T) { testJson("blsG2Mul", "f0d", t) } 314 func TestPrecompiledBLS12381G2MultiExp(t *testing.T) { testJson("blsG2MultiExp", "f0d", t) } 315 func TestPrecompiledBLS12381Pairing(t *testing.T) { testJson("blsPairing", "f0e", t) } 316 func TestPrecompiledBLS12381MapG1(t *testing.T) { testJson("blsMapG1", "f0f", t) } 317 func TestPrecompiledBLS12381MapG2(t *testing.T) { testJson("blsMapG2", "f10", t) } 318 319 func TestPrecompiledPointEvaluation(t *testing.T) { testJson("pointEvaluation", "0a", t) } 320 321 func BenchmarkPrecompiledPointEvaluation(b *testing.B) { benchJson("pointEvaluation", "0a", b) } 322 323 func BenchmarkPrecompiledBLS12381G1Add(b *testing.B) { benchJson("blsG1Add", "f0a", b) } 324 func BenchmarkPrecompiledBLS12381G1MultiExp(b *testing.B) { benchJson("blsG1MultiExp", "f0b", b) } 325 func BenchmarkPrecompiledBLS12381G2Add(b *testing.B) { benchJson("blsG2Add", "f0c", b) } 326 func BenchmarkPrecompiledBLS12381G2MultiExp(b *testing.B) { benchJson("blsG2MultiExp", "f0d", b) } 327 func BenchmarkPrecompiledBLS12381Pairing(b *testing.B) { benchJson("blsPairing", "f0e", b) } 328 func BenchmarkPrecompiledBLS12381MapG1(b *testing.B) { benchJson("blsMapG1", "f0f", b) } 329 func BenchmarkPrecompiledBLS12381MapG2(b *testing.B) { benchJson("blsMapG2", "f10", b) } 330 331 // Failure tests 332 func TestPrecompiledBLS12381G1AddFail(t *testing.T) { testJsonFail("blsG1Add", "f0a", t) } 333 func TestPrecompiledBLS12381G1MulFail(t *testing.T) { testJsonFail("blsG1Mul", "f0b", t) } 334 func TestPrecompiledBLS12381G1MultiExpFail(t *testing.T) { testJsonFail("blsG1MultiExp", "f0b", t) } 335 func TestPrecompiledBLS12381G2AddFail(t *testing.T) { testJsonFail("blsG2Add", "f0c", t) } 336 func TestPrecompiledBLS12381G2MulFail(t *testing.T) { testJsonFail("blsG2Mul", "f0d", t) } 337 func TestPrecompiledBLS12381G2MultiExpFail(t *testing.T) { testJsonFail("blsG2MultiExp", "f0d", t) } 338 func TestPrecompiledBLS12381PairingFail(t *testing.T) { testJsonFail("blsPairing", "f0e", t) } 339 func TestPrecompiledBLS12381MapG1Fail(t *testing.T) { testJsonFail("blsMapG1", "f0f", t) } 340 func TestPrecompiledBLS12381MapG2Fail(t *testing.T) { testJsonFail("blsMapG2", "f10", t) } 341 342 func loadJson(name string) ([]precompiledTest, error) { 343 data, err := os.ReadFile(fmt.Sprintf("testdata/precompiles/%v.json", name)) 344 if err != nil { 345 return nil, err 346 } 347 var testcases []precompiledTest 348 err = json.Unmarshal(data, &testcases) 349 return testcases, err 350 } 351 352 func loadJsonFail(name string) ([]precompiledFailureTest, error) { 353 data, err := os.ReadFile(fmt.Sprintf("testdata/precompiles/fail-%v.json", name)) 354 if err != nil { 355 return nil, err 356 } 357 var testcases []precompiledFailureTest 358 err = json.Unmarshal(data, &testcases) 359 return testcases, err 360 } 361 362 // BenchmarkPrecompiledBLS12381G1MultiExpWorstCase benchmarks the worst case we could find that still fits a gaslimit of 10MGas. 363 func BenchmarkPrecompiledBLS12381G1MultiExpWorstCase(b *testing.B) { 364 task := "0000000000000000000000000000000008d8c4a16fb9d8800cce987c0eadbb6b3b005c213d44ecb5adeed713bae79d606041406df26169c35df63cf972c94be1" + 365 "0000000000000000000000000000000011bc8afe71676e6730702a46ef817060249cd06cd82e6981085012ff6d013aa4470ba3a2c71e13ef653e1e223d1ccfe9" + 366 "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" 367 input := task 368 for i := 0; i < 4787; i++ { 369 input = input + task 370 } 371 testcase := precompiledTest{ 372 Input: input, 373 Expected: "0000000000000000000000000000000005a6310ea6f2a598023ae48819afc292b4dfcb40aabad24a0c2cb6c19769465691859eeb2a764342a810c5038d700f18000000000000000000000000000000001268ac944437d15923dc0aec00daa9250252e43e4b35ec7a19d01f0d6cd27f6e139d80dae16ba1c79cc7f57055a93ff5", 374 Name: "WorstCaseG1", 375 NoBenchmark: false, 376 } 377 benchmarkPrecompiled("f0b", testcase, b) 378 } 379 380 // BenchmarkPrecompiledBLS12381G2MultiExpWorstCase benchmarks the worst case we could find that still fits a gaslimit of 10MGas. 381 func BenchmarkPrecompiledBLS12381G2MultiExpWorstCase(b *testing.B) { 382 task := "000000000000000000000000000000000d4f09acd5f362e0a516d4c13c5e2f504d9bd49fdfb6d8b7a7ab35a02c391c8112b03270d5d9eefe9b659dd27601d18f" + 383 "000000000000000000000000000000000fd489cb75945f3b5ebb1c0e326d59602934c8f78fe9294a8877e7aeb95de5addde0cb7ab53674df8b2cfbb036b30b99" + 384 "00000000000000000000000000000000055dbc4eca768714e098bbe9c71cf54b40f51c26e95808ee79225a87fb6fa1415178db47f02d856fea56a752d185f86b" + 385 "000000000000000000000000000000001239b7640f416eb6e921fe47f7501d504fadc190d9cf4e89ae2b717276739a2f4ee9f637c35e23c480df029fd8d247c7" + 386 "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" 387 input := task 388 for i := 0; i < 1040; i++ { 389 input = input + task 390 } 391 392 testcase := precompiledTest{ 393 Input: input, 394 Expected: "0000000000000000000000000000000018f5ea0c8b086095cfe23f6bb1d90d45de929292006dba8cdedd6d3203af3c6bbfd592e93ecb2b2c81004961fdcbb46c00000000000000000000000000000000076873199175664f1b6493a43c02234f49dc66f077d3007823e0343ad92e30bd7dc209013435ca9f197aca44d88e9dac000000000000000000000000000000000e6f07f4b23b511eac1e2682a0fc224c15d80e122a3e222d00a41fab15eba645a700b9ae84f331ae4ed873678e2e6c9b000000000000000000000000000000000bcb4849e460612aaed79617255fd30c03f51cf03d2ed4163ca810c13e1954b1e8663157b957a601829bb272a4e6c7b8", 395 Name: "WorstCaseG2", 396 NoBenchmark: false, 397 } 398 benchmarkPrecompiled("f0d", testcase, b) 399 }