轻松读懂零知识魔法

零知识证明是魔法

零知识证明是一种魔法。它能让我们做到以前想都不敢想的事情。

首先,让我引用几句名言来刺激你的大脑。有些可能是你耳熟能详的,有些可能是你第一次听说。

神奇的技术、不断进步的文明、简短的文字、隐私以及已经到来的未来。这就是零知识证明。这是怎么回事?

上个世纪,计算机和互联网席卷了整个世界。这些技术无处不在,我们所做的一切都离不开它们,无论好坏。在此基础上,我们建立了平台、公司和巨头。这些就像你的MAMAA。然后是巨头的腹部--支付网络、政府服务和大量的B2B应用程序,它们默默地运行着这个世界。最后,还有一条长尾应用--可爱的滤镜图片应用、语言学习平台或在线社区。

当你向另一个在线服务输入数据时,你期望实现一个特定小目标,比如联系朋友,或者是申请抵押贷款这样的大目标。但所有这些数据会发生什么变化呢?还有你不知道的冰山一角的隐藏数据。

谁真正了解这些系统以及我们如何使用它们的后果?反过来,它们又是如何利用我们的?虽然有些人可能比其他人更了解某些系统,但没有人了解所有系统,更不可能了解它们是如何相互作用产生不可预见的后果的。

人类该怎么办?信任,但你相信谁呢?

这是一个难题。我们人类的大脑还没有进化到可以思考这个问题的程度。互联网虽然能把我们联系在一起,让事情变得更简单,但也在这方面却造成了一些混乱。过去,当你与人私下交谈时,风会吹走你发出的声音。当你被锁在屋外时,你可以找锁匠,也可以自己撬锁。当你被锁在谷歌账户外,盯着"拒绝访问"的屏幕时,你能怎么办,你正站在一座无形而坚不可摧的城堡前。

ZKP可以帮助你。也许不是任何事情都可以搬到你,也不是此刻。但它可适用于许多事情、许多地方,而且越来越多。在本文的其余部分,我将尝试说服你为什么以及如何做到。让我们跟随魔法的脚步。

什么是零知识证明?

本节将介绍零知识证明的概念

这是关于零知识证明及其应用系列文章的第一篇。我们将介绍什么是零知识证明、为什么你应该关注它、它是如何工作的,以及它的应用场合。

想象一下,你去酒吧,可以证明自己年满18岁,而无需透露任何其他信息,包括带有个人信息的身份证。或者,你可以证明自己正确缴税,而无需向任何人透露你的收入或资产详情。这些都是零知识证明可以实现的。所谓"零知识",简单地说就是我们不会透露任何超出预期的信息。

ZKP可以让你在不透露任何信息的情况下证明某件事情,只需证明该声明是真实的即可。

这意味着什么呢?让我们以经典的"沃尔多在哪里"为例。这个游戏是关于在一幅大图中找到沃尔多。我可以向你证明我知道沃尔多在哪里,而不透露沃尔多的位置。怎么证明?

想象一下,我有一张"沃尔多在哪里"的图片和一张比图片大四倍的大纸。我在纸上开一个小洞,然后把这张纸放在"沃尔多在哪里"图片的前面,小心地摆好位置,这样沃尔多就可以通过小洞看到了。这意味着你可以看到瓦尔多,但只能看到瓦尔多,看不到其他东西。这样,你就知道我知道沃尔多在哪里,但我并没有透露沃尔多在图片中的具体位置。

沃尔多在哪里

这显然只是一个例子,但希望它能给我们一些直观的印象,让我们知道这样的证明是如何实现的。但这意味着我们要更精确地要证明什么?我们接下来会深入探讨这个问题,但现在让我们看看ZKP给我们带来了什么。

有了ZKP,你就能以通用的方式证明任意语句。更具体地说,ZKP能让我们以一种私密而简洁的方式证明一些东西。

这一点非常强大,我们接下来就会看到。

你为什么要关注ZKP?

本节将解释为什么有人会关注ZKP,包括详细介绍隐私、压缩和ZKP的通用性。

读了上面的内容,你可能会想:"好吧,我想这还挺不错的,但我为什么要关心呢?这种想法完全合理。事实上,你可能不应该关心!就像你不应该关心计算机的工作原理、人工智能的发展方向或其他任何事情一样。

为什么你会关心?因为你很好奇,想了解ZKP是如何工作的,以及它能开启哪种类型的交互。这种机制非常普遍,许多在这一领域工作的人的直觉是,从根本上说,它是一种新的范式,可以释放出许多新的东西。我们已经看到了这一点,而且似乎我们才刚刚开始。在本节的其余部分,我将向你介绍一些直观的原因和方法。

