Scroll的目标是构建一个完全兼容EVM的zk-Rollup。4月22日,Scroll宣布经过一年的构建,已经完成了解决方案的搭建,上线了PoC测试网。
Scroll将通过一个简洁的证明来支持对以太坊区块的直接验证。基本思想是验证EVM执行跟踪中每个操作码的一致性和完整性。这样,L1智能合约就可以无缝迁移到Scroll。通过反向构建的方式可以完成自定义优化支持原生EVM。
在这个目标下,Scroll将启用和标准化第2层证明外包。其设计了外包机制,激励合作者生成零知识证明。这一方案进行标准化后可以适应更广泛的一般链下计算。
金色晨讯 | 10月5日隔夜重要动态一览:21:00-7:00关键词:灰度、新冠肺炎、锚定币、Uniswap
1.比特币波动率触及23个月低点。
2.美国新冠肺炎确诊病例超740万。
3.灰度以太坊经典信托ETCG两年来首次出现折价。
4.CME BTC期货本周形成“10597-10700美元”缺口。
5.BitMEX比特币永续期货未平仓合约减少近24%。
6.以太坊链上锚定BTC的代币总量已超12.7万枚。
7.莱特币MimbleWimble协议已在测试网启用。
8.Uniswap月度交易量首次超过Coinbase。
9.比特币小幅上涨,日内最低报10582.56美元,最高报10697美元。[2020/10/5]
开发者可以在Scroll中部署复杂的合约,而无需考虑gas限制。许多新应用程序可以通过链上提交的证明在链下启用。Scroll还构建了世界上最快的GPU和ASIC证明器来支持这一点。长远来看,还计划实现完全去中心化并减少MEV的影响。
金色晨讯 | SEC正重新考虑Bitwise比特币ETF提案;CCTV焦点访谈:探索区块链技术要有所为 有所不为:1.重庆日报:抓住区块链发展的重要机遇;
2.西班牙金融监管机构就未注册的AlyCoin代币发出警告;
3.时代周报:尽快厘清与不法应用的差异,防止区块链污名化;
4.SEC正重新考虑Bitwise比特币ETF提案;
5.委内瑞拉总统:Petro有超27000家“联营企业”;
6.人民日报:打着区块链技术相关名义的招摇撞显现抬头之势;
7.美国联邦紧急事务管理局考虑使用区块链加快救灾支出;
8.经济参考报:“区块链+金融”场景落地渐次展开;
9.科技日报:莫让区块链成行利器;
10.发言人:加拿大皇家银行尚未计划建立加密货币交易所;
11.美联储梅斯特:美联储没有计划推出数字货币;
12.多抵押Dai正式启动,过渡期结束后会关闭单抵押Dai;
13.新华社:一些人借区块链之名炒作行值得警惕;
14.英国司法工作组报告:加密资产是可交易的财产 智能合约是可强制执行的;
15.CCTV焦点访谈:探索区块链技术要有所为 有所不为。[2019/11/19]
Scroll未来会采用新的分层零知识证明系统。第一层将证明高效(定制电路优化和硬件高效证明算法)。第二层将是验证者高效的(简洁的证明和EVM友好的验证算法)。与所有现有解决方案相比,它有可能支持比EVM更大的程序和更多功能,如隐私。
金色相对论 | 刘昌用: 电子支付与央行发行的数字货币,用户体验几乎没有差别:在今日举行的金色相对论中,关于“央行数字货币可以被应用于哪些实体领域”的问题,密码经济倡导者,北京大学经济学博士刘昌用表示,按照穆司长的描述,央行数字货币主要是取代纸币,理论上是国内通行的货币,各个领域都能够享受交易的便利,能够更快地实现无现金社会,降低整个市场的交易费用。只不过,这种影响也不应过度夸大,因为现在各行各业已经广泛使用电子支付了。尽管现在的电子支付不是央行直接发行的数字货币,而是银行创造的信用货币,但是用户体验几乎没有差别。[2019/8/15]
zk-Rollup的基本思想是将大量交易聚合到一个Rollup块中,并为链下的块生成简洁的证明。然后第1层上的智能合约只需要验证证明并直接应用更新的状态,而无需重新执行那些交易。这可以帮助节省一个数量级的gas费用,因为证明验证比重新执行计算便宜得多。另一个节省来自数据压缩(即只保留最少的链上数据进行验证)
金色晨讯 |全球加密货币总市值缩水 委内瑞拉为石油币立法:1、区块链正高速吸引顶级硅谷科技人才;
2、挪威取消矿商电费补贴政策引发争议;
3、末日博士:比特币持有者为受虐狂;
4、委内瑞拉制定法律框架促进石油币;
5、全球加密货币总市值缩水至1500亿美元关口;
6、法国中央银行不支持烟草商店出售比特币;
7、中国区块链优秀企业近一半在北京;
8、Zaif虚拟货币相关业务已转移至FISCO集团;
9、SBI Ripple Asia和支付联盟计划使用区块链技术打击欺诈。[2018/11/23]
尽管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可以为开发者和用户提供相同的体验。在不牺牲安全性的情况下,它的价格要便宜几个数量级。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。