1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
//! Async cold storage engine for historical Ethereum data.
//!
//! This module provides an abstraction over various backend storage systems
//! for historical blockchain data. Unlike hot storage which uses transaction
//! semantics for mutable state, cold storage is optimized for:
//!
//! - **Append-only writes** with block-ordered data
//! - **Efficient bulk reads** by block number or index
//! - **Truncation** (reorg handling) that removes data beyond a certain block
//! - **Index maintenance** for hash-based lookups
//!
//! # Architecture
//!
//! The cold storage engine exposes a single handle type:
//!
//! - [`ColdStorageBackend`] trait defines the backend interface
//! - [`ColdStorage`] wraps a shared inner struct in an `Arc` and provides
//! read, write, and streaming operations. It is cheap to clone and share.
//!
//! # Concurrency
//!
//! The handle uses semaphores rather than channels to bound in-flight work:
//!
//! - **Reads**: gated by an internal semaphore (up to 64 in flight).
//! - **Writes**: gated by an internal semaphore (serialized: 1 in flight).
//! - **Streams**: gated by an internal semaphore (up to 8 in flight).
//!
//! # Consistency Model
//!
//! Cold storage is **eventually consistent** with hot storage. Hot storage is
//! always authoritative.
//!
//! ## When Cold May Lag
//!
//! - **Normal operation**: Callers that do not await cold writes may see cold
//! storage lag hot by a few blocks during ingest.
//! - **Task termination**: If the handle's semaphores are closed, reads and
//! writes return [`ColdStorageError::TaskTerminated`].
//!
//! ## When Cold May Have Stale Data
//!
//! - **Failed truncate after reorg**: If a truncate dispatch fails, cold may
//! temporarily contain blocks that hot has unwound. This is safe because hot
//! is authoritative, but cold queries may return stale data.
//!
//! ## Recovery Procedures
//!
//! Use these methods on `UnifiedStorage` (from `signet-storage`) to detect and
//! recover from inconsistencies:
//!
//! - **`cold_lag()`**: Returns `Some(first_missing_block)` if cold is behind
//! hot. Returns `None` if synced.
//! - **`replay_to_cold()`**: Re-sends blocks to cold storage. Use after
//! detecting a gap or recovering from task failure.
//!
//! # Example
//!
//! ```ignore
//! use tokio_util::sync::CancellationToken;
//! use signet_cold::{ColdStorage, mem::MemColdBackend};
//!
//! let cancel = CancellationToken::new();
//! let handle = ColdStorage::new(MemColdBackend::new(), cancel);
//!
//! // Use the handle to interact with cold storage
//! let header = handle.get_header_by_number(100).await?;
//!
//! // Clone cheaply to share across tasks
//! let reader = handle.clone();
//! let tx = reader.get_tx_by_hash(hash).await?;
//! ```
//!
//! # Future Work: Streaming Writes
//!
//! For bulk data loading (e.g., initial sync or historical backfill), a
//! streaming write interface is planned:
//!
//! ```ignore
//! /// Streaming write session for bulk data loading.
//! ///
//! /// This type enables efficient bulk writes by buffering data and
//! /// batching backend operations. Use for initial sync or historical
//! /// backfill scenarios.
//! pub struct ColdStreamingWrite { /* ... */ }
//!
//! impl ColdStreamingWrite {
//! /// Create a new streaming write session.
//! ///
//! /// # Arguments
//! ///
//! /// * `handle` - The cold storage handle to write through
//! /// * `buffer_capacity` - Number of blocks to buffer before flushing
//! pub fn new(handle: &ColdStorage<B>, buffer_capacity: usize) -> Self;
//!
//! /// Push a block to the write buffer.
//! ///
//! /// May trigger an automatic flush if the buffer is full.
//! pub async fn push(&mut self, block: BlockData) -> ColdResult<()>;
//!
//! /// Flush buffered blocks to storage.
//! pub async fn flush(&mut self) -> ColdResult<()>;
//!
//! /// Create a checkpoint at the given block number.
//! ///
//! /// Flushes the buffer and records that blocks up to this number
//! /// have been durably written. Useful for resumable sync.
//! pub async fn checkpoint(&mut self, block: BlockNumber) -> ColdResult<()>;
//!
//! /// Finish the streaming session.
//! ///
//! /// Flushes any remaining buffered data.
//! pub async fn finish(self) -> ColdResult<()>;
//! }
//! ```
//!
//! This is a design sketch; no implementation is provided yet.
//!
//! # Feature Flags
//!
//! - **`in-memory`**: Enables the `mem` module, providing an in-memory
//! [`ColdStorageBackend`] backend for testing.
//! - **`test-utils`**: Enables the `conformance` module with backend
//! conformance tests. Implies `in-memory`.
pub use ;
pub use ColdStorage;
pub use ;
pub use ;
pub use ;
pub use ColdReceipt;
pub use ;
pub use ;
pub use ColdConnect;
/// Conformance tests for cold storage backends.