PT-2025-49170 · Taiko · Taiko Alethia
Published
2025-12-04
·
Updated
2025-12-05
·
CVE-2025-66559
CVSS v4.0
8.0
High
| Vector | AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:N/SC:N/SI:N/SA:N/E:U |
Name of the Vulnerable Software and Affected Versions
Taiko Alethia versions prior to 2.3.1
Description
Taiko Alethia, a permissionless rollup designed to scale Ethereum, contains an issue in the
TaikoInbox. verifyBatches function (packages/protocol/contracts/layer1/based/TaikoInbox.sol:627-678). The function incorrectly advances the local transaction ID (tid) to a transition matching the current block hash before verifying the batch. If the verification loop breaks due to conditions like a cooldown window or an invalidated transition, the function still writes the newer tid into batches[lastVerifiedBatchId].verifiedTransitionId after decrementing the batch ID. This can cause the last verified batch to point to a transition index from the next batch, potentially corrupting the verified chain pointer.Recommendations
Update to version 2.3.1 or later.
Exploit
Fix
Improper Validation of Array Index
Found an issue in the description? Have something to add? Feel free to write us 👾
Weakness Enumeration
Related Identifiers
Affected Products
Taiko Alethia