感谢?MatterLabs?提出关于部分L1数据链上可用性的问题,我们一直以来都非常重视社区的声音,并会根据社区的需求修改方案。因此,我们想借着这次机会向大家分享?ZKSwap?开发团队辛勤工作所交付的产品背后的一些思考。
经过非常谨慎细致的思考之后,为了TPS和Gasfee的效率,我们决定将ZKSwap的L2转账放在链下。在ZKSwap的设计中,L1相关的数据在链上,L2相关的数据,比如转账和交易,存在链下。尽管存在链下,这部分数据也会被验证者实时公布。
例如,L2区块7831:
https://api.zkswap.info/block/7831/pub-data
三种转账类型
ZK-Rollup协议中,一个区块可以包括三种类型的转账:
Klaytn公布BUIDL the Future黑客松Klaytn赛道获奖项目:3月2日消息,韩国区块链平台Klaytn发文介绍Coinbase Cloud主办的BUIDL the Future黑客松Klaytn赛道的获奖项目者,分别为:冠军项目Web3众筹平台Wanna、第一名NFT游戏化平台 Encryp、第二名NFT资产管理平台 GameFolio。[2023/3/2 12:38:36]
类型1:来自L1的存款和创建AMM交易对的转账;
类型2:L2发起且只能被L1验证的转账。比如,公钥转账将需要L1签名来确保L1账户的密钥所有者能将他们的账户与L2账户关联起来,因为电路不能检查确认L1的签名;
类型3:由L2签名验证而无法被L1验证的转账。
ZKSwap安全模型
Klaytn基金会推出Web3黑客马拉松:金色财经报道,Klaytn基金会宣布推出他们的全球黑客马拉松,Klaymakers22,超过100万美元的奖金池和赞助的挑战奖、资助和孵化机会。[2022/8/10 12:15:25]
一个区块内记录的L2转账在L1上只有部分记录。只有区块信息的总结会被记录在L1链上,例如区块哈希、新默克尔根、区块高度等等。
当一个区块的转账被提交到L1上,区块就被创建出来,区块哈希会被验证。由于以太坊内建了sha256算法,所以区块哈希通常也使用sha256进行计算。
为了保持数据可用性,所有的转账数据都应该被提交到L1上,这被称为「公开数据」。一笔转账的公开数据与其在L2上的转账并不完全相同。系统在进入「退出模式」时将使用公开数据,这样任何人都能恢复最近的经过验证的默克尔树。
Layer 2 + DAO基础协议Metis宣布完成300万美元A轮融资:据官方消息,Layer 2 + DAO基础协议Metis今天宣布完成300万美元A轮融资,主要投资人包括Block Dream Fund, Genblock Capital, Cryptomeria Capital, ConsensusLab, PARSIQ, YBB Foundation, Flurry Capital, Chronos Ventures, Gate.io, 7 O’Clock Foundation, BMW Capital等。
同时,Metis宣布推出其自有的二层协议框架Metis Rollup以支持Web 3经济体的构建。与其他Optimistic Rollup 项目相比,Metis Rollup更具扩展性和去中心化,挑战验证期更短,支持与IPFS集成来保护隐私数据,并支持微服务框架来实现应用快速开发。同时,Metis将DAO的框架内置到二层协议之中,方便应用和社区快速部署、上线和管理各种去中心化的创新应用。
Metis的Alpha测试网将于近日上线,同时上线的还有基于Metis Rollup构建的第一个MVP产品——Prologue(序章),该产品可以让任何用户快速创建在Layer 2上的DAC(去中心化公司)。[2021/3/30 19:30:34]
电路
火币研究院马天元:应率先使用以太坊1.0加上layer2以解决以太坊燃眉之急:金色财经年度巨献洞见财富密码2021投资策略会持续进行中,火币研究院首席研究员马天元《ETH2.0的起源,现在和未来》的精华看点如下:以太坊2.0本质上是一条新的另起炉灶式的区块链,用上了如今行业内最新的理论基础和技术框架。所以,以太坊2.0将会在保持比较不错的安全性和去中心化的前提下,将以太坊1.0的性能提升近百倍。但是,它仍然需要一定的开发时间,可能是两到三年才能投入实战。因此,在以太坊2.0成熟之前,可能我们率先要使用以太坊1.0加上以Rollup为代表的layer2技术,用“近水解近渴”,解决当前以太坊链上拥堵昂贵的燃眉之急。[2020/12/31 16:06:58]
L2的电路与L1的智能合约能够协同工作,确保ZK-Rollup协议的功能性。L2的电路保证了以下几点:L2转账签名正确、L1/L2转账执行正确、区块信息计算正确、及时有效地更新账户信息——包括默克尔根、账户默克尔树和费用信息等等。
双验证模式
验证模块对与安全性来说十分重要,是ZK-Rollup协议的基础。
公开数据验证——验证第一类和第二类转账的内容和次序。例如,验证存款需要确保存款数额和信息与L1上记录的相同,并且顺序无误。
区块验证——验证一个区块里的转账被正确执行,并且L2的账户默克尔树根被及时恰当地通过零知识证明进行更新。当一个区块被验证之后,更新的默克尔根就取得了最终性。
总结来说,整体的安全假设如下:
·一个区块的所有转账公开数据在链上;
·验证一个区块中第一类和第二类转账被正确执行;
·证明一个区块内的所有转账被正确执行、账户默克尔树被正确更新、一个区块内的所有转账的公开数据能够匹配;
·证明该区块内所有公开数据都被正确计算;
·提交给L1的区块公开数据与零知识证明系统所证明的数据相同。
公开数据不上链时会发生什么?
如果公开数据不在链上,安全假设「提交给L1的区块公开数据与零知识证明系统所证明的数据相同」就不能被验证。这时候,当L2的零知识证明系统阵营所有转账都被正确执行、默克尔树都被正确更新时,只能说明一个区块内的转账有效,而不能证明来自特定区块的其他转账。
大多数第三类转账都是安全的,但是对于提现操作来说,提现的收款人未经验证,不能被零知识证明系统证明。
对于第一类转账来说,所有可能的第一类转账都能被证明,但不能被验证。类如,零知识证明系统能证明一些非L1发起的存款转账。
由于只有验证着能提交公开数据或者区块证明,所以社区必须信任验证者是诚实的。当验证者诚实时,以上所有的风险都不会存在。对ZKSwap来说,所有公开数据都在浏览器中同步公布,任何人都可以验证公开数据和任何链上区块。
将公开数据存在链下不是一个草率的决定。这个选择背后的主要原因是降低Gas费和提高可扩展性。
Gas费用
保持ZK-Rollup协议运行的一个痛点是Gas。为了向L1提交一个区块,需要消耗以下GasLimit):
一个区块中,最多可以包括120笔交易转账。
如果要在L1提交验证一个区块,需要消耗大约23万GasLimit,calldata费用约占31%。
可扩展性
可扩展性是另一个考虑因素。假设一笔L2转账消耗1850.7Gas,那么ZKSwap将消耗10%的以太坊Gas,整体TPS将在51.5。
这是在只有交易、没有提现的情况,所以正常使用中将消耗更多Gas,TPS会更低。
结论
保护用户资金安全对所有区块链项目来说都很重要,也是ZKSwap的核心价值。当转账的公开数据没有提交上链时,安全性就依赖于零知识证明电路。当验证者诚实时,用户的资产就是安全的。从技术角度来说,如果验证者不诚实,安全性将会是一个问题。这是降低Gas、提高TPS的一个权衡。
考虑到Gas消耗和可扩展性,ZKSwap做了一个艰难的决定,将公开数据不上链,换来对L2用户更高的TPS和更低的Gas消耗。
我们愿意倾听开发者和用户的反馈,让ZKSwap系统更好。我们也可以在任何时间将所有数据上链。事实上,在发布ZKSwap之前,我们已经实现了100%数据可用的版本,所以我们可用随时升级至这个100%ZK-Rollup的版本,提供更高的Gas消耗、更低的TPS,但是更安全。
原文标题:《2021年更多支付巨头将采用加密货币》不久前,比特币用于日常支付的想法似乎遥不可及。然而,近几个月来,加密支付提供商和比特币支付网关服务的数量猛增。在过去,寻找使商家和消费者都受益的加密支付方法一直很困难.
1900/1/1 0:00:00链闻消息,根据DappRadar发布的一份报告,2月份,在交易量和唯一活跃钱包数量方面,币安智能链首次领先以太坊.
1900/1/1 0:00:001.何时才能发挥整公链系统实用价值?一条真正具有价值的公链,除了可以用来发币之外,还应当有去中心化应用和智能合约存在。公链需要有开发者和用户的参与,有开发者参与才会有应用的落地,才能有使用者的认可以及吸引更多人去使用.
1900/1/1 0:00:00尊敬的XT用户: XT.COM将支持NEM官方发起的对XEM(NEM)持有者空投XYM(Symbol)的计划.
1900/1/1 0:00:00多言不可与谋,多动不可与久处,交易与其冲动,还不如一动不动!大家好,我是席幕枫。心存阳光必有诗与远方,认识老席何惧再遇荒凉?席幕枫:3.4比特币午间行情分析大饼,连日持续发力冲高,价格昨日晚间重回52000上方关口,现货市场一曲高歌.
1900/1/1 0:00:00从以太坊正式推出信标链至今已经过去了近三个月的时间,这三个月,以太坊2.0系统进展速度,信标链质押的ETH数量也与日俱增,V神也一直活跃在一线,宣传以太坊的最新进展和项目动态,今天我们就一起看看.
1900/1/1 0:00:00