0推荐

101浏览

形式化验证 Gasper 共识机制的终局性

在本文中，我们希望介绍这一成就的第一部分：验证 Gasper 的属性。所以，什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？

• 0
• EthFans 发布于 2020-07-22 14:41

0推荐

86浏览

NGK的DPOSS是什么意思

在区块链整个系统中，信任是网络运行的基础，而共识机制是维护信任的机制，一个优秀的共识机制是区块链项目能否得到更好发展的根本。目前加密货币世界的共识机制多达30余种，常见的有**POW工作...

• 0
• NGK区块链 发布于 2020-07-15 11:36

0推荐

70浏览

NGK现在的共识机制

由于区块链是一个去中心化的数据库，所以在进行信息传输，价值转移时，为了保证交易的正确性就需要达到一种共识，这种共识使其不依靠中心化权威的组织下，依然能自我监管，达到高质量，高效率的运转，由此产生了共识机制。

• 0
• NGK区块链 发布于 2020-07-13 10:59

1推荐

276浏览

Combining GHOST and Casper以太坊2.0共识机制Gasper：part 1

Eth2.0的共识算法设计目标就是让PoS就有一定的安全性和可用性(certain safety and liveness claims).对应着这个目标，提出了两大组件来定义分叉规则和最终性

• 0
• Johnathan 发布于 2020-07-09 15:03

1推荐

334浏览

共识算法解读-天下武功唯快不破Conflux共识算法

Conflux团队注意到不论是中本聪共识还是GHOST共识，他们都是只维护一条主链，非主链的区块则被抛弃了，因此也就导致了这些**被丢弃的块**不能为整个区块链系统**提供安全性**，并且也**降低了吞吐量**（因为这些快被抛弃了，实际上也就是说系统的带宽被浪费了，因此他们就不能为系统贡献吞吐量）

• 0
• Johnathan 发布于 2020-05-30 12:10

1推荐

559浏览

Istanbul BFT解读(上)

[Istanbul BFT](https://github.com/ethereum/EIPs/issues/650)作为BFT类算法的一种已经有过在以太坊上的实践。

• 0
• 周俊杰 发布于 2020-05-19 17:08

0推荐

221浏览

Eth2 Staking系列：分片共识

分片 (Sharding) 是eth2相较于eth1的诸多改进之一。“分片”是从数据库研究中借用而来，意味着整体数据的一部分。与数据库语境相同，在eth2中，分片意味着将整个系统的存储和计算分割为分片，并独立处理各分片，然后根据需求组合结果。确切来说，eth2将实现许多分片链，其中每个分片具有与eth1链相似的功能，这对于扩展性来说是巨大的提升。

• 0
• ETH中文网 发布于 2020-04-02 12:53

0推荐

320浏览

ETH2 STAKING系列：共识机制篇

本期我们的主题是eth2 背后的共识机制。Eth2 采用了一种新颖的方式来判断区块链的前部区块和组成区块。Eth2 混合了两种机制（LMD-GHOST 及 Casper FFG）以达成共识，不仅使得网络在正常运行时能够安全快速，并且在受到攻击时也能保障安全性。

• 0
• ETH中文网 发布于 2020-02-14 16:58

3推荐

1698浏览

漫谈区块链共识机制

本文主要讲解了比特币和以太坊的共识机制

• 0
• Keegan小钢 发布于 2019-12-26 14:12

0推荐

4915浏览

区块链共识机制之工作量证明(POW)

像比特币、以太坊、NXT、Bitshares等这些区块链系统，其本质上是一种加密经济组织，它建立在点对点网络上，是去中心化、无管辖的，由密码学、经济学和社会共识来共同维护。这些加密网络因各种原因有着多种不同的风格——有些基于ASIC的工作量证明（PoW）、有些基于GPU的工作量证明、有些原生权益证明（PoS）、有些授权股权证明（DPOS）、还有我们即将见到的Casper权益证明——这些不同的风格都有着他们的哲学，在学习共识机制的时候，更重要的是理解其中的思想。

• 0
• 影无双 发布于 2019-11-20 14:31