链资讯 链资讯
Ctrl+D收藏链资讯
首页 > UNI > 正文

金色观察|Scroll:基于zk-Rollup的EVM

作者:

时间:

Scroll的目标是构建一个完全兼容EVM的zk-Rollup。4月22日,Scroll宣布经过一年的构建,已经完成了解决方案的搭建,上线了PoC测试网。

Scroll将通过一个简洁的证明来支持对以太坊区块的直接验证。基本思想是验证EVM执行跟踪中每个操作码的一致性和完整性。这样,L1智能合约就可以无缝迁移到Scroll。通过反向构建的方式可以完成自定义优化支持原生EVM。

在这个目标下,Scroll将启用和标准化第2层证明外包。其设计了外包机制,激励合作者生成零知识证明。这一方案进行标准化后可以适应更广泛的一般链下计算。

开发者可以在Scroll中部署复杂的合约,而无需考虑gas限制。许多新应用程序可以通过链上提交的证明在链下启用。Scroll还构建了世界上最快的GPU和ASIC证明器来支持这一点。长远来看,还计划实现完全去中心化并减少MEV的影响。

CAKE代币的总销毁量超过流通量:9月7日消息,PancakeSwap发推称,截至目前,PancakeSwap已销毁约2.21亿枚CAKE代币,超过当前流通量。PancakeSwap称:“它们之间的差距只会越来越大。”[2021/9/7 23:05:32]

Scroll未来会采用新的分层零知识证明系统。第一层将证明高效(定制电路优化和硬件高效证明算法)。第二层将是验证者高效的(简洁的证明和EVM友好的验证算法)。与所有现有解决方案相比,它有可能支持比EVM更大的程序和更多功能,如隐私。

zk-Rollup的基本思想是将大量交易聚合到一个Rollup块中,并为链下的块生成简洁的证明。然后第1层上的智能合约只需要验证证明并直接应用更新的状态,而无需重新执行那些交易。这可以帮助节省一个数量级的gas费用,因为证明验证比重新执行计算便宜得多。另一个节省来自数据压缩(即只保留最少的链上数据进行验证)

Khala智能合约桥已通过CertiK安全审计:据官方消息,Web3云计算项目Phala Network预备主网Khala Network的智能合约桥已通过区块链安全公司CertiK的安全审计。据CertiK出具的审计报告显示,Khala智能合约桥没有严重或重大漏洞,并能有效防止恶意攻击,部分次要问题已得到解决。作为Khala链上的重要功能构成,Khala智能合约桥能帮助用户实现ERC20 PHA与K-PHA的兑换,让Khala网络外的PHA资产得以转入Khala账户,从而为后续参与TEE Mining或其他Khala链上活动作准备。[2021/7/31 1:25:42]

尽管zk-Rollup安全高效,但其应用仍仅限于支付和互换。由于以下两个原因,很难构建通用DApp。

首先,如果想在zk-Rollup中开发DApp,你需要使用一种特殊的语言(即R1CS)编写你所有的智能合约逻辑。不仅所需语言的语法复杂,而且这样做还需要极强的零知识证明专业知识。

其次,当前的zk-Rollup不支持可组合性。这意味着不同的zk-Rollup应用程序不能在第2层内相互交互。这种质量极大地破坏了DeFi应用程序的可组合性。

Scroll是通过直接支持原生EVM验证来提供最佳的开发人员体验并支持第2层内的可组合性,以便现有的以太坊应用程序可以简单地迁移到zk-Rollup上。

在zk-Rollup中有两种构建通用DApp的方法:

一是为不同的DApp构建专用电路(“ASIC”)。另一个是为智能合约执行构建一个通用的“EVM”电路,(“电路”是指零知识证明中使用的程序表示)

zkEVM中,Layer1和Layer2的底层处理过程也完全不同:

第1层依赖于智能合约的重新执行。

第2层依赖于zkEVM电路的有效性证明。

