零知识证明 - Loopring DEX 3.0

区块链资讯星想法2019-10-21 21:14:07  阅读 -评论 0

Loopring,路印,一直专注在高性能的去中心化交易协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年,路印从“环路撮合”的最初设计,经过了1.0,2.0以及3.0的三个大的版本的协议升级。1.0/2.0,相对来说,受限以太坊本身性能的限制,交易流程复杂,体验和中心化交易所相比,有较大的差距。路印协议3.0,是一种大胆的设计和尝试,通过零知识证明技术(ZKP),兼顾去中心化和交易性能。

本文对比路印协议2.0/3.0,分析zkSNARK零知识证明技术如何在路印3.0协议中运用。

零知识证明 - Loopring DEX 3.0

1. 路印协议1.0/2.0
路印协议在2.0版本之前,虽然有一些细致的功能和改进,但是,从框架上来说,没有本质的改变:
零知识证明 - Loopring DEX 3.0

链下主要由Relay维护订单(Order Management)和完成订单的撮合(Settlement Engine)。完成撮合的订单,需要在链上记录(由链上的智能合约实现)。简单的说,2.0协议之前,采用的是“链下撮合,链上记录“的方式。在这种方式下,所有的交易状态记录在链上,链上的智能合约需要实现很多逻辑:
· 检查订单的签名信息
· 检查订单的填充率以及是否取消
· 检查订单的时间
· 计算费率
· 在上述检查和计算完成后,完成token之间的转账
往往一个撮合中包括多个订单,完成这样的一笔撮合大概需要20w~30w的GAS费用。也就是说,在以太坊区块最大GAS 800w,出块速度是15秒的前提下,路印2.0协议的撮合性能大概是:每秒大约2笔撮合。
2. 路印协议3.0
采用零知识证明(ZKP)技术,路印协议3.0所有的撮合逻辑都在链下完成。每一笔撮合(Settlement)都会生成证明并提交到链上,证明链下的撮合正确无误。路印协议3.0的设计文档发布在Github上:
https://github.com/Loopring/protocols/blob/master/packages/loopring_v3/DESIGN.md
路印协议3.0的框架如下:
零知识证明 - Loopring DEX 3.0

2.1 链上/链下同步
路印协议采用和以太一致的“账户”模型,所有的账户的“状态”(余额)都记录在链下。
所有和状态相关的操作,都是在链下更改,提交Proof到链上记录。因为存在链上链下的状态同步,账户的任何操作有三个状态:
1/ Committed (操作已经提交)2/ Verified (该操作已经提供了相应的Proof)3/ Finalized(之前的所有的操作都已经提交正确的Proof)
以用户Deposit“充值”的操作为例:
零知识证明 - Loopring DEX 3.0

用户转账到路印协议的智能合约,转账在链上确认(链上完成充值)。该操作的状态就是“Committed”。链下的Relay,监测到“Committed”的状态后,更改链下的状态,生成Proof,并将证明提交到链上,此时该“充值”操作的状态为“Verified” - 链下也已经完成充值。如果之前的所有操作都是Verified,那该操作的状态就是Finalized(也就是这个状态是确定的,不会被篡改的)。
2.2 链下状态和操作
为了支持DEX的业务场景,并结合ZKP的技术要求,路印3.0将链下的状态用三层的四叉Merkle树来表示:
零知识证明 - Loopring DEX 3.0

第一层是N层的四叉树,维护DEX的所有账户信息(也就是能支持400w左右的用户)。
第二层是M层的四叉树,支持一个账户下的所有Token信息。一个Token一个叶子节点。
第三层是K层的四叉树,一个账户下某个Token的Order信息。
所有的操作,都会更改这三层Merkle,完成状态的变化。路印3.0协议支持如下的一些操作:
1/ On-chain Deposits (在线充值)
2/ On-chain Withdrawals(在线提币)
3/ Off-chain Settlements (链下撮合)
4/ Off-chain Withdrawals (链下提币)
5/ Off-chain Order Cancellation(链下取消订单)
6/ Off-chain Transfers (链下转账)
大部分操作都比较容易理解,需要说明的是2和4。因为每个操作都需要经历三个状态,需要链上链下的同步,所以, 用户既可以从链上,也可以从链下发起提币操作。
2.3 ZKP证明
路印3.0,采用的是zkSNARK的Groth16算法提供零知识证明。针对每种操作,Relay都会提供对应的ZKP证明电路。以链下撮合为例,相应的电路证明的逻辑如下:
零知识证明 - Loopring DEX 3.0

