...的限制能力。总的来说，一共存在三种类型的通信模型，分别是同步模型、异步模型与部分同步模型。（1） 同步模型（Synchronous model）在同步模型中，所有节点之间的消息通信都存在一个已知的延迟上界，并且不同节点处理事务的相对速度差值有一个已知上界。同步模型是一个非常理想的通信模型，在...
知识:共识算法,区块,区块链系统,拜占庭将军问题
...e是一个无手续费的高性能公链，率先实现了基于DAG结构的智能合约。原创的异步架构、分层共识及快照链技术，让Vite的性能和成本处于行业领先水平，可以支持商业级应用。在近期，Vite Labs将开展一系列Vite技术分享，向社区展示Vite的技术特点及原理，本期将向大家解析Vite异步架构设计原理，它是Vite...
知识:合约,公链,共识算法,智能合约
...T）共识协议。因此，我们鼓励改用“经典共识”的说法。同步、部分同步、异步同步、部分同步、异步，这些是共识协议要求底层网络提供的假设。（1）同步中本聪共识，有时也称为“链式”共识，多数使用中本聪优雅的“分叉时选择最长链”这一规则，以能高概率达成共识。同步模型假设所有消息...
知识:共识协议,中本聪,共识算法,以太坊
...，传输可能中断。分布式系统中对于网络条件的定义可以简单的分为同步和异步两种。同步指的是网络中的消息总是可以在某一个常数时间 t 内被传送到；而异步指的是网络中的传输时延，并不存在一个这样的上限。（理解同步和异步的概念很重要，接下来我们会经常用到它。）而这也是共识算法需要...
知识:共识算法
...于网络的BFT协议设计中所面临的不同挑战，请查看我们之前关于BFT和同步与异步网络的文章。各种BFT协议的安全性可以通过以数学方式识别各种错误阈值来量化，例如假设有关基础网络的某些假设为真，则识别基于该协议的系统可以处理的无响应或恶意节点的比例。Tendermint在本文中，我们将仔细研究Ten...
知识:区块,区块链系统,区块链,区块链版本
...于网络的BFT协议设计中所面临的不同挑战，请查看我们之前关于BFT和同步与异步网络的文章。各种BFT协议的安全性可以通过以数学方式识别各种错误阈值来量化，例如假设有关基础网络的某些假设为真，则识别基于该协议的系统可以处理的无响应或恶意节点的比例。Tendermint在本文中，我们将仔细研究Ten...
知识:网络,协议,节点,安全性
...以即使基于 Internet 的联盟链也不使用如上的假设。一般来说，Internet 是一个异步网络，常用的异步网络是用如下的模型来刻画的： ?存在一个 Global Stabilization Time (GST)，在 GST 之前，任何消息可能丢失（比如 DoS 攻击），或被重新排序。在 GST 之后，网络变为同步网络 GST 什么时候开始，没人知道。 所以...
知识:区块链,拜占庭
...以即使基于 Internet 的联盟链也不使用如上的假设。一般来说，Internet 是一个异步网络，常用的异步网络是用如下的模型来刻画的：存在一个 Global Stabilization Time (GST)，在 GST 之前，任何消息可能丢失（比如 DoS 攻击），或被重新排序。在 GST 之后，网络变为同步网络 GST 什么时候开始，没人知道。所以说...
知识:区块,公链,拜占庭协议,联盟链
...以即使基于 Internet 的联盟链也不使用如上的假设。一般来说，Internet 是一个异步网络，常用的异步网络是用如下的模型来刻画的： 存在一个 Global Stabilization Time (GST)，在 GST 之前，任何消息可能丢失（比如 DoS 攻击），或被重新排序。在 GST 之后，网络变为同步网络 GST 什么时候开始，没人知道。所以说...
知识:拜占庭共识,区块链,Sperax
...且我们无法假设一个节点从另一节点接收消息所花费的时间。这种网络称为异步网络。异步网络的定义性问题之一是，如果没有对等待时间进行假设的能力，就很难区分响应被延迟的节点和发生故障的节点。在异步和同步网络之间，还有半同步网络的概念，其中有两种被广泛接受的主要类型。第一种类...
知识:网络,协议,节点,共识
...更独特的功能。Motoko 是强类型的、基于参与者的，并且具有对正交持久性和异步消息传递的内置支持。生产力和安全特性包括自动内存管理、泛型、类型推断、模式匹配以及任意精度和固定精度算术。消息传递透明地采用 Internet Computer 的 Candid 接口定义语言和有线格式，以实现类型化、高级和跨语言的...
知识:语言,区块链技术,区块链编程语言,区块链
...各个进程如何就某个值（决议）达成一致。Paxos算法运行在允许宕机故障的异步系统中，不要求可靠的消息传递，可容忍消息丢失、延迟、乱序以及重复。它利用大多数 (Majority) 机制保证了2F+1的容错能力，即2F+1个节点的系统最多允许F个节点同时出现故障。一个或多个提议进程 (Proposer) 可以发起提案 (Pro...
知识:隐私,加密,系列,全网,最全,的,BFT,协议,项目,
...环境。那么对真实的互联网环境模拟地最好的网络模型是什么呢？是「部分异步网络模型」。异步，就是不同步的意思，所以也可以说叫部分不同步网络模型。选网络模型很重要，事关整个区块链的安全性。在更接近现实的模型下，会出现很多简单的网络模型所不会面临的安全挑战。其中最关键的一个...
知识:Sperax,DeFi,律动AMA
...论公钥密码学（PKC）里的门限签名机制。一种理想的门限签名系统是可以在异步的网络环境里做到容错容灾不可伪造（non-forgeability），并且拥有极度可靠安全的消息传输通道，签名份额的生成和验证是完全非交互式的，在初始密钥阶段具备可以防止拜占庭行为的异步分布式密钥生成（DKG）机制。与基础...
知识:私钥,公钥,门限,在区块链
...以即使基于 Internet 的联盟链也不使用如上的假设。一般来说，Internet 是一个异步网络，常用的异步网络是用如下的模型来刻画的：<ul style="margin-top: 0px; margin-bottom: 0px; margin-left: 0px; color: rgba(0, 0, 0, 0.88); font-family: "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", Roboto, "Helvetica Neue", H...
知识:区块,公链,拜占庭协议,联盟链