ITM Trading分析师:CBDC将允许轻松跟踪用户的资金和消费习惯:金色财经报道,ITM Trading首席市场分析师Lynette Zang表示,由于国会通过的立法,美国银行有权没收人们的资金。在最近的一次采访中,Zang讨论了美元的购买力如何下降到“大约三美分”,她相信中央银行数字货币 (CBDC) 将加强“监督经济”,以及世界经济的不可改变的性质论坛的提议,被称为大重置。Zang就央行数字货币 (CBDC) 的潜在危险发出了警告。她认为,这些数字货币将允许轻松跟踪用户的资金和消费习惯,以及冻结这些资金的能力。Zang将CBDC视为世界经济论坛提议的大重置的一部分。她认为,财富永远不会消失,而只会转移位置,如果一个人不拥有它,其他人就会拥有,你可能什么都没有,但我敢肯定你不会快乐,因为你会租用所有东西。[2023/2/11 12:00:12]

在深入探讨之前,让我们先从更高的层面了解一下ZKP给我们带来了什么。ZKP主要具有以下一种或两种特性:

1.隐私

2.压缩

这两个概念是什么意思?下面是一些思考这些特性的方法。

隐私

有很多事情我们都想保持隐私。下面是《牛津词典》中"隐私"的定义:

只属于一个人或一群人,或仅供他们使用。

我们有私人谈话、私人浴室、隐私部位。商业秘密、敏感的个人信息,在自己家中的隐私:钥匙、门和锁。

隐私是正常的,它就在我们身边。它与自我主权、自决和独立的概念密切相关。这些概念对我们来说是如此自然,以至于许多重要文件,如《美国权利法案》和《联合国宪章》分别将其视为个人和国家的基本权利。隐私是自由的前提。

更正式地说,ZKP的隐私属性通常被称为*零知识*或*数据隐藏*。ZKP隐藏了与某些应用功能无关的数据,然后将被隐藏过这些数据与相关应用数据绑定在一起。这些概念比较正式,可以实现隐私保护。隐私是一个更广泛、更普遍适用的概念,所以我们现在将继续关注这个概念。

在数字世界中,隐私也是至关重要的,但却常常被忽视。以下是《赛博朋克宣言》中对隐私的定义:

隐私是有选择地向世界展示自己的能力by《赛博朋克宣言》

对话、密码、信用卡信息。这些都是我们希望在网上保持隐私的例子。互联网是连接我们所有人的奇妙工具,但它也是一个开放而狂野的海洋。这里有很多陌生人和掠夺者,因此保持某些信息的私密性至关重要。

你可能会想,"我们已经可以将密码等信息保密了,有什么大不了的?在有限的意义上,就这些具体例子而言,你是对的。我们必须发挥更多的想象力,才能真正理解通用的可编程隐私功能。

举个例子,想一想奥古斯丁在他的《忏悔录》(公元400年)中是如何发现主教圣安布罗斯的“默念”行为与众不同的。当时,大多数人都大声朗读。

当朗读时,他的眼睛扫视着书页,他的心在寻找其中的含义,但他的声音是沉默的,他的舌头是静止的。任何人都可以自由地接近他,而客人来访也通常不会事先通知,因此,当我们去拜访他时,经常会发现他就这样静静地读书,因为他从不大声朗读。

默读

如今,每个人都认为默念是理所当然的。我们甚至很难想象,默念是怎样被发明出来的。以前,只为眼睛阅读的想法是陌生的。

在我们的现代,还有哪些类似的发明是可能的?这些都是我们大多数人当前是无法想象的。

在未来的章节中,我们将看到使用ZKP的现有和即将出现的此类发明的模样。

压缩

我把这篇文章写得比平时长,只是因为我没有时间把它缩短,来自布莱斯-帕斯卡

压缩是指“把东西压缩到更小的空间”

同样,简洁的定义是“用几个词清楚地表达某事的行为”

具有压缩特性的ZKP意味着,我们可以用非常简短的语句来证明某事为真。例如,某个计算的所有步骤都已正确执行。这在某些资源需求量大、价格昂贵的情况下最为实用。以太坊区块链就是如此,但在其他情况下,这也是一个非常有用的特性。更难能可贵的是,无论我们要证明的事情有多复杂,这个证明的大小都是一样的!

我们所说的"证明"和"证明的大小"是什么意思?这些都是数学上的精确概念,其中有很多细微差别。在以后的章节中,我们将结合ZKP深入探讨证明的概念。现在,我们可以把它看作是一个我们知道是真的,或者可以通过某种方式验证是真实的简短陈述。

Swing推出软件工具以更轻松地部署跨链解决方案:金色财经报道,去中心化跨链流动性协议Swing推出了一个新的小部件和软件开发工具包 (SDK),以简化跨链加密部署。该项目于周三宣布,Swing的新小部件和SDK支持21个EVM兼容链,包括Ethereum、BNB Chain、Arbitrum和Optimism。Swing还计划扩展到覆盖四个非EVM网络,如Solana和Cosmos。(The Block)[2023/1/18 11:19:24]

福尔摩斯

在典型的侦探小说中,侦探要收集证据,直到能够证明凶手犯下了谋杀罪。然后,他们会在最后的大结局中证明他们是如何知道这一点的。我们可以把最后这句话看作证据。

