Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
70 commits
Select commit Hold shift + click to select a range
7ea084a
eof
rakita Feb 13, 2024
cd523c3
Merge remote-tracking branch 'origin/main' into eof
rakita Feb 14, 2024
237068f
feat(EOF): Header decoder
rakita Feb 14, 2024
fabdc1b
EofBody decode
rakita Feb 15, 2024
4dd7d3a
Merge remote-tracking branch 'origin/main' into eof
rakita Feb 18, 2024
2ff0f28
disable eof deprecated opcodes
rakita Feb 18, 2024
20fcdaf
add eof instructions
rakita Feb 20, 2024
22bf551
temp tests
rakita Feb 20, 2024
318d775
Merge remote-tracking branch 'origin/main' into eof
rakita Feb 22, 2024
33974b3
rjump instructions
rakita Feb 22, 2024
a638385
eof rjump with tests
rakita Feb 23, 2024
2d14e04
Merge remote-tracking branch 'origin/main' into eof
rakita Feb 23, 2024
ad45264
EOF bytecode
rakita Feb 25, 2024
2c29f1b
callf, retf, jumpf
rakita Feb 26, 2024
ecc4467
tests for callf,retf,jumpf
rakita Feb 27, 2024
3979a12
small rename
rakita Feb 27, 2024
a440503
add dataload, dataloadn and datacopy opcodes
rakita Feb 28, 2024
cb3d93a
refactor calls
rakita Feb 29, 2024
1dabca4
blueprint for creates
rakita Mar 1, 2024
788182f
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 1, 2024
4354b6d
eof create inputs
rakita Mar 2, 2024
207ad21
some wip
rakita Mar 4, 2024
dc07460
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 4, 2024
2e48462
add eofcreate structs and exccall flow
rakita Mar 4, 2024
48abbe6
wip eofcreate code flow and handlers
rakita Mar 4, 2024
9d8f612
fix tests
rakita Mar 4, 2024
0fc345a
eof creates
rakita Mar 5, 2024
862d85b
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 7, 2024
fab521a
refactor eofcreate a little
rakita Mar 7, 2024
e5abe46
some work on extcall
rakita Mar 8, 2024
d3dd1a9
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 14, 2024
4aa166a
feat: refactor simplify CallInput, eof extcalls
rakita Mar 15, 2024
449f243
feat: restructure OpCode and add stack input/output num
rakita Mar 18, 2024
183adaf
add flags for stack_io and not_eof
rakita Mar 19, 2024
07c721a
wip eof verification
rakita Mar 19, 2024
42a04c1
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 19, 2024
91d98c3
wip validation
rakita Mar 21, 2024
d28122e
EOF Bytecode validity
rakita Mar 23, 2024
77939ac
insturction and jump validation seems good
rakita Mar 23, 2024
28d1f74
merged eof validate function
rakita Mar 26, 2024
2db230a
EOP test runner, fex fixes
rakita Mar 26, 2024
f219ed6
RETURNDATALOAD, fix call bugs, refactor gas warm/cold calc
rakita Mar 27, 2024
e996fac
Merge remote-tracking branch 'origin/main' into eof
rakita Mar 27, 2024
8a4d9a2
debug session, rjumpv imm fix
rakita Mar 28, 2024
54d3d23
fixing validation bugs, bytecode decoder for EOF in revme
rakita Mar 31, 2024
c1c31ec
pass most of validation tests
rakita Apr 2, 2024
b8f7fad
bounds check moved to decode
rakita Apr 2, 2024
fedbd70
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 2, 2024
605431c
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 3, 2024
1ae9563
Fix merge compilation, fmt
rakita Apr 3, 2024
7b73779
TXCREATE work
rakita Apr 7, 2024
761aa2b
remove training wheels, panic on eof
rakita Apr 7, 2024
85d062b
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 7, 2024
efa7327
test fix and std
rakita Apr 7, 2024
691ad44
std
rakita Apr 7, 2024
8faa75a
fix test
rakita Apr 7, 2024
4af1988
fix valgrind
rakita Apr 7, 2024
c337cd9
fix tests
rakita Apr 7, 2024
a19865f
clippy
rakita Apr 7, 2024
647a8d2
removed checked logic
rakita Apr 7, 2024
98745cc
small change
rakita Apr 7, 2024
65cf05c
no std revm-test
rakita Apr 7, 2024
6294f0f
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 7, 2024
8162f32
check pending TODOs
rakita Apr 7, 2024
63ffb17
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 7, 2024
0222cc0
build check no_std
rakita Apr 7, 2024
eeeb798
doc
rakita Apr 7, 2024
4c60857
chore: move some files. cleanup comments
rakita Apr 9, 2024
55c19ad
Merge remote-tracking branch 'origin/main' into eof
rakita Apr 9, 2024
d24dcbb
fix fmt,clippy and compile error
rakita Apr 9, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
some work on extcall
  • Loading branch information
