Merkle2: A Low-Latency Transparency Log System
Yuncong Hu, Kian Hooshmand, Harika Kalidhindi, Seung Jin Yang, Raluca Ada Popa
Abstract
Transparency logs are designed to help users audit untrusted servers. For example, Certificate Transparency (CT) enables users to detect when a compromised Certificate Authority (CA) has issued a fake certificate. Practical state-of-the-art transparency log systems, however, suffer from high monitoring costs when used for low-latency applications. To reduce monitoring costs, such systems often require users to wait an hour or more for their updates to take effect, inhibiting low-latency applications. We propose Merkle 2 , a transparency log system that supports both efficient monitoring and low-latency updates. To achieve this goal, we construct a new multi-dimensional, authenticated data structure that nests two types of Merkle trees, hence the name of our system, Merkle 2 . Using this data structure, we then design a transparency log system with efficient monitoring and lookup protocols that enables low-latency updates. In particular, all the operations in Merkle 2 are independent of update intervals and are (poly)logarithmic to the number of entries in the log. Merkle 2 not only has excellent asymptotics when compared to prior work, but is also efficient in practice. Our evaluation shows that Merkle 2 propagates updates in as little as 1 second and can support 100× more users than state-of-the-art transparency logs.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 76678e4f-69a5-49d5-ae9f-30f7f1af6f06Cited by top-tier papers12
- OPTIKS: An Optimized Key Transparency SystemJulia Len, Melissa Chase, Esha Ghosh, Kim Laine et al.USENIX Security 2024 · 18 citations
- RHINE: Robust and High-performance Internet Naming with E2E AuthenticityHuayi Duan, Rubén Fischer, Jie Lou, Si Liu et al.NSDI 2023 · 12 citations
- Notus: Dynamic Proofs of Liabilities from Zero-knowledge RSA AccumulatorsJiajun Xin, Arman Haghighi, Xiangan Tian, Dimitrios PapadopoulosUSENIX Security 2024 · 11 citations
- Accountable authentication with privacy protection: The Larch system for universal loginEmma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David MazièresOSDI 2023 · 2 citations
- Trustworthy and Confidential SBOM ExchangeEman Abu Ishgair, Chinenye Okafor, Marcela S. Melara, Santiago Torres-AriasUSENIX Security 2026 · 1 citation
Builds on16
- Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order ExecutionJo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin et al.USENIX Security 2018 · 1,175 citations
- Marlin: Preprocessing zkSNARKs with Universal and Updatable SRSAlessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra et al.EUROCRYPT 2020 · 356 citations
- Keeping Authorities "Honest or Bust" with Decentralized Witness CosigningEwa Syta, Iulia Tamas, Dylan Visher, David Isaac Wolinsky et al.S&P 2016 · 285 citations
- IKP: Turning a PKI Around with Decentralized Automated IncentivesStephanos Matsumoto, Raphael M. ReischukS&P 2017 · 168 citations
- Fractal: Post-quantum and Transparent Recursive Proofs from HolographyAlessandro Chiesa, Dev Ojha, Nicholas SpoonerEUROCRYPT 2020 · 162 citations
Related papers
- Transparency Logs via Append-Only Authenticated DictionariesAlin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou et al.CCS 2019 · 69 citations
- Certificate Transparency in the Wild: Exploring the Reliability of MonitorsBingyu Li, Jingqiang Lin, Fengjun Li, Qiongxiao Wang et al.CCS 2019 · 45 citations
- GlassDB: An Efficient Verifiable Ledger Database System Through TransparencyCong Yue, Tien Tuan Anh Dinh, Zhongle Xie, Meihui Zhang et al.VLDB 2023 · 26 citations
- Certificate Transparency Revisited: The Public Inspections on Third-party MonitorsAozhuo Sun, Jingqiang Lin, Wei Wang, Zeyan Liu et al.NDSS 2024
- The Locality of Memory CheckingWeijie Wang, Yujie Lu, Charalampos Papamanthou, Fan ZhangCCS 2023 · 5 citations
