Home » Vitalik称让ZK证明 “可理解 “是以太坊的必要条件

Vitalik称让ZK证明 “可理解 “是以太坊的必要条件

by Patricia

以太坊正在实施KZG,一种多项式承诺方案,可以帮助扩展以太坊。

以太坊联合创始人Vitalik Buterin 10月26日在推特上说,为了保持以太坊生态系统对没有数学学位的人 “开放和欢迎”,使零知识证明(ZKPs)对人们 “可理解和可访问 “是必要的。

ZKPs通常被称为 “月亮数学”,因为它们很复杂。

Buterin补充说,”去中心化需要的不是放弃,而是挥舞着博士说 “这是一个黑盒子,我们很聪明,相信我们”。”

零知识第二层以太坊扩展解决方案Scroll在博客中解释了多项式承诺方案(几个ZKP的关键部分)是如何工作的,以及它们如何帮助扩展以太坊。

多项式是代表两个以上的代数项的数学表达式。根据Scroll博客的说法,多项式可以帮助有效地表示大数据。

承诺方案是一种加密协议,其中一个人承诺了一个消息,并将其隐藏起来,但以后可以揭示该消息。然而,承诺者一旦承诺了信息,就不能改变它,这使得承诺方案具有约束力。

在多项式承诺方案中,人们承诺的是一项多项式而不是一个消息。多项式承诺方案符合普通承诺方案的所有属性。但它有一个额外的特点,即让承诺者能够证明他承诺的是某个满足所需属性的多项式,而不需要透露多项式本身。

KZG在Scaling Ethereum

中的作用

虽然有不同的多项式承诺方案,但Kate-Zaverucha-Goldberg(KZG)在区块链领域很受欢迎,被Scroll的证明系统使用。KZG也将被整合到以太坊的Proto-Danksharding中,将通过2022年2月提出的EIP-4844来实现。

Proto-Danksharding是一个权宜之计,直到Danksharding的实施,它可以使使用卷积更便宜。Proto-Danksharding引入了一种新的交易类型,称为 “blob-carrying transaction”。这些交易携带一个128kb的数据blob,不能从以太坊执行层访问。相反,只有对数据blob的承诺才能从以太坊访问。

数据包被表示为多项式,多项式承诺方案KZG被用来创建对数据的承诺。这使得数据blob的属性可以得到验证,而无需透露整个数据blob。

因此,使用KZG可以实现数据可用性抽样(DAS),这将在通往完全丹克斯坦化的道路上实现。DAS本质上使验证者能够确保数据包的可用性和正确性,而无需读取整个数据包。

这反过来又可以大大有助于增强以太坊的可扩展性,因为验证者需要处理更少的数据。

Related Posts

Leave a Comment