报告

zkLedger++:一种增强型的可审计隐私保护账本

摘要

如何兼顾交易的可验证性和隐私保护,是区块链技术面临的重要挑战。由MIT Media Lab设计的zkLedger,是世界上第一个能同时保护交易隐私并提供快速审计和监管的加密公共账本系统。在zkLedger的基础上,本报告提出了一种名为zkLedger++的可审计隐私保护账本技术,对zkLedger进行了增强,可以通过较小的性能代价有效解决zkLedger面临的安全问题。zkLedger++是可供银行、证券等行业构建具有隐私保护能力且可进行外部审计的集中式或分布式账本。

作者

朱立
Zhu Li

参考文献 查看全部 ↓
  • [1]Nakamoto,S.,Bitcoin,A.,“A peer-to-peer electronic cash system,”[Online],available:https://bitcoin.org/bitcoin.pdf,2008.
  • [2]Merkle,R.C.,“Protocols for public key cryptosystems.In:1980 IEEE Symposium on Security and Privacy,” Oakland,USA:IEEE,1980,122-122.
  • [3]Castro,M.,Liskov,B.,“Practical Byzantine fault tolerance and proactive recovery,” ACM Transactions on Computer Systems,2002,20(4):398-461.
  • [4]Yin,M.,Malkhi,D.,Reiter,M.K.,Golan,G.,Abraham,I.,“HotStuff:BFT Consensus with Linearity and Responsiveness,” In:Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,Toronto,Canada:ACM,2019,347-356.
  • [5]Narayanan,A.,Bonneau,J.,Felten,E.,et al.,Bitcoin and cryptocurrency technologies:A comprehensive introduction,Princeton:Princeton University Press,2016,15-26.
  • [6]Duffield,E.,Diaz,D.,“Dash:A privacycentric cryptocurrency,”[Online],available:https://www.whitepapertracker.com/wp/Dash/Dash_whitepaper. pdf,2015.
  • [7]Noether,S.,Mackenzie,A.,“Ring confidential transactions,” Ledger,2016,1:1-18.
  • [8]Sasson,E.B.,Chiesa,A.,Garman,C.,et al.,“Zerocash:Decentralized anonymous payments from bitcoin,” In:2014 IEEE Symposium on Security and Privacy,San Jose,USA:IEEE,2014,459-474.
  • [9]Bünz,B.,Agrawal,S.,Zamani,M.,et al.,“Zether:Towards Privacy in a Smart Contract World,” IACR Cryptology ePrint Archive,2019,191.
  • [10]Jedusor,T.E.,“Mimblewimble,”[Online],available:https://download. wpsoftware.net/bitcoin/wizardry/mimblewimble.txt,2016.
  • [11]Nicolas,S.,“CryptoNote v 2.0,”[Online],available:https://cryptonote. org/whitepaper.pdf,2018.
  • [12]Pedersen,T.P.,“Non-interactive and information-theoretic secure verifiable secret sharing,” In:Annual international cryptology conference,Santa Barbara,USA:Springer,1991,129-140.
  • [13]Ben,S.E.,Chiesa,A.,Genkin,D.,et al.,“SNARKs for C:Verifying program executions succinctly and in zero knowledge,” In:Annual cryptology conference,Santa Barbara,USA:Springer,2013,90-108.
  • [14]Lie,H.Z.,Feng,G.,Meng,S.,et al.,“Survey on Privacy Preserving Techniques for Blockchain Technology,” Journal of Computer Research and Development,2017,54(10):21-70.
  • [15]Maller,M.,Bowe,S.,Kohlweiss,M.,et al.,“Sonic:Zero-knowledge SNARKs from linear-size universal and updatable structured reference strings,” In:Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,London,UK:ACM,2019,2111-2128.
  • [16]Ben,S.E.,Bentov,I.,Horesh,Y.,et al.,“Scalable,transparent,and post-quantum secure computational integrity,” IACR Cryptology ePrint Archive,2018,46.
  • [17]Wahby,R.S.,Tzialla,I.,Shelat,A.,et al.,“Doubly-Efficient zkSNARKs Without Trusted Setup,” In:2018 IEEE Symposium on Security and Privacy,San Francisco,USA:IEEE,2018,926-943.
  • [18]Bünz,B.,Bootle,J.,Boneh,D.,et al.,“Bulletproofs:Short proofs for confidential transactions and more,” In:2018 IEEE Symposium on Security and Privacy,San Francisco,USA:IEEE,2018,315-334.
  • [19]Neha,N.,Willy,V.,Madars,V.,“zkLedger:Privacy-preserving auditing for distributed ledgers,” In:15th USENIX Symposium on Networked Systems Design and Implementation,Renton,USA:USENIX,2018,65-80.
  • [20]Cramer,R.,Damgård,I.,Schoenmakers,B.,“Proofs of partial knowledge and simplified design of witness hiding protocols,” In:Annual International Cryptology Conference,Santa Barbara,USA:Springer,1994,174-187.
  • [21]Alberto Centelles,Gabe Dijkstra,“Extending zkLedger with private swaps,”[Online],available:https://cdn2.hubspot.net/hubfs/6034488/privateledger. pdf,2019.
  • [22]C.Lin,D.He,X.Huang,M.K.Khan and K.R.Choo,“DCAP:A Secure and Efficient Decentralized Conditional Anonymous Payment System Based on Blockchain,” in IEEE Transactions on Information Forensics and Security,vol.15,pp.2440-2452,2020.
  • [23]Hui Kang,Ting Dai,Nerla Jean-Louis,Shu Tao,Xiaohui Gu,“FabZK:Supporting Privacy-Preserving,Auditable Smart Contracts in Hyperledger Fabric,”[Online],available:http://dance.csc.ncsu.edu/papers/DSN19.pdf.

zkLedger++:一种增强型的可审计隐私保护账本

可试读20%内容 PDF阅读 阅读器阅览

试读已结束,剩余80%未读

¥9.68 查看全文 >

VIP免费

报告目录

  • (一)zkLedger设计回顾
    1. 1.业务模型
    2. 2.安全目标
    3. 3.威胁模型
    4. 4.算法描述
  • (二)存在的问题
    1. 1.被忽略的攻击手段
    2. 2.攻击后果一:无法正常审计
    3. 3.攻击后果二:无法正常转账
  • (三)zkLedger++:解决上述问题的隐私保护账本方案
    1. 1.简单的修正方案
    2. 2.完善的解决方案
    3. 3.对算法2′正确性的解释及性能分析
  • (四)总结
  • 附录A 对算法2析取证明的解释
  • 附录B d-of-n的通用析取证明

报告图片/图表

查看更多>>>