0推荐

2758浏览

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

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

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

0推荐

1862浏览

以太坊 2.0 会议摘要 #43

Ethereum 2.0 Meeting #43 | 以太坊 2.0 会议第43期

• 0
• 以太行星 发布于 2020-07-16 23:11

0推荐

2010浏览

ETH2进展更新（截至2020/7/10）

ETH2进展更新（截至2020/7/10）

• 0
• ETH中文网 发布于 2020-07-13 10:33

0推荐

2696浏览

Eth2.0-存款过程

本文将为您分阶段讲解存款过程。在阅读本文之前，我强烈建议读者先阅读[《Eth2.0密钥》](https://learnblockchain.cn/article/1197)一文，以便更好地理解以太坊2.0的密钥是如何运作的。

• 0
• ETH中文网 发布于 2020-07-10 20:59

1推荐

3538浏览

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

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

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

0推荐

2082浏览

引介 | 用密钥分割改进 ETH 2.0 的验证者体验

谁是私钥分割验证者机制的赢家呢？—— 所有人。

• 0
• EthFans 发布于 2020-07-03 10:27

0推荐

3102浏览

解读以太坊2.0密钥

ETH2.0密钥有哪些？运作机制如何？

• 0
• ETH中文网 发布于 2020-07-01 15:11

0推荐

2258浏览

ETH2进展更新（截至2020/6/27）

测试网工作如火如荼，Altona将于6月29日创世，由来自五个团队的验证者参与。

• 0
• ETH中文网 发布于 2020-06-29 18:38

0推荐

1852浏览

Eth2更新速览#12

新的Solidity存款合约已完成形式化验证；首个公共测试网Altona下周启动，集成最新规范

• 0
• ETH中文网 发布于 2020-06-24 14:20

0推荐

2336浏览

带你走进ETH2.0AMA直播回顾

由Okex & ECN 主板的带你走进ETH2.0， 邀请了 好多大咖，非常精彩。

• 0
• Unitimes 发布于 2020-06-18 09:49

0推荐

1971浏览

以太坊2.0会议摘要#41

Ethereum 2.0 Meeting #41 | 以太坊 2.0 会议第41期

• 0
• 以太行星 发布于 2020-06-18 09:33

2推荐

2590浏览

以太坊引入密码学实现2.0性能突破

出块节点不再需要存储区块就可以验证并打包交易

• 0
• 安比实验室 发布于 2020-06-15 11:20

0推荐

2026浏览

以太坊 2.0 会议摘要 #40

以太坊 2.0 会议 - 第40期

• 0
• 以太行星 发布于 2020-06-07 21:40

0推荐

2386浏览

截至目前，以太坊 2.0 的发展状况

Eth2 是一个雄心勃勃的、准备打持久战的项目

• 0
• EthFans 发布于 2020-06-04 21:07

0推荐

1821浏览

以太坊 2.0 会议摘要 #39

以太坊 2.0 会议 - 第39期

• 0
• 以太行星 发布于 2020-05-15 20:30