火星链 火星链
Ctrl+D收藏火星链

EFI:科普 | Layer-2 中的有效性证明与错误性证明

作者:

时间:1900/1/1 0:00:00

引言

在本文中,我们将从错误性证明与有效性证明的区别出发,分析和比较不同的Layer-2可扩展性方案。我们断言,相较之下,有效性证明在根本上具有优势,因为有效性证明方案保证了只有合形式的状态转换才会被接受。

背景

在最近几个月,基于证明的以太坊可扩展性方案——比如?Truebit、GluonPlasma、dFusion、Roll-Up?以及?Ignis?这样的项目——开始浮出水面,让人颇为激动。这些项目背后的理念很简单:与其给区块链写入很多交易,不如产生一个证明,可以简洁地表示这些交易,进而表示出新的状态。

上面提到的所有项目都是Layer-2方案:它们定义了一种运行在Layer-1上的协议,并且基于这些协议来提供多种服务:存储资金/取出资金、一个根据链下状态时时更新的账本,并作为一种“全局时钟”而运作。重要的是,这些协议没有嵌入Layer-1,因此Layer-1也无法强制执行任何Layer-2的逻辑。

火币推出《一分钟读懂DeFi》系列科普视频:据官方消息,8月24日,火币推出《一分钟读懂DeFi》系列科普视频,并与微博财经合作冠名播出,布道DeFi认知,助力行业发展《一分钟读懂DeFi》是由火币成长学院打造的业内首个系统全面讲解DeFi的系列科普动画,继推出《区块链100问》后的再续佳作。《一分钟读懂DeFi》系列动画对DeFi的发展进行系统梳理,适合想要由浅入深、全面系统了解区块链DeFi的人们轻松了解DeFi。目前视频已由火币网官方微博发布。[2020/8/24]

在此,我们想展开一种框架来比较这些方案,尤其是关注“错误性证明”与我们所谓的“有效性证明”之间的区别。错误性证明和有效性证明不是Layer-2的专利,在Layer-1上也可以存在,但当前大家仅在Layer-2上做尝试,因此我们的分析也都基于Layer-2方案。

错误性证明即表示某个状态转换不正确的证据。这种方案反映了一种乐观的态度:假设?区块上表示的Layer-2状态都是正确的,除非有人能证明不是。实际上,提交到链上的区块也很有可能包含着一次不合逻辑的状态转换。

声音 | 上海股交所总经理:区块链想要大规模发展要做好社会科普工作:金色财经报道,上海股交所总经理张云峰表示,区块链当前还处于一个“概念”的阶段,距离成熟应用,影响到百姓的日常生活还有很长的路要走。对于“区块链”和其会带来的社会和经济效果,沈阳应当持审慎的态度。区块链想要大规模发展,一方面要做好这项复杂技术的社会科普工作,加快社会大众对区块链的了解。另一方面,要充分发挥市场的作用,让企业用实实在在的技术创新,赋能实体经济的发展。[2019/11/17]

有效性证明即表示某个状态转换正确的证据。这种方案的态度更为消极:当且仅当某个状态是正确的,区块才应该包含代表相应Layer-2状态的值。

在继续推进分析之前,有必要强调的是:证明系统既可以被用作错误性证明,也可以用作有效性证明。我们不应该混淆证明的方式和证明的目的。

深度分析

错误性证明

声音 | 浪潮集团云南分公司总经理:云南区块链产业发展需从“科普”到“专精”不断深化:据昆明日报消息,浪潮集团云南分公司总经理郑昕表示,云南区块链产业发展需从“科普”到“专精”不断深化。下一步,浪潮将继续加大云南农业产业高质量发展体系建设力度,重点以普洱茶等云南优势产业为切入点,打造云南“绿色、有机农产品高地”的品牌形象,并在此基础上,开展基于区块链的供应链金融服务,解决中小企业贷款难、贷款贵问题。[2019/11/11]

