Matter Labs首席执行官表示，用乐观汇总扩展DeFi不是最佳选择

以太坊需要在短期内扩展到第二层，ZK汇总可以弥补这一不足。由于以太坊2.0可能要花几年的时间才能开始增加网络的吞吐量，因此社区的关注点集中在第二层解决方案上，这在短期内可能会承担一些负担。

一些支持令牌传输的解决方案已经在现场实施，包括Matter Labs的ZkSync和OMG Network的Plasma。但是第二层的“圣杯”是通用的智能合约支持，这将使DApps和DeFi摆脱日益昂贵的区块链。传统上，Plasma和ZK汇总都被认为缺乏这方面的内容，这就是为什么社区热情在2019年主要转移到即将到来的Optimistic汇总上的原因，该平台将以具有通用智能合约环境的虚拟机为特色。

在与Cointelegraph的对话中，Matter Labs的Alex Gluchowski表示，今年在实现ZK Rollup智能合约方面取得了重大突破。通用智能合约要求具有创建递归零知识证明（本质上是证明证明）的能力，从计算的角度来看，以前认为这些证明太昂贵了。 Gluchowski表示，Matter Labs在以太坊的Rinkeby测试网上演示了递归SNARK的实时实例，可用于Reddit的规模扩展。他补充说：“我认为[社区成员]没有考虑今年递归的突破。” 这似乎为ZK Rollups上的智能合约敞开了大门，Gluchowski表示，现在“纯粹是工程问题，没有其他基本问题需要解决。” Matter Labs的智能合约将使用另一种称为Zinc的语言，Gluchowski表示这与Solidity非常相似，但是它对递归和循环大小有一些其他限制。他说：“在某种程度上，这甚至是一个优势，因为它避免了Solidity错误。” “但是今天在Vyper上可以做的任何事情都可以一对一移植到Zinc。” Vyper是Solidity的替代语言，它会牺牲其功能丰富性来提高安全性。但是，在Zinc的情况下，局限性来自零知识证明，Gluchowski说。随着这些进步，基于智能合约的汇总之间的竞争可能会越来越激烈。Gluchowski认为，乐观汇总对他们有一系列不利因素，从技术到加密经济。 “尚不清楚乐观汇总将如何实现其100％可组合性的承诺。到目前为止，我们还没有看到有很多隐藏的陷阱。该技术并不像看起来那样简单。” 但他补充说，即使可组合性的承诺保持在有意义的程度，乐观汇总的核心机制也可能是采用这种方式的主要障碍。乐观汇总的名称来源于这样的想法：默认情况下，无需验证每个操作的正确性，而是简单地假设它们是有效的。用户仅在看到任何可数学验证的不当行为时才需要提交“欺诈证明”。但是为了给这些证据提供时间，退出系统需要一个星期的等待时间。 Gluchowski承认，可以通过方便有偿提现的流动性提供者来解决此问题。但是他指出，与使用订单簿的分散交易类似，他们需要分别匹配每个订单。他声称，鉴于这些传统上缺乏流动性，快速撤离可能会遇到类似的问题。 “因此默认情况下，我们假设提款将需要一周时间。这非常不愉快，因为与其他系统一起使用（在汇总之外）变得不方便。在ZK汇总中，提取需要几分钟。” (责任编辑：admin1)

搜索

热门标签:

Matter Labs首席执行官表示，用乐观汇总扩展DeFi不是最佳选择