Module delta_store 

Delta log persistence backed by redb.

Stores (DaCert, delta_blob) pairs keyed by sequence_no so bootstrap consumers get both the EigenDA attestation and the raw delta in one round-trip. Range fetch returns entries in ascending sequence order for deterministic replay.

Gap tolerance (§S.19): put accepts any sequence number without requiring predecessors to exist. fetch_range returns the entries that do exist; gaps are signalled by missing sequence numbers in the result and are never treated as errors. This is required for post-injection recovery where an admin-seeded snapshot may create discontinuities in the delta stream.

Structs

DeltaEntry

A delta record: format version, EigenDA certificate bytes, and raw blob.

DeltaStore

redb-backed store for delta blobs keyed by sequence number.

Constants

MAX_DELTA_BLOB_BYTES

64 MiB — upper bound on a single delta blob.

MAX_DELTA_CERT_BYTES

4 MiB — upper bound on a serialized EigenDA certificate.

MAX_FETCH_RANGE_LEN

Maximum number of delta entries returnable from a single fetch_range call.