status-im
/
nimbus-eth1
mirror of https://github.com/status-im/nimbus-eth1.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
nimbus-eth1/nimbus/vm2/types.nim

114 lines
3.2 KiB
Nim
Raw Normal View History

provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
# Nimbus
# Copyright (c) 2018 Status Research & Development GmbH
# 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
tables, eth/common,
options, json, sets,
vm2: Remove vm2 `forks_list` everywhere, use common forks list Remove file vm2 file `forks_list, and divert all imports to the common forks list outside the EVM. Signed-off-by: Jamie Lokier <jamie@shareable.org>
2021-06-01 11:27:05 +00:00
./stack, ./memory, ./code_stream, ../forks,
./interpreter/[gas_costs, op_codes],
provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
# TODO - will be hidden at a lower layer
../db/[db_chain, accounts_cache]
type
VMFlag* = enum
ExecutionOK
GenerateWitness
ClearCache
BaseVMState* = ref object of RootObj
prevHeaders* : seq[BlockHeader]
chaindb* : BaseChainDB
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
parent* : BlockHeader
timestamp* : EthTime
gasLimit* : GasInt
fee* : Option[Uint256]
EIP 4399 changes: random -> prevRandao
2022-02-27 05:21:46 +00:00
prevRandao* : Hash256
fix EIP-4399 'random' opcode - fix previous implementation of EIP-4399 - now `random` opcode can be used with evmc_enabled
2022-02-08 09:17:59 +00:00
ttdReached* : bool
provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
name* : string
flags* : set[VMFlag]
tracer* : TransactionTracer
logEntries* : seq[Log]
receipts* : seq[Receipt]
move stateDB from VMState to chainDB previously, every time the VMState was created, it will also create new stateDB, and this action will nullify the advantages of cached accounts. the new changes will conserve the accounts cache if the executed blocks are contiguous. if not the stateDB need to be reinited. this changes also allow rpcCallEvm and rpcEstimateGas executed properly using current stateDB instead of creating new one each time they are called.
2021-10-28 09:42:39 +00:00
stateDB* : AccountsCache
provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
cumulativeGasUsed*: GasInt
touchedAccounts*: HashSet[EthAddress]
EVM: Apply EIP-6 in the code (affects both vm and vm2) The rationale in EIP-6[1] for changing names to `selfDestruct` applies to code as much as it does to specs. Also, Ethereum uses the new names consistently, so it's useful for our code to match the terms used in later EIP specs and testsuite entries. This change is straightforward, and is a prerequisite for patches to come that do things with the `selfDestruct` fields. [1] https://eips.ethereum.org/EIPS/eip-6 Hudson Jameson, "EIP-6: Renaming SUICIDE opcode," Ethereum Improvement Proposals, no. 6, November 2015. Signed-off-by: Jamie Lokier <jamie@shareable.org>
2021-05-11 09:05:58 +00:00
selfDestructs* : HashSet[EthAddress]
provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
txOrigin* : EthAddress
txGasPrice* : GasInt
gasCosts* : GasCosts
fork* : Fork
minerAddress* : EthAddress
TracerFlags* {.pure.} = enum
EnableTracing
DisableStorage
DisableMemory
DisableStack
DisableState
DisableStateDiff
EnableAccount
TransactionTracer* = object
trace*: JsonNode
flags*: set[TracerFlags]
accounts*: HashSet[EthAddress]
storageKeys*: seq[HashSet[Uint256]]
Computation* = ref object
# The execution computation
vmState*: BaseVMState
msg*: Message
memory*: Memory
stack*: Stack
returnStack*: seq[int]
gasMeter*: GasMeter
code*: CodeStream
output*: seq[byte]
returnData*: seq[byte]
error*: Error
touchedAccounts*: HashSet[EthAddress]
EVM: Apply EIP-6 in the code (affects both vm and vm2) The rationale in EIP-6[1] for changing names to `selfDestruct` applies to code as much as it does to specs. Also, Ethereum uses the new names consistently, so it's useful for our code to match the terms used in later EIP specs and testsuite entries. This change is straightforward, and is a prerequisite for patches to come that do things with the `selfDestruct` fields. [1] https://eips.ethereum.org/EIPS/eip-6 Hudson Jameson, "EIP-6: Renaming SUICIDE opcode," Ethereum Improvement Proposals, no. 6, November 2015. Signed-off-by: Jamie Lokier <jamie@shareable.org>
2021-05-11 09:05:58 +00:00
selfDestructs*: HashSet[EthAddress]
provide identical copy of vm folder => vm2, activated by make flag ENABLE_VM2=1 why: vm2 enabled by ENABLE_VM2=1 behaves as vm without ENABLE_EVMC=1 until it doesn't in some future fatch set. this leaves some wiggle room to work on a vm copy without degrading the original implementation. details: + additional make flag ENABLE_VM2=1 (or ENABLE_VM2=0 to explicitely disable) + when both flags ENABLE_EVMC=1 and ENABLE_VM2=1 are present, the former flag ENABLE_EVMC=1 takes precedence, this is implemented at the NIM compiler level for -d:evmc_enabled and -d:vm2_enabled
2021-04-08 14:52:10 +00:00
logEntries*: seq[Log]
savePoint*: SavePoint
instr*: Op
opIndex*: int
parent*, child*: Computation
continuation*: proc() {.gcsafe.}
Error* = ref object
info*: string
burnsGas*: bool
GasMeter* = object
gasRefunded*: GasInt
gasRemaining*: GasInt
CallKind* = enum
evmcCall = 0, # CALL
evmcDelegateCall = 1, # DELEGATECALL
evmcCallCode = 2, # CALLCODE
evmcCreate = 3, # CREATE
evmcCreate2 = 4 # CREATE2
MsgFlags* = enum
emvcNoFlags = 0
emvcStatic = 1
Message* = ref object
kind*: CallKind
depth*: int
gas*: GasInt
sender*: EthAddress
contractAddress*: EthAddress
codeAddress*: EthAddress
value*: UInt256
data*: seq[byte]
flags*: MsgFlags