private void Execute(Transaction transaction, BlockHeader block, ITxTracer txTracer, bool isCall)
{
bool notSystemTransaction = !transaction.IsSystem();
bool wasSenderAccountCreatedInsideACall = false;
IReleaseSpec spec = _specProvider.GetSpec(block.Number);
if (!notSystemTransaction)
{
spec = new SystemTransactionReleaseSpec(spec);
}
Address recipient = transaction.To;
UInt256 value = transaction.Value;
UInt256 gasPrice = transaction.GasPrice;
long gasLimit = transaction.GasLimit;
byte[] machineCode = transaction.Init;
byte[] data = transaction.Data ?? Array.Empty <byte>();
Address sender = transaction.SenderAddress;
if (_logger.IsTrace)
{
_logger.Trace($"Executing tx {transaction.Hash}");
}
if (sender == null)
{
TraceLogInvalidTx(transaction, "SENDER_NOT_SPECIFIED");
QuickFail(transaction, block, txTracer, "sender not specified");
return;
}
long intrinsicGas = _intrinsicGasCalculator.Calculate(transaction, spec);
if (_logger.IsTrace)
{
_logger.Trace($"Intrinsic gas calculated for {transaction.Hash}: " + intrinsicGas);
}
if (notSystemTransaction)
{
if (gasLimit < intrinsicGas)
{
TraceLogInvalidTx(transaction, $"GAS_LIMIT_BELOW_INTRINSIC_GAS {gasLimit} < {intrinsicGas}");
QuickFail(transaction, block, txTracer, "gas limit below intrinsic gas");
return;
}
if (!isCall && gasLimit > block.GasLimit - block.GasUsed)
{
TraceLogInvalidTx(transaction,
$"BLOCK_GAS_LIMIT_EXCEEDED {gasLimit} > {block.GasLimit} - {block.GasUsed}");
QuickFail(transaction, block, txTracer, "block gas limit exceeded");
return;
}
}
if (!_stateProvider.AccountExists(sender))
{
// hacky fix for the potential recovery issue
if (transaction.Signature != null)
{
transaction.SenderAddress = _ecdsa.RecoverAddress(transaction, !spec.ValidateChainId);
}
if (sender != transaction.SenderAddress)
{
if (_logger.IsWarn)
{
_logger.Warn($"TX recovery issue fixed - tx was coming with sender {sender} and the now it recovers to {transaction.SenderAddress}");
}
sender = transaction.SenderAddress;
}
else
{
TraceLogInvalidTx(transaction, $"SENDER_ACCOUNT_DOES_NOT_EXIST {sender}");
if (isCall || gasPrice == UInt256.Zero)
{
wasSenderAccountCreatedInsideACall = isCall;
_stateProvider.CreateAccount(sender, UInt256.Zero);
}
}
}
if (notSystemTransaction)
{
UInt256 senderBalance = _stateProvider.GetBalance(sender);
if (!isCall && (ulong)intrinsicGas * gasPrice + value > senderBalance)
{
TraceLogInvalidTx(transaction, $"INSUFFICIENT_SENDER_BALANCE: ({sender})_BALANCE = {senderBalance}");
QuickFail(transaction, block, txTracer, "insufficient sender balance");
return;
}
if (transaction.Nonce != _stateProvider.GetNonce(sender))
{
TraceLogInvalidTx(transaction, $"WRONG_TRANSACTION_NONCE: {transaction.Nonce} (expected {_stateProvider.GetNonce(sender)})");
QuickFail(transaction, block, txTracer, "wrong transaction nonce");
return;
}
_stateProvider.IncrementNonce(sender);
}
UInt256 senderReservedGasPayment = isCall ? UInt256.Zero : (ulong)gasLimit * gasPrice;
_stateProvider.SubtractFromBalance(sender, senderReservedGasPayment, spec);
_stateProvider.Commit(spec, txTracer.IsTracingState ? txTracer : null);
long unspentGas = gasLimit - intrinsicGas;
long spentGas = gasLimit;
int stateSnapshot = _stateProvider.TakeSnapshot();
int storageSnapshot = _storageProvider.TakeSnapshot();
_stateProvider.SubtractFromBalance(sender, value, spec);
byte statusCode = StatusCode.Failure;
TransactionSubstate substate = null;
try
{
if (transaction.IsContractCreation)
{
recipient = transaction.IsSystem()
? transaction.SenderAddress
: ContractAddress.From(sender, _stateProvider.GetNonce(sender) - 1);
if (_stateProvider.AccountExists(recipient))
{
if (_virtualMachine.GetCachedCodeInfo(recipient, spec).MachineCode.Length != 0 || _stateProvider.GetNonce(recipient) != 0)
{
if (_logger.IsTrace)
{
_logger.Trace($"Contract collision at {recipient}"); // the account already owns the contract with the code
}
throw new TransactionCollisionException();
}
_stateProvider.UpdateStorageRoot(recipient, Keccak.EmptyTreeHash);
}
}
ExecutionEnvironment env = new ExecutionEnvironment();
env.Value = value;
env.TransferValue = value;
env.Sender = sender;
env.CodeSource = recipient;
env.ExecutingAccount = recipient;
env.CurrentBlock = block;
env.GasPrice = gasPrice;
env.InputData = data ?? Array.Empty <byte>();
env.CodeInfo = machineCode == null?_virtualMachine.GetCachedCodeInfo(recipient, spec) : new CodeInfo(machineCode);
env.Originator = sender;
ExecutionType executionType = transaction.IsContractCreation ? ExecutionType.Create : ExecutionType.Call;
using (EvmState state = new EvmState(unspentGas, env, executionType, true, false))
{
substate = _virtualMachine.Run(state, txTracer);
unspentGas = state.GasAvailable;
}
if (substate.ShouldRevert || substate.IsError)
{
if (_logger.IsTrace)
{
_logger.Trace("Restoring state from before transaction");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
else
{
// tks: there is similar code fo contract creation from init and from CREATE
// this may lead to inconsistencies (however it is tested extensively in blockchain tests)
if (transaction.IsContractCreation)
{
long codeDepositGasCost = CodeDepositHandler.CalculateCost(substate.Output.Length, spec);
if (unspentGas < codeDepositGasCost && spec.IsEip2Enabled)
{
throw new OutOfGasException();
}
if (unspentGas >= codeDepositGasCost)
{
Keccak codeHash = _stateProvider.UpdateCode(substate.Output);
_stateProvider.UpdateCodeHash(recipient, codeHash, spec);
unspentGas -= codeDepositGasCost;
}
}
foreach (Address toBeDestroyed in substate.DestroyList)
{
if (_logger.IsTrace)
{
_logger.Trace($"Destroying account {toBeDestroyed}");
}
_storageProvider.ClearStorage(toBeDestroyed);
_stateProvider.DeleteAccount(toBeDestroyed);
if (txTracer.IsTracingRefunds)
{
txTracer.ReportRefund(RefundOf.Destroy);
}
}
statusCode = StatusCode.Success;
}
spentGas = Refund(gasLimit, unspentGas, substate, sender, gasPrice, spec);
}
catch (Exception ex) when(ex is EvmException || ex is OverflowException) // TODO: OverflowException? still needed? hope not
{
if (_logger.IsTrace)
{
_logger.Trace($"EVM EXCEPTION: {ex.GetType().Name}");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
if (_logger.IsTrace)
{
_logger.Trace("Gas spent: " + spentGas);
}
Address gasBeneficiary = block.GasBeneficiary;
if (statusCode == StatusCode.Failure || !(substate?.DestroyList.Contains(gasBeneficiary) ?? false))
{
if (notSystemTransaction)
{
if (!_stateProvider.AccountExists(gasBeneficiary))
{
_stateProvider.CreateAccount(gasBeneficiary, (ulong)spentGas * gasPrice);
}
else
{
_stateProvider.AddToBalance(gasBeneficiary, (ulong)spentGas * gasPrice, spec);
}
}
}
if (!isCall)
{
_storageProvider.Commit(txTracer.IsTracingState ? txTracer : null);
_stateProvider.Commit(spec, txTracer.IsTracingState ? txTracer : null);
}
else
{
_storageProvider.Reset();
_stateProvider.Reset();
if (wasSenderAccountCreatedInsideACall)
{
_stateProvider.DeleteAccount(sender);
}
else
{
_stateProvider.AddToBalance(sender, senderReservedGasPayment, spec);
if (notSystemTransaction)
{
_stateProvider.DecrementNonce(sender);
}
}
_stateProvider.Commit(spec);
}
if (!isCall && notSystemTransaction)
{
block.GasUsed += spentGas;
}
if (txTracer.IsTracingReceipt)
{
Keccak stateRoot = null;
bool eip658Enabled = _specProvider.GetSpec(block.Number).IsEip658Enabled;
if (!eip658Enabled)
{
_stateProvider.RecalculateStateRoot();
stateRoot = _stateProvider.StateRoot;
}
if (statusCode == StatusCode.Failure)
{
txTracer.MarkAsFailed(recipient, spentGas, (substate?.ShouldRevert ?? false) ? substate.Output : Array.Empty <byte>(), substate?.Error, stateRoot);
}
else
{
txTracer.MarkAsSuccess(recipient, spentGas, substate.Output, substate.Logs.Any() ? substate.Logs.ToArray() : Array.Empty <LogEntry>(), stateRoot);
}
}
}
public void Restore(Snapshot snapshot)
{
StateProvider.Restore(snapshot.StateSnapshot);
StorageProvider.Restore(snapshot.StorageSnapshot);
}
public TransactionReceipt Execute(
Transaction transaction,
BlockHeader block)
{
TransactionTrace trace = null;
if (_tracer.IsTracingEnabled)
{
trace = new TransactionTrace();
}
IReleaseSpec spec = _specProvider.GetSpec(block.Number);
Address recipient = transaction.To;
BigInteger value = transaction.Value;
BigInteger gasPrice = transaction.GasPrice;
long gasLimit = (long)transaction.GasLimit;
byte[] machineCode = transaction.Init;
byte[] data = transaction.Data ?? Bytes.Empty;
Address sender = transaction.SenderAddress;
if (_logger.IsDebugEnabled)
{
_logger.Debug($"SPEC: {spec.GetType().Name}");
_logger.Debug("HASH: " + transaction.Hash);
_logger.Debug("IS_CONTRACT_CREATION: " + transaction.IsContractCreation);
_logger.Debug("IS_MESSAGE_CALL: " + transaction.IsMessageCall);
_logger.Debug("IS_TRANSFER: " + transaction.IsTransfer);
_logger.Debug("SENDER: " + sender);
_logger.Debug("TO: " + transaction.To);
_logger.Debug("GAS LIMIT: " + transaction.GasLimit);
_logger.Debug("GAS PRICE: " + transaction.GasPrice);
_logger.Debug("VALUE: " + transaction.Value);
_logger.Debug("DATA_LENGTH: " + (transaction.Data?.Length ?? 0));
_logger.Debug("NONCE: " + transaction.Nonce);
}
if (sender == null)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"SENDER_NOT_SPECIFIED");
}
return(GetNullReceipt(block, 0L));
}
long intrinsicGas = _intrinsicGasCalculator.Calculate(transaction, spec);
if (_logger.IsDebugEnabled)
{
_logger.Debug("INTRINSIC GAS: " + intrinsicGas);
}
if (gasLimit < intrinsicGas)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"GAS_LIMIT_BELOW_INTRINSIC_GAS {gasLimit} < {intrinsicGas}");
}
return(GetNullReceipt(block, 0L));
}
if (gasLimit > block.GasLimit - block.GasUsed)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"BLOCK_GAS_LIMIT_EXCEEDED {gasLimit} > {block.GasLimit} - {block.GasUsed}");
}
return(GetNullReceipt(block, 0L));
}
if (!_stateProvider.AccountExists(sender))
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"SENDER_ACCOUNT_DOES_NOT_EXIST {sender}");
}
_stateProvider.CreateAccount(sender, 0);
}
BigInteger senderBalance = _stateProvider.GetBalance(sender);
if (intrinsicGas * gasPrice + value > senderBalance)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"INSUFFICIENT_SENDER_BALANCE: ({sender})b = {senderBalance}");
}
return(GetNullReceipt(block, 0L));
}
if (transaction.Nonce != _stateProvider.GetNonce(sender))
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"WRONG_TRANSACTION_NONCE: {transaction.Nonce} (expected {_stateProvider.GetNonce(sender)})");
}
return(GetNullReceipt(block, 0L));
}
_stateProvider.IncrementNonce(sender);
_stateProvider.UpdateBalance(sender, -new BigInteger(gasLimit) * gasPrice, spec);
_stateProvider.Commit(spec);
long unspentGas = gasLimit - intrinsicGas;
long spentGas = gasLimit;
List <LogEntry> logEntries = new List <LogEntry>();
if (transaction.IsContractCreation)
{
Rlp addressBaseRlp = Rlp.Encode(
Rlp.Encode(sender),
Rlp.Encode(_stateProvider.GetNonce(sender) - 1));
Keccak addressBaseKeccak = Keccak.Compute(addressBaseRlp);
recipient = new Address(addressBaseKeccak);
}
int snapshot = _stateProvider.TakeSnapshot();
int storageSnapshot = _storageProvider.TakeSnapshot();
_stateProvider.UpdateBalance(sender, -value, spec);
byte statusCode = StatusCode.Failure;
HashSet <Address> destroyedAccounts = new HashSet <Address>();
try
{
if (transaction.IsContractCreation)
{
// TODO: review tests around it as it fails on Ropsten 230881 when we throw an exception
if (_stateProvider.AccountExists(recipient) && !_stateProvider.IsEmptyAccount(recipient))
{
// TODO: review
// throw new TransactionCollisionException();
}
}
if (transaction.IsTransfer) // TODO: this is never called and wrong, to be removed
{
_stateProvider.UpdateBalance(sender, -value, spec);
_stateProvider.UpdateBalance(recipient, value, spec);
statusCode = StatusCode.Success;
}
else
{
bool isPrecompile = recipient.IsPrecompiled(spec);
ExecutionEnvironment env = new ExecutionEnvironment();
env.Value = value;
env.TransferValue = value;
env.Sender = sender;
env.ExecutingAccount = recipient;
env.CurrentBlock = block;
env.GasPrice = gasPrice;
env.InputData = data ?? new byte[0];
env.CodeInfo = isPrecompile ? new CodeInfo(recipient) : machineCode == null?_virtualMachine.GetCachedCodeInfo(recipient) : new CodeInfo(machineCode);
env.Originator = sender;
ExecutionType executionType = isPrecompile
? ExecutionType.DirectPrecompile
: transaction.IsContractCreation
? ExecutionType.DirectCreate
: ExecutionType.Transaction;
TransactionSubstate substate;
byte[] output;
using (EvmState state = new EvmState(unspentGas, env, executionType, false))
{
(output, substate) = _virtualMachine.Run(state, spec, trace);
unspentGas = state.GasAvailable;
}
if (substate.ShouldRevert)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug("REVERTING");
}
logEntries.Clear();
destroyedAccounts.Clear();
_stateProvider.Restore(snapshot);
_storageProvider.Restore(storageSnapshot);
}
else
{
if (transaction.IsContractCreation)
{
long codeDepositGasCost = output.Length * GasCostOf.CodeDeposit;
if (spec.IsEip170Enabled && output.Length > 0x6000)
{
codeDepositGasCost = long.MaxValue;
}
if (unspentGas < codeDepositGasCost && spec.IsEip2Enabled)
{
throw new OutOfGasException();
}
if (unspentGas >= codeDepositGasCost)
{
Keccak codeHash = _stateProvider.UpdateCode(output);
_stateProvider.UpdateCodeHash(recipient, codeHash, spec);
unspentGas -= codeDepositGasCost;
}
}
logEntries.AddRange(substate.Logs);
foreach (Address toBeDestroyed in substate.DestroyList)
{
destroyedAccounts.Add(toBeDestroyed);
}
statusCode = StatusCode.Success;
}
spentGas = Refund(gasLimit, unspentGas, substate, sender, gasPrice, spec);
}
}
catch (Exception ex) when(ex is EvmException || ex is OverflowException) // TODO: OverflowException? still needed? hope not
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"EVM EXCEPTION: {ex.GetType().Name}");
}
logEntries.Clear();
destroyedAccounts.Clear();
_stateProvider.Restore(snapshot);
_storageProvider.Restore(storageSnapshot);
}
foreach (Address toBeDestroyed in destroyedAccounts)
{
if (_logger.IsDebugEnabled)
{
_logger.Debug($"DESTROYING: {toBeDestroyed}");
}
_stateProvider.DeleteAccount(toBeDestroyed);
}
if (_logger.IsDebugEnabled)
{
_logger.Debug("GAS SPENT: " + spentGas);
}
if (!destroyedAccounts.Contains(block.Beneficiary))
{
if (!_stateProvider.AccountExists(block.Beneficiary))
{
_stateProvider.CreateAccount(block.Beneficiary, spentGas * gasPrice);
}
else
{
_stateProvider.UpdateBalance(block.Beneficiary, spentGas * gasPrice, spec);
}
}
_storageProvider.Commit(spec);
_stateProvider.Commit(spec);
block.GasUsed += spentGas;
if (_tracer.IsTracingEnabled)
{
trace.Gas = spentGas;
_tracer.SaveTrace(Transaction.CalculateHash(transaction), trace);
}
return(BuildTransactionReceipt(statusCode, logEntries.Any() ? logEntries.ToArray() : LogEntry.EmptyLogs, block.GasUsed, recipient));
}
/// <summary>
/// Executes the <paramref name="entry" />.
/// </summary>
/// <param name="entry">Transaction entry to be executed inside the <see cref="VirtualMachine" />.</param>
/// <param name="stateUpdate"><see cref="Delta" /> to be used for execution environment construction</param>
/// <param name="txTracer">Tracer to extract the execution steps for debugging or analytics.</param>
/// <param name="readOnly">Defines whether the state should be reverted after the execution.</param>
/// <exception cref="TransactionCollisionException">Thrown when deployment address already has some code.</exception>
/// <exception cref="OutOfGasException">Thrown when not enough gas is available for deposit.</exception>
private void Execute(PublicEntry entry, StateUpdate stateUpdate, ITxTracer txTracer, bool readOnly)
{
var spec = _specProvider.GetSpec(stateUpdate.Number);
var(sender, recipient) = ExtractSenderAndRecipient(entry);
var isPrecompile = recipient.IsPrecompiled(spec);
var env = PrepareEnv(entry, sender, recipient, stateUpdate, isPrecompile);
var gasLimit = entry.GasLimit;
var intrinsicGas = CalculateIntrinsicGas(entry, spec);
if (_logger.IsEnabled(LogEventLevel.Verbose))
{
_logger.Verbose("Executing entry {entry}", entry);
}
if (!ValidateSender(entry, env, txTracer))
{
return;
}
if (!ValidateIntrinsicGas(entry, env, intrinsicGas, txTracer))
{
return;
}
if (!ValidateDeltaGasLimit(entry, env, txTracer))
{
return;
}
if (!_stateProvider.AccountExists(env.Sender))
{
if (env.GasPrice == UInt256.Zero)
{
_stateProvider.CreateAccount(env.Sender, UInt256.Zero);
}
}
if (!ValidateSenderBalance(entry, env, intrinsicGas, txTracer))
{
return;
}
if (!ValidateNonce(entry, env, txTracer))
{
return;
}
InitEntryExecution(env, gasLimit, spec, txTracer);
// we prepare two fields to track the amount of gas spent / left
var unspentGas = gasLimit - intrinsicGas;
var spentGas = gasLimit;
// the snapshots are needed to revert the subroutine state changes in case of an VM exception
var stateSnapshot = _stateProvider.TakeSnapshot();
var storageSnapshot = _storageProvider.TakeSnapshot();
// we subtract value from sender
// it will be added to recipient at the later stage (inside the VM)
_stateProvider.SubtractFromBalance(sender, env.Value, spec);
// we fail unless we succeed
var statusCode = StatusCode.Failure;
TransactionSubstate substate = null;
try
{
if (entry.IsValidDeploymentEntry)
{
PrepareContractAccount(env.CodeSource);
}
var executionType = entry.IsValidDeploymentEntry ? ExecutionType.Create : ExecutionType.Call;
using (var state = new VmState((long)unspentGas, env, executionType, isPrecompile, true, false))
{
substate = _virtualMachine.Run(state, txTracer);
unspentGas = (ulong)state.GasAvailable;
}
if (substate.ShouldRevert || substate.IsError)
{
if (_logger.IsEnabled(LogEventLevel.Verbose))
{
_logger.Verbose("Restoring state from before transaction");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
else
{
if (entry.IsValidDeploymentEntry)
{
DeployCode(env, substate, ref unspentGas, spec);
}
DestroyAccounts(substate);
statusCode = StatusCode.Success;
}
spentGas = Refund(gasLimit, unspentGas, substate, env, spec);
}
catch (Exception ex) when(ex is EvmException || ex is OverflowException)
{
if (_logger.IsEnabled(LogEventLevel.Verbose))
{
_logger.Verbose($"EVM EXCEPTION: {ex.GetType().Name}");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
if (_logger.IsEnabled(LogEventLevel.Verbose))
{
_logger.Verbose("Gas spent: " + spentGas);
}
var gasBeneficiary = stateUpdate.GasBeneficiary;
var wasBeneficiaryAccountDestroyed = statusCode != StatusCode.Failure &&
(substate?.DestroyList.Contains(gasBeneficiary) ?? false);
if (!wasBeneficiaryAccountDestroyed)
{
if (!_stateProvider.AccountExists(gasBeneficiary))
{
_stateProvider.CreateAccount(gasBeneficiary, spentGas * env.GasPrice);
}
else
{
_stateProvider.AddToBalance(gasBeneficiary, spentGas * env.GasPrice, spec);
}
}
if (!readOnly)
{
_storageProvider.Commit(txTracer.IsTracingState ? txTracer : null);
_stateProvider.Commit(spec, txTracer.IsTracingState ? txTracer : null);
stateUpdate.GasUsed += (long)spentGas;
}
else
{
_storageProvider.Reset();
_stateProvider.Reset();
}
if (txTracer.IsTracingReceipt)
{
if (statusCode == StatusCode.Failure)
{
txTracer.MarkAsFailed(env.CodeSource, (long)spentGas,
substate?.ShouldRevert ?? false ? substate.Output : Bytes.Empty, substate?.Error);
}
else
{
if (substate == null)
{
throw new InvalidOperationException("Substate should not be null after a successful VM run.");
}
txTracer.MarkAsSuccess(env.CodeSource, (long)spentGas, substate.Output,
substate.Logs.Any() ? substate.Logs.ToArray() : LogEntry.EmptyLogs);
}
}
}
public void Execute(Transaction transaction, BlockHeader block, ITxTracer txTracer, bool readOnly)
{
IReleaseSpec spec = _specProvider.GetSpec(block.Number);
Address recipient = transaction.To;
UInt256 value = transaction.Value;
UInt256 gasPrice = transaction.GasPrice;
long gasLimit = (long)transaction.GasLimit;
byte[] machineCode = transaction.Init;
byte[] data = transaction.Data ?? Bytes.Empty;
Address sender = transaction.SenderAddress;
if (_logger.IsTrace)
{
_logger.Trace($"Executing tx {transaction.Hash}");
}
if (sender == null)
{
TraceLogInvalidTx(transaction, "SENDER_NOT_SPECIFIED");
if (txTracer.IsTracingReceipt)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
return;
}
long intrinsicGas = _intrinsicGasCalculator.Calculate(transaction, spec);
if (_logger.IsTrace)
{
_logger.Trace($"Intrinsic gas calculated for {transaction.Hash}: " + intrinsicGas);
}
if (gasLimit < intrinsicGas)
{
TraceLogInvalidTx(transaction, $"GAS_LIMIT_BELOW_INTRINSIC_GAS {gasLimit} < {intrinsicGas}");
if (txTracer.IsTracingReceipt)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
return;
}
if (gasLimit > block.GasLimit - block.GasUsed)
{
TraceLogInvalidTx(transaction, $"BLOCK_GAS_LIMIT_EXCEEDED {gasLimit} > {block.GasLimit} - {block.GasUsed}");
if (txTracer.IsTracingReceipt)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
return;
}
if (!_stateProvider.AccountExists(sender))
{
TraceLogInvalidTx(transaction, $"SENDER_ACCOUNT_DOES_NOT_EXIST {sender}");
if (gasPrice == UInt256.Zero)
{
_stateProvider.CreateAccount(sender, UInt256.Zero);
}
}
UInt256 senderBalance = _stateProvider.GetBalance(sender);
if ((ulong)intrinsicGas * gasPrice + value > senderBalance)
{
TraceLogInvalidTx(transaction, $"INSUFFICIENT_SENDER_BALANCE: ({sender})_BALANCE = {senderBalance}");
if (txTracer.IsTracingReceipt)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
return;
}
if (transaction.Nonce != _stateProvider.GetNonce(sender))
{
TraceLogInvalidTx(transaction, $"WRONG_TRANSACTION_NONCE: {transaction.Nonce} (expected {_stateProvider.GetNonce(sender)})");
if (txTracer.IsTracingReceipt)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
return;
}
_stateProvider.IncrementNonce(sender);
_stateProvider.SubtractFromBalance(sender, (ulong)gasLimit * gasPrice, spec);
// TODO: I think we can skip this commit and decrease the tree operations this way
_stateProvider.Commit(_specProvider.GetSpec(block.Number), txTracer.IsTracingState ? txTracer : null);
long unspentGas = gasLimit - intrinsicGas;
long spentGas = gasLimit;
int stateSnapshot = _stateProvider.TakeSnapshot();
int storageSnapshot = _storageProvider.TakeSnapshot();
_stateProvider.SubtractFromBalance(sender, value, spec);
byte statusCode = StatusCode.Failure;
TransactionSubstate substate = null;
try
{
if (transaction.IsContractCreation)
{
recipient = Address.OfContract(sender, _stateProvider.GetNonce(sender) - 1);
if (_stateProvider.AccountExists(recipient))
{
if ((_virtualMachine.GetCachedCodeInfo(recipient)?.MachineCode?.Length ?? 0) != 0 || _stateProvider.GetNonce(recipient) != 0)
{
if (_logger.IsTrace)
{
_logger.Trace($"Contract collision at {recipient}"); // the account already owns the contract with the code
}
throw new TransactionCollisionException();
}
_stateProvider.UpdateStorageRoot(recipient, Keccak.EmptyTreeHash);
}
}
bool isPrecompile = recipient.IsPrecompiled(spec);
ExecutionEnvironment env = new ExecutionEnvironment();
env.Value = value;
env.TransferValue = value;
env.Sender = sender;
env.ExecutingAccount = recipient;
env.CurrentBlock = block;
env.GasPrice = gasPrice;
env.InputData = data ?? new byte[0];
env.CodeInfo = isPrecompile ? new CodeInfo(recipient) : machineCode == null?_virtualMachine.GetCachedCodeInfo(recipient) : new CodeInfo(machineCode);
env.Originator = sender;
ExecutionType executionType = transaction.IsContractCreation ? ExecutionType.Create : ExecutionType.Call;
using (EvmState state = new EvmState(unspentGas, env, executionType, isPrecompile, true, false))
{
substate = _virtualMachine.Run(state, spec, txTracer);
unspentGas = state.GasAvailable;
}
if (substate.ShouldRevert || substate.IsError)
{
if (_logger.IsTrace)
{
_logger.Trace("Restoring state from before transaction");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
else
{
// tks: there is similar code fo contract creation from init and from CREATE
// this may lead to inconsistencies (however it is tested extensively in blockchain tests)
if (transaction.IsContractCreation)
{
long codeDepositGasCost = substate.Output.Length * GasCostOf.CodeDeposit;
if (spec.IsEip170Enabled && substate.Output.Length > 0x6000)
{
codeDepositGasCost = long.MaxValue;
}
if (unspentGas < codeDepositGasCost && spec.IsEip2Enabled)
{
throw new OutOfGasException();
}
if (unspentGas >= codeDepositGasCost)
{
Keccak codeHash = _stateProvider.UpdateCode(substate.Output);
_stateProvider.UpdateCodeHash(recipient, codeHash, spec);
unspentGas -= codeDepositGasCost;
}
}
foreach (Address toBeDestroyed in substate.DestroyList)
{
if (_logger.IsTrace)
{
_logger.Trace($"Destroying account {toBeDestroyed}");
}
_stateProvider.DeleteAccount(toBeDestroyed);
}
statusCode = StatusCode.Success;
}
spentGas = Refund(gasLimit, unspentGas, substate, sender, gasPrice, spec);
}
catch (Exception ex) when(ex is EvmException || ex is OverflowException) // TODO: OverflowException? still needed? hope not
{
if (_logger.IsTrace)
{
_logger.Trace($"EVM EXCEPTION: {ex.GetType().Name}");
}
_stateProvider.Restore(stateSnapshot);
_storageProvider.Restore(storageSnapshot);
}
if (_logger.IsTrace)
{
_logger.Trace("Gas spent: " + spentGas);
}
Address gasBeneficiary = block.GasBeneficiary;
if (statusCode == StatusCode.Failure || !(substate?.DestroyList.Contains(gasBeneficiary) ?? false))
{
if (!_stateProvider.AccountExists(gasBeneficiary))
{
_stateProvider.CreateAccount(gasBeneficiary, (ulong)spentGas * gasPrice);
}
else
{
_stateProvider.AddToBalance(gasBeneficiary, (ulong)spentGas * gasPrice, spec);
}
}
if (!readOnly)
{
_storageProvider.Commit(txTracer.IsTracingState ? txTracer : null);
_stateProvider.Commit(spec, txTracer.IsTracingState ? txTracer : null);
}
else
{
_storageProvider.Reset();
_stateProvider.Reset();
}
if (!readOnly)
{
block.GasUsed += spentGas;
}
if (txTracer.IsTracingReceipt)
{
if (statusCode == StatusCode.Failure)
{
txTracer.MarkAsFailed(recipient, (long)transaction.GasLimit);
}
else
{
txTracer.MarkAsSuccess(recipient, spentGas, substate.Output, substate.Logs.Any() ? substate.Logs.ToArray() : LogEntry.EmptyLogs);
}
}
}