更正式地说,我们将这一属性称为*简洁性*。无论我们要证明什么,证明的大小都是一样的。就公共区块链而言,这也与可扩展性的概念有关。对于以太坊这样的公共区块链来说,区块空间有限且昂贵,ZKP可以让交易更便宜、更快速。如何做到这一点?我们创建一个证明,证明某些交易已经发生,并将这个微小的证明放在链上,而不是让所有交易占用区块链的空间。有了ZKP,这可以变得非常安全。

简洁性是一种通用属性,与"区块链"无关--只是出于多种原因,它们恰好非常适合。一般来说,简短地证明某事属实是非常有用的。有几种方法可以说明原因。

一种方法是考虑*交易成本*。一般来说,交易成本越低,创造的价值和财富就越多。如果需要验证的事情减少了,或者验证变得更容易了,那么我们就可以更自由、更轻松地做事。

有时,当我们填写表格时,会被要求写两次电子邮件地址,以确认是否正确。这样做的目的是防止人为错误,使数据转账更加稳健。还有像校验和这样的东西,在你的UPS包裹代码、信用卡号或书籍的ISBN代码中多加一个数字,就可以简单地检查所有数字是否正确。显然,所有这些都不是为了防止恶意使用,而只是为了防止无意的错误。

在计算机文件系统中,哈希通常用于确保文件的完整性。如果文件的一小部分发生损坏,哈希值就会完全改变。由于哈希值简洁明了,即使底层文件非常庞大,也很容易保存和检查。在此案例中,哈希函数能以安全的方式确保完整性。如果我们只通过保留文件的副本来检查文件的完整性,那就太不切实际了。大文件、小文件都无所谓,哈希值的大小保持不变。哈希值的简洁性使得这种应用成为可能。

你知道什么?

让我们从压缩、简洁和证明中抽离出来。我们将绕道知识、精神开销和信任。然后,我们将在本节末尾将其与ZKP联系起来。

在日常生活中,你知道什么是真的,为什么?如果你每天都看到太阳升起,那么你很可能会期待它明天再次升起。在现代社会,我们在很大程度上可以免受自然界恶劣环境的影响,但另一方面,我们也有很多其他更现代的担忧。其中许多都与我们日常打交道的各种机构有关。

如果你每天都能从银行提取现金,你是否希望第二天还能再次提取?大多数人可能会说是的,但并不是每个人都能一直这样做。这取决于很多因素:银行是否值得信赖,你是否生活在一个安全的司法管辖区,最近世界经济是否发生了重大事件,你的个人情况如何等等。所有这些因素加在一起构成了一些数据判断点,你可以据此做出判断。

这显然是一个很小的例子,但生活中充满了这样的交互。所有这些都可以看作是一种精神开销。这在多大程度上会引起关注,取决于你的个人情况和日常交易的复杂程度。例如,企业在与另一方签订合约时可能会更多地考虑这些因素。

我们建立了一些机制和规则来应对这种不确定性,比如使用声誉服务、独立审计、罚款以阻止不良行为、寻求一些可信机构的认证等。所有这些措施基本上都是胶带,试图找到问题的关键。某些东西是否如其所言?它是否遵循我们制定的规则?它是否值得信赖和可用?

当你要与多个机构、辖区、公司和人员打交道时,所有这些精神负担都会变得更加沉重。你可能会受到连带影响,比如你的银行倒闭,你无法支付员工工资,从而导致你的企业无法为客户提供服务。需要更多的控制措施。需要更多的停顿来考虑事情是否正确,以及哪些地方会出错。

我引用一段话来结束本节:

文明的进步是通过增加我们不假思索就能完成的操作数量来实现的。来自阿尔弗雷德-诺斯-怀特海

例如,当你点燃炉子做晚饭时,你甚至不用考虑生火的问题。这与拾柴、保持干燥、生火、持续生火这一非常耗时的过程截然不同。在数学方面,如果没有微积分,我们就无法登上月球。

阿波罗11号奥尔德林

有了ZKP和简洁的证明,我们就能为不透明的系统引入更多确定性和清晰度。当我们考虑组合ZKP时,这一点变得更加强大。即以某种方式将多个证明合二为一,如聚合或递归。

YFI核心开发者:ShibaSwap目前是最小可行的版本,所有流动性都可以通过一个地址轻松窃取:yearn.finance(YFI)核心开发者banteg表示,ShibaSwap目前是最小可行的版本,所有流动性都可以通过一个地址轻松窃取,并质疑为什么人们在其中投入了超过1.2亿美元?[2021/7/6 0:31:23]

所有这一切都假定我们可以将上面提到的一些机制或规则转化为ZKP可以理解的形式。我们如何才能做到这一点呢?

通用(General-purpose)

回想一下,ZKP允许我们以通用方式证明任意语句。为什么这很重要?

