openethereum/ethcore/vm/src/schedule.rs

318 lines
9.1 KiB
Rust
Raw Normal View History

// Copyright 2015-2017 Parity Technologies (UK) Ltd.
2016-02-05 13:40:41 +01:00
// This file is part of Parity.
// Parity is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// Parity is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with Parity. If not, see <http://www.gnu.org/licenses/>.
2016-01-11 19:25:37 +01:00
//! Cost schedule and other parameterisations for the EVM.
/// Definition of the cost schedule and other parameterisations for the EVM.
2016-01-11 16:28:30 +01:00
pub struct Schedule {
2016-01-26 10:48:33 +01:00
/// Does it support exceptional failed code deposit
pub exceptional_failed_code_deposit: bool,
2016-01-26 10:48:33 +01:00
/// Does it have a delegate cal
pub have_delegate_call: bool,
/// Does it have a CREATE_P2SH instruction
2017-05-05 16:00:40 +02:00
pub have_create2: bool,
2017-05-23 15:49:17 +02:00
/// Does it have a REVERT instruction
pub have_revert: bool,
2016-01-26 10:48:33 +01:00
/// VM stack limit
pub stack_limit: usize,
2016-01-26 10:48:33 +01:00
/// Max number of nested calls/creates
2016-01-14 01:40:55 +01:00
pub max_depth: usize,
2016-01-26 10:48:33 +01:00
/// Gas prices for instructions in all tiers
pub tier_step_gas: [usize; 8],
2016-01-26 10:48:33 +01:00
/// Gas price for `EXP` opcode
pub exp_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas for `EXP` opcode for each byte of exponent
pub exp_byte_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for `SHA3` opcode
pub sha3_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas for `SHA3` opcode for each word of hashed memory
pub sha3_word_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for loading from storage
pub sload_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for setting new value to storage (`storage==0`, `new!=0`)
pub sstore_set_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for altering value in storage
pub sstore_reset_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas refund for `SSTORE` clearing (when `storage!=0`, `new==0`)
pub sstore_refund_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for `JUMPDEST` opcode
pub jumpdest_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for `LOG*`
pub log_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas for data in `LOG*`
pub log_data_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas for each topic in `LOG*`
pub log_topic_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for `CREATE` opcode
pub create_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for `*CALL*` opcodes
pub call_gas: usize,
2016-01-26 10:48:33 +01:00
/// Stipend for transfer for `CALL|CALLCODE` opcode when `value>0`
pub call_stipend: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas required for value transfer (`CALL|CALLCODE`)
pub call_value_transfer_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional gas for creating new account (`CALL|CALLCODE`)
pub call_new_account_gas: usize,
2016-01-26 10:48:33 +01:00
/// Refund for SUICIDE
pub suicide_refund_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas for used memory
pub memory_gas: usize,
2016-01-26 10:48:33 +01:00
/// Coefficient used to convert memory size to gas price for memory
pub quad_coeff_div: usize,
2016-01-26 10:48:33 +01:00
/// Cost for contract length when executing `CREATE`
pub create_data_gas: usize,
/// Maximum code size when creating a contract.
pub create_data_limit: usize,
2016-01-26 10:48:33 +01:00
/// Transaction cost
pub tx_gas: usize,
2016-01-26 10:48:33 +01:00
/// `CREATE` transaction cost
pub tx_create_gas: usize,
2016-01-26 10:48:33 +01:00
/// Additional cost for empty data transaction
pub tx_data_zero_gas: usize,
2016-01-26 10:48:33 +01:00
/// Aditional cost for non-empty data transaction
pub tx_data_non_zero_gas: usize,
2016-01-26 10:48:33 +01:00
/// Gas price for copying memory
pub copy_gas: usize,
/// Price of EXTCODESIZE
pub extcodesize_gas: usize,
/// Base price of EXTCODECOPY
pub extcodecopy_base_gas: usize,
/// Price of BALANCE
pub balance_gas: usize,
/// Price of SUICIDE
pub suicide_gas: usize,
/// Amount of additional gas to pay when SUICIDE credits a non-existant account
pub suicide_to_new_account_cost: usize,
/// If Some(x): let limit = GAS * (x - 1) / x; let CALL's gas = min(requested, limit). let CREATE's gas = limit.
/// If None: let CALL's gas = (requested > GAS ? [OOG] : GAS). let CREATE's gas = GAS
pub sub_gas_cap_divisor: Option<usize>,
/// Don't ever make empty accounts; contracts start with nonce=1. Also, don't charge 25k when sending/suicide zero-value.
pub no_empty: bool,
/// Kill empty accounts if touched.
pub kill_empty: bool,
/// Blockhash instruction gas cost.
pub blockhash_gas: usize,
2017-06-19 11:41:46 +02:00
/// Static Call opcode enabled.
pub have_static_call: bool,
/// RETURNDATA and RETURNDATASIZE opcodes enabled.
pub have_return_data: bool,
/// Kill basic accounts below this balance if touched.
pub kill_dust: CleanDustMode,
/// Enable EIP-86 rules
pub eip86: bool,
/// Wasm extra schedule settings
pub wasm: WasmCosts,
}
/// Wasm cost table
pub struct WasmCosts {
/// Arena allocator cost, per byte
pub alloc: u32,
/// Div operations multiplier.
pub div: u32,
/// Div operations multiplier.
pub mul: u32,
/// Memory (load/store) operations multiplier.
pub mem: u32,
2017-11-12 22:21:15 +01:00
/// Memory copy operation, per byte.
pub mem_copy: u32,
2017-11-12 22:21:15 +01:00
/// Memory move operation, per byte.
pub mem_move: u32,
/// Memory set operation, per byte.
pub mem_set: u32,
/// Static region charge, per byte.
pub static_region: u32,
/// General static query of U256 value from env-info
pub static_u256: u32,
/// General static query of Address value from env-info
pub static_address: u32,
}
impl Default for WasmCosts {
fn default() -> Self {
WasmCosts {
alloc: 2,
div: 16,
mul: 4,
mem: 2,
mem_copy: 1,
2017-11-12 22:21:15 +01:00
mem_move: 1,
mem_set: 1,
static_region: 1,
static_u256: 64,
static_address: 40,
}
}
}
/// Dust accounts cleanup mode.
#[derive(PartialEq, Eq)]
pub enum CleanDustMode {
/// Dust cleanup is disabled.
Off,
/// Basic dust accounts will be removed.
BasicOnly,
/// Basic and contract dust accounts will be removed.
WithCodeAndStorage,
}
2016-01-11 16:28:30 +01:00
impl Schedule {
/// Schedule for the Frontier-era of the Ethereum main net.
2016-01-11 16:28:30 +01:00
pub fn new_frontier() -> Schedule {
Self::new(false, false, 21000)
}
/// Schedule for the Homestead-era of the Ethereum main net.
2016-01-11 16:28:30 +01:00
pub fn new_homestead() -> Schedule {
Self::new(true, true, 53000)
}
/// Schedule for the post-EIP-150-era of the Ethereum main net.
2017-06-19 11:41:46 +02:00
pub fn new_post_eip150(max_code_size: usize, fix_exp: bool, no_empty: bool, kill_empty: bool) -> Schedule {
Schedule {
exceptional_failed_code_deposit: true,
have_delegate_call: true,
2017-06-19 11:41:46 +02:00
have_create2: false,
have_revert: false,
have_return_data: false,
stack_limit: 1024,
max_depth: 1024,
tier_step_gas: [0, 2, 3, 5, 8, 10, 20, 0],
exp_gas: 10,
exp_byte_gas: if fix_exp {50} else {10},
sha3_gas: 30,
sha3_word_gas: 6,
sload_gas: 200,
sstore_set_gas: 20000,
sstore_reset_gas: 5000,
sstore_refund_gas: 15000,
jumpdest_gas: 1,
log_gas: 375,
log_data_gas: 8,
log_topic_gas: 375,
create_gas: 32000,
call_gas: 700,
call_stipend: 2300,
call_value_transfer_gas: 9000,
call_new_account_gas: 25000,
suicide_refund_gas: 24000,
memory_gas: 3,
quad_coeff_div: 512,
create_data_gas: 200,
create_data_limit: max_code_size,
tx_gas: 21000,
tx_create_gas: 53000,
tx_data_zero_gas: 4,
tx_data_non_zero_gas: 68,
copy_gas: 3,
extcodesize_gas: 700,
extcodecopy_base_gas: 700,
balance_gas: 400,
suicide_gas: 5000,
suicide_to_new_account_cost: 25000,
sub_gas_cap_divisor: Some(64),
no_empty: no_empty,
kill_empty: kill_empty,
2017-06-19 11:41:46 +02:00
blockhash_gas: 20,
have_static_call: false,
kill_dust: CleanDustMode::Off,
eip86: false,
wasm: Default::default(),
2017-06-19 11:41:46 +02:00
}
}
/// Schedule for the Byzantium fork of the Ethereum main net.
pub fn new_byzantium() -> Schedule {
2017-06-19 11:41:46 +02:00
let mut schedule = Self::new_post_eip150(24576, true, true, true);
schedule.have_create2 = true;
schedule.have_revert = true;
schedule.have_static_call = true;
schedule.have_return_data = true;
2017-06-19 11:41:46 +02:00
schedule
}
2016-01-11 16:28:30 +01:00
fn new(efcd: bool, hdc: bool, tcg: usize) -> Schedule {
Schedule {
exceptional_failed_code_deposit: efcd,
have_delegate_call: hdc,
2017-05-05 16:00:40 +02:00
have_create2: false,
2017-05-23 15:49:17 +02:00
have_revert: false,
have_return_data: false,
stack_limit: 1024,
2016-01-14 01:40:55 +01:00
max_depth: 1024,
2016-01-13 23:53:00 +01:00
tier_step_gas: [0, 2, 3, 5, 8, 10, 20, 0],
exp_gas: 10,
exp_byte_gas: 10,
sha3_gas: 30,
sha3_word_gas: 6,
sload_gas: 50,
sstore_set_gas: 20000,
sstore_reset_gas: 5000,
sstore_refund_gas: 15000,
jumpdest_gas: 1,
log_gas: 375,
log_data_gas: 8,
log_topic_gas: 375,
create_gas: 32000,
call_gas: 40,
call_stipend: 2300,
call_value_transfer_gas: 9000,
call_new_account_gas: 25000,
suicide_refund_gas: 24000,
memory_gas: 3,
quad_coeff_div: 512,
create_data_gas: 200,
create_data_limit: usize::max_value(),
tx_gas: 21000,
tx_create_gas: tcg,
tx_data_zero_gas: 4,
tx_data_non_zero_gas: 68,
copy_gas: 3,
extcodesize_gas: 20,
extcodecopy_base_gas: 20,
balance_gas: 20,
suicide_gas: 0,
suicide_to_new_account_cost: 0,
sub_gas_cap_divisor: None,
no_empty: false,
kill_empty: false,
blockhash_gas: 20,
2017-06-19 11:41:46 +02:00
have_static_call: false,
kill_dust: CleanDustMode::Off,
eip86: false,
wasm: Default::default(),
}
}
2016-01-11 19:25:37 +01:00
}
impl Default for Schedule {
fn default() -> Self {
Schedule::new_frontier()
}
}
#[test]
#[cfg(test)]
fn schedule_evm_assumptions() {
let s1 = Schedule::new_frontier();
let s2 = Schedule::new_homestead();
// To optimize division we assume 2**9 for quad_coeff_div
assert_eq!(s1.quad_coeff_div, 512);
assert_eq!(s2.quad_coeff_div, 512);
}