diff --git a/Cargo.toml b/Cargo.toml
index 8589f30eab..f5c7dab743 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -100,6 +100,7 @@ rand = "0.5.1"
 rayon = "1.0.0"
 reqwest = "0.9.0"
 ring = "0.13.2"
+rocksdb = "0.10.1"
 sha2 = "0.8.0"
 serde = "1.0.27"
 serde_cbor = "0.9.0"
diff --git a/src/db_ledger.rs b/src/db_ledger.rs
new file mode 100644
index 0000000000..ddbb099b52
--- /dev/null
+++ b/src/db_ledger.rs
@@ -0,0 +1,572 @@
+//! The `ledger` module provides functions for parallel verification of the
+//! Proof of History ledger as well as iterative read, append write, and random
+//! access read to a persistent file-based ledger.
+
+use bincode::{deserialize, serialize};
+use byteorder::{ByteOrder, LittleEndian, ReadBytesExt};
+use entry::Entry;
+use ledger::Block;
+use packet::{Blob, BLOB_HEADER_SIZE};
+use result::{Error, Result};
+use rocksdb::{ColumnFamily, Options, WriteBatch, DB};
+use serde::de::DeserializeOwned;
+use serde::Serialize;
+use std::io;
+
+pub const DB_LEDGER_DIRECTORY: &str = "db_ledger";
+
+#[derive(Debug, PartialEq, Eq)]
+pub enum DbLedgerError {
+    BlobForIndexExists,
+    InvalidBlobData,
+}
+
+pub trait LedgerColumnFamily {
+    type ValueType: DeserializeOwned + Serialize;
+
+    fn get(&self, db: &DB, key: &[u8]) -> Result<Option<Self::ValueType>> {
+        let data_bytes = db.get_cf(self.handle(db), key)?;
+
+        if let Some(raw) = data_bytes {
+            let result: Self::ValueType = deserialize(&raw)?;
+            Ok(Some(result))
+        } else {
+            Ok(None)
+        }
+    }
+
+    fn get_bytes(&self, db: &DB, key: &[u8]) -> Result<Option<Vec<u8>>> {
+        let data_bytes = db.get_cf(self.handle(db), key)?;
+        Ok(data_bytes.map(|x| x.to_vec()))
+    }
+
+    fn put_bytes(&self, db: &DB, key: &[u8], serialized_value: &[u8]) -> Result<()> {
+        db.put_cf(self.handle(db), &key, &serialized_value)?;
+        Ok(())
+    }
+
+    fn put(&self, db: &DB, key: &[u8], value: &Self::ValueType) -> Result<()> {
+        let serialized = serialize(value)?;
+        db.put_cf(self.handle(db), &key, &serialized)?;
+        Ok(())
+    }
+
+    fn delete(&self, db: &DB, key: &[u8]) -> Result<()> {
+        db.delete_cf(self.handle(db), &key)?;
+        Ok(())
+    }
+
+    fn handle(&self, db: &DB) -> ColumnFamily;
+}
+
+pub trait LedgerColumnFamilyRaw {
+    fn get(&self, db: &DB, key: &[u8]) -> Result<Option<Vec<u8>>> {
+        let data_bytes = db.get_cf(self.handle(db), key)?;
+        Ok(data_bytes.map(|x| x.to_vec()))
+    }
+
+    fn put(&self, db: &DB, key: &[u8], serialized_value: &[u8]) -> Result<()> {
+        db.put_cf(self.handle(db), &key, &serialized_value)?;
+        Ok(())
+    }
+
+    fn delete(&self, db: &DB, key: &[u8]) -> Result<()> {
+        db.delete_cf(self.handle(db), &key)?;
+        Ok(())
+    }
+
+    fn handle(&self, db: &DB) -> ColumnFamily;
+}
+
+#[derive(Debug, Default, Deserialize, Serialize, Eq, PartialEq)]
+// The Meta column family
+pub struct SlotMeta {
+    // The total number of consecutive blob starting from index 0
+    // we have received for this slot.
+    pub consumed: u64,
+    // The entry height of the highest blob received for this slot.
+    pub received: u64,
+}
+
+impl SlotMeta {
+    fn new() -> Self {
+        SlotMeta {
+            consumed: 0,
+            received: 0,
+        }
+    }
+}
+
+#[derive(Default)]
+pub struct MetaCf {}
+
+impl MetaCf {
+    pub fn key(slot_height: u64) -> Vec<u8> {
+        let mut key = vec![0u8; 8];
+        LittleEndian::write_u64(&mut key[0..8], slot_height);
+        key
+    }
+}
+
+impl LedgerColumnFamily for MetaCf {
+    type ValueType = SlotMeta;
+
+    fn handle(&self, db: &DB) -> ColumnFamily {
+        db.cf_handle(META_CF).unwrap()
+    }
+}
+
+// The data column family
+#[derive(Default)]
+pub struct DataCf {}
+
+impl DataCf {
+    pub fn key(slot_height: u64, index: u64) -> Vec<u8> {
+        let mut key = vec![0u8; 16];
+        LittleEndian::write_u64(&mut key[0..8], slot_height);
+        LittleEndian::write_u64(&mut key[8..16], index);
+        key
+    }
+
+    pub fn slot_height_from_key(key: &[u8]) -> Result<u64> {
+        let mut rdr = io::Cursor::new(&key[0..8]);
+        let height = rdr.read_u64::<LittleEndian>()?;
+        Ok(height)
+    }
+
+    pub fn index_from_key(key: &[u8]) -> Result<u64> {
+        let mut rdr = io::Cursor::new(&key[8..16]);
+        let index = rdr.read_u64::<LittleEndian>()?;
+        Ok(index)
+    }
+}
+
+impl LedgerColumnFamilyRaw for DataCf {
+    fn handle(&self, db: &DB) -> ColumnFamily {
+        db.cf_handle(DATA_CF).unwrap()
+    }
+}
+
+// The erasure column family
+#[derive(Default)]
+pub struct ErasureCf {}
+
+impl ErasureCf {
+    pub fn key(slot_height: u64, index: u64) -> Vec<u8> {
+        DataCf::key(slot_height, index)
+    }
+}
+
+impl LedgerColumnFamilyRaw for ErasureCf {
+    fn handle(&self, db: &DB) -> ColumnFamily {
+        db.cf_handle(ERASURE_CF).unwrap()
+    }
+}
+
+// ledger window
+pub struct DbLedger {
+    // Underlying database is automatically closed in the Drop implementation of DB
+    pub db: DB,
+    pub meta_cf: MetaCf,
+    pub data_cf: DataCf,
+    pub erasure_cf: ErasureCf,
+}
+
+// TODO: Once we support a window that knows about different leader
+// slots, change functions where this is used to take slot height
+// as a variable argument
+pub const DEFAULT_SLOT_HEIGHT: u64 = 0;
+// Column family for metadata about a leader slot
+pub const META_CF: &str = "meta";
+// Column family for the data in a leader slot
+pub const DATA_CF: &str = "data";
+// Column family for erasure data
+pub const ERASURE_CF: &str = "erasure";
+
+impl DbLedger {
+    // Opens a Ledger in directory, provides "infinite" window of blobs
+    pub fn open(ledger_path: &str) -> Result<Self> {
+        // Use default database options
+        let mut options = Options::default();
+        options.create_if_missing(true);
+        options.create_missing_column_families(true);
+
+        // Column family names
+        let cfs = vec![META_CF, DATA_CF, ERASURE_CF];
+
+        // Open the database
+        let db = DB::open_cf(&options, ledger_path, &cfs)?;
+
+        // Create the metadata column family
+        let meta_cf = MetaCf::default();
+
+        // Create the data column family
+        let data_cf = DataCf::default();
+
+        // Create the erasure column family
+        let erasure_cf = ErasureCf::default();
+
+        Ok(DbLedger {
+            db,
+            meta_cf,
+            data_cf,
+            erasure_cf,
+        })
+    }
+
+    pub fn write_blobs<'a, I>(&mut self, slot: u64, blobs: I) -> Result<()>
+    where
+        I: IntoIterator<Item = &'a &'a Blob>,
+    {
+        for blob in blobs.into_iter() {
+            let index = blob.index()?;
+            let key = DataCf::key(slot, index);
+            self.insert_data_blob(&key, blob)?;
+        }
+        Ok(())
+    }
+
+    pub fn write_entries(&mut self, slot: u64, entries: &[Entry]) -> Result<()> {
+        let shared_blobs = entries.to_blobs();
+        let blob_locks: Vec<_> = shared_blobs.iter().map(|b| b.read().unwrap()).collect();
+        let blobs: Vec<&Blob> = blob_locks.iter().map(|b| &**b).collect();
+        self.write_blobs(slot, &blobs)?;
+        Ok(())
+    }
+
+    pub fn insert_data_blob(&self, key: &[u8], new_blob: &Blob) -> Result<Vec<Entry>> {
+        let slot_height = DataCf::slot_height_from_key(key)?;
+        let meta_key = MetaCf::key(slot_height);
+
+        let mut should_write_meta = false;
+
+        let mut meta = {
+            if let Some(meta) = self.db.get_cf(self.meta_cf.handle(&self.db), &meta_key)? {
+                deserialize(&meta)?
+            } else {
+                should_write_meta = true;
+                SlotMeta::new()
+            }
+        };
+
+        let mut index = DataCf::index_from_key(key)?;
+
+        // TODO: Handle if leader sends different blob for same index when the index > consumed
+        // The old window implementation would just replace that index.
+        if index < meta.consumed {
+            return Err(Error::DbLedgerError(DbLedgerError::BlobForIndexExists));
+        }
+
+        // Index is zero-indexed, while the "received" height starts from 1,
+        // so received = index + 1 for the same blob.
+        if index >= meta.received {
+            meta.received = index + 1;
+            should_write_meta = true;
+        }
+
+        let mut consumed_queue = vec![];
+
+        if meta.consumed == index {
+            // Add the new blob to the consumed queue
+            let serialized_entry_data =
+                &new_blob.data[BLOB_HEADER_SIZE..BLOB_HEADER_SIZE + new_blob.size()?];
+            // Verify entries can actually be reconstructed
+            let entry: Entry = deserialize(serialized_entry_data)
+                .expect("Blob made it past validation, so must be deserializable at this point");
+            should_write_meta = true;
+            meta.consumed += 1;
+            consumed_queue.push(entry);
+            // Find the next consecutive block of blobs.
+            // TODO: account for consecutive blocks that
+            // span multiple slots
+            loop {
+                index += 1;
+                let key = DataCf::key(slot_height, index);
+                if let Some(blob_data) = self.data_cf.get(&self.db, &key)? {
+                    let serialized_entry_data = &blob_data[BLOB_HEADER_SIZE..];
+                    let entry: Entry = deserialize(serialized_entry_data)
+                        .expect("Ledger should only contain well formed data");
+                    consumed_queue.push(entry);
+                    meta.consumed += 1;
+                } else {
+                    break;
+                }
+            }
+        }
+
+        // Commit Step: Atomic write both the metadata and the data
+        let mut batch = WriteBatch::default();
+        if should_write_meta {
+            batch.put_cf(self.meta_cf.handle(&self.db), &meta_key, &serialize(&meta)?)?;
+        }
+
+        let serialized_blob_data = &new_blob.data[..BLOB_HEADER_SIZE + new_blob.size()?];
+        batch.put_cf(self.data_cf.handle(&self.db), key, serialized_blob_data)?;
+        self.db.write(batch)?;
+        Ok(consumed_queue)
+    }
+
+    // Fill 'buf' with num_blobs or most number of consecutive
+    // whole blobs that fit into buf.len()
+    //
+    // Return tuple of (number of blob read, total size of blobs read)
+    pub fn get_blob_bytes(
+        &mut self,
+        start_index: u64,
+        num_blobs: u64,
+        buf: &mut [u8],
+    ) -> Result<(u64, u64)> {
+        let start_key = DataCf::key(DEFAULT_SLOT_HEIGHT, start_index);
+        let mut db_iterator = self.db.raw_iterator_cf(self.data_cf.handle(&self.db))?;
+        db_iterator.seek(&start_key);
+        let mut total_blobs = 0;
+        let mut total_current_size = 0;
+        for expected_index in start_index..start_index + num_blobs {
+            if !db_iterator.valid() {
+                if expected_index == start_index {
+                    return Err(Error::IO(io::Error::new(
+                        io::ErrorKind::NotFound,
+                        "Blob at start_index not found",
+                    )));
+                } else {
+                    break;
+                }
+            }
+
+            // Check key is the next sequential key based on
+            // blob index
+            let key = &db_iterator.key().expect("Expected valid key");
+            let index = DataCf::index_from_key(key)?;
+            if index != expected_index {
+                break;
+            }
+
+            // Get the blob data
+            let value = &db_iterator.value();
+
+            if value.is_none() {
+                break;
+            }
+
+            let value = value.as_ref().unwrap();
+            let blob_data_len = value.len();
+
+            if total_current_size + blob_data_len > buf.len() {
+                break;
+            }
+
+            buf[total_current_size..total_current_size + value.len()].copy_from_slice(value);
+            total_current_size += blob_data_len;
+            total_blobs += 1;
+
+            // TODO: Change this logic to support looking for data
+            // that spans multiple leader slots, once we support
+            // a window that knows about different leader slots
+            db_iterator.next();
+        }
+
+        Ok((total_blobs, total_current_size as u64))
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use ledger::{get_tmp_ledger_path, make_tiny_test_entries, Block};
+    use rocksdb::{Options, DB};
+
+    #[test]
+    fn test_put_get_simple() {
+        let ledger_path = get_tmp_ledger_path("test_put_get_simple");
+        let ledger = DbLedger::open(&ledger_path).unwrap();
+
+        // Test meta column family
+        let meta = SlotMeta::new();
+        let meta_key = MetaCf::key(0);
+        ledger.meta_cf.put(&ledger.db, &meta_key, &meta).unwrap();
+        let result = ledger
+            .meta_cf
+            .get(&ledger.db, &meta_key)
+            .unwrap()
+            .expect("Expected meta object to exist");
+
+        assert_eq!(result, meta);
+
+        // Test erasure column family
+        let erasure = vec![1u8; 16];
+        let erasure_key = ErasureCf::key(DEFAULT_SLOT_HEIGHT, 0);
+        ledger
+            .erasure_cf
+            .put(&ledger.db, &erasure_key, &erasure)
+            .unwrap();
+
+        let result = ledger
+            .erasure_cf
+            .get(&ledger.db, &erasure_key)
+            .unwrap()
+            .expect("Expected erasure object to exist");
+
+        assert_eq!(result, erasure);
+
+        // Test data column family
+        let data = vec![2u8; 16];
+        let data_key = DataCf::key(DEFAULT_SLOT_HEIGHT, 0);
+        ledger.data_cf.put(&ledger.db, &data_key, &data).unwrap();
+
+        let result = ledger
+            .data_cf
+            .get(&ledger.db, &data_key)
+            .unwrap()
+            .expect("Expected data object to exist");
+
+        assert_eq!(result, data);
+
+        // Destroying database without closing it first is undefined behavior
+        drop(ledger);
+        DB::destroy(&Options::default(), &ledger_path)
+            .expect("Expected successful database destruction");
+    }
+
+    #[test]
+    fn test_get_blobs_bytes() {
+        let shared_blobs = make_tiny_test_entries(10).to_blobs();
+        let blob_locks: Vec<_> = shared_blobs.iter().map(|b| b.read().unwrap()).collect();
+        let blobs: Vec<&Blob> = blob_locks.iter().map(|b| &**b).collect();
+
+        let ledger_path = get_tmp_ledger_path("test_get_blobs_bytes");
+        let mut ledger = DbLedger::open(&ledger_path).unwrap();
+        ledger.write_blobs(DEFAULT_SLOT_HEIGHT, &blobs).unwrap();
+
+        let mut buf = [0; 1024];
+        let (num_blobs, bytes) = ledger.get_blob_bytes(0, 1, &mut buf).unwrap();
+        let bytes = bytes as usize;
+        assert_eq!(num_blobs, 1);
+        {
+            let blob_data = &buf[..bytes];
+            assert_eq!(blob_data, &blobs[0].data[..bytes]);
+        }
+
+        let (num_blobs, bytes2) = ledger.get_blob_bytes(0, 2, &mut buf).unwrap();
+        let bytes2 = bytes2 as usize;
+        assert_eq!(num_blobs, 2);
+        assert!(bytes2 > bytes);
+        {
+            let blob_data_1 = &buf[..bytes];
+            assert_eq!(blob_data_1, &blobs[0].data[..bytes]);
+
+            let blob_data_2 = &buf[bytes..bytes2];
+            assert_eq!(blob_data_2, &blobs[1].data[..bytes2 - bytes]);
+        }
+
+        // buf size part-way into blob[1], should just return blob[0]
+        let mut buf = vec![0; bytes + 1];
+        let (num_blobs, bytes3) = ledger.get_blob_bytes(0, 2, &mut buf).unwrap();
+        assert_eq!(num_blobs, 1);
+        let bytes3 = bytes3 as usize;
+        assert_eq!(bytes3, bytes);
+
+        let mut buf = vec![0; bytes2 - 1];
+        let (num_blobs, bytes4) = ledger.get_blob_bytes(0, 2, &mut buf).unwrap();
+        assert_eq!(num_blobs, 1);
+        let bytes4 = bytes4 as usize;
+        assert_eq!(bytes4, bytes);
+
+        let mut buf = vec![0; bytes * 2];
+        let (num_blobs, bytes6) = ledger.get_blob_bytes(9, 1, &mut buf).unwrap();
+        assert_eq!(num_blobs, 1);
+        let bytes6 = bytes6 as usize;
+
+        {
+            let blob_data = &buf[..bytes6];
+            assert_eq!(blob_data, &blobs[9].data[..bytes6]);
+        }
+
+        // Read out of range
+        assert!(ledger.get_blob_bytes(20, 2, &mut buf).is_err());
+
+        // Destroying database without closing it first is undefined behavior
+        drop(ledger);
+        DB::destroy(&Options::default(), &ledger_path)
+            .expect("Expected successful database destruction");
+    }
+
+    #[test]
+    fn test_insert_data_blobs_basic() {
+        let entries = make_tiny_test_entries(2);
+        let shared_blobs = entries.to_blobs();
+        let blob_locks: Vec<_> = shared_blobs.iter().map(|b| b.read().unwrap()).collect();
+        let blobs: Vec<&Blob> = blob_locks.iter().map(|b| &**b).collect();
+
+        let ledger_path = get_tmp_ledger_path("test_insert_data_blobs_basic");
+        let ledger = DbLedger::open(&ledger_path).unwrap();
+
+        // Insert second blob, we're missing the first blob, so should return nothing
+        let result = ledger
+            .insert_data_blob(&DataCf::key(DEFAULT_SLOT_HEIGHT, 1), blobs[1])
+            .unwrap();
+
+        assert!(result.len() == 0);
+        let meta = ledger
+            .meta_cf
+            .get(&ledger.db, &MetaCf::key(DEFAULT_SLOT_HEIGHT))
+            .unwrap()
+            .expect("Expected new metadata object to be created");
+        assert!(meta.consumed == 0 && meta.received == 2);
+
+        // Insert first blob, check for consecutive returned entries
+        let result = ledger
+            .insert_data_blob(&DataCf::key(DEFAULT_SLOT_HEIGHT, 0), blobs[0])
+            .unwrap();
+
+        assert_eq!(result, entries);
+
+        let meta = ledger
+            .meta_cf
+            .get(&ledger.db, &MetaCf::key(DEFAULT_SLOT_HEIGHT))
+            .unwrap()
+            .expect("Expected new metadata object to exist");
+        assert!(meta.consumed == 2 && meta.received == 2);
+
+        // Destroying database without closing it first is undefined behavior
+        drop(ledger);
+        DB::destroy(&Options::default(), &ledger_path)
+            .expect("Expected successful database destruction");
+    }
+
+    #[test]
+    fn test_insert_data_blobs_multiple() {
+        let num_blobs = 10;
+        let entries = make_tiny_test_entries(num_blobs);
+        let shared_blobs = entries.to_blobs();
+        let blob_locks: Vec<_> = shared_blobs.iter().map(|b| b.read().unwrap()).collect();
+        let blobs: Vec<&Blob> = blob_locks.iter().map(|b| &**b).collect();
+
+        let ledger_path = get_tmp_ledger_path("test_insert_data_blobs_multiple");
+        let ledger = DbLedger::open(&ledger_path).unwrap();
+
+        // Insert first blob, check for consecutive returned blobs
+        for i in (0..num_blobs).rev() {
+            let result = ledger
+                .insert_data_blob(&DataCf::key(DEFAULT_SLOT_HEIGHT, i as u64), blobs[i])
+                .unwrap();
+
+            let meta = ledger
+                .meta_cf
+                .get(&ledger.db, &MetaCf::key(DEFAULT_SLOT_HEIGHT))
+                .unwrap()
+                .expect("Expected metadata object to exist");
+            if i != 0 {
+                assert_eq!(result.len(), 0);
+                assert!(meta.consumed == 0 && meta.received == num_blobs as u64);
+            } else {
+                assert_eq!(result, entries);
+                assert!(meta.consumed == num_blobs as u64 && meta.received == num_blobs as u64);
+            }
+        }
+
+        // Destroying database without closing it first is undefined behavior
+        drop(ledger);
+        DB::destroy(&Options::default(), &ledger_path)
+            .expect("Expected successful database destruction");
+    }
+}
diff --git a/src/lib.rs b/src/lib.rs
index 2d920b8c3d..24854f7fbb 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -35,6 +35,7 @@ pub mod contact_info;
 pub mod budget_program;
 pub mod cluster_info;
 pub mod compute_leader_finality_service;
+pub mod db_ledger;
 pub mod drone;
 pub mod entry;
 #[cfg(feature = "erasure")]
@@ -114,6 +115,7 @@ extern crate pnet_datalink;
 extern crate rayon;
 extern crate reqwest;
 extern crate ring;
+extern crate rocksdb;
 extern crate serde;
 #[macro_use]
 extern crate serde_derive;
diff --git a/src/result.rs b/src/result.rs
index bb63cae72a..7d17f114e5 100644
--- a/src/result.rs
+++ b/src/result.rs
@@ -3,10 +3,12 @@
 use bank;
 use bincode;
 use cluster_info;
+use db_ledger;
 #[cfg(feature = "erasure")]
 use erasure;
 use packet;
 use poh_recorder;
+use rocksdb;
 use serde_json;
 use std;
 use std::any::Any;
@@ -29,6 +31,8 @@ pub enum Error {
     SendError,
     PohRecorderError(poh_recorder::PohRecorderError),
     VoteError(vote_stage::VoteError),
+    RocksDb(rocksdb::Error),
+    DbLedgerError(db_ledger::DbLedgerError),
 }
 
 pub type Result<T> = std::result::Result<T, Error>;
@@ -107,6 +111,16 @@ impl std::convert::From<vote_stage::VoteError> for Error {
         Error::VoteError(e)
     }
 }
+impl std::convert::From<rocksdb::Error> for Error {
+    fn from(e: rocksdb::Error) -> Error {
+        Error::RocksDb(e)
+    }
+}
+impl std::convert::From<db_ledger::DbLedgerError> for Error {
+    fn from(e: db_ledger::DbLedgerError) -> Error {
+        Error::DbLedgerError(e)
+    }
+}
 
 #[cfg(test)]
 mod tests {