错误性证明的主要优点是无需为每一次状态转换都提供证明,只在系统需要中断的时候提供。因此,错误性证明方案需要的计算资源更少、更适合可扩展性受限的环境。这种方案的主要缺点则来源于其非交互性:它定义了多方之间的“会话”。一次会话要求各方——尤其是断言状态转换有误的一方——必须在线,并且允许其它方用多种方式打断会话。但问题的核心是:协议会将沉默视为默示的同意。实际上,攻击者完全可以尝试用DDoS攻击制造出表面的沉默。

声音 | CNBC主持人:加密货币最大的缺点之一就是难以向外行快速科普:CNBC主持人Ran NeuNer近期发推称,加密货币最大的缺点之一就是很难向外行快速解释。当人们要求我向他们解释比特币时,我知道他们至少需要一个小时才能真正理解。[2019/9/10]

概念上,错误性证明方案可以表述如下:因为区块有可能包含不正确的状态转换,错误性证明协议设定了一个时间框架——纠纷时间窗口——来处理不正确的状态。这一窗口的长度也是用区块数量来定义的。如果在纠纷时间窗口内无人提交错误性证明,相应的Layer-2状态转换就会被认为是有效的。如果有人向智能合约提交了错误性证明,而且经证明是正确的,则智能合约会将Layer-2状态回滚到最后一个正确状态。除此之外还可能实施对作恶一方的惩罚,等等。

DTF时间长度的选择很重要:DTF时间越长,发现错误状态转换的几率就越高——听起来很棒。但同时,时间越长,用户需要等待的时间也越长,这就是一个副作用了。

金色财经独家分析 监管机构、媒体、业界提示风险 区块链科普道阻且长:新华社今日发文表示,近来“区块链”类案件频发,不法分子以“投资虚拟货币周期短、收益高、风险低”为借口,取用户信任并诱使其转账进行投资。无独有偶,同日消息,腾讯手机管家安全专家也提醒此类风险,并从技术上提出防建议。在美国,监管机构警示加密货币欺诈现象普遍承诺高收益而不披露潜在风险。金色财经独家分析,不法分子假借新技术之名进行,一方面是抓住民众趋利的心理,一方面反映出区块链科普的欠缺。区块链是新兴科技和底层技术并有改变社会生产关系的潜力,应该进行系统性的科普教育,当前,部分大学已经开始设置了区块链课程,但对于普通民众仍然有科普的需求,人们应该了解到系统和正确的知识,不仅要了解区块链的好,也要明确局限和弊端,以在高收益的诱惑下,保持清醒客观。[2018/4/11]

有效性证明

有效性证明总体上说更为简单:向一个智能合约发送一些链下计算已然发生的证据。智能合约仅在一个新值被证明为正确之后才更新区块链。有效性证明的主要优点是区块链上总是能反映出一个正确的Layer-2状态,而且一个新状态可以即时使用。而主要缺点就是每个、每次状态转换都需要一个证明,不单单是状态转换受到质疑时才需要提交证明,这就影响到了其可扩展性。

51%攻击

在多种可能的攻击方法中,我们主要关注Layer-1上的51%攻击。最近51%攻击频发,连以太坊经典也未能幸免。那么错误性证明和有效性证明如何应付这种攻击呢?

错误性证明:一场51%攻击会在区块链中引入一个欺诈性的状态,比如从交易所中“偷取”一些资金。细节如下:

攻击者用一个欺诈性的状态转换创建了区块BlockFr。例如,区块中包含了一笔交易,将交易所中所有的资金转移到攻击者的账户。

在BlockFr之后,他们还会接上DTF区块,以一个包含取款交易的区块告终。

然后他们在DTF区块后面继续生成区块,直到超过当前链成为更长的链。他们能这么做是因为他们掌握了51%的算力

难搞的是,发动这样一场攻击的运营成本跟“奖金”规模无关。这就意味着,随着密码学货币交易所的体量上升,攻击交易所会越来越有吸引力。

总而言之,问题的根源在于Layer-2解决方案定义了自己的逻辑,而且允许一个区块包含欺诈性的的状态转换。这样一来,攻击者偷盗资金之后的账本状态也会被认为是一个合法的状态!甚至都没有什么双重花费,只是出现了一桩欺诈。

