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.0856783e-05
Overall Rank
10,073 | 32.28%
DOI
10.1145/3626764
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.00058781151
52
The Snowflake Elastic Data Warehouse
2016
SIGMOD
0.00041219077
55
Calvin: Fast Distributed Transactions for Partitioned Database Systems
2012
SIGMOD
0.00040471598
63
Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases
2017
SIGMOD
0.00038531147
221
ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes
1990
VLDB
0.00024274803
416
Semantic Data Caching and Replacement
1996
VLDB
0.00018658244
445
Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores
2015
VLDB
0.00018176701
543
Socrates: The New SQL Server in the Cloud
2019
SIGMOD
0.0001663263
546
Faster: A Concurrent Key-Value Store with In-Place Updates
2018
SIGMOD
0.00016590738
728
Anti-Caching: A New Approach to Database Management System Architecture
2013
VLDB
0.00014414001
1,102
Elle: Inferring Isolation Anomalies from Experimental Observations
2021
VLDB
0.00012004972
1,217
PolarFS: An Ultra-low Latency and Failure Resilient Distributed File System for Shared Storage Cloud Database
2018
VLDB
0.00011489607
1,343
PolarDB Serverless: A Cloud Native Database for Disaggregated Data Centers
2021
SIGMOD
0.00010963588
1,413
Azure SQL Database Always Encrypted
2020
SIGMOD
0.00010738658
1,526
Key Range Locking Strategies for Improved Concurrency
1993
VLDB
0.0001035143
1,943
An Evaluation of Distributed Concurrency Control
2017
VLDB
9.3283112e-05
2,091
Concerto: A High Concurrency Key-Value Store with Integrity
2017
SIGMOD
9.0655667e-05
2,671
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
2020
SIGMOD
8.15025e-05
2,744
Towards Cost-Effective and Elastic Cloud Database Deployment via Memory Disaggregation
2021
VLDB
8.0677088e-05
2,800
An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems
2014
VLDB
7.9926474e-05
2,861
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
7.932894e-05
3,062
Opportunities for Optimism in Contended Main-Memory Multicore Transactions
2020
VLDB
7.6920087e-05
3,451
Building Enclave-Native Storage Engines for Practical Encrypted Databases
2021
VLDB
7.2916928e-05
3,520
FlexPushdownDB: Hybrid Pushdown and Caching in a Cloud DBMS
2021
VLDB
7.2360022e-05
3,722
Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System
2018
VLDB
7.0713122e-05
3,897
FastVer: Making Data Integrity a Commodity
2021
SIGMOD
6.9373769e-05
4,022
STAR: Scaling Transactions through Asymmetric Replication
2019
VLDB
6.8496651e-05
4,191
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD
6.7456354e-05
4,887
SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database
2021
SIGMOD
6.3694181e-05
5,711
How Good is My HTAP System?
2022
SIGMOD
6.0221783e-05
5,805
Cornus: Atomic Commit for a Cloud DBMS with Storage Disaggregation
2023
VLDB
5.9886376e-05
6,180
Plor: General Transactions with Predictable, Low Tail Latency
2022
SIGMOD
5.8595351e-05
7,797
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
2022
SIGMOD
5.4511849e-05
Semantically Similar Papers
#
Overall Rank
Paper
Year
Venue
1
2,861
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
2
5,659
Hybrid Blockchain Database Systems: Design and Performance
2022
VLDB
3
11,995
A Client-centric Approach to Transactional Datastores
2021
SIGMOD
4
2,058
Veritas: Shared Verifiable Databases and Tables in the Cloud
2019
CIDR
5
6,638
Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores
2013
VLDB
6
8,898
VeDB: A Software and Hardware Enabled Trusted Relational Database
2023
SIGMOD
7
7,167
GlassDB: An Efficient Verifiable Ledger Database System Through Transparency
2023
VLDB
8
4,985
Scalable Verification for Outsourced Dynamic Databases
2009
VLDB
9
8,759
VeriBench: Analyzing the Performance of Database Systems with Verifiability
2023
VLDB
10
4,191
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD