Proofs of Writing for Efficient and Robust Storage
Dan Dobre, Ghassan Karame, Wenting Li, Matthias Majuntke, Neeraj Suri, and Marko Vukolic

TL;DR
PoWerStore is an efficient, robust storage protocol that guarantees linearizability and fault tolerance without digital signatures, using lightweight cryptography, erasure coding, and Proofs of Writing to optimize latency.
Contribution
It introduces PoWerStore, the first storage protocol combining optimal latency, robustness against Byzantine faults, and cryptographic proofs without digital signatures.
Findings
Achieves 2-round latency in single-writer variant, proven optimal.
Supports multi-writer variant with 3-round reads/writes, only invoked under attack.
Outperforms existing robust storage protocols in efficiency and fault tolerance.
Abstract
We present PoWerStore, the first efficient robust storage protocol that achieves optimal latency without using digital signatures. PoWerStore's robustness comprises tolerating asynchrony, maximum number of Byzantine storage servers, any number of Byzantine readers and crash-faulty writers, and guaranteeing wait-freedom and linearizability of read/write operations. PoWerStore's efficiency stems from combining lightweight authentication, erasure coding and metadata write-backs where readers write-back only metadata to achieve linearizability. At the heart of PoWerStore are Proofs of Writing (PoW): a novel storage technique based on lightweight cryptography. PoW enable reads and writes in the single-writer variant of PoWerStore to have latency of 2 rounds of communication between a client and storage servers in the worst-case (which we show optimal). We further present and implement a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Parallel Computing and Optimization Techniques · Advanced Data Storage Technologies
