SilentLedger: 面向区块链的隐私保护审计及其完全非交互性
密码学与安全
2025-09-11 v1
摘要
隐私保护区块链系统对于保护交易数据至关重要，但它们还必须提供可审计性，使审计员在必要时能够恢复参与者身份和交易金额。现有的设计往往牺牲审计与交易的独立性，引入额外的交互，从而损害可用性和可扩展性。此外，许多可审计方案依赖于审计员充当验证者或记录节点，这给数据安全和系统可靠性带来风险。为了克服这些挑战，我们提出了SilentLedger，一个具有审计功能和完全非交互性的隐私保护交易系统。为了支持授权的公开验证，我们引入了一种具有形式语义和严格安全模型的可续期匿名证书方案。SilentLedger进一步采用基于成熟密码学原语构建的可追溯交易机制，使用户无需交互即可进行交易，同时使审计员仅凭链上数据即可执行审计。我们对真实性、匿名性、机密性和健全性等安全性质进行了形式化证明，提供了具体实现，并在标准2-2交易模型下评估了性能。我们的实现和基准测试表明SilentLedger在性能上优于现有最先进的方案。
引用
@article{arxiv.2509.08722,
title = {SilentLedger: Privacy-Preserving Auditing for Blockchains with Complete Non-Interactivity},
author = {Zihan Liu and Xiaohu Wang and Chao Lin and Minghui Xu and Debiao He and Xinyi Huang},
journal= {arXiv preprint arXiv:2509.08722},
year = {2025}
}