现有的类似工具和ZKP之间的区别就像计算器和计算机之间的区别。一个是用于非常特殊的任务,而另一个则是通用的。这就是计算器和现代计算机之间的区别:

帕斯卡计算器

回顾我们上面举过的具体例子,可以更具体地说明隐私和简洁性。密码是允许你登录某些服务的隐私信息。对于某些输入数据的哈希值来说,它为我们提供了一个简洁的东西来检查相等性。

我们可以将哈希函数形象化如下:

哈希函数

我们在一些已知输入数据上应用特定的哈希函数,如SHA256。例如,使用句子敏捷的棕狐狸会跳过懒惰的狗作为输入,并应用SHA256哈希函数,结果是哈希值d7a8fbb307d7809469ca9abcb0082e4f8d5651e46d3cdb762d02d0bf37c9e592。在句末添加一个.,就会得到完全不同的哈希值:敏捷的棕狐狸会跳过懒惰的狗.散列值为ef537f25c895bfa782526529a9b63d97aa631564d5d789c2b765448c8635fb6c。

尽管句子只改变了一点点,但得到的哈希值却大相径庭。安全的哈希函数很难被"破解",而且具有一些很好的特性。例如,如果掌握了哈希值,就无法创建新的初始输入。此外,你也无法轻易构造出一个散列为特定、预定散列值的信息。这些哈希函数被称为*加密哈希函数*。

我们上面使用的SHA256哈希函数是一种特定的加密哈希函数,它的安全需要大量时间和许多人的努力。哈希值本身并不能证明什么。它只有在与其他东西进行比较时才有意义。

非正式地讲,我们可以把哈希函数看作是证明某些特定信息对应于特定哈希值的证据。我们只能用原始信息来验证这一点。有时,人们会用哈希函数来证明自己写了什么并进行预测--他们写道:"2040年4月1日,外星人将降落在伦敦大本钟顶端,彩票号码25742069将中大奖。"然后提前公开发布这条信息的哈希值,比如在Twitter上。当事实证明他们是对的时候,他们就可以公开原始信息,让人们相信他们确实预测了未来,是下一个诺斯特拉达穆斯。

相比之下,我们可以将ZKP形象化如下:

ZKP

与上面的哈希函数不同,ZKP有几个很大的不同点:

我们有多个隐私和公共输入,而不是只有一个输入

我们可以使用任何程序,而不仅仅是加密哈希函数

我们能生成可验证及自足证明

在上面的哈希函数示例中,我们需要公共输入,以便验证信息是否与散列一致。

对于ZKP,我们也可以使用隐私输入。隐私输入是指只有你能看到的输入。也就是说,你不需要把它透露给任何人,就能生成证明。

例如,在本文开头的"沃尔多在哪里"案例中,公共输入是"沃尔多在哪里"的图片。隐私输入则是Waldo的实际位置。我可以证明我知道沃尔多在哪里,而无需向你透露隐私输入,即沃尔多的位置。

同样,如果我有一个数独谜题,我可以向你证明我知道谜题的解法,而不向你透露解法。在此案例中,公共输入是初始谜题,隐私输入是谜题的解答。

你可能已经注意到,"沃尔多在哪里"和解数独谜题是两个完全不同的问题。然而,我们可以编写一个简单的程序来表达这两个问题的工作原理,并使用ZKP进行证明。这是因为这个特殊程序中的逻辑是通用的,可以计算计算机所能计算的任何东西。

我们把原本属于密码学或数学的问题--定义加密哈希函数并使其安全--变成了编程问题。要想知道这为什么如此强大,请看下面的一些例子。

机构分析:比特币可能轻松下探27199美元的关键回撤位:比特币周三的狂野走势可能刷走了很多多头仓位,但技术图形显示,这个数字货币还有不少下行空间。关键回撤位表明,比特币的下一个关键支撑位可能比周三盘中低点还要低约10%。这个水平对应27199.54美元,是疫情初期低位到今年4月高点整个涨势的38.2%斐波纳契回撤位。在此之前,30000美元的心理关口应该会提供一些支撑,但跌破该水平可能会吸引更多的动量抛盘,从而测试1月低点28019美元,27199美元也近在咫尺。 (金十)[2021/5/20 22:23:27]

我们现在可以证明,我们知道产生某个哈希值的隐私数据。这就意味着,你可以在不泄露信息本身的情况下,证明你掌握了某条信息,比如一份重要文件。

为了更好地理解通用计算的强大功能,让我们来详细了解一下群签名。群签名是一群人共同签署一份文件的方式,但不会暴露他们的身份。例如,《联邦党人文集》就是由代表多个个人的化名Publius签署的。就像SHA256哈希函数一样,有一种方法可以用密码学和数学来表达群签名。这非常了不起,需要大量的密码工程技术才能开发出来。但有了通用ZKP,任何人都可以用几十行Circom代码来表达同样的内容。

