Skip to content

feat(l1): gate inbox bucket eviction on proven consumption #25457

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

Merged
spalladino merged 3 commits into from
Sep 11, 2026
Merged

feat(l1): gate inbox bucket eviction on proven consumption #25457

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
455099a
feat(l1): gate inbox bucket eviction on proven consumption
spalladino Sep 10, 2026
5d33ba9
test(l1): cover the epoch proof against a non-empty Inbox
spalladino Sep 10, 2026
f8abc97
chore(l1): satisfy forge fmt in the benchmark Inbox message helper
spalladino Sep 10, 2026
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
14 changes: 7 additions & 7 deletions l1-contracts/gas_benchmark.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,22 +14,22 @@

| Function | Avg Gas | Max Gas | Calldata Size | Calldata Gas |
|----------------------|---------|---------|---------------|--------------|
| propose | 198,220 | 224,403 | 996 | 15,936 |
| submitEpochRootProof | 925,398 | 966,444 | 14,212 | 227,392 |
| propose | 198,527 | 224,710 | 996 | 15,936 |
| submitEpochRootProof | 925,439 | 966,485 | 14,212 | 227,392 |
| setupEpoch | 32,020 | 113,815 | - | - |

**Avg Gas Cost per Second**: 3,570.2 gas/second
**Avg Gas Cost per Second**: 3,574.5 gas/second
*Epoch duration*: 0h 38m 24s

## Validators

| Function | Avg Gas | Max Gas | Calldata Size | Calldata Gas |
|----------------------|-----------|-----------|---------------|--------------|
| propose | 326,630 | 354,402 | 4,516 | 72,256 |
| submitEpochRootProof | 1,505,290 | 1,605,780 | 16,708 | 267,328 |
| aggregate3 | 375,623 | 388,983 | - | - |
| propose | 326,942 | 354,715 | 4,516 | 72,256 |
| submitEpochRootProof | 1,505,331 | 1,605,821 | 16,708 | 267,328 |
| aggregate3 | 375,936 | 389,296 | - | - |
| setupEpoch | 46,482 | 547,648 | - | - |

**Avg Gas Cost per Second**: 5,863.4 gas/second
**Avg Gas Cost per Second**: 5,867.7 gas/second
*Epoch duration*: 0h 38m 24s

