... 计算机系终身教授,德国海德堡大学获得博士学位。今天我们来探讨以太坊拜占庭协议 Casper FFG 的安全性问题。我们的分析是基于以下论文中的 Casper FFG 协议:● V. Buterin and V. Griffith. Casper the friendly finality gadget. arXiv preprint arXiv:1710.09437v4, 2019. https://arxiv.org/pdf/1710.09437.pdf 传统的拜占庭协议主要用于复制...
知识:以太坊,拜占庭共识,Casper FFG,PoW,异步网络模
...5个ETH。第三阶段:大都会(Metropolis)这一阶段主要包含两次硬分叉升级:拜占庭(Byzantium)和君士坦丁堡(Constantinople)。这个阶段被认为是从PoW机制到PoS机制的过渡阶段,以太坊的底层协议将发生重要改变。拜占庭硬分叉升级已按原定计划于第4730000个区块高度完成升级。拜占庭升级在以太坊网络中...
知识:以太坊,区块,挖矿,分叉
...。*地址:https://arxiv.org/pdf/1801.10228.pdfHyperledger Fabric 架构4.《Tendermint:关于拜占庭容错共识算法的最新进展》:这是一篇 2018 年发表的论文,文章中提出了简化的拜占庭容错(Byzantine Fault Tolernant,BFT)共识协议。这个改进的协议需要多回合的执行,每一个回合都会有一个专门的提议者。协议为便于理解...
知识:白皮书,区块链,以太坊,拜占庭共识,Algorand
...生冲突。这些冲突可能是由于诚实的原因(如网络延迟),或恶意原因(如拜占庭验证者想要双花交易)造成的。这里的拜占庭,指的是分布式系统中的一个经典问题——拜占庭将军问题(本文中该词用于描述不遵循协议的验证者),而可能的原因有,验证者是恶意的,或者它们正在经历网络延迟。从...
知识:权益证明,以太坊,Gasper
...。假设· 我们假设总共有 N 个节点,以及一个 M-of-N 门限签名方案。为了与拜占庭容错共识协议兼容,我们假设 M = ceil(2 * N / 3)。· 本规范假设某种基于领袖的、偏重安全性的共识协议,让共同验证者选定相同的证明/区块进行签名。我们假设共识协议在 M 个正确节点下成功运行,且在 N 个总节点中不超...
知识:以太坊,拜占庭共识
...知识来帮您正确理解我们是如何得出上面提到的?和?的容错率的结论的。议拜占庭错误和故障错误为方便各位理解,我们先来区分两种类型的故障。故障错误即便是最好的服务器,也没法100%保证会一直正常运行。因此,任何可靠的分布式系统,都必须有解决故障错误的能力。出现故障的节点会停止信息...
知识:共识协议,中本聪,共识算法,以太坊
...节点崩溃、网络故障、丢包等,这种错误类型的节点是没有恶意的,属于非拜占庭错误。第二类错误是节点可能是恶意的,不遵守协议规则。例如验证者节点可以延迟或拒绝网络中的消息、可以提出无效块、可以向不同的对等体发送不同的消息。在最坏的情况下,恶意节点可能会相互协作。这些被称为...
知识:区块,共识算法,公链,以太坊
...接。假设我们假设总共有 N 个节点,以及一个 M-of-N 门限签名方案。为了与拜占庭容错共识协议兼容,我们假设 M = ceil(2 * N / 3)。本规范假设某种基于领袖的、偏重安全性的共识协议,让共同验证者选定相同的证明/区块进行签名。我们假设共识协议在 M 个正确节点下成功运行,且在 N 个总节点中不超过 F...
知识:私钥,以太坊,区块,共识协议
...5个ETH。第三阶段:大都会(Metropolis)这一阶段主要包含两次硬分叉升级:拜占庭(Byzantium)和君士坦丁堡(Constantinople)。这个阶段被认为是从PoW机制到PoS机制的过渡阶段,以太坊的底层协议将发生重要改变。拜占庭硬分叉升级已按原定计划于第4730000个区块高度完成升级。拜占庭升级在以太坊网络中...
知识:以太坊,以太坊的,挖矿,区块
60.以太坊顺利完成拜占庭升级October 16,2017扫描图中二维码可听音频据悉,以太坊的发展路线共分为四个阶段,即Frontier(前沿)、Homestead(家园)、Metropolis(大都会)和Serenity(宁静)。2015年7月30日,以太坊团队正式发布以太坊网络第一阶段——Frontier(前沿)。当天,以太坊的创世区块被挖出,Frontier网络开始正...
知识:以太坊,以太坊网络,以太坊的,区块
...了一个创新的一致性模型Tendermint来解决区块链的可伸缩性问题,Tendermint是拜占庭式容错(BFT)共识引擎,为Cosmos的POS提供了动力。Cosmos上的所有区块链都将采用诸如Tendermint和Cosmos Hub等BFT共识算法,其ATOM加密货币是组成Cosmos网络的数千个相互连接的区块链中的第一个。b.可用性Cosmos致力于使区块链应用...
知识:区块链,代币,区块,区块链的
...台,安全可行的 CBC Casper 实施方案,即以太坊 3.0 架构。CasperLabs Highway 属于拜占庭容错共识协议,为非许可链提供所需高等级安全防护。在区块链技术发展中存在一个不可能三角:可扩展性、去中心化、安全性的不可兼得。CasperLab 的特色 Highway,既可以证明安全(主要基于 CBC Casper(correct-by-construction)...
知识:以太坊,公链,共识协议,以太坊的
...的交易。此系统为高吞量、兼容以太坊虚拟机、支持存储、可证明安全性的拜占庭容错侧链的配置与部署,提供了一个订阅式的去中心化网络。每个权益证明的侧链都是高度可配置的,由以太坊主网上质押NEC通证的节点组成,同时它的共识 机制利用了异步的拜占庭容错协议。什么是NECNEC 致力于为以太...
知识:以太坊,侧链,链上,去中心化
...基本定义也改变了。3. 区块链新定义传统区块链系统就是块子链、多节点、拜占庭将军协议、智能合约。还有一些人会把P2P网络协议放在区块链定义中,这是不对的,如果将P2P协议放进区块链定义中,所有区块链都是逃避监管的。下面我们看一下新的区块链定义。3.1?新组成系统新的区块链系统的定义是...
知识:智能合约,区块链,区块链系统,预言机
...基本定义也改变了。3. 区块链新定义传统区块链系统就是块子链、多节点、拜占庭将军协议、智能合约。还有一些人会把P2P网络协议放在区块链定义中,这是不对的,如果将P2P协议放进区块链定义中,所有区块链都是逃避监管的。下面我们看一下新的区块链定义。3.1新组成系统新的区块链系统的定义是...
知识:智能合约,区块链,区块链系统,预言机