假设Account X链下转账给Account Y。ZKP证明电路,包括:
1/ TradeHistory中Order Ox的变化导致TraderHistory的树根的变化
2/ TradeHistory中Order Oy的变化导致TraderHistory的树根的变化
3/ Balance Bx变化导致Balance的树根的变化
4/ Balance By变化导致Balance的树根的变化
5/ 两个账户的Balance的变化一致
6/ Account X和Account Y账户的变化导致的Account树根的变化
注意,不同的操作会有不同的电路对应。简单的说,链下的状态的变化,都会对应不同的电路,并且,电路生成的证明会提交到链上。链下的状态变化,“固化”成规则,并通过ZKP的电路表示。这种思路,和以太坊的zk Rollup的思路一致。
在链上,虽然智能合约不再需要验证和记录撮合信息,但是,需要提供Order信息以及各种操作的证明。Order信息可以通过Calldata存储在链上。在链上验证Groth16的Proof,还是比较昂贵的。一个Proof的验证,目前需要50w左右的GAS费用。在君士坦丁堡升级后,可以降到原来1/4左右。
为了进一步节省链上的GAS费用,路印3.0设计了“Batching”的操作处理(批量处理),也就是多个同类操作,一起生成一个Proof。多个同类操作,被打包在一起,称为“Block”(和区块链中的Block不是一个含义)。
3. 性能对比
在足够多的交易的情况下,路印3.0的TPS在目前的以太坊上达到了350。在君士坦丁堡升级后,TPS能达到1400。每笔交易平均下来的费用大约在1美分。
零知识证明 - Loopring DEX 3.0

总结:
Loopring,路印,一直专注在高性能的去中心化交易协议。从2017年,路印从“环路撮合”的最初设计,经过了1.0,2.0以及3.0的三个大的版本的协议升级。路印协议3.0,通过零知识证明技术(ZKP),兼顾去中心化和交易性能。在链下维护Account模型的账户状态,每个操作都通过ZKP,生成证明并存储到链上,保证链下的状态可靠安全。在足够多交易的情况下,目前路印3.0协议的TPS可以达到350。每笔交易平均下来的费用大约在1美分。

声明:链世界登载此文仅出于分享区块链知识,并不意味着赞同其观点或证实其描述。文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。此文如侵犯到您的合法权益,请联系我们kefu@lianshijie.com

参与讨论 (0 人参与讨论)

相关推荐

中信银行打造“区块链”信用证结算!

中信银行打造“区块链”信用证结算!

科技不会改变金融的实质,但却能让金融服务更高效,能让资金供、需方信息不对称的问题更好地解决。近期,中信银行首个区块链项目——基于区块链的国内信用证信息传输系统(简称BCLC)(一期)成功上线,这是国内银行业第一次将区块链技术应用于信用证结算领域。 据中信银行国际业务部总经理助理张栩青介绍,将现在流行的区块链技术应用在国内信用证中,改变了银行传统信用证业务模式,信用证的开立、通知、交单、承兑报文

中国信息技术部门成立区块链研究实验室

中国信息技术部门成立区块链研究实验室

暴走时评:本月初,中国政府对国内的ICO和数字货币交易所的打击在世界范围内引起了强大反响,但政府已经多次声明不会将区块链与数字货币划等号,依然非常重视区块链技术在中国的发展。鉴于中国工业和信息化部成立了一个专门研究区块链的实验室,这一论调也得到了进一步的证实。 虽然中国政府最近在大力打击比特币交易所和ICO,但仍然致力于开发区块链在其他领域的潜力。 据财新网报道,中国工业和信息化部已经成立了一

 分布式账本中的生命科学

分布式账本中的生命科学

