木星链 木星链
Ctrl+D收藏木星链
首页 > 火必 > 正文

区块链:V神详述:如何实现99%的容错共识

作者:

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

作者:VitalikButerin

很长一段时间以来,我们一直听说在同步网络中,实现50%容错的共识是有可能的。在同步网络中,任何可信节点广播的消息都可以保证在某个已知时间段内被所有其它可信节点接收。

如果攻击者超过50%,他们就可以执行“51%攻击”,对于区块链上同类型的任何算法都有可能出现类似的情况。

我们也一直听过这样的说法:如果你想放松同步假设,并且拥有一种“异步下安全”的算法,最大可达到的容错率可下降到33%(PBFT、CasperFFG等都属于此类)。

然而,如果添加更多假设(具体来说,你不仅需要观察者来关注那些不积极参与共识但关心其输出的用户,也要积极地关注共识,而不仅仅是在结果出现后下载其输出),这样可以把容错率一路提高到99%吗?

事实上,这一点早已人尽皆知。莱斯利·兰伯特1982年在著名的谈及“拜占庭一般问题”的论文中包含了对算法的描述。下面我将尝试用简化的形式重新来描述和表述这个算法。

纽约联邦法院允许对矿企Stronghold Digital提起集体诉讼:8月11日消息,纽约一家联邦法院允许对加密货币矿企Stronghold Digital提起集体诉讼。Stronghold被指控在IPO中误导投资者。

首席原告Mark Winter声称,Stronghold的注册声明和招股说明书中包含有关该公司挖矿业务的重大虚假和误导性信息。根据周四提交的一份法庭命令,其中包括公司创收能力等方面的虚假和误导性信息。

该诉讼称,Stronghold在某供应商的合同违约和比特币矿机的表现方面误导了投资者,违反了美国证券法的部分规定。

Winter指控Stronghold夸大了其算力,同时低估了其生产成本。由于涉嫌虚假陈述,原告辩称,他们购买Stronghold股票时因被人为抬高的价格而蒙受了损失。[2023/8/11 16:20:52]

假设有N个参与共识的节点,每个人都提前同意这些节点代表谁(根据上下文,它们可以由可信方选择,或者如果需要更强的去中心化程度,可以通过一些工作证明或利害关系进行证明)。

SoFi Bank Q2报告:拥有价值1.7亿美元的加密货币:金色财经报道,总部位于旧金山的SoFi Bank拥有620万客户,该银行在第二季度收益报告中透露,拥有价值1.7亿美元的加密货币。

持有比特币、以太坊、莱特币、卡尔达诺、solana,狗狗币和ETC。他们拥有8200万美元的比特币和5500万美元的以太坊,其中狗狗币位居第三,价值近500万美元,卡尔达诺位居第四,价值450万美元。[2023/8/10 16:17:59]

我们把这些节点标记为0…N-1。另外,还假设网络延迟和时钟差异上有一个已知的限制D。(例如,D=8秒)。每个节点都有能力在T时刻发布值(恶意节点当然可以早于T或晚于T地发布值)。

所有节点等待(N-1)?D秒,运行如下进程。定义x:i为“节点i签名的值x”,x:i:j为“节点i签名的值x,并且x与j一起签名”,等等。在第一阶段发表的提案将采用v的形式:i的形式为一些v和i,其中包括提出该提案的节点的签名。

两家SPAC公司前CFO因挪用500万美元投资加密货币及股票获刑3年:4月28日消息,美国曼哈顿检察官Damian Williams在一份声明中表示,在周四的听证会上,African Gold与Strategic Metals Acquisition Corp两家特殊目的收购公司(SPAC)的前首席财务官Cooper Morgenthau因挪用公司500万美元资金投资加密货币及meme股票被法院判处三年徒刑。(彭博社)[2023/4/28 14:32:45]

如果一个验证器i收到一些消息v:i:…:i,其中?i:…:i是已经按顺序对消息进行了签名的索引列表(只是v本身会算作k=0,而v:i则为k=1),那么验证程序检查(i)的时间将小于T+k?D,同时他们尚未看到包含以下内容的有效消息;如果两项检查均通过了,则会发布v:i:…:i:i。

在T+(N-1)?D时,节点停止监听。此时,就可以保证所有的可信节点都“有效地看到了”相同的一组值。

