mirror of
https://github.com/hl-archive-node/nanoreth.git
synced 2025-12-06 19:09:54 +00:00
616 lines
24 KiB
Rust
616 lines
24 KiB
Rust
use crate::{
|
||
config::{WEI_2ETH, WEI_3ETH, WEI_5ETH},
|
||
revm_wrap::{self, to_reth_acc, SubState},
|
||
Config,
|
||
};
|
||
use hashbrown::hash_map::Entry;
|
||
use reth_db::{models::AccountBeforeTx, tables, transaction::DbTxMut, Error as DbError};
|
||
use reth_interfaces::executor::Error;
|
||
use reth_primitives::{
|
||
bloom::logs_bloom, Account, Address, Bloom, Header, Log, Receipt, TransactionSignedEcRecovered,
|
||
H256, U256,
|
||
};
|
||
use reth_provider::StateProvider;
|
||
use revm::{
|
||
db::AccountState, Account as RevmAccount, AccountInfo, AnalysisKind, Bytecode, Database, EVM,
|
||
};
|
||
use std::collections::BTreeMap;
|
||
|
||
/// Main block executor
|
||
pub struct Executor {
|
||
/// Configuration, Spec and optional flags.
|
||
pub config: Config,
|
||
}
|
||
|
||
/// Contains old/new account changes
|
||
#[derive(Debug, Clone, Eq, PartialEq)]
|
||
pub enum AccountInfoChangeSet {
|
||
/// The account is newly created.
|
||
Created {
|
||
/// The newly created account.
|
||
new: Account,
|
||
},
|
||
/// An account was deleted (selfdestructed) or we have touched
|
||
/// an empty account and we need to remove/destroy it.
|
||
/// (Look at state clearing [EIP-158](https://eips.ethereum.org/EIPS/eip-158))
|
||
Destroyed {
|
||
/// The account that was destroyed.
|
||
old: Account,
|
||
},
|
||
/// The account was changed.
|
||
Changed {
|
||
/// The account after the change.
|
||
new: Account,
|
||
/// The account prior to the change.
|
||
old: Account,
|
||
},
|
||
/// Nothing was changed for the account (nonce/balance).
|
||
NoChange,
|
||
}
|
||
|
||
impl AccountInfoChangeSet {
|
||
/// Apply the changes from the changeset to a database transaction.
|
||
pub fn apply_to_db<'a, TX: DbTxMut<'a>>(
|
||
self,
|
||
address: Address,
|
||
tx_index: u64,
|
||
tx: &TX,
|
||
) -> Result<(), DbError> {
|
||
match self {
|
||
AccountInfoChangeSet::Changed { old, new } => {
|
||
// insert old account in AccountChangeSet
|
||
// check for old != new was already done
|
||
tx.put::<tables::AccountChangeSet>(
|
||
tx_index,
|
||
AccountBeforeTx { address, info: Some(old) },
|
||
)?;
|
||
tx.put::<tables::PlainAccountState>(address, new)?;
|
||
}
|
||
AccountInfoChangeSet::Created { new } => {
|
||
tx.put::<tables::AccountChangeSet>(
|
||
tx_index,
|
||
AccountBeforeTx { address, info: None },
|
||
)?;
|
||
tx.put::<tables::PlainAccountState>(address, new)?;
|
||
}
|
||
AccountInfoChangeSet::Destroyed { old } => {
|
||
tx.delete::<tables::PlainAccountState>(address, None)?;
|
||
tx.put::<tables::AccountChangeSet>(
|
||
tx_index,
|
||
AccountBeforeTx { address, info: Some(old) },
|
||
)?;
|
||
}
|
||
AccountInfoChangeSet::NoChange => {
|
||
// do nothing storage account didn't change
|
||
}
|
||
}
|
||
Ok(())
|
||
}
|
||
}
|
||
|
||
/// Diff change set that is neede for creating history index and updating current world state.
|
||
#[derive(Debug, Clone)]
|
||
pub struct AccountChangeSet {
|
||
/// Old and New account account change.
|
||
pub account: AccountInfoChangeSet,
|
||
/// Storage containing key -> (OldValue,NewValue). in case that old value is not existing
|
||
/// we can expect to have U256::zero(), same with new value.
|
||
pub storage: BTreeMap<U256, (U256, U256)>,
|
||
/// Just to make sure that we are taking selfdestruct cleaning we have this field that wipes
|
||
/// storage. There are instances where storage is changed but account is not touched, so we
|
||
/// can't take into account that if new account is None that it is selfdestruct.
|
||
pub wipe_storage: bool,
|
||
}
|
||
|
||
/// Execution Result containing vector of transaction changesets
|
||
/// and block reward if present
|
||
pub struct ExecutionResult {
|
||
/// Transaction changeest contraining [Receipt], changed [Accounts][Account] and Storages.
|
||
pub changeset: Vec<TransactionChangeSet>,
|
||
/// Block reward if present. It represent changeset for block reward slot in
|
||
/// [tables::AccountChangeSet] .
|
||
pub block_reward: Option<BTreeMap<Address, AccountInfoChangeSet>>,
|
||
}
|
||
|
||
/// Commit chgange to database and return change diff that is used to update state and create
|
||
/// history index
|
||
///
|
||
/// ChangeDiff consists of:
|
||
/// address->AccountChangeSet (It contains old and new account info,storage wipe flag, and
|
||
/// old/new storage) bytecode_hash->bytecodes mapping
|
||
///
|
||
/// BTreeMap is used to have sorted values
|
||
pub fn commit_changes<DB: StateProvider>(
|
||
db: &mut SubState<DB>,
|
||
changes: hashbrown::HashMap<Address, RevmAccount>,
|
||
) -> (BTreeMap<Address, AccountChangeSet>, BTreeMap<H256, Bytecode>) {
|
||
let mut change = BTreeMap::new();
|
||
let mut new_bytecodes = BTreeMap::new();
|
||
// iterate over all changed accounts
|
||
for (address, account) in changes {
|
||
if account.is_destroyed {
|
||
// get old account that we are destroying.
|
||
let db_account = match db.accounts.entry(address) {
|
||
Entry::Occupied(entry) => entry.into_mut(),
|
||
Entry::Vacant(_entry) => {
|
||
panic!("Left panic to critically jumpout if happens, as every account shound be hot loaded.");
|
||
}
|
||
};
|
||
// Insert into `change` a old account and None for new account
|
||
// and mark storage to be mapped
|
||
change.insert(
|
||
address,
|
||
AccountChangeSet {
|
||
account: AccountInfoChangeSet::Destroyed { old: to_reth_acc(&db_account.info) },
|
||
storage: BTreeMap::new(),
|
||
wipe_storage: true,
|
||
},
|
||
);
|
||
// clear cached DB and mark account as not existing
|
||
db_account.storage.clear();
|
||
db_account.account_state = AccountState::NotExisting;
|
||
db_account.info = AccountInfo::default();
|
||
|
||
continue
|
||
} else {
|
||
// check if account code is new or old.
|
||
// does it exist inside cached contracts if it doesn't it is new bytecode that
|
||
// we are inserting inside `change`
|
||
if let Some(ref code) = account.info.code {
|
||
if !code.is_empty() {
|
||
match db.contracts.entry(account.info.code_hash) {
|
||
Entry::Vacant(entry) => {
|
||
entry.insert(code.clone());
|
||
new_bytecodes.insert(account.info.code_hash, code.clone());
|
||
}
|
||
Entry::Occupied(mut entry) => {
|
||
entry.insert(code.clone());
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
// get old account that is going to be overwritten or none if it does not exist
|
||
// and get new account that was just inserted. new account mut ref is used for
|
||
// inserting storage
|
||
let (account_info_changeset, new_account) = match db.accounts.entry(address) {
|
||
Entry::Vacant(entry) => {
|
||
let entry = entry.insert(Default::default());
|
||
entry.info = account.info.clone();
|
||
// account was not existing, so this means new account is created
|
||
(AccountInfoChangeSet::Created { new: to_reth_acc(&entry.info) }, entry)
|
||
}
|
||
Entry::Occupied(entry) => {
|
||
let entry = entry.into_mut();
|
||
|
||
// account is present inside cache but is markes as NotExisting.
|
||
let account_changeset =
|
||
if matches!(entry.account_state, AccountState::NotExisting) {
|
||
AccountInfoChangeSet::Created { new: to_reth_acc(&account.info) }
|
||
} else if entry.info != account.info {
|
||
AccountInfoChangeSet::Changed {
|
||
old: to_reth_acc(&entry.info),
|
||
new: to_reth_acc(&account.info),
|
||
}
|
||
} else {
|
||
AccountInfoChangeSet::NoChange
|
||
};
|
||
entry.info = account.info.clone();
|
||
(account_changeset, entry)
|
||
}
|
||
};
|
||
|
||
let mut wipe_storage = false;
|
||
|
||
new_account.account_state = if account.storage_cleared {
|
||
new_account.storage.clear();
|
||
wipe_storage = true;
|
||
AccountState::StorageCleared
|
||
} else {
|
||
AccountState::Touched
|
||
};
|
||
|
||
// Insert storage.
|
||
let mut storage = BTreeMap::new();
|
||
|
||
// insert storage into new db account.
|
||
new_account.storage.extend(account.storage.into_iter().map(|(key, value)| {
|
||
storage.insert(key, (value.original_value(), value.present_value()));
|
||
(key, value.present_value())
|
||
}));
|
||
|
||
// Insert into change.
|
||
change.insert(
|
||
address,
|
||
AccountChangeSet { account: account_info_changeset, storage, wipe_storage },
|
||
);
|
||
}
|
||
}
|
||
(change, new_bytecodes)
|
||
}
|
||
|
||
/// After transaction is executed this structure contain
|
||
/// transaction [Receipt] every change to state ([Account], Storage, [Bytecode])
|
||
/// that this transaction made and its old values
|
||
/// so that history account table can be updated.
|
||
#[derive(Debug, Clone)]
|
||
pub struct TransactionChangeSet {
|
||
/// Transaction receipt
|
||
pub receipt: Receipt,
|
||
/// State change that this transaction made on state.
|
||
pub state_diff: BTreeMap<Address, AccountChangeSet>,
|
||
/// new bytecode created as result of transaction execution.
|
||
pub new_bytecodes: BTreeMap<H256, Bytecode>,
|
||
}
|
||
|
||
/// Execute and verify block
|
||
pub fn execute_and_verify_receipt<DB: StateProvider>(
|
||
header: &Header,
|
||
transactions: &[TransactionSignedEcRecovered],
|
||
config: &Config,
|
||
db: &mut SubState<DB>,
|
||
) -> Result<ExecutionResult, Error> {
|
||
let transaction_change_set = execute(header, transactions, config, db)?;
|
||
|
||
let receipts_iter = transaction_change_set.changeset.iter().map(|changeset| &changeset.receipt);
|
||
verify_receipt(header.receipts_root, header.logs_bloom, receipts_iter)?;
|
||
|
||
Ok(transaction_change_set)
|
||
}
|
||
|
||
/// Verify receipts
|
||
pub fn verify_receipt<'a>(
|
||
expected_receipts_root: H256,
|
||
expected_logs_bloom: Bloom,
|
||
receipts: impl Iterator<Item = &'a Receipt> + Clone,
|
||
) -> Result<(), Error> {
|
||
// Check receipts root.
|
||
let receipts_root = reth_primitives::proofs::calculate_receipt_root(receipts.clone());
|
||
if receipts_root != expected_receipts_root {
|
||
return Err(Error::ReceiptRootDiff { got: receipts_root, expected: expected_receipts_root })
|
||
}
|
||
|
||
// Create header log bloom.
|
||
let logs_bloom = receipts.fold(Bloom::zero(), |bloom, r| bloom | r.bloom);
|
||
if logs_bloom != expected_logs_bloom {
|
||
return Err(Error::BloomLogDiff {
|
||
expected: Box::new(expected_logs_bloom),
|
||
got: Box::new(logs_bloom),
|
||
})
|
||
}
|
||
Ok(())
|
||
}
|
||
|
||
/// Verify block. Execute all transaction and compare results.
|
||
/// Returns ChangeSet on transaction granularity.
|
||
/// NOTE: If block reward is still active (Before Paris/Merge) we would return
|
||
/// additional TransactionStatechangeset for account that receives the reward.
|
||
pub fn execute<DB: StateProvider>(
|
||
header: &Header,
|
||
transactions: &[TransactionSignedEcRecovered],
|
||
config: &Config,
|
||
db: &mut SubState<DB>,
|
||
) -> Result<ExecutionResult, Error> {
|
||
let mut evm = EVM::new();
|
||
evm.database(db);
|
||
|
||
evm.env.cfg.chain_id = config.chain_id;
|
||
evm.env.cfg.spec_id = config.spec_upgrades.revm_spec(header.number);
|
||
evm.env.cfg.perf_all_precompiles_have_balance = true;
|
||
evm.env.cfg.perf_analyse_created_bytecodes = AnalysisKind::Raw;
|
||
|
||
revm_wrap::fill_block_env(&mut evm.env.block, header);
|
||
let mut cumulative_gas_used = 0;
|
||
// output of verification
|
||
let mut changeset = Vec::with_capacity(transactions.len());
|
||
|
||
for transaction in transactions.iter() {
|
||
// The sum of the transaction’s gas limit, Tg, and the gas utilised in this block prior,
|
||
// must be no greater than the block’s gasLimit.
|
||
let block_available_gas = header.gas_limit - cumulative_gas_used;
|
||
if transaction.gas_limit() > block_available_gas {
|
||
return Err(Error::TransactionGasLimitMoreThenAvailableBlockGas {
|
||
transaction_gas_limit: transaction.gas_limit(),
|
||
block_available_gas,
|
||
})
|
||
}
|
||
|
||
// Fill revm structure.
|
||
revm_wrap::fill_tx_env(&mut evm.env.tx, transaction);
|
||
|
||
// Execute transaction.
|
||
let (revm::ExecutionResult { exit_reason, gas_used, logs, .. }, state) = evm.transact();
|
||
|
||
// Fatal internal error.
|
||
if exit_reason == revm::Return::FatalExternalError {
|
||
return Err(Error::ExecutionFatalError)
|
||
}
|
||
|
||
// Success flag was added in `EIP-658: Embedding transaction status code in receipts`.
|
||
let is_success = matches!(
|
||
exit_reason,
|
||
revm::Return::Continue |
|
||
revm::Return::Stop |
|
||
revm::Return::Return |
|
||
revm::Return::SelfDestruct
|
||
);
|
||
|
||
// TODO add handling of other errors
|
||
|
||
// Add spend gas.
|
||
cumulative_gas_used += gas_used;
|
||
|
||
// Transform logs to reth format.
|
||
let logs: Vec<Log> = logs
|
||
.into_iter()
|
||
.map(|l| Log { address: l.address, topics: l.topics, data: l.data })
|
||
.collect();
|
||
|
||
// commit state
|
||
let (state_diff, new_bytecodes) = commit_changes(evm.db().unwrap(), state);
|
||
|
||
// Push transaction changeset and calculte header bloom filter for receipt.
|
||
changeset.push(TransactionChangeSet {
|
||
receipt: Receipt {
|
||
tx_type: transaction.tx_type(),
|
||
success: is_success,
|
||
cumulative_gas_used,
|
||
bloom: logs_bloom(logs.iter()),
|
||
logs,
|
||
},
|
||
state_diff,
|
||
new_bytecodes,
|
||
})
|
||
}
|
||
|
||
// Check if gas used matches the value set in header.
|
||
if header.gas_used != cumulative_gas_used {
|
||
return Err(Error::BlockGasUsed { got: cumulative_gas_used, expected: header.gas_used })
|
||
}
|
||
|
||
// it is okay to unwrap the db.
|
||
let beneficiary = evm
|
||
.db
|
||
.expect("It is set at the start of the function")
|
||
.basic(header.beneficiary)
|
||
.map_err(|_| Error::ProviderError)?;
|
||
|
||
// NOTE: Related to Ethereum reward change, for other network this is probably going to be moved
|
||
// to config.
|
||
let block_reward = match header.number {
|
||
n if n >= config.spec_upgrades.paris => None,
|
||
n if n >= config.spec_upgrades.petersburg => Some(WEI_2ETH),
|
||
n if n >= config.spec_upgrades.byzantium => Some(WEI_3ETH),
|
||
_ => Some(WEI_5ETH),
|
||
}
|
||
.map(|reward| {
|
||
// add block reward to beneficiary/miner
|
||
if let Some(beneficiary) = beneficiary {
|
||
// if account is present append `Changed` changeset for block reward
|
||
let old = to_reth_acc(&beneficiary);
|
||
let mut new = old;
|
||
new.balance += U256::from(reward);
|
||
BTreeMap::from([(header.beneficiary, AccountInfoChangeSet::Changed { new, old })])
|
||
} else {
|
||
// if account is not present append `Created` changeset
|
||
BTreeMap::from([(
|
||
header.beneficiary,
|
||
AccountInfoChangeSet::Created {
|
||
new: Account { nonce: 0, balance: reward.into(), bytecode_hash: None },
|
||
},
|
||
)])
|
||
}
|
||
});
|
||
|
||
Ok(ExecutionResult { changeset, block_reward })
|
||
}
|
||
|
||
#[cfg(test)]
|
||
mod tests {
|
||
|
||
use std::{collections::HashMap, sync::Arc};
|
||
|
||
use crate::{config::SpecUpgrades, revm_wrap::State};
|
||
use reth_db::{
|
||
database::Database,
|
||
mdbx::{test_utils, Env, EnvKind, WriteMap},
|
||
transaction::DbTx,
|
||
};
|
||
use reth_primitives::{
|
||
hex_literal::hex, keccak256, Account, Address, BlockLocked, Bytes, StorageKey, H160, H256,
|
||
U256,
|
||
};
|
||
use reth_provider::{AccountProvider, StateProvider};
|
||
use reth_rlp::Decodable;
|
||
|
||
use super::*;
|
||
|
||
#[derive(Debug, Default, Clone, Eq, PartialEq)]
|
||
struct StateProviderTest {
|
||
accounts: HashMap<Address, (HashMap<StorageKey, U256>, Account)>,
|
||
contracts: HashMap<H256, Bytes>,
|
||
block_hash: HashMap<U256, H256>,
|
||
}
|
||
|
||
impl StateProviderTest {
|
||
/// Insert account.
|
||
fn insert_account(
|
||
&mut self,
|
||
address: Address,
|
||
mut account: Account,
|
||
bytecode: Option<Bytes>,
|
||
storage: HashMap<StorageKey, U256>,
|
||
) {
|
||
if let Some(bytecode) = bytecode {
|
||
let hash = keccak256(&bytecode);
|
||
account.bytecode_hash = Some(hash);
|
||
self.contracts.insert(hash, bytecode);
|
||
}
|
||
self.accounts.insert(address, (storage, account));
|
||
}
|
||
}
|
||
|
||
impl AccountProvider for StateProviderTest {
|
||
fn basic_account(&self, address: Address) -> reth_interfaces::Result<Option<Account>> {
|
||
let ret = Ok(self.accounts.get(&address).map(|(_, acc)| *acc));
|
||
ret
|
||
}
|
||
}
|
||
|
||
impl StateProvider for StateProviderTest {
|
||
fn storage(
|
||
&self,
|
||
account: Address,
|
||
storage_key: reth_primitives::StorageKey,
|
||
) -> reth_interfaces::Result<Option<reth_primitives::StorageValue>> {
|
||
Ok(self
|
||
.accounts
|
||
.get(&account)
|
||
.and_then(|(storage, _)| storage.get(&storage_key).cloned()))
|
||
}
|
||
|
||
fn bytecode_by_hash(&self, code_hash: H256) -> reth_interfaces::Result<Option<Bytes>> {
|
||
Ok(self.contracts.get(&code_hash).cloned())
|
||
}
|
||
|
||
fn block_hash(&self, number: U256) -> reth_interfaces::Result<Option<H256>> {
|
||
Ok(self.block_hash.get(&number).cloned())
|
||
}
|
||
}
|
||
|
||
#[test]
|
||
fn sanity_execution() {
|
||
// Got rlp block from: src/GeneralStateTestsFiller/stChainId/chainIdGasCostFiller.json
|
||
|
||
let mut block_rlp = hex!("f90262f901f9a075c371ba45999d87f4542326910a11af515897aebce5265d3f6acd1f1161f82fa01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347942adc25665018aa1fe0e6bc666dac8fc2697ff9baa098f2dcd87c8ae4083e7017a05456c14eea4b1db2032126e27b3b1563d57d7cc0a08151d548273f6683169524b66ca9fe338b9ce42bc3540046c828fd939ae23bcba03f4e5c2ec5b2170b711d97ee755c160457bb58d8daa338e835ec02ae6860bbabb901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000083020000018502540be40082a8798203e800a00000000000000000000000000000000000000000000000000000000000000000880000000000000000f863f861800a8405f5e10094100000000000000000000000000000000000000080801ba07e09e26678ed4fac08a249ebe8ed680bf9051a5e14ad223e4b2b9d26e0208f37a05f6e3f188e3e6eab7d7d3b6568f5eac7d687b08d307d3154ccd8c87b4630509bc0").as_slice();
|
||
let block = BlockLocked::decode(&mut block_rlp).unwrap();
|
||
|
||
let mut db = StateProviderTest::default();
|
||
|
||
// pre staet
|
||
db.insert_account(
|
||
H160(hex!("1000000000000000000000000000000000000000")),
|
||
Account { balance: 0x00.into(), nonce: 0x00, bytecode_hash: None },
|
||
Some(hex!("5a465a905090036002900360015500").into()),
|
||
HashMap::new(),
|
||
);
|
||
|
||
let account3_old_info =
|
||
Account { balance: 0x3635c9adc5dea00000u128.into(), nonce: 0x00, bytecode_hash: None };
|
||
|
||
db.insert_account(
|
||
H160(hex!("a94f5374fce5edbc8e2a8697c15331677e6ebf0b")),
|
||
Account { balance: 0x3635c9adc5dea00000u128.into(), nonce: 0x00, bytecode_hash: None },
|
||
None,
|
||
HashMap::new(),
|
||
);
|
||
|
||
let mut config = Config::new_ethereum();
|
||
// make it berlin fork
|
||
config.spec_upgrades = SpecUpgrades::new_berlin_activated();
|
||
|
||
let mut db = SubState::new(State::new(db));
|
||
let transactions: Vec<TransactionSignedEcRecovered> =
|
||
block.body.iter().map(|tx| tx.try_ecrecovered().unwrap()).collect();
|
||
|
||
// execute chain and verify receipts
|
||
let out =
|
||
execute_and_verify_receipt(&block.header, &transactions, &config, &mut db).unwrap();
|
||
|
||
assert_eq!(out.changeset.len(), 1, "Should executed one transaction");
|
||
|
||
let changeset = out.changeset[0].clone();
|
||
assert_eq!(changeset.new_bytecodes.len(), 0, "Should have zero new bytecodes");
|
||
|
||
let account1 = H160(hex!("1000000000000000000000000000000000000000"));
|
||
let _account1_info = Account { balance: 0x00.into(), nonce: 0x00, bytecode_hash: None };
|
||
let account2 = H160(hex!("2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"));
|
||
let account2_info = Account {
|
||
balance: (0x1bc16d674ece94bau128 - 0x1bc16d674ec80000u128).into(), /* decrease for
|
||
* block reward */
|
||
nonce: 0x00,
|
||
bytecode_hash: None,
|
||
};
|
||
let account3 = H160(hex!("a94f5374fce5edbc8e2a8697c15331677e6ebf0b"));
|
||
let account3_info =
|
||
Account { balance: 0x3635c9adc5de996b46u128.into(), nonce: 0x01, bytecode_hash: None };
|
||
|
||
assert_eq!(
|
||
changeset.state_diff.get(&account1).unwrap().account,
|
||
AccountInfoChangeSet::NoChange,
|
||
"No change to account"
|
||
);
|
||
assert_eq!(
|
||
changeset.state_diff.get(&account2).unwrap().account,
|
||
AccountInfoChangeSet::Created { new: account2_info },
|
||
"New acccount"
|
||
);
|
||
assert_eq!(
|
||
changeset.state_diff.get(&account3).unwrap().account,
|
||
AccountInfoChangeSet::Changed { old: account3_old_info, new: account3_info },
|
||
"Change to account state"
|
||
);
|
||
|
||
// check block rewards changeset
|
||
let mut block_rewarded_acc_info = account2_info;
|
||
// add Blocks 2 eth reward
|
||
block_rewarded_acc_info.balance += 0x1bc16d674ec80000u128.into();
|
||
assert_eq!(
|
||
out.block_reward,
|
||
Some(BTreeMap::from([(
|
||
account2,
|
||
AccountInfoChangeSet::Changed { new: block_rewarded_acc_info, old: account2_info }
|
||
)]))
|
||
);
|
||
|
||
assert_eq!(changeset.new_bytecodes.len(), 0, "No new bytecodes");
|
||
|
||
// check torage
|
||
let storage = &changeset.state_diff.get(&account1).unwrap().storage;
|
||
assert_eq!(storage.len(), 1, "Only one storage change");
|
||
assert_eq!(
|
||
storage.get(&1.into()),
|
||
Some(&(0.into(), 2.into())),
|
||
"Storage change from 0 to 2 on slot 1"
|
||
);
|
||
}
|
||
|
||
#[test]
|
||
fn apply_account_info_changeset() {
|
||
let db: Arc<Env<WriteMap>> = test_utils::create_test_db(EnvKind::RW);
|
||
let address = H160::zero();
|
||
let tx_num = 0;
|
||
let acc1 = Account { balance: 1.into(), nonce: 2, bytecode_hash: Some(H256::zero()) };
|
||
let acc2 = Account { balance: 3.into(), nonce: 4, bytecode_hash: Some(H256::zero()) };
|
||
|
||
let tx = db.tx_mut().unwrap();
|
||
|
||
// check Changed changeset
|
||
AccountInfoChangeSet::Changed { new: acc1, old: acc2 }
|
||
.apply_to_db(address, tx_num, &tx)
|
||
.unwrap();
|
||
assert_eq!(
|
||
tx.get::<tables::AccountChangeSet>(tx_num),
|
||
Ok(Some(AccountBeforeTx { address, info: Some(acc2) }))
|
||
);
|
||
assert_eq!(tx.get::<tables::PlainAccountState>(address), Ok(Some(acc1)));
|
||
|
||
AccountInfoChangeSet::Created { new: acc1 }.apply_to_db(address, tx_num, &tx).unwrap();
|
||
assert_eq!(
|
||
tx.get::<tables::AccountChangeSet>(tx_num),
|
||
Ok(Some(AccountBeforeTx { address, info: None }))
|
||
);
|
||
assert_eq!(tx.get::<tables::PlainAccountState>(address), Ok(Some(acc1)));
|
||
|
||
// delete old value, as it is dupsorted
|
||
tx.delete::<tables::AccountChangeSet>(tx_num, None).unwrap();
|
||
|
||
AccountInfoChangeSet::Destroyed { old: acc2 }.apply_to_db(address, tx_num, &tx).unwrap();
|
||
assert_eq!(tx.get::<tables::PlainAccountState>(address), Ok(None));
|
||
assert_eq!(
|
||
tx.get::<tables::AccountChangeSet>(tx_num),
|
||
Ok(Some(AccountBeforeTx { address, info: Some(acc2) }))
|
||
);
|
||
}
|
||
}
|