区块链:让我们用非技术语言告诉你，零知识证明如何改变区块链_LOCK

撰文：RonaldMannak，区块链创业公司StarlingProtocol联合创始人兼CEO

编译：卢江飞

来源：链闻

关于零知识证明的技术类博客文章很多，最近我也写了一篇文章，比较各种新的通用目的的zk-SNARK。我发现，关于零知识证明的用例，很少有用非技术语言表述的文章。事实上，零知识证明不仅可用在隐私方面，还有许多其他用途。它功能如此丰富，甚至有可能重新定义区块链的运作方式。

精简区块链，从GB压缩到KB

区块链的区块可能会很大，而且其大小在不断增长。这源于其最初的设计。我们也渐渐接受了这个现实。但是，Coda项目最近发布的测试网却不同。

首先，Coda的区块链是固定大小的，且不会增长；其次，它只有22KB！即便是上世纪80年代的8位机家用电脑Commodore64或ZXSpectrum，也能把它塞进去。而且，与传统的区块链相比，Coda的安全性差不多，甚至更高。

SpaceX员工公开谴责马斯克：让我们尴尬和丢脸:6月17日消息，太空探索技术公司SpaceX的一些员工周三发表了一封公开信，对兼任SpaceX CEO的马斯克最近的一些行为进行了谴责。

这些员工在公开信中表示，“马斯克在公共场合的行为，经常让我们分心和尴尬，尤其是最近几周。作为CEO和发言人，马斯克发送的每一条推文，都是公司事实上的公开声明。但是，需要澄清的是，他的信息并不反映我们的工作、我们的使命或我们的价值观，这一点至关重要。”[2022/6/17 4:33:42]

类似但功能更多的「精简区块链」项目越来越多，比如Mir和Starling。

这到底是如何做到的呢？

只要尝试部署过一个区块链节点，你就会知道这个过程有多痛苦：同步一个节点需要好几个小时、甚至数天时间。区块链如此之大，以至于大多数的家用计算设备的磁盘空间和带宽都达不到基本要求。结果就是中心化。即便像以太坊这样广受欢迎的区块链，其节点数量也就10,000个，大多数都托管在亚马逊AWS上，由少数几个实体所拥有。区块链并不像许多人以为的那么去中心。

V神：Optimism的治理体系让我为之感到自豪:6月3日消息，Vitalik Buterin 在社交媒体上发文表示，Optimisim 治理论坛中的「将 OP 的使用从治理 Token 更改为用于 Gas 支付的主网 Token」讨论是一个很好的例子，这让我为 Optimism 的治理体系 (the Citizen House) 感到自豪。Optimisim 有其他明确的目标，而不仅仅是「让 OP 价格上涨」，唯一能实现这一长期目标的途径是明确表示非 Token 持有者的利益。???[2022/6/3 4:00:04]

为什么同步一个区块链要这么长时间呢？主要有两个原因：

第一个原因很明显：下载几百GB或更多数据需要很长时间；

第二，下载完之后区块链要完成验证，因为恶意节点可能会向你发送不正确的数据。

萨尔瓦多驻美国大使：比特币让我们的小国变得 “自由而强大\":金色财经报道，Bitcoin Magazine发推称，萨尔瓦多驻美国大使Milena Mayorga表示：比特币让我们的小国变得 “自由而强大\"。[2022/4/6 14:06:57]

若要验证一个区块链，必须从创世区块开始重放整条链：执行第一个交易，并确保计算出的状态等于下载得到的状态。然后转到下一个交易，直到你把区块链的所有交易都查一遍。这不仅耗时，也浪费资源。在你之前，成千上万的节点做着完全相同的计算工作。

为什么要这么做呢？因为在传统计算学里，要知道一个计算是否正确的执行，唯一办法就是重做一次这个计算。如果小规模的计算，那就还好，但像重放一条区块链这种「慢运算」，情况就完全不同了。

Nexo管理合伙人：2022年真正让我兴奋的是元宇宙这个概念:金色财经报道，加密货币银行Nexo的管理合伙人Antoni Trenchev表示，“2022年对比特币和其他加密货币影响最大的是央行政策，资金成本料将保持低位，这对加密货币产生巨大影响，美联储不敢让股市暴跌10%-20%”。Trenchev预计2022年市场将大幅波动，但到6月底比特币有望达到10万美元。他认为，Solana和Avalanche等代币不会像2021年那样出现指数级增长，“这些新贵将面临与以太坊和其他更老加密货币一样的挑战”。

“2022年真正让我兴奋的是元宇宙这个概念，”他写道。 “元宇宙的诞生和使用既美又混乱，但未来它有很大的潜力。未来一年最主要的几个主题包括：元宇宙，基础设施建设，NFT”。（新浪财经）[2022/1/4 8:22:31]

可提高效率和带宽的零知识证明

