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 并不知道输入的原始密码是多少。这一机制的好处是证明过程完全公开,可验证,而缺点是需要耗费更多的算力来生成证明。