espresso-sequencer
espresso-sequencer copied to clipboard
M01: State history update error
Affected Code: LightClient.sol (line 322-L340)
Summary: updateStateHistory function incorrectly computes updates by comparing the first and last elements instead of the first and newly added element, potentially retaining outdated data. Additionally, only the first outdated element is removed despite there possibly being more outdated elements that are not checked.