编者按:本文来自PolkaWorld,作者:FatemehShirazi、LoganSaether、AlistairStewart、RobHabermier、GavinWood,Odaily星球日报经授权转载。
最近几个月,Web3基金会的研究团队一直在做跨链消息传递功能的文字概述。它是Web3基金会王牌项目Polkadot的关键组件。我们很高兴与您分享我们的工作!跨链消息传递方案是Polkadot协议的一个子集。它定义了在除了共享中继链的安全性之外没有其他的信任假设的情况下,消息如何得以在平行链之间传递。这篇文章阐述了平行链的消息传递协议,并在很大程度上依赖于Polkadot独特的中继链体系结构和设计。协议包括:就共识而言:消息的排队和排序机制。与中继链的其他部分结合,特别是GRANDPA的最终确定机制:数据可用性。与平行链验证功能结合使用:消息输入和输出。此外,本文还回顾了交付、如何实现一致的历史记录以及防止DoS攻击的想法。最后,我们结合SPREE回顾了XCMP,并总结了XCMP所实现的特性来结尾。消息语义和网络细节在本文中没有提到。介绍
Polkadot“1.0版”的一个关键特性,是让原本隔离的平行链以安全和去信任的方式在彼此之间发送消息。出于此目的,我们定义message的方式与定义transaction的方式基本相同。两者都是指来自接收链以外的数据,而且都暗示并要求链按照其内部逻辑对数据做出反应。考虑到实际系统的延迟水平,链不能拒绝或混淆数据的含义。例如,在比特币的语境中,这种属性意味着比特币中的有缺陷或恶意的矿工不能重新分配资金,因此这是一个好的加密经济共识系统的基础。transaction和message之间的关键区别在于,transaction包含一个签名,以证明数据的出处。而对于message,出处仅通过Polkadot的抗拜占庭加密经济验证基础设施来证明,在很大程度上跟以太坊合约间消息传递的方式是一样的。例子
关于“在Polkadot上注册Shell平行链”的第121号动议已开启投票:Polkadot在推特上表示,第121号动议现已开启投票。该动议提出在Polkadot上注册Shell平行链,以确保区块生产、包含和最终完成。Shell平行链的功能极其有限,它甚至没有帐户的概念。Shell只接受来自中继链的消息来升级自身。在争议代码激活后,Shell最终可以通过进行另一次公投升级为Statemint。如果委员会通过,该动议将进行公投。[2021/10/29 6:20:18]
在详细讨论XCMP的每个组件之前,让我们先举一个例子,说明如何将某智能合约平行链上的出站消息连接到某分布式金融平行链的入站队列,以便从DeFi平行链的收集人进入下一个候选区块。在中继链300区块高度,智能合约平行链发起针对“32”的端点的消息,该端点是DeFi平行链的平行链ID。消息将首先包含在智能合约平行链的出站或出站队列中。智能合约平行链的所有节点将开始在网络中对消息进行八卦。如果智能合约链中的某些节点也是DeFi链的完整节点,并且这些节点通过转发消息来充当两个八卦网络之间的粘合剂。如果不存在需要遍历的网络共享节点,则调用回退机制。一旦消息到达DeFi平行链的收集人,它们就会接收此消息并将其输入入站或入口队列,以便在其下一个候选块中进行处理。
Coin Bureau:Polygon(MATIC)有望在今年年底达到5美元:加密影响者Coin Bureau在其YouTube频道(粉丝超过120万)中表示自己看好MATIC,这是他后悔“没有早点购买”的少数加密资产之一。理由如下:
-Polygon是以太坊的“首选第二层扩容解决方案”。
-基于Polygon构建的一些热门去中心化应用程序包括Aave(AAVE)、Decentraland(LAND)和SushiSwap(SUSHI)。
-基于Polygon的300多个DApp总锁仓量(TVL)超过90亿美元。
-Coinbase和Binance最近都完成Polygon钱包集成。
-活跃用户的数量(增长非常迅速)超过了某些第一层(L1)区块链的数量。
-MATIC不仅为Polygon区块链提供动力,而且对于Polygon扩展的各种以太坊第二层(L2)区块链也很重要。
-自2021年初以来,MATIC一直“表现出色”。尽管2021年第二季度的加密市场崩盘使MATIC价格从2.44美元的历史高点(5月18日达到)下跌,但随着“大规模采用”,MATIC的价格有“现实”的机会在今年年底达到5美元。(Cryptoglobe)[2021/8/13 1:53:46]
图1:显示了两个平行链A和B对应的收集人和全节点。有两个节点同时是平行链A网络和平行链B网络的全节点。DeFi平行链上的收集人将产生中继链区块301的候选块。此候选块将要求证明它从A的块上执行的消息是正确的消息。中继链块300包含A中区块的平行链区块头,也就是包括可用于认证消息的消息根散列的少量数据。此候选块将包括中继链轻客户端证明,证明此消息根位于中继链中,并将此证明与发送链发送的消息一起组合。DeFi平行链的平行链验证人将能够使用这些证明,来验证来自DeFi平行链的提议候选块的完整性。随后,智能合约链的原始消息被包含在了DeFi平行链中,无需额外的节点提供安全性,并依赖于来自Polkadot的共享安全。排队和排序消息
PolkaFoundry与去中心化孵化器DuckDAO达成合作:据官方消息,PolkaFoundry与去中心化孵化器DuckDAO达成合作。
PolkaFoundry是Polkadot上DeFi应用程序的一站式生产中心,DuckDAO帮助100多家数字资产初创公司进行了资本投资。[2021/3/6 18:20:42]
Polkadot中的每个平行链的区块都可能生成一个空的消息列表发送到其他块。这些列表被称为出口队列。一旦消息被发送,它就进入平行链的入口队列。平行链必须按顺序处理入口列表。一个收集人或验证人试图为某个平行链的出口队列收集消息,它调用该平行链的入口,并在传播池中搜索相关消息,等待尚未被八卦的消息。传递消息假设每个平行链都有一个全节点的连接网络。我们假设每个完整节点都知道系统中其他完整节点的子集,我们称之为相邻节点。请注意,我们对这些网络的拓扑结构和直径没有任何假设。发送消息的最简单方法是使用八卦协议。回想一下,同龄人之间经常就他们对当前假期的看法进行交流。为了实现更高效的传递,未发送的消息只会被传递到具有相同视图的相邻节点。如果这两个网络之间有共同的节点,消息将从一个平行链网络传播到另一个平行链网络。
图2:显示了由八卦完成的消息传递过程。我们假设这条消息是由粉色collator发出的,它产生了最新的平行链区块。回滚传递但是,如果接收方的平行链验证者意识到消息没有在接收平行链中被八卦,那么它们会从发送平行链的平行链验证者请求消息。一旦收到这些信息,他们就会在接收平行链网络中对这些信息进行八卦。
P网Poloniex现已上线UNI永续合约:据官方消息,老牌交易所P网已于2020年10月26日20:00正式上线UNI永续合约,最高支持50倍杠杆。UNI合约交易赛将于21:00正式开启,总奖池5,000 USDT,前100名交易量达1,500 USDT的用户将平分2,500 USDT奖池。除UNI外,P网期货合约专区此前已上线BTC、ETH、BCH、BSV和YFI六大合约品类,最高支持50倍至100倍杠杆,用户可享受全网最高合约挂单补贴。详情见原文链接。[2020/10/26]
图3:显示当发送和接收平行链不共享任何全节点时的回滚传递。回滚传递机制如图3所示,我们假设平行链A希望向平行链C发送消息,而平行链C没有跟A共用的全节点。一旦平行链C的平行链验证人注意到消息尚未到达,它们就会向发送平行链验证人发出请求,后者负责保存来自其平行链的出口消息。一旦对请求的响应到达,平行链C的验证人就会在平行链C中八卦消息。获得一致的历史记录我们希望从XCMP获得的一个关键特性是规范平行链区块,即那些我们最终认可它已经发生的平行链区块。这意味着,在当前的平行链区块中,只对那些从平行链区块发送的消息起作用,这些平行链区块本身既规范又早于当前平行链区块。中继链定义了所有平行链的历史记录。例如,来自平行链B的区块头在中继链区块301中,可以说其作用于区块300之前的所有消息。如果作用于区块300之前的所有消息,那就作用于平行链A的区块发送的消息,并且仅当A平行链区块头出现在中继链300区块或更早的时候才会起作用。这意味着中继链需要在验证消息方面发挥作用。然而,由于我们不能在这些平行链区块头中放置大量数据,中继链本身不应该具有消息的有效负载。相反,我们通过使用嵌套的Merkle树来有效地保持一致的历史。对应于已发送消息的平行链区块头将包含一个消息根哈希,即Merkle树的根。反过来,这个Merkle树的叶子是从这个平行链到另一个平行链的消息散列链的区块头。这意味着有一个包含每个消息哈希的哈希序列,让从一个平行链到另一个平行链的所有已发送消息得以验证。这允许收集人通过首先显示消息根在中继链中,然后证明这些是来自消息根哈希的消息,从而构造一个由许多散列组成的证据,证明它们对消息起作用,并且只对它们应该起作用的消息起作用。有关此主题的详细信息,请参见:https://research.web3.foundation/en/latest/polkadot/XCMP.html输入和输出验证回想一下,Polkadot由一条中继链和多条平行链组成。平行链区块头包含传出消息的消息根。为了在基于特定中继链块的平行链上生成平行链块,收集人需要查看在该中继链块和包括该平行链的最后一个平行链区块头的中继链之间构建了哪些平行链头。对于这些消息,平行链需要作用于相应的消息数据。
动态 | 加密投资公司Polychain已筹集1.75亿美元:据btcmanager报道,加密投资公司Polychain已筹集1.75亿美元,这是该公司第二次获得资金,第一次是2016年12月筹集的1000万美元。[2018/12/20]
图4:显示了在第0、1、2轮中为三个平行链A、B、C构建的平行链块,以及在这些平行链中每轮发送的消息。链状态转换验证函数使用验证函数来验证输入消息是否被执行。验证函数是WebAssembly的一部分,它检查平行链的状态转换是否实际有效。它将平行链的新状态和一组输出消息与平行链的先前状态摘要、平行链块数据和一组从其他平行链或由中继链准确地路由过来的输入消息相关联。图4显示了一个示例,其中为第0、1、2轮显示了三个平行链A、B和C之间生成的平行链块和消息。假设平行链B在第0轮中不产生任何平行链块,平行链C在第1轮中不产生平行链块。在第1轮中产生的平行链块B1需要将消息m1作为输入消息,并通过在第1轮发送消息m3来回复平行链A。在第2轮中生成的平行链块C1需要在其未处理的入口队列中获取消息m2和m4。消息的可用性一旦消息被包含在出口队列中,它们就由收集人和发送平行链的全节点保存。当发送平行链块的头包含在中继链中时,平行链验证人也将保留消息。接收平行链的收集人和全节点还需要知道平行链之间发送的消息的有效负载。所有需要知道消息存在的其他实体只能存储散列,这些散列可以用来验证消息。为了保证可用性,我们要求所有验证人持有可恢复任何平行链消息的纠删码片段。这些纠删码片段由发送平行链的平行链验证者生成和分发。其中1/3的纠删码片段足以恢复所有消息。最终确认要求投票人收到这些纠删码片段,否则他们将因投票而受到惩罚。因此,最终确认时必须有2/3的纠删码片段可用;由此我们可以保证最终消息也可用。防止DoS攻击注意,XCMP的目的不是规定消息的标准格式。但是,每个平行链通过它发送给另一个平行链消息的总大小有一个限制。此外,八卦协议使用边界传递来避免较大的信息。对于不经常将块放入中继链中的平行线程,未处理的消息队列可能会大幅增长。为了限制这一点,发送平行链将为此链维护一个具有大小限制的出口队列。只有当它知道旧消息已经收到时才能删除它们。接收链发布一个水印,说明它在这个平行链的区块中处理了多少区块。发送链可以使用此水印来精简其出口队列。此外,我们计划让接收平行链能够阻止另一个平行链发送消息。平行线程还可以禁用XCMP函数,以避免处理大量消息。XCMP和SPREESPREE是类似于runtime模块的逻辑片段,但它们位于中继链上,可以由平行链选择其功能。这些逻辑片段是通过治理机制或平行链上传到Polkadot的WebAssembly代码块。一旦这些逻辑片段上传到Polkadot,所有其他平行链都可以决定选择加入该逻辑。SPREE模块将独立于平行链保留自己的存储,但可以通过与平行链的接口调用。平行链将同步向SPREE模块发送消息。有关SPREE的更多信息,请参阅其wiki文章:https://wiki.polkadot.network/docs/en/learn-spree。这些逻辑片段可以将XCMP消息寻址到SPREE模块,并保证在对该消息执行操作时,它将使用来自该SPREE模块的与任何其他平行链相同的代码。SPREE模块对于整个XCMP体系结构非常重要,因为它们提供了在目标平行链上执行代码的特定解释的保证。虽然XCMP保证消息的传递,但它并不保证执行代码,即接收平行链将如何解释消息。对SPREE模块的代码更新将与平行链同步进行。除了安全性方面的好处之外,这意味着不需要跨多个平行链协调更新就可以更改消息格式。总之,虽然XCMP完成了去信任消息传递,但是SPREE是对消息的去信任解释也是XCMP有用性的关键部分。发送到SPREE模块的XCMP消息,使调度消息的开发人员和用户能够清楚地知道如何处理消息。XCMP属性总结XCMP方案可以实现以下属性:去信任性:由于同一组验证人在保证正确消息传递的同时确保一个平行链与另一个平行链的安全,XCMP所需的信任不超过单个区块链所需的信任。一致性:我们提供了绝对的保证,即接收到的消息与发送的消息完全一致,即使有任何链重组。有效性:Polkadot保证消息不会丢失并保持可用。这是通过分发可用于重建消息的纠删码片段来实现的。保持正确的序列:通过输入/输出验证,可以保证保持平行链块输出消息的正确顺序。效率:这个协议避免了太多的带宽占用,并让消息尽快到达。
编者按:本文来自橙皮书,作者:orangefans,Odaily星球日报经授权转载。每年末尾,tokendaily都会邀请国外crypto圈的KOL对新一年做一次预测.
1900/1/1 0:00:00编者按:本文来自星传媒STARMEDIA,作者:Darcy,Odaily星球日报经授权发布。不可否认,在全球经济发展的大环境下,非洲近年的经济和互联网都取得了一定的发展,但非洲的经济发展却从来没.
1900/1/1 0:00:00平安夜闲来无事写了此文,在微博首发,竟然被悄悄删除,到第二天才发现。没留底稿,只能凭记忆重写一遍,坐等明年此时被打脸。bakkt交易量爆发,成为比特币第一大期货交易所.
1900/1/1 0:00:00整理|黄雪姣编辑|郝方舟出品|Odaily星球日报 “2020,或许是比特币和DeFi相结合的腾飞之年。”“焦虑。区块链相比互联网,场景比较有限.
1900/1/1 0:00:00编者按:本文来自中本小葱,作者:文帅,Odaily星球日报经授权发布。尽管在刚刚过去的半周时间里整个加密货币市场都在比特币的带动下享受到了避险情绪爆发的红利,但是ADA在这个多头的“狂欢节”中却.
1900/1/1 0:00:00还有一周就到2020年了,孙宇晨弄了个资金盘,给韭菜们发发“福利”,在线指导入金,亲临一线,实在是拼呐!孙哥都这么努力,韭菜们怎么还有理由偷懒呢?这个资金盘就是火热的just.game.
1900/1/1 0:00:00