Machine learningCryptographic proof systems
zk-SNARK
zk-SNARK（零知识简洁非交互式论证知识）是一种密码学证明系统，它允许证明者在不泄露除陈述有效性之外的任何信息的情况下，让验证者相信某个陈述是真实的。该缩写描述了其关键特性：它不需要交互，证明简洁（succinct），且验证高效。zk-SNARKs因其在Zcash加密货币中的应用而广为人知，但此后也被用于区块链扩容解决方案、隐私保护计算和可验证计算。
阅读完整方法
仅限会员
登录使用免费账户登录即可阅读本节。
Method map
The neighbourhood of related methods — select a node to explore.
来源
- Ben-Sasson, E., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., & Virza, M. (2014). Zerocash: Decentralized Anonymous Payments from Bitcoin. In IEEE Symposium on Security and Privacy (SP), pp. 459-474. DOI: 10.1109/SP.2014.36 ↗
- Bünz, B., Bootle, J., Boneh, D., Poelstra, A., Wuille, P., & Maxwell, G. (2018). Bulletproofs: Short proofs for confidential transactions and more. In IEEE S&P 2018, pp. 315-334. DOI: 10.1109/SP.2018.00020 ↗
如何引用本页
ScholarGate. (2026, June 3). Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. ScholarGate. https://scholargate.app/zh/cryptography/zk-snark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
Compare side by side →