由于其通用性,我们可以很容易地进行特别构造。例如,你可能有一张身份证,上面有你的全名、地址和其他个人信息。要参加某个活动,你可能需要年满18岁并持有有效门票。你可能不希望随便一个人或在线系统看到你的地址,或冒着身份证被盗的风险。有了ZKP,你就可以证明这一点:

你持有有效身份证件

该身份证在过去5年内由认可机构签发

身份证最近未被吊销或报失

年满18周岁

你已购买有效的活动门票

门票之前未被使用过

除上述情况外,不透露你的任何其他信息。

有了ZKP,我们现在就有了一个好的工具,可以让人们以各种方式进行协调,尤其是在需要隐私和简洁的系统中。我们将在应用部分看到更多的例子。

很多时候,你的想象力才是你所能表达的极限。

为什么是现在?

为什么现在开始流行ZKP?这既有技术原因,也有社会原因。

从技术上讲,ZKP相当新。从数学上讲,它们只存在了几十年。与计算本身类似,即使在理论上,它也需要一段时间才能变得高性能和实用。

在此之后,必须有人将这些论文和密码协议转化为实用的东西。第一个值得注意的例子是2016年的隐私保护加密货币Zcash。它最初是由密码朋克和研究人员撰写的一篇论文)。第一个版本是将研究和工程应用于最终产品和系统的一项令人印象深刻的壮举。虽然该系统存在许多问题,而且远非最佳,但它是在现实世界中使用ZKP的第一个真正实用的例子。这向人们表明,在现实世界中使用ZKP是可能的,也是切实可行的。这导致了ZKP研究和工程工作的爆炸式增长,尤其是在最近几年。

以太坊和Zcash等公共区块链在其中发挥了重要作用。区块链最擅长的是抗审查和透明度。这是以缺乏隐私和可扩展性为代价的,而这正是ZKP所擅长的。从这个意义上说,它们是天然的契合点。再加上区块链社区对高级加密技术的需求,难怪很多创新都发生在区块链和ZKP的交叉点上。由于许多资本雄厚的区块链项目,这也让传统上学术性较强的研究和工程领域有了更多投资。

考虑到所涉及的复杂性,包括应用数学、密码学、关于特定ZKP系统的论文、新型证明系统的实施、工具以及涉及其他复杂领域的应用,事情发展得非常快。每年,甚至每个月,都会有新的研究论文,其中包括新技术、改进的工具和应用。新研究成果与实施和应用之间的反馈环越来越紧密。虽然难度依然很大,但入门却越来越容易。随着工具的改进,开发人员需要了解ZKP背后的数学知识也越来越少。

就ZKP的性能而言,摩尔定律的形式正在发生。摩尔定律是指晶体管的数量大约每两年翻一番。这就是计算机革命的起因。在ZKPs中,几年前还只是白日梦、被视为完全不切实际的项目,现在已经开始实施,比如zkVM和zkML。根据经验,在ZKP领域,每隔一年左右就会有一个数量级的进步。这是因为它是一项新技术,可以在堆栈的多个层面进行积极优化。我们没有理由相信这种趋势会很快停止。

ZKP

我们有一个特殊的程序,可以编码用户关心的逻辑。例如,证明他们知道得出某个哈希值的数据。与普通的计算机程序不同,这个程序是由约束组成的。我们要证明的是,所有约束条件都与隐私和公共输入保持一致。

最后,验证器将这个简短的证明与验证密钥、公共输入和包含所有约束条件的特殊程序结合起来,并在排除合理怀疑的情况下确信证明是正确的,然后输出"true"。如果不正确,则输出"假"。

声音 | 江卓尔:CSW声称钱多,能轻松碾压ABC,却在关键的前3天不碾压,非蠢(傻逼)即坏(撒谎):江卓尔发微博称:Bitcoin.com主动找矿场和矿池求租算力,有多少要多少。CSW却把找上门的算力拒之门外,然后唧唧歪歪 “香港矿工会上有成千上万P算力可租,但我们只用诚实算力”。ABC愿意烧钱,用真金白银获取社区和交易所的认同,火币等交易所根据最长链原则,认可ABC链为BCH。CSW声称钱多,能轻松碾压ABC,却在关键的前3天不碾压,非蠢(傻逼)即坏(撒谎)。[2018/11/18]

以上观点略显简单,但却抓住了事情的本质。

约束

构成上述特殊程序的约束条件是什么?约束是一种限制或制约。例如,"1到9之间的数字"就是一个约束。数字7满足这个约束,而数字11不满足。如何将程序写成一组约束?这本身就是一门艺术,让我们先看一个简单的例子:数独

在数独游戏中,我们的目标是在棋盘上找到满足某些约束条件的解。每一行都必须包含数字1到9,但只能包含一次。每列和每个3x3子方格也是如此。我们会得到一些初始的起始位置,然后我们的任务就是以满足所有这些约束条件的方式填入其余的位置。最棘手的部分是找到同时满足所有限制条件的数字。

数独

