lol2020全球总决赛下注首页-再议有效性证明 vs. 错误性证明

木工雕刻机 | 2020-12-26

【lol2020全球总决赛下注首页】最近几个月,Door受到了以“Optimistic Rollup (OR)”为基础的错误证明(Fault Proof)为基础的扩展框架的更多关注。我们StarkWare使用验证(Validity Proofs,VP),因为它比错误证明更安全。本文除了安全讨论外,还介绍了VP对OR的一些额外好处,几乎不放过公众对有效性证明的误解,最后介绍了基于STARKEx —— StarkWare研发、Stark和有效性证明的扩展引擎。

特别是与OR相比,VP具有以下优势:在“完全安全,提取时资本效率1000倍,可扩展性提高(链)”计算中,至少可以超过同样的效率安全性。在之前的分析(编者注:中文译文结束)中,我们认为,只有在状态转换苛刻且有效的情况下,前者才允许状态转换(因此,Optimistic,悲观),参与者可以提交关于违宪状态转换的错误证明。我们以前的文章(我们的安全分析)明确指出了可以在OR实施,不会窃取OR所有资金的反击手段(其他不切实际的反击手段以前也进行了很大的讨论)。区块链的基础架构解决方案必须足够强大,能够容纳金融世界中每天数万亿级的资金交互阻抗。

首页

VP和OR分别如何胜任?因为涉及到从OR窃取资金的成本和收益的大小,所以一旦系统支撑足够的资本,使系统破坏看起来有利可图,理性的参与者就不会寻求通过反击获取利润的方法。在OR的无视下,VP转变为违宪状态,无论得到多少资金,都有可能被盗。(威廉莎士比亚、违宪、违宪、违宪、违宪、违宪、违宪、违宪)对于大规模金融体系,VP更强,OR更弱。

另外,如果数据集丢失,还可以反向分析角度分析系统的安全性。OR的数据比VP更脆弱。如果数据丢失,OR的资金有可能被盗。——度正因如此,目前设计集中在链的数据可用性问题(Data Availability)上。

对于VP,因为使用了链上的数据(例如,JK-Roll up),所以资金就像没有Layer-1一样安全。至于VP链下的数据部分,资金至少会失效,被盗。

资金效率数字货币世界中流动性的很多问题在于资金存款延迟。在OR中,标准存款窗口时间约为1周——小时,是提交错误证明的有效窗口时间(安全参数)。在VP中,标准存款期限约为10分钟(通过额外的软件和硬件增强可能会显得更短)3354。

这是分解最后计算结果的有效性证明的时间。因此,OR的标准存款期限比VP宽1000倍(1周/10分钟至1000)。

要想用在OR上,就要忍受这样1000倍的不便,这不仅是时间上的延迟,也是资金效率的减少。我们之前解释了免除信任的缓慢取款机制。

也就是说,想要立即支付的用户必须向流动性供应商缴纳链条下资产的债务证书,即亲笔签名条件。然后,流动性供应商在自己的“储蓄罐”智能合同中支付这些资金,将链条上所欠金额的资金传递给支付者,全体运营者需要的时间与区块链网络上的账户时间相似。

流动性提供者不会在定期积累的链条下将资产转移到链条的“储蓄罐”。VP和OR都可以应用于较慢的存款机制。

但是在OR系统中,流动性供应商需要在“储蓄罐”中计划1000倍的资金。因为用链条接收资产所需的时间要长1000倍。

首页

这个1000倍的比率和“储蓄罐”流动性算法的不同假设,以存款金额期望值、支付-存款差额、最大流动性市场需求、平均取款金额等为基准,OR需要的储备数是VP的1000倍。但是有时完全不能用于缓慢的撤退。

不硝化资产(或非主流同质化资产)不可用。(或者适用成本很高。):非吉托肯(NFT):非吉托肯(NFT):非吉托肯(Vitalik):如上所述,如果链条上不存在名为Mitzi的昂贵CryptoKitty,那么隐秘的交易:零卡西风格的约定如果想把隐秘交易的资金慢慢提到主链上(在主链上也要保持隐蔽性),用户必须暴露向流动性供应商承诺的数据,破坏隐蔽性。

在这种缓慢的退款机制不适用的情况下,用户不能等到标准退款窗口结束,VP比OR慢1000倍。可扩展性(链上)本节比较不同的rollup系统。

因为类似的东西之间有意义,所以只能得到获得链数据可用性的rollup系统,即OR vs. STARK ZK-Rollup(StR)。虽然我们认为,链中存储数据的所有rollup系统将随着rollup交易的剧增,线性减少消耗的资源量。链中的数据包括部分状态(例如交易详细信息)和直接数据(例如证明交易参与方的数字签名)。

OR和StR的区别在于,随着成交量的减少,前者的直接数据呈线性快速增长,后者用证明代替了这一点。这个证明的大小是,只有多项式对数水平不会迅速增加。对于足够大和足够大的批量交易,StR链上的数据指纹要比OR小得多。从细节到:StR可以直接通过数据确认rollup运营商展开的合规性,所以批量计算需要一目了然(例如,zk-proof),更好的是,在现代zkp系统中,此证明的大小相同(准确地说,如上所述,是多项式指数级别)。

因此,随着大量交易的减少,分配给各交易表头的资源消耗反而增加。在OR中,所有交易都必须直接附上一张,以便检查者能够确认交易的准确性。因此,对于大宗交易,没有平均分担增加税的优势。

更重要的是。OR的亲眼目睹远远大于交易本身。

例如,OR必须直接包含所有用户的亲笔签名1,而VP不是。比全部缴纳中直接缴纳的数据多3 ~ 5倍。对于简单的应用程序(例如秘密交易),通常不会比状态的数据大10倍以上,有时还会更多。总的来说,OR消耗更好的链的资源,因此覆盖可扩展的天花板比StR慢。

lol2020全球总决赛下注

标准化计算支出(STARKs越用越少)人们经常通过VP和OR的标准化来比较支出。也就是说,计算等价链下的工作,两个不同的系统还需要做什么工作?现在以STARKWare的Stark为中心进行。

因为这是目前适用的VP框架。OR: 100名检查者相互监视,基本上要保证整个计算的准确性,所以提到OR时,检查者人数有数百人。到了检查阶段,所有检查人员都要展开一次计算任务,因此OR通过标准化计算的支出是原来任务的100倍。

(威廉莎士比亚、温斯顿、检察官、检察官、检察官、检察官、检察官、检察官、检察官)如果有适当的说明,检察官的子集越小,事先分配的情况越多,检察官就越容易相互指示或受到外界贿赂、反击。STARK:由于检查过程的计算支出很小,因此只有实体3354证明人3354需要大量计算。以检察官的计算,支出有多微不足道?现在,我们可以用非常简单的智能手机检查大量的计算结果,这样就可以无视检查的计算,消耗掉。

人们常说证明者的计算支出是原来任务的10000倍。因为证明必须消耗大量计算分解。

但是本质上StR需要计算的支出是100倍,因此追加计算支出和OR大体上非常大。StR计算的支出只有100倍,是基于以下原因。就算术/几何操作者而言,我们已经超过了100倍以上的计算支出。目前适用的Pedersen散列函数意味着比原来的操作员减少20倍。

也就是说,使用STARK证明Pedersen哈希值的准确性比计算Pedersen所需的速度快20倍。对于像SHA-256这样费用昂贵的运营者,我们努力把那些函数变成对STARK友好关系的运营者。

我们目前没有得到Etherfang Foundation的支持,正在进行这些研究,2020年第一季度,很多密码学将提出替代方案。据证明,对STARK友好关系的哈希函数的估计比某些有效的哈希算法(如SHA-256)快100倍。

本文来源:lol2020全球总决赛下注-www.game3117.com