在第1层,已部署的智能合约的字节码存储在以太坊存储中。交易将在P2P网络中广播。对于每个事务,每个全节点都需要加载相应的字节码并在EVM上执行以达到相同的状态(事务将作为输入数据)。

在第2层中,字节码也存储在存储中,用户将以相同的方式进行操作。交易将在链下发送到一个集中的zkEVM节点。然后,zkEVM不仅会执行字节码,还会生成一个简洁的证明,以证明在应用交易后状态已正确更新。最后,Layer1合约将验证证明并更新状态,而无需重新执行交易。

所以,很明显zkEVM的证明需要包含以下与执行过程对应的方面

字节码从持久存储中正确加载

字节码中的操作码一致地一一执行

每个操作码都正确执行

zkEVM不仅仅是第2层扩展。它可以被认为是通过第1层有效性证明来扩展以太坊第1层的直接方法。这意味着可以扩展现有的第1层,而无需任何特殊的第2层。

例如,可以使用zkEVM作为全节点。该证明可用于直接证明现有状态之间的转换,无需将任何东西移植到第2层。更广泛地说,可以使用zkEVM像Mina一样为整个以太坊生成简洁的证明。而唯一需要添加的是证明递归(即将块的验证电路嵌入到zkEVM)。

zkEVM可以为开发者和用户提供相同的体验。在不牺牲安全性的情况下,它的价格要便宜几个数量级。

标签:ROLLROLCROALARoller InuRolaz GoldAcross Protocolgalaxy币圈

UNI热门资讯
对用户不友好的Web3将毫无用处

(原标题:Web3 Is Useless If It’s NotUser-Friendly) 凭空出现的web3已经成为2022年最大的技术趋势之一。它吸引了投资者、技术专家和Paris Hilton。但听说过它的人远远多于了解它本质的人:本质上只是区块链的重塑,它的核心是软件。 区块链是一个超热门的投资领域,大约三年前开始在风险资本投资者中失去动力。

为失败而生:算法稳定币的内在脆弱性

算法稳定币天生就是脆弱的,这些无抵押的数字资产试图使用金融工具、算法和市场激励来挂钩参考资产的价格,它们根本不稳定,而是处于永久脆弱的状态。到目前为止,几次迭代都难以维持稳定的盯住汇率,有些甚至以灾难性的失败告终。这篇文章认为,算法稳定是有根本缺陷的,因为它们依赖于三个历史证明不可能控制的因素。 1. 首先,它们需要对业务稳定性的需求的支持水平。

金色早报 | V神:自己对以太坊的影响力不断下降

头条 ▌V神:自己对以太坊的影响力不断下降 金色财经报道,以太坊联合创始人Vitalik Buterin声称他对以太坊的影响力“不断下降”,并表示他今天的影响力比六个月前要小。 “我觉得我在以太坊的影响力每六个月就在下降。我现在比六个月前少。六个月前,我比一年前还少。

晚间必读5篇 | Web 3.0从何而来 又将从何而去?

1.金色观察 | 消除碳足迹 以太坊合并四大支柱重振生态信心 与权益证明(PoS)的合并(The Merge)将是迄今为止对以太坊最深刻的升级,其重要性仅次于创世区块。这将是让世界看到一个主要的、分散的系统如何在实际上消除其碳足迹的例子。

如何寻找交易加密货币的“最佳时间”?

与传统市场不同,加密货币市场全天候开放,即使在公共假期也是如此。 加密货币交易的全球性和持续性给交易者带来了许多挑战,其中之一就是寻找最佳交易时间。 那些希望执行大额买卖订单的人需要确定流动性最大的时间和交易量。这就像一个有大量农产品要出售的杂货商,希望在游客最多的最繁忙市场设立自己的摊位。

Web3是如何逐步接管Web2媒体的?

Web3 媒体正在改变过去的游戏规则。 我们处在一个文化生产力高峰的时代。在 2020 年,每天约有 40000 首新歌上传至 spotify 平台,而 2021 年,这个数字是每天约 60000 首。