面向区块链的保证数据源认证的zk-SNARK方案
A zk-SNARK Scheme for Ensuring Authentication of Data Source in Blockchain
DOI: 10.12677/csa.2025.154098, PDF,   
作者: 司浩然, 岳笑含：沈阳工业大学信息科学与工程学院，辽宁 沈阳
关键词: 零知识证明；区块链；Gas；Zero-Knowledge Proof； Blockchain； Gas
摘要: 现有区块链交易通常使用加密货币作为抵押物并进行链上交易，但由于加密货币的波动性，面临清算风险。本文旨在区块链与链下资产的融合，降低区块链交易风险，并提出一种基于零知识证明的密码学方案，将链下资产绑定到链上交易作为抵押物。该方案在支持区块链交易的同时，确保数据隐私性、数据源认证和低Gas消耗。在性能方面，我们对所提方案进行了功能分析和实验评估，研究了不同实体在各个阶段产生的计算成本。实验结果表明，该方案在功能上可行，并且计算效率较高。综上，该方案为区块链交易提供了一种安全且高效的基于零知识证明的解决方案。
Abstract: Existing blockchain transactions typically use cryptocurrencies as collateral for on-chain trading. However, the volatility of cryptocurrencies exposes these transactions to significant liquidation risks. This paper aims to integrate blockchain with off-chain assets to mitigate such risks and proposes a cryptographic scheme based on zero-knowledge proofs that links off-chain assets to on-chain transactions as collateral. The proposed scheme enables secure blockchain transactions while ensuring data privacy, authentication of data sources, and low gas cost. From a performance perspective, this paper conducts a functional analysis and experimental evaluation, assessing the computational costs incurred by different entities at various stages. Experimental results demonstrate that the scheme is both functionally viable and computationally efficient. In conclusion, this work presents a secure and efficient zero-knowledge-proof-based solution for blockchain transactions.
文章引用：司浩然, 岳笑含. 面向区块链的保证数据源认证的zk-SNARK方案[J]. 计算机科学与应用, 2025, 15(4): 260-265. https://doi.org/10.12677/csa.2025.154098

参考文献

[1] Jensen, J., Von Wachter, V. and Ross, O. (2021) An Introduction to Decentralized Finance (Defi). Complex Systems Informatics and Modeling Quarterly, No. 26, 46-54. [Google Scholar] [CrossRef] 
[2] Schueffel, P. (2021) Defi: Decentralized Finance—An Introduction and Overview. Journal of Innovation Management, 9, 1-11. [Google Scholar] [CrossRef] 
[3] Gupta, A., Rathod, J., Patel, D., Bothra, J., Shanbhag, S. and Bhalerao, T. (2020) Tokenization of Real Estate Using Blockchain Technology. Applied Cryptography and Network Security Workshops, Rome, 19-22 October 2020, 77-90. [Google Scholar] [CrossRef] 
[4] Masla, N., Vyas, V., Gautam, J., Shaw, R.N. and Ghosh, A. (2021) Reduction in Gas Cost for Blockchain Enabled Smart Contract. 2021 IEEE 4th International Conference on Computing, Power and Communication Technologies (GUCON), Kuala Lumpur, 24-26 September 2021, 1-6. [Google Scholar] [CrossRef] 
[5] Groth, J. (2016) On the Size of Pairing-Based Non-Interactive Arguments. Advances in Cryptology-EUROCRYPT 2016: 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, 8-12 May 2016, 305-326. [Google Scholar] [CrossRef] 
[6] Parno, B., Howell, J., Gentry, C. and Raykova, M. (2016) Pinocchio: Nearly Practical Verifiable Computation. Communications of the ACM, 59, 103-112. [Google Scholar] [CrossRef] 
[7] Miller, P.S. and Smart, T.G. (2010) Binding, Activation and Modulation of Cys-Loop Receptors. Trends in Pharmacological Sciences, 31, 161-174. [Google Scholar] [CrossRef] [PubMed]
[8] Boneh, D. and Boyen, X. (2004) Short Signatures without Random Oracles. In: International Conference on the Theory and Applications of Cryptographic Techniques, Springer, 56-73. [Google Scholar] [CrossRef] 
[9] GitHub (2024) Ackworks.
https://github.com/arkworks-rs
[10] Backes, M., Barbosa, M., Fiore, D. and Reischuk, R.M. (2015) ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. 2015 IEEE Symposium on Security and Privacy, San Jose, 17-21 May 2015, 271-286. [Google Scholar] [CrossRef]