小结
本文介绍了证明系统的定义 ， 并讨论了证明系统的各类性质 ， 重点讨论了“零知识性”、“知识证明”、“简洁性”和“非交互性” ， 解释了如何用模拟器来定义零知识性 ， 以及用提取器来定义知识性证明 。 最后 ， 文章讨论并比较了 SNARK 和 STARK 。
【带你一文了解零知识证明】 参考资

1. Goldreich. Foundations of Cryptography, Volume 1. Basic Tools. 2001.
2. ZKProof Community. ZKProof Community Reference. 2019. https://docs.zkproof.org/reference.pdf
3. Yehuda Lindell. How To Simulate It – A Tutorial on the Simulation Proof Technique. 2018.
4. Eli Ben-Sasson. A Cambrian Explosion of Crypto Proofs. https://nakamoto.com/cambrian-explosion-of-crypto-proofs/

• 中关村在线长江存储SSD知识科普 一文读懂精髓所在
• 太平洋电脑网一定要买顶级5G旗舰？这些轻旗舰手机了解一下！
• 你稀罕 美团买单额度具有隐藏的提现功能吗？，一起了解美团月付（买单）额度怎么申请
• 东东带你看娱乐|蔡依林演唱会新造型深V开到肚脐，声称：40岁是个很棒的年纪
• 一文读懂Arbitrum Rollup的工作原理
• 虎哥说衣不二|秋冬怎么穿才时髦有型？韩系穿搭了解一下，轻松帮你化身潮酷达人
• 今日带你认识PS“焦点区域”选择工具
• 生活知妙趣奔走相告，支付宝放大招，借呗有新涨额方式，你了解吗？
• 小女子不材|少年时代徐玄不再是懵懂少女！10件事带你认识摆脱花瓶称号的徐玄
• 自动化|从985大学机械制造及自动化退学复读好吗？你真的了解这个专业吗？