当前位置: 首页 > 科技 > 区块链 > 状态通道是否具有即时确定性?_腾讯新闻

状态通道是否具有即时确定性?_腾讯新闻

天乐
2020-07-15 11:18:19 第一视角

为了便于技术讨论,好的术语必须在精确性和简洁性之间取得平衡。通常这种平衡需要根据说话者(无论是开发人员还是营销人员)和听众(无论是专家还是非专业人员)的性质而变化。

“即时最终确定性”就是这样一个大白话片段,也是这篇文章的重点。它的目的是传达加入状态通道层可以给区块链带来的一些优势。确定性的概念可以追溯到介绍区块链和比特币的原始论文。它是区块链交易的属性,可以定义为该交易已包含在一个区块中且该区块在其之上已开采出足够数量的后续区块时的事务状态,因此观察者可以确信该交易永远不会被网络拒绝。这意味着交易及其影响(例如代币余额的更改)将保持不变。

工作量证明区块链中的最终性不是二进制的:交易最终完成没有神奇的时刻。取而代之的是,正如中本聪在其白皮书中所概述的那样,随着网络就越来越长的区块链达成共识,交易被拒绝的可能性会随着时间呈指数下降。

当然,在任何时候,这条链都可能被分叉,导致一笔交易中途夭折:但是只要观察到确认性的新区块,并指向包含该交易的区块,这种可能性就会越来越小。观察一个不包括我们交易的分支或竞争链,会增加我们的交易被拒绝的可能性。很有可能最终结果永远不会到来,而交易实际上变成了“反最终”,这意味着我们非常有信心它已经被拒绝了。例如如果网络正遭受所谓的51%攻击,就可能发生这种情况。同样我们永远不可能完全确定这两种方法:但是随着时间的流逝,我们对拒绝概率的最佳估计将非常接近于0或1。等待足够长的时间,我们就可以为所有实际目的确定。

那么状态通道如何影响这种情况?好吧,事实是,他们没有。它们被称为第2层(L2)技术,这意味着它们不会根据定义更改区块链的底层协议,也无法更改其最终属性:尽管在第1层(L1)领域中有大量的努力可以做到这一点。

此外,状态通道应用程序必须至少涉及一个“锁定”和一个“解锁” L1交易,才能成功地从底层区块链中引导资产。与其他交易完全一样,这些交易也需要遵守相同的最终性要求。用户通常会等待一分钟的最佳时间(从UX角度来看,这确实是无穷的),以便将这些L1交易视为最终交易。

状态通道的工作原理是利用锁定和解锁之间存在的机会:在这些步骤之间提供一个执行环境,使类似区块链的应用程序安全运行。这些应用程序涉及状态更新,我们可以将其称为“ L2交易”,这与区块链交易非常相似,但有一些区别。它们经过密码签名,包含任意数据,并由定义执行程序(应用程序开发人员定义)规则的虚拟机进行解释。但是L2交易的命运并不取决于复杂和概率一致的协议。例如单方面或一致地更新状态通道的状态。每个更新要么是可完成的,要么不是。

最终确定性是什么意思?就像L1终结性的情况一样,它要求状态通道状态将被L1链接受,从某种意义上说,如果不将链的虚拟机作为L1解锁事务的一部分提交,则L1链不会恢复。这意味着L2事务已正确格式化并正确签名,并将通过状态通道协议设计人员和应用程序开发人员施加的任何额外检查。一旦参与者验证了这些条件,该参与者就会有信心,他们将能够在将来的某个时候以规定的方式进行解锁。L2事务导致完成状态。

这些相对宽松的要求使得与L1终结性相比,达到L2终结性的时间可能非常快。

这就是“即时”的来历:这是一个不精确(甚至不准确)的术语,但是反映了用户体验从常规Dapp到状态通道Apps的质的逐步变化:足够快,足以刺激小额支付和实时游戏等令人兴奋的应用是L1链无法企及的。

在这种意义上,锁定和解锁L1事务之间所有L2事务的可终结性是即时的,条件是锁定和解锁事务本身的终结性。如果锁定事务被拒绝,则所有状态通道更新都将以相同的方式变得毫无意义。但是由于在锁定事务之后我们可以等待所需的时间,因此在启动状态通道之前,我们可以使最终性以几乎确定的或您希望的接近确定的条件为条件。

与此类似,对于解锁交易,有一个警告:状态通道依赖于挑战和响应(或争执)模式,可以防止参与者不活动。通过提交L1交易,此模式使恶意交易方能够以不利的方式尝试解锁状态通道资金。只要诚实的参与者可以在超时期限内通过自己的L1交易进行反驳,它就会受到保护。如果此超时时间太短,则最终确定性的概念很容易崩溃。如果比完成反驳交易所需的时间长得多,那么L2交易的可最终确定性实际上是无条件的。

值得记住的是,资产转移在L2中的含义稍有不同:由于交易的共识仅在固定(通常很小)的参与者集合中达成,因此状态更新仅对该集合有意义。如果我在状态通道中向交易对手付款,那么在我们解锁之前,他们无法使用这笔钱向通道外的人付款。尽管我们具有即时终结性,但我们没有即时流动性。

总而言之,那些寻求更深入了解的人可能希望在描述状态通道时用“快速条件可确定性”代替“即时确定性”。对于其他所有人,最有可能保留后一个术语:出于同样的原因,诸如“比特币去中心化”,“公钥加密是安全的”,“哈希函数不可逆”之类的摘要也将保留。广泛的社区接受这种不精确性,因为它可以让对话更流畅地继续进行,并且可以更容易地传达主要思想。

由Magmo团队成员@ Consensys R&D的George Knee撰写。感谢Liam Horne,Santiago Persico和Tom Close的评论和建议。

------------------------------------------------

译者:链三丰

译文出处:http://bitoken.world

------------------------------------------------

提示:支持键盘“← →”键翻页
为你推荐
加载更多
意见反馈
返回顶部