nimbus-eth1/tests/test_precompiles.nim

108 lines
3.9 KiB
Nim
Raw Normal View History

2018-10-10 16:27:00 +00:00
# Nimbus
# Copyright (c) 2018-2024 Status Research & Development GmbH
2018-10-10 16:27:00 +00:00
# Licensed under either of
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
# * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
# at your option. This file may not be copied, modified, or distributed except according to those terms.
import
2022-12-02 04:39:12 +00:00
std/[strformat, strutils, json, os, tables, macros],
unittest2, stew/byteutils,
eth/[keys, trie],
2022-12-02 04:39:12 +00:00
../nimbus/common/common,
../tools/common/helpers as chp,
../nimbus/[evm/computation,
evm/state,
evm/types,
constants,
evm/precompiles {.all.},
transaction,
transaction/call_evm
],
./test_helpers, ./test_allowed_to_fail
2018-10-10 16:27:00 +00:00
proc initAddress(i: byte): EthAddress = result[19] = i
template doTest(fixture: JsonNode; vmState: BaseVMState; address: PrecompileAddresses): untyped =
2018-10-10 16:27:00 +00:00
for test in fixture:
let
2020-11-27 14:42:17 +00:00
expectedErr = test.hasKey("ExpectedError")
expected = if test.hasKey("Expected"): hexToSeqByte(test["Expected"].getStr) else: @[]
dataStr = test["Input"].getStr
gasExpected = if test.hasKey("Gas"):
Opt.some(GasInt test["Gas"].getInt)
else:
Opt.none(GasInt)
let unsignedTx = Transaction(
txType: TxLegacy,
nonce: 0,
gasPrice: 1.GasInt,
gasLimit: 1_000_000_000.GasInt,
to: Opt.some initAddress(address.byte),
value: 0.u256,
payload: if dataStr.len > 0: dataStr.hexToSeqByte else: @[]
)
let tx = signTransaction(unsignedTx, privateKey, ChainId(1), false)
let fixtureResult = testCallEvm(tx, tx.getSender, vmState)
2020-11-24 09:19:02 +00:00
2020-11-27 14:42:17 +00:00
if expectedErr:
check fixtureResult.isError
2020-11-24 09:19:02 +00:00
else:
check not fixtureResult.isError
let c = fixtureResult.output == expected
if not c: echo "Output : " & fixtureResult.output.toHex & "\nExpected: " & expected.toHex
2020-11-25 13:42:15 +00:00
check c
2018-10-10 16:27:00 +00:00
if gasExpected.isSome:
if fixtureResult.gasUsed != gasExpected.get:
debugEcho "GAS: ", fixtureResult.gasUsed, " ", gasExpected.get
check fixtureResult.gasUsed == gasExpected.get
2020-11-24 09:19:02 +00:00
proc parseFork(x: string): string =
result = x.capitalizeAscii
2018-10-10 16:27:00 +00:00
proc testFixture(fixtures: JsonNode, testStatusIMPL: var TestStatus) =
2020-11-25 13:42:15 +00:00
let
label = fixtures["func"].getStr
conf = getChainConfig(parseFork(fixtures["fork"].getStr))
2020-11-25 13:42:15 +00:00
data = fixtures["data"]
privateKey = PrivateKey.fromHex("7a28b5ba57c53603b0b07b56bba752f7784bf506fa95edc395f5cf6c7514fe9d")[]
com = CommonRef.new(newCoreDbRef DefaultDbMemory, config = conf)
Redesign of BaseVMState descriptor (#923) * Redesign of BaseVMState descriptor why: BaseVMState provides an environment for executing transactions. The current descriptor also provides data that cannot generally be known within the execution environment, e.g. the total gasUsed which is available not before after all transactions have finished. Also, the BaseVMState constructor has been replaced by a constructor that does not need pre-initialised input of the account database. also: Previous constructor and some fields are provided with a deprecated annotation (producing a lot of noise.) * Replace legacy directives in production sources * Replace legacy directives in unit test sources * fix CI (missing premix update) * Remove legacy directives * chase CI problem * rebased * Re-introduce 'AccountsCache' constructor optimisation for 'BaseVmState' re-initialisation why: Constructing a new 'AccountsCache' descriptor can be avoided sometimes when the current state root is properly positioned already. Such a feature existed already as the update function 'initStateDB()' for the 'BaseChanDB' where the accounts cache was linked into this desctiptor. The function 'initStateDB()' was removed and re-implemented into the 'BaseVmState' constructor without optimisation. The old version was of restricted use as a wrong accounts cache state would unconditionally throw an exception rather than conceptually ask for a remedy. The optimised 'BaseVmState' re-initialisation has been implemented for the 'persistBlocks()' function. also: moved some test helpers to 'test/replay' folder * Remove unused & undocumented fields from Chain descriptor why: Reduces attack surface in general & improves reading the code.
2022-01-18 16:19:32 +00:00
vmState = BaseVMState.new(
BlockHeader(number: 1'u64, stateRoot: emptyRlpHash),
Redesign of BaseVMState descriptor (#923) * Redesign of BaseVMState descriptor why: BaseVMState provides an environment for executing transactions. The current descriptor also provides data that cannot generally be known within the execution environment, e.g. the total gasUsed which is available not before after all transactions have finished. Also, the BaseVMState constructor has been replaced by a constructor that does not need pre-initialised input of the account database. also: Previous constructor and some fields are provided with a deprecated annotation (producing a lot of noise.) * Replace legacy directives in production sources * Replace legacy directives in unit test sources * fix CI (missing premix update) * Remove legacy directives * chase CI problem * rebased * Re-introduce 'AccountsCache' constructor optimisation for 'BaseVmState' re-initialisation why: Constructing a new 'AccountsCache' descriptor can be avoided sometimes when the current state root is properly positioned already. Such a feature existed already as the update function 'initStateDB()' for the 'BaseChanDB' where the accounts cache was linked into this desctiptor. The function 'initStateDB()' was removed and re-implemented into the 'BaseVmState' constructor without optimisation. The old version was of restricted use as a wrong accounts cache state would unconditionally throw an exception rather than conceptually ask for a remedy. The optimised 'BaseVmState' re-initialisation has been implemented for the 'persistBlocks()' function. also: moved some test helpers to 'test/replay' folder * Remove unused & undocumented fields from Chain descriptor why: Reduces attack surface in general & improves reading the code.
2022-01-18 16:19:32 +00:00
BlockHeader(),
com
)
2020-11-25 13:42:15 +00:00
case toLowerAscii(label)
of "ecrecover": data.doTest(vmState, paEcRecover)
of "sha256" : data.doTest(vmState, paSha256)
of "ripemd" : data.doTest(vmState, paRipeMd160)
of "identity" : data.doTest(vmState, paIdentity)
of "modexp" : data.doTest(vmState, paModExp)
of "bn256add" : data.doTest(vmState, paEcAdd)
of "bn256mul" : data.doTest(vmState, paEcMul)
of "ecpairing": data.doTest(vmState, paPairing)
of "blake2f" : data.doTest(vmState, paBlake2bf)
of "blsg1add" : data.doTest(vmState, paBlsG1Add)
of "blsg1mul" : data.doTest(vmState, paBlsG1Mul)
of "blsg1multiexp" : data.doTest(vmState, paBlsG1MultiExp)
of "blsg2add" : data.doTest(vmState, paBlsG2Add)
of "blsg2mul" : data.doTest(vmState, paBlsG2Mul)
of "blsg2multiexp": data.doTest(vmState, paBlsG2MultiExp)
of "blspairing": data.doTest(vmState, paBlsPairing)
of "blsmapg1": data.doTest(vmState, paBlsMapG1)
of "blsmapg2": data.doTest(vmState, paBlsMapG2)
2020-11-25 13:42:15 +00:00
else:
echo "Unknown test vector '" & $label & "'"
2020-11-25 13:55:53 +00:00
testStatusIMPL = SKIPPED
2019-11-11 04:21:16 +00:00
2019-09-21 05:45:23 +00:00
proc precompilesMain*() =
suite "Precompiles":
jsonTest("PrecompileTests", testFixture, skipPrecompilesTests)
2019-11-11 04:21:16 +00:00
when isMainModule:
precompilesMain()