rakita committed Mar 8, 2024
commit e5abe46cf86fc0382fea80ca53de5488c288c26f
93 changes: 69 additions & 24 deletions crates/interpreter/src/instructions/contract.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
mod call_helpers;

pub use call_helpers::{calc_call_gas, get_memory_input_and_out_ranges};
pub use call_helpers::{
calc_call_gas, get_memory_input_and_out_ranges, resize_memory_and_return_range,
};
use revm_primitives::keccak256;

use crate::{
Expand Down Expand Up @@ -162,30 +164,45 @@ pub fn extcall<H: Host, SPEC: Spec>(interpreter: &mut Interpreter, host: &mut H)
error_on_disabled_eof!(interpreter);
panic_on_eof!(interpreter);
pop_address!(interpreter, to);
pop!(interpreter, value);
pop!(interpreter, input_offset, input_size, value);
if interpreter.is_static && value != U256::ZERO {
interpreter.instruction_result = InstructionResult::CallNotAllowedInsideStatic;
return;
}

// TODO(EOF) check if destination is EOF.
let Some((input, return_memory_offset)) = get_memory_input_and_out_ranges(interpreter) else {
let Some(return_memory_offset) =
resize_memory_and_return_range(interpreter, input_offset, input_size)
else {
return;
};

let Some(mut gas_limit) = calc_call_gas::<H, SPEC>(
interpreter,
host,
to,
value != U256::ZERO,
u64::MAX,
true,
true,
) else {
// TODO(EOF) check if destination is EOF.
let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return;
};
// TODO(EOF) is EOF!
if load_result.is_cold {
//gas!(interpreter, gas::COLD_ACCOUNT_ACCESS);
return;
}

let is_new = !load_result.is_not_existing;
let call_cost =
gas::call_cost::<SPEC>(value != U256::ZERO, is_new, load_result.is_cold, true, true);
gas!(interpreter, call_cost);

let mut gas_limit = max(gas_limit, 5000);
// 7. Calculate the gas available to callee as caller’s
// remaining gas reduced by max(ceil(gas/64), MIN_RETAINED_GAS) (MIN_RETAINED_GAS is 5000).
let gas_reduce = max(interpreter.gas.remaining() / 64, 5000);
let gas_limit = interpreter.gas().remaining().saturating_sub(gas_reduce);

if gas_limit < 2300 {
interpreter.instruction_result = InstructionResult::CallNotAllowedInsideStatic;
// TODO(EOF) error;
// interpreter.instruction_result = InstructionResult::CallGasTooLow;
return;
}
gas!(interpreter, gas_limit);

// Call host to interact with target contract
Expand Down Expand Up @@ -308,10 +325,14 @@ pub fn call<H: Host, SPEC: Spec>(interpreter: &mut Interpreter, host: &mut H) {
return;
};

let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return;
};

let Some(mut gas_limit) = calc_call_gas::<H, SPEC>(
interpreter,
host,
to,
load_result,
value != U256::ZERO,
local_gas_limit,
true,
Expand Down Expand Up @@ -364,10 +385,14 @@ pub fn call_code<H: Host, SPEC: Spec>(interpreter: &mut Interpreter, host: &mut
return;
};

let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return;
};

let Some(mut gas_limit) = calc_call_gas::<H, SPEC>(
interpreter,
host,
to,
load_result,
value != U256::ZERO,
local_gas_limit,
true,
Expand Down Expand Up @@ -420,9 +445,19 @@ pub fn delegate_call<H: Host, SPEC: Spec>(interpreter: &mut Interpreter, host: &
return;
};

let Some(gas_limit) =
calc_call_gas::<H, SPEC>(interpreter, host, to, false, local_gas_limit, false, false)
else {
let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return;
};

let Some(gas_limit) = calc_call_gas::<H, SPEC>(
interpreter,
load_result,
false,
local_gas_limit,
false,
false,
) else {
return;
};

Expand Down Expand Up @@ -468,9 +503,19 @@ pub fn static_call<H: Host, SPEC: Spec>(interpreter: &mut Interpreter, host: &mu
return;
};

let Some(gas_limit) =
calc_call_gas::<H, SPEC>(interpreter, host, to, false, local_gas_limit, false, true)
else {
let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return;
};

let Some(gas_limit) = calc_call_gas::<H, SPEC>(
interpreter,
load_result,
false,
local_gas_limit,
false,
true,
) else {
return;
};
gas!(interpreter, gas_limit);
Expand Down
94 changes: 47 additions & 47 deletions crates/interpreter/src/instructions/contract/call_helpers.rs
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
use revm_primitives::U256;

use crate::{
gas::{self},
gas,
interpreter::Interpreter,
primitives::{Address, Bytes, Spec, SpecId::*},
Host, InstructionResult,
primitives::{Bytes, Spec, SpecId::*},
Host, InstructionResult, LoadAccountResult,
};
use core::{cmp::min, ops::Range};

Expand All @@ -12,66 +14,64 @@ pub fn get_memory_input_and_out_ranges(
) -> Option<(Bytes, Range<usize>)> {
pop_ret!(interpreter, in_offset, in_len, out_offset, out_len, None);

let in_len = as_usize_or_fail_ret!(interpreter, in_len, None);
let input = if in_len != 0 {
let in_offset = as_usize_or_fail_ret!(interpreter, in_offset, None);
shared_memory_resize!(interpreter, in_offset, in_len, None);
Bytes::copy_from_slice(interpreter.shared_memory.slice(in_offset, in_len))
} else {
Bytes::new()
};
let in_range = resize_memory_and_return_range(interpreter, in_offset, in_len)?;

let mut input = Bytes::new();
if !in_range.is_empty() {
input = Bytes::copy_from_slice(interpreter.shared_memory.slice_range(in_range));
}

let ret_range = resize_memory_and_return_range(interpreter, out_offset, out_len)?;
Some((input, ret_range))
}

let out_len = as_usize_or_fail_ret!(interpreter, out_len, None);
let out_offset = if out_len != 0 {
let out_offset = as_usize_or_fail_ret!(interpreter, out_offset, None);
shared_memory_resize!(interpreter, out_offset, out_len, None);
out_offset
/// Resize memory and return range of memory.
/// If `len` is 0 dont touch memory and return `usize::MAX` as offset and 0 as length.
#[inline]
pub fn resize_memory_and_return_range(
interpreter: &mut Interpreter,
offset: U256,
len: U256,
) -> Option<Range<usize>> {
let len = as_usize_or_fail_ret!(interpreter, len, None);
let offset = if len != 0 {
let offset = as_usize_or_fail_ret!(interpreter, offset, None);
shared_memory_resize!(interpreter, offset, len, None);
offset
} else {
usize::MAX //unrealistic value so we are sure it is not used
};

Some((input, out_offset..out_offset + out_len))
Some(offset..offset + len)
}

#[inline]
pub fn calc_call_gas<H: Host, SPEC: Spec>(
interpreter: &mut Interpreter,
host: &mut H,
to: Address,
load_result: LoadAccountResult,
has_transfer: bool,
local_gas_limit: u64,
is_call_or_callcode: bool,
is_call_or_staticcall: bool,
) -> Option<u64> {
let Some(load_result) = host.load_account(to) else {
interpreter.instruction_result = InstructionResult::FatalExternalError;
return None;
};
let is_new = !load_result.is_not_existing;
let call_cost = gas::call_cost::<SPEC>(
has_transfer,
is_new,
load_result.is_cold,
is_call_or_callcode,
is_call_or_staticcall,
);

if interpreter.is_eof {
// TODO(EOF)
None
} else {
let call_cost = gas::call_cost::<SPEC>(
has_transfer,
is_new,
load_result.is_cold,
is_call_or_callcode,
is_call_or_staticcall,
);

gas!(interpreter, call_cost, None);
gas!(interpreter, call_cost, None);

// EIP-150: Gas cost changes for IO-heavy operations
let gas_limit = if SPEC::enabled(TANGERINE) {
let gas = interpreter.gas().remaining();
// take l64 part of gas_limit
min(gas - gas / 64, local_gas_limit)
} else {
local_gas_limit
};
// EIP-150: Gas cost changes for IO-heavy operations
let gas_limit = if SPEC::enabled(TANGERINE) {
let gas = interpreter.gas().remaining();
// take l64 part of gas_limit
min(gas - gas / 64, local_gas_limit)
} else {
local_gas_limit
};

Some(gas_limit)
}
Some(gas_limit)
}
18 changes: 14 additions & 4 deletions crates/interpreter/src/interpreter/shared_memory.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ use revm_primitives::{B256, U256};
use core::{
cmp::min,
fmt,
ops::{BitAnd, Not},
ops::{BitAnd, Not, Range},
};
use std::vec::Vec;

Expand Down Expand Up @@ -142,13 +142,23 @@ impl SharedMemory {
#[inline]
#[cfg_attr(debug_assertions, track_caller)]
pub fn slice(&self, offset: usize, size: usize) -> &[u8] {
let end = offset + size;
self.slice_range(offset..offset + size)
}

#[inline]
#[cfg_attr(debug_assertions, track_caller)]
pub fn slice_range(&self, range: Range<usize>) -> &[u8] {
let last_checkpoint = self.last_checkpoint;

self.buffer
.get(last_checkpoint + offset..last_checkpoint + offset + size)
.get(last_checkpoint + range.start..last_checkpoint + range.end)
.unwrap_or_else(|| {
debug_unreachable!("slice OOB: {offset}..{end}; len: {}", self.len())
debug_unreachable!(
"slice OOB: {}..{}; len: {}",
range.start,
range.end,
self.len()
)
})
}

Expand Down