有效性证明:51%攻击只能遮蔽已有的账本历史,可能可以提供另一种历史;但重要的是,这一新的历史也是完全合形式的。这里所说的攻击范围仅限于在Layer-1上可能发动的攻击。在币币交易所中,覆写历史的勾当有时候是一本万利的:例如,一个卖家,可能会很乐于遮蔽掉一笔时候来看成交价位于谷底的交易,但是,在给定区块链上的交易所中,没有办法可以直接吞掉对方的钱。

我们提议的解决方案

如果有这么明显的劣势,错误证明型系统还会作为一个选项?

主要原因就是提供有效性证明迄今为止都仍是非常昂贵而且繁琐的。

在使用证明系统以前,免许可系统中唯一一种“有效性证明”就是简单重复运算,因此可扩展性大为受限;而且,这种重复计算直至今天仍在Layer-1上使用,虽然众所周知它是可扩展性的一个障碍。证明系统则提供了一种非常有吸引力的特性,叫做?简洁性:为了验证一个状态转换操作,你只需要验证一个证明,而且验证的开销是完全独立于状态转换的计算量大小的关系)。

Ignis/Roll-up都基于SNARK,需要一个受信任的初始设定,并且相较于STARK,需要证明者使用更多的计算资源。StrakWare正在努力部署StarkDEX,为去中心化交易所提供可扩展性方案;他会使用STARK来实现有效性证明,我们预计会在2019年第一季度末部署到测试网上。

结论

本文比较了错误性证明和有效性证明作为Layer-2可扩展性方案的工具价值。我们强调了有效性证明应对51%攻击的内在优势。而STARK,因为证明时间更快,而且验证简单、无需受信任的初始设定,是一种生成有效性证明的有力工具。

感谢DanRobinson、LindaXie、AlexeyAkhunov以及GeorgiosKonstantopoulos审读本文的初稿。

原文链接:?https://medium.com/starkware/validity-proofs-vs-fraud-proofs-4ef8b4d3d87a作者:?AvihuLevy&UriKolodny翻译:?阿剑

标签:区块链LAYERDEFEFI区块链域名UnilayerXDeFiChainDOGDEFI

欧易交易所app官网下载热门资讯
Maker:Maker费率高处三连跳,利率成DeFi借贷市场“无形之手”?

2019年以来,在类游戏之后,更具金融属性的DeFi成为DApp生态的下一个风口。稳定币、借贷、去中心化交易所作为驱动DeFi行业发展的“三驾马车”,把DeFi从小众市场带入主流大众视野,其.

1900/1/1 0:00:00
TET:Tether:已推出锚定离岸人民币的稳定币CNHT

昨日,Tether发布公告称其已经开始支持一种基于离岸人民币的数字货币,以扩大其稳定币的资产规模。Tether指出,这种全新的稳定币CNHT将与离岸人民币一对一挂钩.

1900/1/1 0:00:00
比特币:矿业这十年:从GPU挖矿到7nm矿机的进击之路

自中本聪挖出第一个区块开始,矿业即算问世。2009到2019年满打满算矿业发展已经有足足有十年的时间。十年间矿业从无到有,见证了区块链产业从卑微到辉煌.

1900/1/1 0:00:00
POW:硬盘挖矿概念大辨析:PoC VS IPFS(Filecoin) 下篇

PoC是基于空间的共识机制PoC的全称是Proof-of-Capacity。Capacity其实是存储空间的意思,之所以用这个词,是因为早先PoC被称为PoS,也就是很名正言顺的空间证明的概念,

1900/1/1 0:00:00
以太坊:以太坊发展开启新方向?Hyperledger宣布接纳首个公有以太坊区块链项目Pantheon

全球最大的区块链联盟之一超级账本已经正式接纳了它的第一个公有区块链项目,来自ConsenSys的项目Pantheon.

1900/1/1 0:00:00
区块链:追风去 不如造风来——致敬蚂蚁区块链创新大赛中的参与者们

我们在西湖论剑?在白堤走秀什么异想天开什么奇思怪论那些不羁的理想那些年轻的伟光你让造梦的孩子走到舞台中央让千万创业者追求心中的光—摘自阿里巴巴20周年《致敬杭州》20年前,杭州这座“造梦之城”.

1900/1/1 0:00:00