Transparency Logs via Append-Only Authenticated Dictionaries
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
摘要
Transparency logs allow users to audit a potentially malicious service, paving the way towards a more accountable Internet. For example, Certificate Transparency (CT) enables domain owners to audit Certificate Authorities (CAs) and detect impersonation attacks. Yet, to achieve their full potential, transparency logs must be bandwidth-efficient when queried by users. Specifically, everyone should be able to efficiently look up log entries by their key and efficiently verify that the log remains append-only. Unfortunately, without additional trust assumptions, current transparency logs cannot provide both small-sized lookup proofs and small-sized append-only proofs. In fact, one of the proofs always requires bandwidth linear in the size of the log, making it expensive for everyone to query the log. In this paper, we address this gap with a new primitive called an append-only authenticated dictionary (AAD). Our construction is the first to achieve (poly)logarithmic size for both proof types and helps reduce bandwidth consumption in transparency logs. This comes at the cost of increased append times and high memory usage, both of which remain to be improved to make practical deployment possible. CCS CONCEPTS • Security and privacy → Key management; • Theory of computation → Cryptographic primitives; Data structures design and analysis.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper12
- Merkle2: A Low-Latency Transparency Log SystemYuncong Hu, Kian Hooshmand, Harika Kalidhindi, Seung Jin Yang 等S&P 2021 · 被引用 51 次
- SafetyPin: Encrypted Backups with Human-Memorable SecretsEmma Dauterman, Henry Corrigan-Gibbs, David MazièresOSDI 2020 · 被引用 22 次
- Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear AccumulatorsShravan Srinivasan, Ioanna Karantaidou, Foteini Baldimtsi, Charalampos PapamanthouCCS 2022 · 被引用 21 次
- RHINE: Robust and High-performance Internet Naming with E2E AuthenticityHuayi Duan, Rubén Fischer, Jie Lou, Si Liu 等NSDI 2023 · 被引用 12 次
- Notus: Dynamic Proofs of Liabilities from Zero-knowledge RSA AccumulatorsJiajun Xin, Arman Haghighi, Xiangan Tian, Dimitrios PapadopoulosUSENIX Security 2024 · 被引用 11 次
它引用的顶会 Paper9
- Bulletproofs: Short Proofs for Confidential Transactions and MoreBenedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra 等S&P 2018 · 被引用 1,285 次
- Doubly-Efficient zkSNARKs Without Trusted SetupRiad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler 等S&P 2018 · 被引用 356 次
- Ligero: Lightweight Sublinear Arguments Without a Trusted SetupScott Ames, Carmit Hazay, Yuval Ishai, Muthuramakrishnan VenkitasubramaniamCCS 2017 · 被引用 338 次
- Keeping Authorities "Honest or Bust" with Decentralized Witness CosigningEwa Syta, Iulia Tamas, Dylan Visher, David Isaac Wolinsky 等S&P 2016 · 被引用 285 次
- DIZK: A Distributed Zero Knowledge Proof SystemHoward Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa 等USENIX Security 2018 · 被引用 152 次
相关 Paper
- Certificate Transparency in the Wild: Exploring the Reliability of MonitorsBingyu Li, Jingqiang Lin, Fengjun Li, Qiongxiao Wang 等CCS 2019 · 被引用 45 次
- SoK: Cryptographic Authenticated DictionariesHarjasleen Malvai, Francesca Falzon, Andrew Zitek-Estrada, Sarah Meiklejohn 等NDSS 2026 · 被引用 2 次
- GlassDB: An Efficient Verifiable Ledger Database System Through TransparencyCong Yue, Tien Tuan Anh Dinh, Zhongle Xie, Meihui Zhang 等VLDB 2023 · 被引用 26 次
- Accountability in Certificate Transparency and VariantsTimo Treitz, Robert KünnemannCCS 2026
- Transparency Overlays and ApplicationsMelissa Chase, Sarah MeiklejohnCCS 2016 · 被引用 58 次