Amazon Web Services与Ava Labs合作以扩大企业、机构和政府对区块链的采用:金色财经报道,云计算平台亚马逊网络服务 (AWS) 在博文中宣布已与Ava Labs合作,以扩大企业、机构和政府对区块链的采用。该合作伙伴关系将使开发人员更容易在 Avalanche 区块链上启动和管理节点,AWS 对 Avalanche 基础设施和 dApp 生态系统的支持允许一键式节点部署。 Ava Labs 还计划将子网部署添加到 AWS Marketplace,使个人和机构都能轻松启动自定义子网。

Ava Labs的创始人兼首席执行官Emin Gün Sirer表示,虽然与Ava Labs的合作是AWS与区块链生态系统的首次合作,但其他几个区块链,包括以太坊和其他较小的区块链,已经使用 AWS 为其网络提供动力。[2023/1/12 11:07:12]

如果问题要求选择一个值,则可以使用一些“选择”函数从他们看到的值中选择一个值。然后节点可以就该值达成共识。

174,487枚LTC从Binance转移到未知钱包:金色财经报道,Whale Alert数据显示,174,487枚LTC(价值约13,236,308美元)从Binance转移到未知钱包。[2023/1/7 11:00:02]

现在,让我们来探究一下为什么这种方式有效。我们需要证明的是,如果一个诚实节点看到了特定的值,然后其它的诚实节点也看到该值(如果我们证明了这一点,那么我们知道所有诚实节点都看到了同一组值,因此如果所有诚实节点都运行相同的选择功能,他们会选择相同的值)。

假设任何诚实节点收到一条消息v:i:…i,他们认为是有效的。在时间T+k?D之前到达),假设x是另一个诚实节点的索引。x要么是i的一部分:…要么不是。

在第一种情况下(对于此消息,x=i),我们知道诚实节点x已经广播该消息,他们这样做是为了响应他们在时间T+·D之前收到的带有j-1签名的消息。此时他们广播了他们的消息,那么所有诚实节点一定都会在时间T+j?D前收到消息。在第二种情况下,由于诚实节点在时间T+k?D之前看到消息,那么它们就会用自己的签名传播消息,并保证包括x在内的所有人都会在时间T+(k+1)?D之前看到它。注意,该算法使用添加自己签名的行为作为消息超时的一种“碰撞”。正是这种能力保证了一个诚实的节点如果及时看到了消息,那它们也可以确保其它所有节点也能及时看到消息,因为“准时”的定义增加的时间超过了每添加一个签名的网络延迟。

在一个节点是诚实的情况下,我们能否保证被动的观察者(比如关心结果的非共识参与节点)也可以看到结果。

按照计划,存在一个问题。假设一个指挥官和k(恶意)验证器的某个子集生成一条消息v:i:…i,并且在T+k?D前广播给一些受害者,受害者认为消息是“准时”,但当他们转发时,消息只会在T+k?D之后达到所有的已经协商一致的诚实节点,而所有协商一致的诚实节点将会拒绝它。

但我们可以堵住这个洞,提出一个新的约束:要求D在两倍的网络延迟加上时间差。然后我们给观察者一个不同的超时:观察者接受v:i:…i必须在T+(k-0.5)?D之前。

现在,假设观察者看到一条消息并接受了它。他们能够在时间T+k?D之前将其广播到一个诚实节点,并且诚实节点将发布带有签名的消息,该消息将在T+D(k+0.5)之前到达所有其它观察者,同时带有k+1个签名的消息将会超时。

改进其它共识算法

理论上讲,上述算法可以作为独立的共识算法使用,甚至可以用于运行权益证明的区块链。

第N+1轮共识的验证器集合本身可以在第N轮共识中被决定(例如,每轮共识也可以接受“存款”和“取款”交易,如果接受并正确签名,将添加或删除验证器后进入下一轮)。

需要添加的主要额外成分是另一种机制,用于决定允许提议区块的提名者(例如。每轮可以有一个指定的提名者)。它也可以被修改为用作工作证明的区块链,允许参与共识的节点通过公钥发布工作解决方案的证明,同时通过签名实时地“声明自己”。

然而,同步假设是非常强大的,所以我们希望在不需要超过33%或50%容错的情况下,无需同步假设也能工作。有一种方法可以做到这一点。

假设我们有一些其它的共识算法(例如,PBFT,CasperFFG,基于链的PoS),其输出可以被偶尔在线的观察者看到(我们称之为阈值依赖的共识算法,而上文所述的算法我们称之为延迟依赖的共识算法)。

假设阈值依赖的共识算法持续运行,在一种模式下,它将不断地“确定”新的区块到链上。例如:每一个最终值都将指向一个“父”;如果有一个指针序列a→…→B,我们称A为B的后裔。