生物科学是医学领域涉及遗传研究,疾病预防和生活方式治疗(lifestyle treatments)的学科。它已经存在了很长时间,但区块链技术的基础设施应用给该学科提供了重大进步的可能性。 根据Pistoia Alliance进行的2016年6月份高级制药和生命科学领袖调查,83%的受访者表示,他们预计在五年内将全面采用区块链技术。 Pistoia Alliance是一个全球性的非营利组织,致

区块链vs.核能:日本最大电力公司东京电力(TEPCO)寻求使用区块链减轻对核电的依赖

区块链vs.核能:日本最大电力公司东京电力(TEPCO)寻求使用区块链减轻对核电的依赖

东京电力公司 (TEPCO) 对于能源过度中心化的风险可以说绝不陌生。 也许最著名的就是2011年发生的福岛核电站事故,这个日本最大的能源公司如今正在寻求区块链技术来防止这种灾难再次发生。 然而,从使用微型风车的分布式风力发电到用于存储在电力成本低时购买的电力的智能电池,可替代能源项目一直以来都属于个人慈善事业。 然而,TEPCO风险投资部门主管Jeffrey Char认为区块链能够帮助为这

继证监会发表代币发行声明之后,香港交易所Gatecoin将下线部分ICO币

继证监会发表代币发行声明之后,香港交易所Gatecoin将下线部分ICO币

经过一系列监管以及合规审查后,香港交易所Gatecoin将会下线那些被金融监管部门定性为"证券"的代币。 香港加密货币交易所Gatecoin透露,如果在该平台交易的ICO代币在法律上符合"证券"定义,他们就会下线这些代币。据巴比特上月报道,香港主要的金融监管部门证券及期货事务监察委员会(SFC)表达了对ICO这种日渐普及的募资模式的担忧。 尽管ICO中售卖的数字代币通常都被定义为虚拟商品,但

IBM与超级账本共同加入去中心化身份基金会(DIF),推动创建区块链ID行业标准

IBM与超级账本共同加入去中心化身份基金会(DIF),推动创建区块链ID行业标准

IBM与超级账本已经签署协议加入去中心化身份基金会(DIF),这个于今年初成立的联盟旨在帮助推动基于区块链的ID系统的互操作性和标准。 这两个企业区块链大佬加入了这个有各种企业组成的团体,其中包括像微软和埃森哲这样的大企业,还有像Civic和Gem这样的创业公司,以及像uPort和Sovrin这样的开源项目。 DIF执行主管告诉Coindesk说: "这应该是一个信号,表明在这一领域有广泛的

为打击人口贩卖,牙买加警方盯上了犯罪分子的比特币钱包

为打击人口贩卖,牙买加警方盯上了犯罪分子的比特币钱包

作为打击人口贩卖计划的一部分,牙买加警方已经开始行动,锁定了那些试图用比特币和数字支付来掩人耳目的犯罪分子。 越来越多的人口贩卖者都开始转向数字货币来帮助他们进行地下活动并接收非法活动所得,但牙买加警方已经盯上他们了。 牙买加的'大生意' 不幸的是,人口贩卖以及性奴市场规模十分庞大,预计涉资1500亿美元。在牙买加,大约有7000个妇女、儿童以及成年男性被奴役,他们的操控者出售奴役服务的价格

深圳市将发布《深圳市扶持金融业发展若干措施》,奖励区块链、数字货币等金融创新

10月9日,深圳市人民政府向各区人民政府,市政府直属各单位印发《深圳市扶持金融业发展若干措施》(以下简称"《若干措施》")。深圳市政府表示,此举是为进一步完善金融支持政策体系,吸引集聚优质金融资源,推动全市金融业可持续均衡发展,加快建设国际化金融创新中心。 《若干措施》共分五大项,33条。内容包括:坚持服务导向,优化金融政策环境;发展金融总部经济,鼓励金融总部企业做大做强;支持金融企业分支机构

麦妖榜
更新日期 2019-09-03
排名用户贡献值
1牛市来了30910
2BitettFan24187
3等待的宿命23810
4区块大康20369
5六叶树20310
6linjm122719429
7天下无双16192
8lizhen00215280
9让时间淡忘14586
10yelanyi050511349
返回顶部 ↑