zk-SNARKs 在隐私保护中能做什么,不能做什么? 作者:Vitalik Buterin 原文标题:《Some ways to use ZK-SNARKs for privacy》 ZK-SNARK 是一种强大的加密工具,它在区块链和区块链以外构建的应用程序中变成日益重要的一部分。但它们是复杂的,无论是从它们的工作原理,还是从我们如何使用它的角度来看,都是复杂的。 这篇文章将关注 ZK-SNARK 如何适应现有的应用程序,有哪些例子说明它们能做什么,不能做什么,以及有哪些通用的指导方针来判断 ZK-SNARK 是否适合某些特定的应用程序。 这篇文章特别关注 ZK-SNARK 在保护隐私中的应用。ZK-SNARK 是做什么的?假设有一个公共输入 x,一个私有输入 w,和一个 (公共) 函数 f (x,w)→{True,False},其会对输入执行某种验证。使用 ZK-SNARK,就可以证明你知道一个 w,对于某些给定的 f 和 x,f (x,w)=True,在此过程中不用透露 w 到底是什么。另外,验证者可以更快地验证证明,这比他们自己计算 f (x,w) 要快得多,就算他们知...