我们可以在这种结构上改进依赖于延迟的算法,让总是在线的观察者能够访问检查点上的一种“有可能结果”,容错性约为95%。

每当时间达到4096秒的倍数时,我们就运行依赖于延迟的算法,选择512个随机节点来参与算法。

一个有效的建议是由阈值相关算法最终确定的任何有效的值链。如果一个节点在时间T+k?D(D=8秒)之前看到有k个签名的某个最终值,则接受该链进入它的已知链集中,并添加自己的签名进行重新广播它;观察者像以前一样使用T+(k-0.5)?D的阈值。

最后使用的“选择”函数很简单:

忽略不是在前一轮中已经商定的最终确定值的后代的值忽略最终的无效值在两个有效的最终值中进行选择时,选择哈希值较低的那个如果5%的验证器是诚实的,那么随机选择的512个节点中,只有大约1万亿分之一的机会是诚实的,因此当上述算法工作,将会协调得出单一最终值的节点。

如果阈值依赖的共识算法的容错性被满足(通常50%或67%的节点是诚实的),那么阈值依赖的共识算法将不会确定任何新的检查点,或者它将确定最终彼此兼容的新检查点(例如,每个检查点都指向前一个检查点作为父检查点)。

因此,参与依赖于延迟的算法的节点不会同意它们接受的值,它们接受的值仍然保持为同一链的一部分,不存在没有实际的分歧。一旦延迟在未来的某个回合恢复正常,依赖于延迟的共识将恢复“同步”。

如果依赖阈值和依赖延迟的共识算法的假设同时被打破(或在连续的两轮中被打破),那么算法就会分解。例如,假设在一轮中,阈值依赖共识最终确定Z→X→Y,而延迟以来共识在X,Y之间意见不一,那么共识将会在不达成协议情况下结束。下一轮阈值依赖共识将会在最终确定W不源于X,且X不源于Y的情况下结束;在依赖延迟的共识中,同意Y的节点不会接受W,而同意X的节点会。然而,这是不可避免的;异步下的安全共识是不可能的。

容错是拜占庭容错理论中一个众所周知的结论,就像很多的不可能事件一样,容错甚至在观察器离线情况下允许同步假设。

标签:区块链STRTROHOLD区块链币排名STRNGR币Moon Tropicahold币在哪个交易所

火必热门资讯
EFI:Dragonfly Capital发布二期基金,规模为2.25亿美金

今天,我们很高兴地发布DragonflyCapital二期基金,一个规模约为2.25亿美元的风险投资基金,旨在投资下一代区块链创业者与项目.

1900/1/1 0:00:00
POO:八哥币圈:3-27 以太坊多单完美获利56个点 拿住有把握的利润是理财之根本

帖子在精不在多,如果你操作不理想,单子还在亏损状态,或者趋势比较迷茫,单子还在被套。不妨换一个圈子,方向,环境,老师,都有可能让你有意想不到的收获本专栏长期技术分析,思路清晰,点位精准,欢迎点赞.

1900/1/1 0:00:00
FIL:IPFS 云 挖|矿为什么要质押|币和GAS费?一般FIL的封装期是多久?

近期有不少朋友都在问我FIL|怎|么|挖?自从fil在3月18号经过一波暴|涨|到95|美|元后,近三个月来价|格翻了近3倍,而全球24小时的交|易|额|达到44.02|亿|美元.

1900/1/1 0:00:00
Phala:Phala Network 与 Bitcoin Gold 团队共同研发 BTG 和其他类 BTC 链到波卡的跨链桥

PhalaNetwork团队宣布与BitcoinGold团队达成战略合作,将合作共同研发基于Phala隐私计算技术的轻量级、低成本、且低信任化的跨链转接桥.

1900/1/1 0:00:00
CAP:币先行陈东 ETH3-27晚间行情分析与操作建议

不要看辉煌时敬的酒,要留落魄时剩下的友,不要期别人的风雨,而要学会自己披荆斩棘,用倔强的骄傲,活出无人以及的精彩!与其在风雨中逃避,不如雷电中舞蹈,即使淋得透湿,也能领略不一样的快意.

1900/1/1 0:00:00
POK:解锁金融乐高的Web3基础设施 不可或缺的中间件Pocket Network

DeFi趋势已经转变为狂热,紧随其后的是以用户为中心的趋势,比如NFT。当我们猜测加密朋克和追求天文数字收益时,以太坊正在达到其扩展极限,替代链正在努力追赶.

1900/1/1 0:00:00