40 changes: 20 additions & 20 deletions l1-contracts/gas_benchmark_results.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
"no_validators": {
"propose": {
"calls": 150,
"min": 184575,
"mean": 198220,
"median": 193964,
"max": 224403,
"min": 184882,
"mean": 198527,
"median": 194272,
"max": 224710,
"calldata_size": 996,
"calldata_gas": 15936
},
Expand All @@ -18,21 +18,21 @@
},
"submitEpochRootProof": {
"calls": 4,
"min": 904514,
"mean": 925398,
"median": 915318,
"max": 966444,
"min": 904555,
"mean": 925439,
"median": 915359,
"max": 966485,
"calldata_size": 14212,
"calldata_gas": 227392
}
},
"validators": {
"propose": {
"calls": 150,
"min": 304233,
"mean": 326630,
"median": 326074,
"max": 354402,
"min": 304546,
"mean": 326942,
"median": 326387,
"max": 354715,
"calldata_size": 4516,
"calldata_gas": 72256
},
Expand All @@ -45,19 +45,19 @@
},
"submitEpochRootProof": {
"calls": 4,
"min": 1393292,
"mean": 1505290,
"median": 1511045,
"max": 1605780,
"min": 1393333,
"mean": 1505331,
"median": 1511086,
"max": 1605821,
"calldata_size": 16708,
"calldata_gas": 267328
},
"aggregate3": {
"calls": 55,
"min": 364444,
"mean": 375623,
"median": 375366,
"max": 388983
"min": 364757,
"mean": 375936,
"median": 375678,
"max": 389296
}
}
}
112 changes: 63 additions & 49 deletions l1-contracts/gas_report.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,36 +3,50 @@
"contract": "src/core/messagebridge/Inbox.sol:Inbox",
"deployment": {
"gas": 0,
"size": 6140
"size": 6805
},
"functions": {
"getBucket(uint256)": {
"calls": 4677,
"min": 7414,
"mean": 7414,
"median": 7414,
"max": 7414
"calls": 4689,
"min": 7436,
"mean": 7436,
"median": 7436,
"max": 7436
},
"getCurrentBucketSeq()": {
"calls": 4677,
"min": 408,
"mean": 1407,
"median": 408,
"max": 2408
"calls": 4694,
"min": 441,
"mean": 1441,
"median": 2441,
"max": 2441
},
"getFeeAssetPortal()": {
"calls": 2588,
"calls": 2592,
"min": 212,
"mean": 212,
"median": 212,
"max": 212
},
"getProvenConsumedBucketSeq()": {
"calls": 6,
"min": 2403,
"mean": 2403,
"median": 2403,
"max": 2403
},
"getRingHeadroom()": {
"calls": 1,
"min": 2618,
"mean": 2618,
"median": 2618,
"max": 2618
},
"sendL2Message((bytes32,uint256),bytes32,bytes32)": {
"calls": 37408,
"calls": 37489,
"min": 43269,
"mean": 46584,
"mean": 46587,
"median": 43269,
"max": 102022
"max": 102063
}
}
},
Expand Down Expand Up @@ -60,7 +74,7 @@
},
"functions": {
"owner()": {
"calls": 5176,
"calls": 5184,
"min": 397,
"mean": 397,
"median": 397,
Expand All @@ -76,21 +90,21 @@
},
"functions": {
"getCanonicalRollup()": {
"calls": 1762,
"calls": 1770,
"min": 1073,
"mean": 4073,
"median": 4073,
"max": 7073
},
"getRewardDistributor()": {
"calls": 2588,
"calls": 2592,
"min": 420,
"mean": 420,
"median": 420,
"max": 420
},
"owner()": {
"calls": 7764,
"calls": 7776,
"min": 353,
"mean": 353,
"median": 353,
Expand All @@ -106,7 +120,7 @@
},
"functions": {
"availableTo(address)": {
"calls": 881,
"calls": 885,
"min": 20573,
"mean": 20573,
"median": 20573,
Expand All @@ -118,25 +132,25 @@
"contract": "test/RollupWithPreheating.sol:RollupWithPreheating",
"deployment": {
"gas": 0,
"size": 41936
"size": 42838
},
"functions": {
"archive()": {
"calls": 2338,
"calls": 2344,
"min": 4641,
"mean": 4641,
"median": 4641,
"max": 4641
},
"getCheckpoint(uint256)": {
"calls": 891,
"min": 27185,
"mean": 27185,
"median": 27185,
"max": 27185
"calls": 897,
"min": 27343,
"mean": 27343,
"median": 27343,
"max": 27343
},
"getCheckpointReward()": {
"calls": 2591,
"calls": 2595,
"min": 1302,
"mean": 1307,
"median": 1302,
Expand All @@ -150,7 +164,7 @@
"max": 5948
},
"getCurrentEpoch()": {
"calls": 882,
"calls": 886,
"min": 915,
"mean": 915,
"median": 915,
Expand Down Expand Up @@ -185,14 +199,14 @@
"max": 11021
},
"getFeeAssetPortal()": {
"calls": 4664,
"calls": 4672,
"min": 879,
"mean": 879,
"median": 879,
"max": 879
},
"getInbox()": {
"calls": 9090,
"calls": 9112,
"min": 856,
"mean": 856,
"median": 856,
Expand All @@ -206,9 +220,9 @@
"max": 9064
},
"getManaMinFeeAt(uint256,bool)": {
"calls": 2341,
"calls": 2347,
"min": 27286,
"mean": 28946,
"mean": 28944,
"median": 27286,
"max": 32304
},
Expand All @@ -227,14 +241,14 @@
"max": 856
},
"getPendingCheckpointNumber()": {
"calls": 1679,
"calls": 1681,
"min": 2440,
"mean": 2440,
"median": 2440,
"max": 2440
},
"getProvenCheckpointNumber()": {
"calls": 1685,
"calls": 1687,
"min": 2585,
"mean": 2585,
"median": 2585,
Expand Down Expand Up @@ -262,37 +276,37 @@
"max": 5959
},
"getTimestampForSlot(uint256)": {
"calls": 2447,
"calls": 2455,
"min": 2808,
"mean": 2808,
"median": 2808,
"max": 2808
},
"getVersion()": {
"calls": 4926,
"calls": 4936,
"min": 852,
"mean": 852,
"median": 852,
"max": 852
},
"owner()": {
"calls": 5177,
"calls": 5185,
"min": 511,
"mean": 511,
"median": 511,
"max": 2511
},
"propose((bytes32,(int256),(bytes32,bytes32,bytes32,bytes32,bytes32,uint256,uint256,address,bytes32,(uint128,uint128),uint256,uint256),uint256),(bytes,bytes),address[],(uint8,bytes32,bytes32),bytes)": {
"calls": 2344,
"calls": 2350,
"min": 55404,
"mean": 265738,
"median": 283135,
"max": 324245
"mean": 266090,
"median": 283443,
"max": 324553
},
"prune()": {
"calls": 6,
"calls": 7,
"min": 26689,
"mean": 33247,
"mean": 33279,
"median": 33682,
"max": 38274
},
Expand All @@ -304,11 +318,11 @@
"max": 55821
},
"submitEpochRootProof((uint256,uint256,(bytes32,bytes32,bytes32,bytes32,bytes32,address),(address,uint256)[],(bytes32,bytes32,bytes32,bytes32,bytes32,uint256,uint256,address,bytes32,(uint128,uint128),uint256,uint256)[],(bytes,bytes),bytes,bytes))": {
"calls": 889,
"calls": 893,
"min": 60875,
"mean": 387946,
"median": 393723,
"max": 427739
"mean": 397634,
"median": 403830,
"max": 437846
},
"updateManaTarget(uint256)": {
"calls": 512,
Expand All @@ -327,7 +341,7 @@
},
"functions": {
"isAllBeneficiariesAllowed()": {
"calls": 2588,
"calls": 2592,
"min": 404,
"mean": 404,
"median": 404,
Expand Down
Loading
Loading