通过ZKP,证明者可以构建一个证明,证明他们知道某个谜题的解。在此案例中,证明包括使用一些公共输入和一些隐私输入以及一个电路。电路由表达谜题的所有约束条件组成。

之所以称其为电路,是因为这些约束条件彼此相关,我们将这些约束条件连接起来,有点像电路。在此案例中,电路处理的不是电流,而是数值。例如,我们不能把任何类似"香蕉"的值添加到我们的行约束中,它必须是一个数字,而且这个数字必须介于1和9之间,以此类推。

验证者拥有相同的电路和公共输入,可以验证证明者发送给他们的证明。如果证明是有效的,验证者就会确信证明者已经找到了该谜题的解。

事实证明,很多问题都可以用一组约束来表示。事实上,我们能用计算机解决的任何问题都可以用一组约束来表示。

数独示例

让我们把学到的有关ZKP各部分的知识应用到上面的数独例子中。

在数独游戏中,我们的特殊程序电路需要两个输入:

作为公共输入的数独谜题

数独谜题的解作为隐私输入

电路由一系列约束条件组成。所有这些约束条件都必须为真。这些约束条件是这样的

谜题和谜底中的所有数字必须介于1和9之间

解决方案必须是谜题中所有位置均放置了数字

所有行中必须包含从1到9的数字,且每个数字只出现一次

所有列中必须包含从1到9的数字,且每个数字只出现一次

所有子方格中必须包含从1到9的数字,且每个数字只出现一次

如果一道谜题及其解法的所有这些限制条件都为真,那么我们就知道它是一个有效的解法。

证明者Peggy使用她的神奇证明者密钥、谜题和解法,将其与特殊程序结合,创建一个证明。证明非常简短,不到1000个字符。证明是自足的,验证者可以通过它获得验证证明所需的所有信息。你可以把它想象成一个魔法咒语,它能实现你的愿望,而你无需了解其中的细节。

下面是19世纪一位威尔士医生写的一本魔法书中的咒语:

魔法咒语

下面是一个由Circom/snarkjs库生成的零知识证明示例:

Circom证明

在此案例中,魔法确实起作用了。

验证者Victor使用他的验证密钥、原始谜题输入,验证Peggy发送的证明是否正确。如果正确,则输出"真";如果不正确,则输出"假"。咒语要么有效,要么无效。这样,Victor就确信Peggy知道那个特定谜题的解法,而实际上并没有看到解法。就是这样。

一些特性

我们说ZKP具有某些技术特性:

完备性--如果声明为真,那么验证者将被证明所说服

可靠性--如果语句为假,验证者将不会被证明所说服

零知识--如果语句为真,除了它为真这一事实外,不会透露任何其他信息

此外,对于zk-SNARKs来说,证明是简洁的,这意味着它基本上不会随着程序变得越来越复杂而变大。

在实际的ZKP中,我们还关心许多其他特性:

系统做了哪些数学假设?

安全性如何?

是否需要可信的设置?

生成证明有多难?时间和其他资源

验证证明有多难?时间和其他资源

ZKP系统是否允许将多个证明聚合在一起?

是否有可供程序员使用的ZKP系统库?

用于编写特定ZKP系统程序的语言的表现力如何?

等等。

正如你所看到的,ZKP有很多考虑因素和不同的变体。不过不用担心,要点基本上都是一样的,而且根据你的兴趣所在,你可以对其中涉及的许多技术细节一无所知。回到动物园的比喻,就像对待动物一样,你可能并不想成为一名生物学家。相反,你可能想和一些动物打交道,或者你只是想养一只宠物,甚至只是想摸摸你朋友的狗。

应用

本节将举例说明ZK当前和未来的应用

ZKP有许多应用。一般来说,我们仍处于早期阶段。很多焦点仍然集中在底层协议和基础设施,以及区块链的特定应用上。要想更好地理解区块链的具体例子,最好对公共区块链的工作原理及其面临的挑战有一定的了解。不过,这并不是必要条件。在本节中,我们将介绍一些更有趣的应用。我们将先看看现在已经上线的应用,然后再看看即将上线的应用。

未来已来。只是分布还不均匀。来自威廉-吉布森

ZKP魔法

当前已应用

电子现金:要在网上建立类似现金的支付系统,就必须像实物现金一样具有可替代性和私密性。可替代性是指一种商品可被另一种相同商品替代的特性。也就是说,你的钱和我的钱没有区别,它们都是同样有效的支付形式。与比特币或以太坊不同,我们可以使用ZK使交易历史隐私化。这样,你的交易历史就不会被公开,从而确保电子现金的可替代性。目前,Zcash等系统以及TornadoCash等相关系统都采用了这种方式。

匿名信号:通常,我们可能需要在不暴露身份的情况下证明自己隶属于一个具有某些特征的群体。其中一个例子是证明自己是某个群体的一员;另一个例子是投票。这意味着你不会把自己的身份与敏感的行为联系在一起,比如你投票给哪个政党,或者泄露其他不必要的信息。目前,Semaphore等系统中就有类似的机制,而且还有很多变种。

