Skip to content

feat: implement EIP-7623 floor gas, effective gas price, and improve gas calculation #826

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
0xpolarzero wants to merge 9 commits into
base: main
Choose a base branch
from
+80,696 −41
Open

feat: implement EIP-7623 floor gas, effective gas price, and improve gas calculation #826

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
bcacc70
feat: spec tests for prague for gas consumption
0xpolarzero Oct 5, 2025
6070f6f
fix: poststate parsing
0xpolarzero Oct 5, 2025
d4197eb
fix: test runner
0xpolarzero Oct 5, 2025
efb0eda
test: remove some cases
0xpolarzero Oct 5, 2025
98c9eb8
feat: implement floor gas + calldata gas and improve gas calculation …
0xpolarzero Sep 30, 2025
2b161e5
refactor: better debugging and small fixes
0xpolarzero Sep 24, 2025
82a70c6
revert: incorrectly committed
0xpolarzero Oct 5, 2025
c41a093
feat: effective gas price
0xpolarzero Oct 5, 2025
779c7c8
fix: remove default gas limit
0xpolarzero Oct 5, 2025
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
1,312 changes: 1,312 additions & 0 deletions specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json
View file
Open in desktop

Large diffs are not rendered by default.

219 changes: 219 additions & 0 deletions specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.zig
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,219 @@
const std = @import("std");
const testing = std.testing;
const runner = @import("runner");

test "full gas consumption: exact gas, type 0 protected" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_0_protected]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: exact gas, type 0 unprotected" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_0_unprotected]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: exact gas, type 1" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_1]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: exact gas, type 2" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_2]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: exact gas, type 3" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_3]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: exact gas, type 4" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-exact_gas-type_4]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 0 protected" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_0_protected]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 0 unprotected" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_0_unprotected]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 1" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_1]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 2" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_2]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 3" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_3]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}

test "full gas consumption: extra gas, type 4" {
const allocator = testing.allocator;

// Read and parse the JSON test file
const json_path = "specs/cases/eest/prague/eip7623_increase_calldata_cost/test_full_gas_consumption.json";
const json_content = try std.fs.cwd().readFileAlloc(allocator, json_path, 100 * 1024 * 1024);
defer allocator.free(json_content);

const parsed = try std.json.parseFromSlice(std.json.Value, allocator, json_content, .{});
defer parsed.deinit();

// Get the specific test case
const test_case = parsed.value.object.get("tests/prague/eip7623_increase_calldata_cost/test_execution_gas.py::TestGasConsumption::test_full_gas_consumption[fork_Prague-state_test-extra_gas-type_4]").?;

// Run the test
try runner.runJsonTest(allocator, test_case);
}
Loading
Loading