Vitalik 说，让 ZK 证明“易于理解”对于以太坊来说是必要的

以太坊联合创始人 Vitalik Buterin 于 26 月 XNUMX 日在推特上表示，让人们“理解和访问”零知识证明 (ZKP) 是保持以太坊生态系统对没有数学学位的人“开放和欢迎”的必要条件。

ZKP 因其复杂性而通常被称为“月球数学”。

我很高兴以太坊拥有如此强大的文化，努力使我们所有的月球数学尽可能地被人们理解和理解。 https://t.co/o9n2Xms4Zw

-vitalik.eth（@VitalikButerin） 2022 年 10 月 26 日

Buterin 补充说：“去中心化需要不要放弃并挥舞着博士学位说“这是一个黑匣子，我们很聪明，相信我们”。

Scroll，一种零知识第 2 层以太坊扩展解决方案，在 新闻 多项式承诺方案是几个 ZKP 的关键部分，如何工作以及它们如何帮助扩展以太坊。

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

承诺方案是一种加密协议，其中一个人承诺一条消息并将其隐藏，但稍后可以显示该消息。 但是，提交者一旦提交了消息，就无法更改消息，这使得提交方案具有约束力。

在多项式承诺方案中，人们承诺多项式而不是消息。 多项式承诺方案满足正态承诺方案的所有性质。 但它还有一个额外的功能，使提交者能够证明他提交了满足所需属性的某个多项式，而无需透露多项式本身。

KZG 在扩展以太坊

虽然有不同的多项式承诺方案， 凯特-扎维鲁查-戈德堡 (KZG) 在区块链领域很流行，并被 Scroll 的证明系统使用。 KZG 也将通过 Proto-Danksharding 集成到以太坊中，通过 EIP-4844，于 2022 年 XNUMX 月提出。

Proto-Danksharding 是一个权宜之计，直到 Danksharding 可以降低使用汇总的成本，可以实施。 Proto-Danksharding 引入了一种称为“blob-carrying transaction”的新交易类型。 这些交易携带 128kb 的数据块，无法从以太坊执行层访问。 相反，只有对数据块的承诺才能从以太坊访问。

数据块表示为多项式，多项式承诺方案 KZG 用于创建对数据的承诺。 这允许验证数据 blob 的属性，而无需透露整个数据 blob。

因此，使用 KZG 可以启用数据可用性采样 (DAS)，这将在通往完整 Danksharding 的道路上实施。 DAS 本质上使验证器能够确保数据 blob 可用且正确，而无需读取整个数据 blob。

反过来，这可以极大地帮助增强以太坊的可扩展性，因为验证者需要处理更少的数据。