金色沙龙 | 徐坤：Defi的发展让我们看到了“代码即规则”的潜力:在本期金色沙龙圆桌上，针对“在当下行情如何抓住投资机会面对新风口，DeFi能不能成为中小企业融资难的解决办法？对加密货币有什么影响？是否能成为行业领跑者？”话题，OKEx首席战略官徐坤表示Defi的发展让我们看到了“代码即规则”的潜力，但也带给我们更多思考，有几个问题不容忽视：

1、正如传统金融市场上，各家金融机构之间的业务相互交织，Defi应用之间也是彼此联动的，要从整个Defi生态来来建立风险管理机制，提高整个系统抵抗风险的能力。

2、探索链上的征信机制，Defi应用之间的黑名单共享与失信用户行为限制制度。

3、Defi背后必须有真实价值的支撑，除了链上原生资产，将实体资产上链，才能够实现更大的价值。[2020/3/11]

事实上，有一种方法可以低成本地验证一个计算结果，而又无需重做该计算，那就是零知识证明，其中最著名的可能要数zk-SNARK。

它是如何工作的呢？我们需要将区块链的重放函数改写为一个zk-SNARK。这个zk-SNARK将输出两个东西：原初的输出；一个很小的数学「证明」，证明这个结果计算正确。这个「证明」可以小到只有200字节。

这样一来，我们就不需要所有计算机跑一遍重放函数了。由一台计算机去创建这个「证明」，其他不限数量的计算机可以在它们认为合适的时间再进行验证。无论原初的计算要花费多长时间，验证却只需几毫秒即可搞定。这个「证明」可以通过线上分发，也可以存储在U盘里，甚至可以印在T恤上。

如果有恶意节点更改了某个交易的余额，那么这个「证明」就会和结果不同，所有验证者都会拒绝这个状态。如果有恶意节点更改了zk-SNARK代码，结果也会被拒绝。

我们不再需要重做昂贵的计算，也不需要下载区块链。你需要的，只是当前状态，加上能够证明当前状态是一个有效区块链的一部分的少量「证明」，再花费几毫秒验证一下结果。

递归性的组合

验证一个「证明」的速度很快，但创建这个「证明」怎样呢？其实时间不固定，与传统计算相比，在计算和和内存方面它的效率要低不少。实际上，虽然一个重放函数的zk-SNARK版本听起来不错，但在实践中这个解决方案并不好。和以往的非zk-SNARK的重放函数相比，它需要更大的内存，速度甚至更慢。

不过，还有另一个优雅的方案。我们发现，用一点点小技巧，其实可以使用递归性zk-SNARKs。有了递归，我们就不必从头开始验证这个区块链，可以在前一个状态的基础上来构建。速度会快得多。

需要注意的是，递归性zk-SNARK的效率依然不如非递归的zk-SNARK，不过，最近zk-SNARK的构造取得了长足的进步。

一个递归性的zk-SNARK程序，会用属于「前一个状态」的「证明」和新的交易作为输入。它会验证前一个状态，并检查新状态中的交易是否有效。如果没问题，它会输出新的状态和一个「证明」。

一旦新的状态和「证明」被分发到网络中，所有节点可以直接丢弃先前的状态，这么做不会有任何负面影响。新的节点只需要下载最新的状态和「证明」即可。这也就是Coda、Mir和Starling这些项目可以实现小的、大小固定的区块的秘诀。

在上面说的这个例子里，只需要一个节点来创建新的区块和「证明」。显然，我们没必要让同一个节点来生成所有的区块。举个例子，可以从许多节点中随机选择一个节点。我们甚至可以做得更好：将区块的生成逻辑分为多个zk-SNARK。

最终结果就是：区块生产者不需要完整的区块链，它只需要前一个状态。这会让区块大小降到多少呢？一个常规的Coda节点仅需要22KB即可存储「证明」、当前状态以及某个账户余额的Merkle路径。只需要22KB，一个节点就能验证整个区块链、查询余额并创建交易。但是，如果要生成区块，这个节点需要更多：它需要先前状态的全部余额的Merkle树。而Merkle树的大小取决于钱包的数量。如果Coda拥有和以太坊一样多的钱包，那么，Coda区块生产者也只需要大约1GB的容量。而以太坊上最小的完整节点是230GB。差距巨大。

利用零知识证明，区块链网络将有更多活跃节点，这就提升了去中心化程度，并让各种程序有更多可能与区块链进行交互，而无需像Infura或Metamask这样的方案。想想看，99%的新用户在安装Metamask时选择了放弃。所以，这种变化将带来巨大的影响。

感谢以下各位对本文的审阅：DanielLubarov(Mir),ShaneVitarana,StanvandeBurgt,TaariqLewis,和DmitriyBerenzon。作者授权链闻翻译并发布该文中文版本。

标签：区块链NARLOCLOCK区块链的未来发展前景pptLunariumbitlocus币会拉吗blockchain是什么类型的企业

SOL热门资讯