Machine learningCryptographic proof systems
zk-STARK
zk-STARK（零知识可扩展透明知识论证）是一种密码学证明系统，允许证明者向验证者证明计算的正确性，而无需可信设置或透露计算细节。zk-STARK由Ben-Sasson及其同事于2018年提出，解决了zk-SNARKs的一个关键局限性：它们不需要易受腐败攻击的预处理阶段。相反，STARKs仅依赖于密码哈希函数，这使得它们更简单、更透明，并被认为具有后量子安全性。
阅读完整方法
仅限会员
登录使用免费账户登录即可阅读本节。
方法图谱
相关方法的邻域——选择一个节点以展开探索。
来源
- 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 ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
如何引用本页
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/zh/cryptography/zk-stark
选用哪种方法？
将本方法与其最相近的同类并置，并排研读——本馆将书籍铺陈于案上，取舍则由您定夺。
并排比较 →