Back to papers
VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation
Summary: VeriTxn uses SGX for verifiable transactions in cloud-native, storage-disaggregated DBs. A trusted enclave cache yields constant verification; read workloads leverage disaggregation, with MySQL integration delivering up to 7x throughput vs Litmus/LedgerDB.
(summarized by gpt-5-nano on Feb 09 2026)
Paper ID
hca7680a044ea33f5
Venue
SIGMOD
Year
2023
Pagerank
5.0832708e-05
Overall Rank
10,078 | 32.27%
DOI
10.1145/3626764
PDF
Download
(CC BY 4.0)
Incoming Non-self Citations Over Time
BibTeX Citation
Copy BibTeX
@inproceedings{zhao_sigmod23,
title = {{VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation}},
author = {Zhao, Zhanhao and Pan, Hexiang and Chen, Gang and Du, Xiaoyong and Lu, Wei and Ooi, Beng Chin},
series = {{SIGMOD} '23},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3626764},
url = {https://dl.acm.org/doi/10.1145/3626764},
year = {2023}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 33 of 33 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Rank
Cited Paper
Year
Venue
Pagerank
19
A Critique of ANSI SQL Isolation Levels
1995
SIGMOD
0.00058759613
52
The Snowflake Elastic Data Warehouse
2016
SIGMOD
0.00041210636
55
Calvin: Fast Distributed Transactions for Partitioned Database Systems
2012
SIGMOD
0.00040454492
63
Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases
2017
SIGMOD
0.00038521221
221
ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes
1990
VLDB
0.00024269058
410
Semantic Data Caching and Replacement
1996
VLDB
0.00018796567
444
Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores
2015
VLDB
0.0001817002
543
Socrates: The New SQL Server in the Cloud
2019
SIGMOD
0.00016624903
546
Faster: A Concurrent Key-Value Store with In-Place Updates
2018
SIGMOD
0.00016584272
729
Anti-Caching: A New Approach to Database Management System Architecture
2013
VLDB
0.00014417679
1,102
Elle: Inferring Isolation Anomalies from Experimental Observations
2021
VLDB
0.00011999358
1,218
PolarFS: An Ultra-low Latency and Failure Resilient Distributed File System for Shared Storage Cloud Database
2018
VLDB
0.00011484231
1,343
PolarDB Serverless: A Cloud Native Database for Disaggregated Data Centers
2021
SIGMOD
0.00010959797
1,413
Azure SQL Database Always Encrypted
2020
SIGMOD
0.00010733574
1,528
Key Range Locking Strategies for Improved Concurrency
1993
VLDB
0.00010346983
1,945
An Evaluation of Distributed Concurrency Control
2017
VLDB
9.3239199e-05
2,092
Concerto: A High Concurrency Key-Value Store with Integrity
2017
SIGMOD
9.0612753e-05
2,671
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
2020
SIGMOD
8.1464332e-05
2,745
Towards Cost-Effective and Elastic Cloud Database Deployment via Memory Disaggregation
2021
VLDB
8.0639912e-05
2,800
An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems
2014
VLDB
7.988872e-05
2,862
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
7.9291386e-05
3,064
Opportunities for Optimism in Contended Main-Memory Multicore Transactions
2020
VLDB
7.6883866e-05
3,451
Building Enclave-Native Storage Engines for Practical Encrypted Databases
2021
VLDB
7.288241e-05
3,520
FlexPushdownDB: Hybrid Pushdown and Caching in a Cloud DBMS
2021
VLDB
7.2326541e-05
3,724
Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System
2018
VLDB
7.0679706e-05
3,897
FastVer: Making Data Integrity a Commodity
2021
SIGMOD
6.9340928e-05
4,023
STAR: Scaling Transactions through Asymmetric Replication
2019
VLDB
6.8464253e-05
4,192
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD
6.7424421e-05
4,888
SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database
2021
SIGMOD
6.3664029e-05
5,712
How Good is My HTAP System?
2022
SIGMOD
6.0193298e-05
5,806
Cornus: Atomic Commit for a Cloud DBMS with Storage Disaggregation
2023
VLDB
5.9858027e-05
6,183
Plor: General Transactions with Predictable, Low Tail Latency
2022
SIGMOD
5.8567613e-05
7,804
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
2022
SIGMOD
5.4486044e-05
Semantically Similar Papers
#
Overall Rank
Paper
Year
Venue
1
2,862
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
2
5,660
Hybrid Blockchain Database Systems: Design and Performance
2022
VLDB
3
12,001
A Client-centric Approach to Transactional Datastores
2021
SIGMOD
4
2,060
Veritas: Shared Verifiable Databases and Tables in the Cloud
2019
CIDR
5
6,642
Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores
2013
VLDB
6
8,906
VeDB: A Software and Hardware Enabled Trusted Relational Database
2023
SIGMOD
7
7,169
GlassDB: An Efficient Verifiable Ledger Database System Through Transparency
2023
VLDB
8
4,988
Scalable Verification for Outsourced Dynamic Databases
2009
VLDB
9
8,767
VeriBench: Analyzing the Performance of Database Systems with Verifiability
2023
VLDB
10
4,192
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD