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

Summary: Litmus provides verifiable proofs of transaction correctness (atomicity, serializability) via DBMS-crypto co-design. YCSB/TPCC prototype hits >17k verifiable txn/s under cryptographic assumptions; ~30KB proofs per batch, verified in ~300s; enables consistency verification. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 6303
Venue: SIGMOD
Year: 2022
Pagerank: 4.576288e-05
Overall Rank: 8,144 | 43.35%
DOI: 10.1145/3514221.3517851

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
8,676	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB	4.4707331e-05
9,752	VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation	2023	SIGMOD	4.2897489e-05
10,988	Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs	2024	SIGMOD	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
122	Calvin: Fast Distributed Transactions for Partitioned Database Systems	2012	SIGMOD	0.00045316749
340	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00026841628
1,227	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00013170695
1,515	vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases	2019	SIGMOD	0.00011591553
1,994	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.842936e-05
5,502	When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach	2018	SIGMOD	5.4741324e-05
7,055	vChain: A Blockchain System Ensuring Query Integrity	2020	SIGMOD	4.8495009e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,333	Resolving the Tension between Integrity and Security Using a Theorem Prover	1988	SIGMOD	4.5435639e-05
4,709	Verifiable Properties of Database Transactions	1996	PODS	5.9795558e-05
6,341	An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems	2002	VLDB	5.1037155e-05
12,879	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB	4.1945683e-05
13,033	Specification and Verification of Abstract Database Types	1984	PODS	4.1945683e-05
7,379	Compensation-Aware Data Types in RDBMS	2009	SIGMOD	4.7479196e-05
8,676	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB	4.4707331e-05
5,573	Spitz: A Verifiable Database System	2020	VLDB	5.4276252e-05
7,300	GlassDB: An Efficient Verifiable Ledger Database System Through Transparency	2023	VLDB	4.7698722e-05
9,752	VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation	2023	SIGMOD	4.2897489e-05