ZKRollup:允许更多、更便宜、更快速的交易。以太坊区块链空间有限,价格昂贵,需求量大。我们使用所谓的第二层Rollup,与主区块链分开进行交易。一旦有一定数量的交易进入L2层,它就会将其"打包"到L1层。ZKP在这方面非常有用,因为我们可以证明交易执行正确,创建一个简洁的证明,只占用L1上的少量空间。这就使得交易对用户来说更便宜、更快捷,同时具有近乎同等的安全性。由于证明整个以太坊虚拟机执行的复杂性,许多ZKRollup解决方案从关注简单商资产的交换开始。目前在Loopring、zkSyncLite、dYdX和Starknet等系统中都有应用。

ZK-EVM:与ZKRollup类似,但具有通用性,因为可以执行任何类型的交易或程序。以太坊有一个EVM,它就像一台全球共享的通用计算机。通过使用ZKP编写该机器的逻辑,我们可以证明在以太坊上编写的任何程序的正确执行,并构建一个简洁的证明,证明该程序被正确执行。这有多种使用场景,但最直接的使用场景是扩展和允许更便宜、更快速的交易。目前已在PolygonzkEVM、zkSyncEra等系统中使用,其他一些ZKEVM系统也即将使用。

**ZK-VM:**部分原因是针对像EVM这样的"SNARK不友好"平台的复杂性,许多项目选择做一个独立于以太坊的新区块链。这意味着他们可以首先优化虚拟机,以便更好地与ZK协同工作。根据具体系统的不同,这可以实现区块链状态的隐私和简洁验证。Mina已经上线,Aleo等系统正在积极开发中。

对snark不友好的平台或函数指的是大多数现代计算机原语都是为特定的计算机体系结构设计的。这种架构与编写约束时的架构非常不同。例如,SHA256哈希函数就是一个典型的snark不友好哈希。有些人创建了SNARK或zk友好的函数,例如Poseidon哈希函数,专门设计用于zkp。这些在zkp中更容易实现,并且效率可以提高100倍或更多

黑暗森林:黑暗森林是一款不完全信息实时策略游戏。基于ZK的不完全信息游戏有一个"加密战争迷雾",玩家只能看到世界的一部分,这是ZK强制实施的。与《星际争霸》等传统游戏相比,即使是中心化服务器也无法获得所有信息。由于其程序化的特性,这使得新颖的游戏方式成为可能。

ZK跨链桥-跨链桥允许你在不同的区块链和系统之间移动资产。这些跨链桥很难保证安全,而且经常被黑客攻击。有了ZK,我们可以更安全、更快速地连接资产,而无需依赖可信的第三方或容易出错的方法。目前,zkBridge已投入使用,SuccinctLabs等项目也正在进行相关工作。

隐私身份:随着越来越多的独立系统需要并托管我们的在线身份,个人最好能够拥有、整合并保持这些去中心化的在线身份的私密性。目前,Sismo等项目已经实现了这一点,其他项目也在开发类似的系统。

以上只是几个例子,绝不完整。我们还没有谈到隐私不可抵赖声誉、导出Web2声誉、抗sybil拒绝服务保护、抗胁迫证明、复制证明、匿名空投、分离度证明等。

即将来临的

ZK-EVM:ZK-EVM有不同的类型,实现起来更具挑战性的是那些完全等同于以太坊的ZK-EVM。其他ZK-EVM会采取一些捷径,让生成证明变得更容易。完全等同于以太坊的ZK-EVM与当前的以太坊系统没有区别。这意味着我们可以用简洁的证明来证明存在的每一个区块的正确执行。你可以用手机验证整个链的完整性,完全依靠数学,而无需信任第三方或使用昂贵的机器。目前ZK-EVM社区团队正在开发中。

通用可证明计算:世界上大多数计算都不在EVM中进行,而是在其他系统中进行。基于WASM和LLVM的程序非常常见。我们可以利用ZK-EVM中的相同方法,进行通用的隐私可证明计算。例如,我们可以在不透露任何其他信息的情况下证明数据库包含特定记录。目前,许多不同的团队,例如DelphinusLabs、RISCZero、OrochiNetwork和nil.foundation,都在研究这一技术。

ZK机器学习:我们可以在链外私下证明某些计算是正确完成的,然后公布计算正确的证明。这意味着,我们可以使用隐私数据来训练更好的模型,而不会泄露这些数据。例如,敏感文件、语音,甚至DNA等用于发现健康问题的数据。这既提高了可扩展性,又保护了用户隐私。目前已有一些概念验证,如MNIST,人们正在研究更复杂的东西,如ZKP内部的神经网络。

照片真实性:证明照片和视频等内容的出处,包括标准的后期处理编辑。也就是说,证明照片是在特定时间和地点拍摄的,并且只进行了基本的大小调整、裁剪和灰度使用。已经有一些概念证明工作。

