Verifiable Zero-Knowledge Order Queries and Updates for Fully Dynamic Lists and Trees

被引:5
|
作者
Ghosh, Esha [1 ]
Goodrich, Michael T. [2 ]
Ohrimenko, Olga [3 ]
Tamassia, Roberto [1 ]
机构
[1] Brown Univ, Dept Comp Sci, Providence, RI 02912 USA
[2] Univ Calif Irvine, Dept Comp Sci, Irvine, CA USA
[3] Microsoft Res, Cambridge, England
基金
美国国家科学基金会;
关键词
REDACTABLE SIGNATURES; COMMITMENTS; SETS;
D O I
10.1007/978-3-319-44618-9_12
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We propose a three-party model for maintaining a dynamic data structure that supports verifiable and privacy-preserving (zeroknowledge) queries. We give efficient constructions supporting this model for order queries on data organized in lists, trees, and partially-ordered sets of bounded dimension.
引用
收藏
页码:216 / 236
页数:21
相关论文
共 30 条
  • [1] Scaling Zero-Knowledge to Verifiable Databases
    Derei, Tal
    Aulenbach, Benjamin
    Carolino, Victor
    Geren, Caleb
    Kaufman, Michael
    Klein, Jon
    Shantho, Rishad Islam
    Korth, Henry F.
    [J]. PROCEEDINGS OF 1ST WORKSHOP ON VERIFIABLE DATABASE SYSTEMS, VDBS 2023, 2023, : 1 - 9
  • [2] PUBLICLY VERIFIABLE NONINTERACTIVE ZERO-KNOWLEDGE PROOFS
    LAPIDOT, D
    SHAMIR, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 537 : 353 - 365
  • [3] ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
    Li, Xiling
    Weng, Chenkai
    Xu, Yongxin
    Wang, Xiao
    Rogers, Jennie
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2023, 16 (08): : 1804 - 1816
  • [4] Verifiable Arbitrary Queries With Zero Knowledge Confidentiality in Decentralized Storage
    Wang, Haodi
    Guo, Yu
    Bie, Rongfang
    Jia, Xiaohua
    [J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2024, 19 : 1071 - 1085
  • [5] Ensuring the Big Data Integrity Through Verifiable Zero-Knowledge Operations
    Aleksandrova, Elena B.
    Poltavtseva, Maria A.
    Shmatov, Vadim S.
    [J]. MOBILE INTERNET SECURITY, MOBISEC 2021, 2022, 1544 : 211 - 221
  • [6] ZAC: Efficient Zero-Knowledge Dynamic Universal Accumulator and Application to Zero-Knowledge Elementary Database
    Dang, Hai-Van
    Phuong, Tran Viet Xuan
    Nguyen, Thuc D.
    Hoang, Thang
    [J]. 2022 IEEE 4TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA, 2022, : 248 - 257
  • [7] zkBeacon: Proven Randomness Beacon based on Zero-knowledge Verifiable Computation
    Lavaur, Thomas
    Lacan, Jerome
    [J]. SECRYPT : PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, 2022, : 406 - 414
  • [8] Curve Trees: Practical and Transparent Zero-Knowledge Accumulators
    Campanelli, Matteo
    Hall-Andersen, Mathias
    Kamp, Simon Holmgaard
    [J]. PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 4391 - 4408
  • [9] Secure and Verifiable Data Collaboration with Low-Cost Zero-Knowledge Proofs
    Zhu, Yizheng
    Wu, Yuncheng
    Luo, Zhaojing
    Ooi, Beng Chin
    Xiao, Xiaokui
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2024, 17 (09): : 2321 - 2334
  • [10] MLS Group Messaging: How Zero-Knowledge Can Secure Updates
    Devigne, Julien
    Duguey, Celine
    Fouque, Pierre-Alain
    [J]. COMPUTER SECURITY - ESORICS 2021, PT II, 2021, 12973 : 587 - 607