Synonyms:
零知识可扩展透明知识论证, Zero-Knowledge Scalable Transparent Argument of Knowledge
零知识证明（Zero-Knowledge Proof，简称 ZKP）是一种密码学技术。它允许证明者在不泄露具体内容的情况下，向验证者证明某个陈述是正确的。该技术多被应用于隐私保护、身份验证、ZK Rollup、投票系统等场景中。零知识简洁非交互知识论证（zk-SNARK）是一种高效的零知识证明形式。其特点是证明体积小、验证速度快且无需证明者与验证者之间进行多轮交互。
而零知识可扩展透明知识论证（zk-STARK）则是由 StarkWare 团队提出的，对 zk-SNARK 的一种改进方案。该方案主要在可扩展性、透明性和安全性方面进行了优化，使其可以处理大规模的计算场景。
举个例子：
A 对 B 说：我知道保险箱的密码是多少，但是我是不会直接告诉你的。
B：什么？我不信。除非你证明给我看。
A：好的。
随后，A 当场使用了一种公开的算法对密码进行加密，并将生成的证明发送给 B 看。B 收到证明后，可以验证这个运算的逻辑是否正确，从而相信，A 的确是真的运行了这个算法，且结果正确。但是 B 并不知道输入的原始密码是多少。这一机制的好处是证明过程完全公开，可验证，而缺点是需要耗费更多的算力来生成证明。
