ZK 扩展以太坊基础层的工作开始 – Trustnodes

由以太坊基金会资助的一组开发人员已经开始使用零知识（ZK）技术来扩展以太坊基础层。

“隐私和扩展探索团队 ZK-EVM 正在构建 1 型 ZK-EVM，”以太坊的联合创始人 Vitalik Buterin 说。

在描述不同类型的 zkEVM 时，Buterin 将类型 1 描述为努力“完全且毫不妥协地与以太坊等效”。 他 说过:

“他们不会改变以太坊系统的任何部分来更容易生成证明。 它们不会取代哈希、状态树、交易树、预编译或任何其他共识逻辑，无论多么外围。”

它具有“完美的兼容性”，因为它们可以“像现在一样验证以太坊区块”。

简而言之，这是 zk 技术在以太坊区块链本身的应用，而不是第二层，与 Privacy and Scaling 团队合作 说明 在他们的 GitHub 上，他们的目标是通过两个证明“为每个以太坊区块创建有效性证明”。

这是检查“状态/内存/堆栈操作是否已正确执行”的状态证明，以及检查“在正确的时间调用正确的操作码”的 EVM 证明。

“在验证两个证明都有效之后，我们相信以太坊区块被正确执行，”该团队说。

因此，这是验证块本身，此时不需要所有节点都验证块，从而允许并行化和更大的可扩展性。 布特林 说：

“我希望随着时间的推移，通过 ZK-EVM 的改进和以太坊本身的改进相结合，使其对 ZK-SNARK 更加友好，一切都成为类型 1。

在这样的未来，我们将拥有多个 ZK-EVM 实现，它们既可用于 ZK 汇总，也可用于验证以太坊链本身。”

目前只有Polygon和一个新人， 滑动, 最接近类型 3，既处于类型 2，又向类型 XNUMX 移动，类型 XNUMX 基本上是以太坊，但有微小的变化。

因此，以太坊正在展望未来，zk 技术是协议本身不可或缺的一部分。

据我们所知，没有其他区块链正在处理同样的问题，并且没有一个区块链比 Type 4 发布还要几个月的时间，zkSync 是通过智能合约实现 zkEVM，更不用说使用 Polygon 发布 Type 3 .

然而，对于 Type 1 的实现可能需要一些时间，但它完全可以完成并开始形成，这可能是一个突破。