espresso-sequencer icon indicating copy to clipboard operation
espresso-sequencer copied to clipboard

Validate existing header fields once HotShot supports validated state

Open jbearer opened this issue 1 year ago • 1 comments

  • height increases by 1
  • timestamp is within some delta of the current time and not decreasing
  • L1 head is within some delta of the current L1 head and not decreasing
  • L1 finalized is accurate, within some delta of the current L1 head, not in the future, and not decreasing

jbearer avatar Jan 10 '24 21:01 jbearer

from zulip:

I think we are missing these checks:

  • [x] timestamp is within some delta of the current time
  • [ ] L1 head is within some delta of the current L1 head
  • [ ] L1 finalized is accurate, within some delta of the current L1 head, not in the future

I think to properly enforce these we should add some parameters to the chain config:

  • max_time_drift
  • max_l1_head_drift
  • max_l1_finalized_drift

Adding these would be a breaking change, so let's circle back to this after the versioning PR is merged, and we can incorporate these checks into 0.3 along with the marketplace

tbro avatar Jul 10 '24 13:07 tbro