Zero-knowledge proofs of retrievability

被引:0
|
作者
AHN Gail-Joon [1 ]
机构
[1] School of Computing Informatics and Decision Systems Engineering Arizona State University
基金
中国国家自然科学基金; 美国国家科学基金会;
关键词
cryptography; integrity of outsourced data; proofs of retrievability; interactive protocol; zero-; knowledge; soundness; rewindable knowledge extractor;
D O I
暂无
中图分类号
TP309.3 [数据备份与恢复];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
Proof of retrievability (POR) is a technique for ensuring the integrity of data in outsourced storage services.In this paper,we address the construction of POR protocol on the standard model of interactive proof systems.We propose the first interactive POR scheme to prevent the fraudulence of prover and the leakage of verified data.We also give full proofs of soundness and zero-knowledge properties by constructing a polynomial-time rewindable knowledge extractor under the computational Diffie-Hellman assumption.In particular,the verification process of this scheme requires a low,constant amount of overhead,which minimizes communication complexity.
引用
收藏
页码:1608 / 1617
页数:10
相关论文
共 50 条
  • [41] Distributed Zero-Knowledge Proofs Over Networks
    Bick, Aviv
    Kol, Gillat
    Oshman, Rotem
    PROCEEDINGS OF THE 2022 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2022, : 2426 - 2458
  • [42] An Introduction to Zero-Knowledge Proofs in Blockchains and Economics
    Berentsen, Aleksander
    Lenzi, Jeremias
    Nyffenegger, Remo
    FEDERAL RESERVE BANK OF ST LOUIS REVIEW, 2023, 105 (04): : 280 - 294
  • [43] Physical Zero-Knowledge Proofs for Five Cells
    Ruangwises, Suthee
    PROGRESS IN CRYPTOLOGY, LATINCRYPT 2023, 2023, 14168 : 315 - 330
  • [44] Zero-Knowledge Proofs via Polynomial Representations
    Di Crescenzo, Giovanni
    Fedyukovych, Vadym
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 335 - 347
  • [45] Practical Zero-Knowledge Proofs for Circuit Evaluation
    Ghadafi, Essam
    Smart, Nigel P.
    Warinschi, Bogdan
    CRYPTOGRAPHY AND CODING, PROCEEDINGS, 2009, 5921 : 469 - 494
  • [46] ZPiE: Zero-Knowledge Proofs in Embedded Systems
    Salleras, Xavier
    Daza, Vanesa
    MATHEMATICS, 2021, 9 (20)
  • [47] Round-optimal zero-knowledge proofs of knowledge for NP
    Li HongDa
    Feng DengGuo
    Li Bao
    Xue HaiXia
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (11) : 2473 - 2484
  • [48] Round-optimal zero-knowledge proofs of knowledge for NP
    LI HongDa1
    2State Key Lab of Information Security
    Science China(Information Sciences), 2012, 55 (11) : 2473 - 2484
  • [49] A Note on Constant-Round Zero-Knowledge Proofs of Knowledge
    Lindell, Yehuda
    JOURNAL OF CRYPTOLOGY, 2013, 26 (04) : 638 - 654
  • [50] Round-optimal zero-knowledge proofs of knowledge for NP
    HongDa Li
    DengGuo Feng
    Bao Li
    HaiXia Xue
    Science China Information Sciences, 2012, 55 : 2473 - 2484