合规性:证明隐私交易符合某些规定,或某项资产不在特定的黑名单上。在不泄露资产的情况下证明交易所有偿付能力。EspressoLabs等系统已经做了一些工作,有些系统已经有了简单的版本。

隐藏意图:公共区块链的用户有他们想要实现的特定目标,这些目标可以用意图来表达。例如,用户可能想用一种代币兑换另一种代币。用户可以将自己的意图告诉其他用户,并与合适的对手方进行匹配。最好能对这些意图进行屏蔽或完全保密。目前,Anoma正在从屏蔽意向匹配开始研究。要使意图匹配完全保密,可能需要在密码学方面取得突破性进展,这与本节最后一个例子类似。

自主世界:这是《黑暗森林》等作品的延续。世界可以是物理的,也可以是概念的,如纳尼亚世界、基督教、美元世界、比特币或英联邦法律。根据这些世界的运行情况,如果任何人都可以在不破坏其客观性的情况下改变规则,那么这些世界就可以是自主的。目前,0xPARC基金会正在游戏和创建这些世界的背景下进行探索。

数据真实性证明:从网络应用程序中导出数据,并以非公开方式证明相关事实。使用TLS协议,这意味着它可以在任何现代网站上运行。目前由TLSNotary负责开发。

核裁军:允许检查核设施的人在不检查任何敏感的内部工作原理的情况下,确认某个物体是否是核武器。已有物理模拟工作的论文。

和谈与高风险谈判:在谈判中,人们通常会有一些硬性限制,他们不希望向对方透露这些限制,以削弱自己的谈判能力。通过对这些限制进行明确编码,双方可以就一些高度复杂的领域进行谈判,并在不透露其精确参数和限制细节的情况下达成协议。这样,互不信任的双方也能达成某种协议。这可能需要在多方计算方面取得一些突破,它允许我们在共享秘密的基础上进行计算。

同样,这里并没有提到人们正在研究或思考的所有类型的问题。未来肯定还会有更多的东西。正如你所看到的,我们可以用ZK做很多事情。

你可能会问,为什么这些应用中有很多涉及区块链。上一节"为什么是现在?"已经部分回答了这个问题。ZK是一种与以太坊等区块链正交的技术,我们可以不使用区块链,但在很多情况下,它只是一种可以利用的好工具。

同样,从事这些工作的人群和他们关心的直接问题往往是重叠的。随着这个领域的成熟,我们可以预见,ZK应用中的"区块链"部分将不再仅仅是一个实施细节,而这在某种程度上已经发生了。再进一步看,"ZK"部分也很可能会消失,它将只是一个碰巧使用ZKP的应用程序。

最后,当在线信息和类似的加密技术被开发出来时,它是由军方和互联网公司使用和开发的。这不是邮局或某些从事实物安全运输的公司的创新成果,即使理论上有这种可能性。

在本节的最后,我想引用巴里-怀特哈特在被问及对ZK未来的预测时的一段话作为结束语,他是一位著名的ZK研究员,在以太坊基金会的隐私和可扩展性探索团队工作:

"到2040年,会有人因为使用零知识证明而获得诺贝尔和平奖"。

离奇而大胆?当然。结果会是真的吗?也许不会。但可能吗?绝对有可能。这是一个耐人寻味的前景。将其视为真实可能的心智模式与立即将其一笔勾销的心智模式之间有什么区别?要让这样的事件成为现实的结果,必须发生什么?

ZKP是一种全新的、非常有效的工具。限制我们的往往是我们对其潜在应用的想象力。

结论

本节对文章进行了总结,并提出了下一步的计划

在本文中,我们了解了什么是ZKP、为什么要关注它们以及它们何时有用。我们还了解了它们的工作原理,以及它们为我们提供了哪些属性。最后,我们探讨了一些应用,包括当前和未来的应用。

我希望这能让你更好地理解ZKP的本质,或许还能让你产生一些"啊哈"时刻,并启发你以新的方式思考问题。也许它还能帮助你在未来追随ZKP的魔力。

在今后的文章中,我们将更深入地探讨其中的一些方面,我们还将研究更多技术方面的问题,以便更好地理解ZKP的工作原理以及它们的用途。

如果某些具体内容引起了你的兴趣,或者你希望在今后的文章中看到某些具体内容,请随时通过Twitter或电子邮件与我联系。

致谢

感谢MichelleLai、Chih-ChengLiang、JennyLin、AnnaLindegren和EveKo阅读初稿并提供反馈。

本翻译由DeCert.me协助支持,来DeCert码一个未来,支持每一位开发者构建自己的可信履历。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

SOLDePIN基础设施速览:有哪些平台及项目

去中心化物理基础设施网络的关注度越来越高,这类网络通过代币奖励来激励硬件网络和现实世界任务的部署。Messari研究人员SamiKassab深入研究了DePIN的基础设施平台和项目.

[0:15ms0-2:380ms