...以即使基于 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
...称为FLP不可能定理。FLP定理讲的是一个分布式的一个下限,原话说的是:在异步通信场景,即使只有一个节点失败,也没有任何算法能保证非失败节点达到一致性。展开来说,这里的异步场景指的是,节点与节点间的通讯,通讯双方是不可能知道通讯失败的事实的。因为网络中没有预设节点发送信息的...
知识:DC/EP
...C#或Java),对面向对象或函数式编程习惯有一些基本了解的程序员所设计的。异步消息通讯和类型安全Motoko兼容主流的编程习惯,包括针对分布式应用程序的特殊编程抽象。每个应用程序由一个actor组成,该actor与其他actor通讯时,并不共享状态,而是使用(异步)消息通讯。Motoko基于actor的编程抽象允许了...
知识:程序,类型,系统,互联网
...环境。那么对真实的互联网环境模拟地最好的网络模型是什么呢?是「部分异步网络模型」。异步,就是不同步的意思,所以也可以说叫部分不同步网络模型。选网络模型很重要,事关整个区块链的安全性。在更接近现实的模型下,会出现很多简单的网络模型所不会面临的安全挑战。其中最关键的一个...
知识:Sperax,DeFi,律动AMA
...环境。那么对真实的互联网环境模拟地最好的网络模型是什么呢?是「部分异步网络模型」。异步,就是不同步的意思,所以也可以说叫部分不同步网络模型。选网络模型很重要,事关整个区块链的安全性。在更接近现实的模型下,会出现很多简单的网络模型所不会面临的安全挑战。其中最关键的一个...
知识:Defi,AMA,公链
...块链解决方案,比现有智能合约执行的解决方案效率更高,且扩展性更强。异步智能合约在使用群链架构的基础上,GBT利用异步智能合约与子链加速DAPP的开发和部署。这种先进的架构设计还扩展了SOGIDITY和以太坊智能合约的功能。03 海量DAPP去中心化钱包任何时候均可导出钱包私钥,毎位用户的资产永远...
知识:公链,去中心化,智能合约,跨链
...临的最棘手的问题。解决这一问题有两种思路,一是同步(紧耦合),二是异步(松耦合)。假设渔村有个人叫甲,猎户村有个人叫乙,甲要给乙100块,同步是指:当甲发起转账后,渔村和猎户村的记账人都知道这笔交易及交易进展,渔村记账人在账本上给甲减了100,猎户村记账人在账本上给乙加了100...
知识:以太坊,智能合约,区块,分片
...个提法在区块链技术中过于宽泛。在这篇文章的最后部分,我会通过引入「异步共识组」这个概念,谈谈我认为什么会是区块链中理想的分片方案。在讨论我认为的理想方案之前,我还是用我习惯的逻辑,先向读者解释为什么我们需要分片技术、理想的分片技术究竟应该解决什么问题这些最基本的知识...
知识:技术,知识库
...一定的方式实现。Whisper被设计成更加方便的进行广播,已经支持一定程度的异步通讯。Whisper是下一代Dapp的基础设施之一,能够在可以承受的成本范围内提供隐私保护和系统的反脆弱性。在极致的情况下,Whisper可以提供100%的暗网保护。Whisper允许用户在隐私保护和通讯效率之间根据需要作出相应的平衡...
知识:以太坊,去中心化,郭二宝,以太
...以即使基于 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...
知识:区块,公链,拜占庭协议,联盟链
...的前提下提供区块不可逆转性的。也就是说 Doomslug 和最终确定下组件都能在异步网络的前提下提供安全性。但是,要保证这两个算法不失效(或者说「活性」)需要假设一定的同步网络。这是很常规的假设,所有在本文中讨论的共识算法都在其「活性」论证中有相同的的假设。在异步网络中同时拥有安...
知识:NEAR,Tendermint BFT,HotStuff,P
...网络上迅速开始,但网络很可能发生拥堵,从而发生交易的积压。DAG是一种异步通讯技术,异步通讯最大的弊端是无法保持一致性,一致性不可控,即交易确认时间完全未知。几乎所有基于DAG数据网络结构的项目都在试图突破这一问题。SmartX则采用PoW挖矿的计块形式保持支付过程中的一致性问题,和时...
知识:货币,去中心化,区块,区块链网络
...汪浩博士在 2019 年初发表于国际计算机网络顶会 NSDI 的学术论文 Monoxide,用异步共识组架构打破了所谓的区块链不可能三角,在保证充分分布式和安全的前提下,实现吞吐量和系统容量的线性提升。使得区块链系统可以适配整个网络的需求,逐步扩容,并可达到支持亿级用户的规模。第二,Monoxide 论文...
知识:前,创新,工场,董事,王嘉平,发布,墨群,区块,链,