Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness

Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas
2022 Proceedings of the 2022 International Conference on Management of Data  
Existing secure database management systems (DBMSs) focus on security and privacy of data but overlook semantic properties, such as the correctness and ACID properties of transactions. Enforcing these properties is crucial to the functionality of applications. If these guarantees do not hold, catastrophic losses could result. To address this issue, we present Litmus, a DBMS that can provide verifiable proofs of transaction correctness and semantic properties including atomicity and
more » ... ty. Litmus features a co-design of both the database and the cryptographic parts. We evaluate a proofof-concept prototype of Litmus on the YCSB and TPC-C benchmarks and show that under reasonable cryptographic assumptions it can process more than 17,000 transactions per second (txn/s) verifiably. Our result shows a promising practical direction considering that PayPal runs on average 115 txn/s and VISA 2000-4000 txn/s. The proof is about 30kB per verification batch and verifies with a constant time of 300 seconds. Litmus can extend to verify consistency as well. CCS Concepts • Security and privacy → Database and storage security; • Theory of computation → Theory of database privacy and security.
doi:10.1145/3514221.3517851 fatcat:ox74vsiacng6tameuirqtqklta