HederaHashgraph在下一代公共分类帐中拥有多样化的治理。它最近宣布哈希图一致性算法已被验证为异步拜占庭容错。这是通过使用Coq系统的计算机检查的数学证明完成的。
2018-10-23 11:07
一个分布式系统是由多个节点组成,其中每个节点都是独立的服务器。它们通过网络发送消息并根据它们遵循的协议执行某些任务来相互通信。 这个过程中会出现很多类型的错误的类型,但它们基本上可以分为两大类
2019-07-31 11:39
共识理解起来很简单,就是大家都达成一致的意思。在现实生活中,有很多达成共识的场景。比如我们开会讨论,需要得出一个结果;双方或多方签订一份合作协议时;又或者是哈士奇……呃,不好意思,跑远了。
2019-10-21 10:27
的不同节点发送不同的响应,因此很难将该节点归类为恶意或故障。因此,为了对故障节点做出决策,系统的诚实节点达成共识,可以得出不受恶意/故障节点影响的结论的系统可以被视为拜占庭容错系统。
2019-08-08 11:12
译者注:本文简化了“拜占庭将军问题”中可能出现的多种数学模型,简要指出拜占庭问题解决的核心是“尽管有破坏者存在,拥有最多算力的链即可认定为主链,因为做叛徒(发布虚假区块)的成本和竞争难度非常大
2019-04-15 11:22
莱斯利·兰伯特(Leslie Lamport),是微软研究院的首席研究员,曾获得2013年图灵奖——计算机界的诺贝尔奖。这家伙觉得故事让问题变得受欢迎,因此他在提出观点和问题时常用故事背景吸引眼球,拜占庭将军的故事就是兰伯特在研究分布式系统
2019-05-29 11:27
面向字节协议,面向字节协议是什么意思 目前,采用的通信协议有两类:异步协议
2010-03-20 14:58
在汽车诊断领域,UDS(Unified Diagnostic Services,统一诊断服务)长期以来一直是满足大多数诊断需求的核心协议。然而,随着 HPC(High-Performance
2025-03-24 09:46
最常见的用来研究和实施分布式共识(distributed consensus)的范例的是复制状态机的范例,其中,一个确定的状态机在数个进程(processes)之间被复制,这样不管部分进程是否失败,这些进程看上去像单个状态机。状态机有一些列输入驱动,这些输入被称作交易(transactions),每一个交易根据其是否有效,可能引起一个状态迁移并返回一个结果。
2018-09-29 11:23
面向比特的协议,面向比特的协议的内容有哪些? 目前,采用的通信协议有两类:异步
2010-03-20 14:58