1 ETH baseline
$1,878.37 / ETH
32 ETH selected
$1,866.02 / ETH
Impact vs 1 ETH
−65.7 bps
Average execution price by trade size
Each bar is one independent simulation. Differences use the 1 ETH result as the baseline.
Selected input
32 ETH
Observed output
59,713 USDC
Execution gas
130,153
Execution status
SUCCESS
Succeeded
Program call
Native value sent
- Chain
- Ethereum Mainnet
- Chain ID
- Block
- Block hash
- Steps
- Total EVM execution gas
- Transaction gas estimate
- Gas status
- complete_program
Candidate key
- Program root
- Commits to the frozen assumptions and ordered executable program body.
- Base state identity
- Identifies the immutable base state selected for this execution.
- Execution result root
- Commits to this contextual execution receipt and its published result semantics.
- Execution artifact hash
- Identifies the reusable complete execution artifact when one was published.
- #0balance··Simulated starting balance·exact trade size funded
These overrides define the simulated world. They are inputs to this execution, not observations of upstream chain truth.
· ETH balance→
· USDC→
- Native call valuecommitted
Router02 → WETH
ETH · exact native base-unit claim · frame · log
- Native call valuecommitted
Simulated sender → Router02
ETH · exact native base-unit claim · frame · log
- Decoded logcommitted
Router02 → Uniswap V2 Pair
WETH · · frame · log
- Decoded logcommitted
Uniswap V2 Pair → Simulated sender
USDC · · frame · log
fromSimulated sender· Native value sent· Total EVM execution gas· Transaction gas estimate
- callRouter02.swapExactETHForTokensInclusive frame gasSUCCEEDEDDisposition committedfrom Simulated senderFrame message value
- callUniswap V2 Pair.getReservesInclusive frame gasSUCCEEDEDDisposition committedfrom Router02Frame message value
- callWETH.depositInclusive frame gasSUCCEEDEDDisposition committedfrom Router02Frame message value
- callWETH.transferInclusive frame gasSUCCEEDEDDisposition committedfrom Router02Frame message value
- callUniswap V2 Pair.swapInclusive frame gasSUCCEEDEDDisposition committedfrom Router02Frame message value
- callUSDC.transferInclusive frame gasSUCCEEDEDDisposition committedfrom Uniswap V2 PairFrame message value
- delegatecallUSDC.transferInclusive frame gasSUCCEEDEDDisposition committedfrom Uniswap V2 Pairvia USDC implementationFrame message value
- callUSDC.balanceOfInclusive frame gasSUCCEEDEDDisposition committedfrom Uniswap V2 PairFrame message value
- delegatecallUSDC.balanceOfInclusive frame gasSUCCEEDEDDisposition committedfrom Uniswap V2 Pairvia USDC implementationFrame message value
- callWETH.balanceOfInclusive frame gasSUCCEEDEDDisposition committedfrom Uniswap V2 PairFrame message value
WITH anchor AS (
SELECT pin($client, 'finalized') AS client
),
executions AS MATERIALIZED (
SELECT
e.execution_id,
e.candidate_key,
e.status
FROM run((
SELECT
a.client,
amount_in_raw::VARCHAR AS candidate_key,
program(
[assume_native_balance($sender, amount_in_raw, 'exact trade size funded')],
[execute_contract(
$sender,
$router,
amount_in_raw,
500000, -- Simulation ceiling; this is not a transaction gas limit.
$router_abi,
'swapExactETHForTokens',
0,
[$weth, $usdc],
$sender,
9999999999 -- Far-future deadline for simulation only; never broadcast.
)]
) AS program,
[
observation_fact($sender, 'Simulated sender'),
observation_fact($router, 'Router02'),
observation_fact($usdc, 'USDC'),
observe('ETH', native_balance($sender)),
observe('USDC', read_contract($usdc, $erc20_abi, 'balanceOf', $sender))
] AS observations
FROM (
SELECT
candidate_index * $trade_size_step_wei AS amount_in_raw
FROM range(1, 33) AS sizes(candidate_index)
)
CROSS JOIN anchor AS a
)) AS e
)
SELECT
format_ether(r.candidate_key::UINT256) AS amount_in_eth,
format_units(o.delta_magnitude, 6) AS amount_out_usdc,
format_units(
muldiv(
o.delta_magnitude,
parse_ether('1'),
r.candidate_key::UINT256
),
6
) AS average_price_usdc_per_eth,
execution_evidence(r.execution_id) AS execution_evidence
FROM executions AS r
LEFT JOIN evm.execution_observation_pairs AS o
ON o.execution_id = r.execution_id
AND o.observation_key = 'USDC'
AND r.status = 'success'
AND o.delta > 0::INT512
ORDER BY r.candidate_key::UINT256;