方法对比
并排查看您选择的方法；存在差异的行会高亮显示。
| zk-SNARK× | zk-STARK× | |
|---|---|---|
| 领域 | 密码学 | 密码学 |
| 方法族 | Machine learning | Machine learning |
| 起源年份≠ | 2014 | 2018 |
| 提出者 | Eli Ben-Sasson | Eli Ben-Sasson |
| 类型≠ | zero-knowledge argument of knowledge | transparent zero-knowledge argument of knowledge |
| 开创性文献≠ | 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 ↗ | Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗ |
| 别名 | zk-SNARK, zero-knowledge proof, SNARK | zk-STARK, transparent argument of knowledge, STARK |
| 相关 | 3 | 3 |
| 摘要≠ | A zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) is a cryptographic proof system that allows a prover to convince a verifier that a statement is true without revealing any information beyond the statement's validity. The acronym describes its key properties: it requires no interaction, proofs are short (succinct), and verification is efficient. zk-SNARKs were popularized by their application in the Zcash cryptocurrency but have since found use in blockchain scaling solutions, privacy-preserving computations, and verifiable computing. | A zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) is a cryptographic proof system allowing a prover to convince a verifier of a computation's correctness without trusted setup or revealing computational details. Introduced by Ben-Sasson and colleagues in 2018, zk-STARKs address a key limitation of zk-SNARKs: they require no preprocessing phase vulnerable to corruption. Instead, STARKs rely only on cryptographic hash functions, making them simpler, more transparent, and believed to be post-quantum secure. |
| ScholarGate数据集 ↗ |
|
|