VitalikButerin以太坊2017年Q1开发进度概述无聊版

  • A+
所属分类:以太币

关注社区的人可能已经发现 Vitalik 愚人节已经发布一篇相同的文章,不过那篇是番外篇,这篇才是干货,不过读起来可能很无聊,感兴趣的可以读一读愚人节番外篇
最近一个半月来,对于以太坊的研究已经取得了很大进展,我们很高兴 PoS 协议开发进度越来越接接近正式阶段。 共识算法,隐私,零知识证明协议和形式化验证的进展速度越来越快,我们的研发团队也在扩大。

Casper 开发进度

Casper 已经取得了很大进展。 你可以在 Medium 上找到一些解释算法的文章:
- 以太坊 Casper 惩罚条件的最小化
- 以太坊 Casper 动态验证器的安全性
以太坊形式化证明研究员 Dr. Yoichi 的几篇博文,介绍形式化验证的进度:
- 以太坊 PoS 形式化证明的一些方法
- 具有动态验证的 PoS 协议机器证明的安全性
- PoS 动态验证器的安全证明
以太坊形式化证明另一位研究员 Vlad Zamfir 的进度
- Vlad 对于 Casper 另外一种实现
这里不仅仅有理论,还有具体代码的实现
- github 上 Casper 智能合约代码,以及测试代码
- Karl Floersch :Casper 的另外一个部分 daemon (守护进程)开发进度
Casper 和 Sharding 更多进展将随着完善不断发布; 详细细节现在已经接近尾声,目前的讨论方向主要是 Casper 智能合约的细节优化。
这里有一些 Vlad 的博客文章
- 如何处理区块链中的加密错误
- 以太坊 PoW 内部攻击的简单模型 (中文翻译)
- Vlad 对于减少挖矿奖励的看法,更少的块奖励到底意味着什么:减少块奖励是打击还是完善,用事实说话
- Vlad 在 Reddit 的讨论,以太坊价格居高不下,他希望减少至少4倍的挖矿奖励

域名服务 ENS 开发进度

ENS 由于在代码中发现了一些错误,导致其发布日延迟。 盲拍委托的安全代码审计工作现已完成,离最终发布日又进了一步。
- 以太坊基金会安全负责人Martin Holst Swende 代码审计结果报告
- Piper Merriam 代码审计结果报告
正式证明的进度更新:
- EVM (以太坊虚拟机)形式化验证代码 eth-isabelle v0.02
- eth-isablelle 代码和测试

以太坊第三个阶段 Metropolis (大都会) 的开发进度

目前处在不断完善中,核心开发团队越来越同意开发规范化。 不但一些 EIP 的测试已经可以使用,而且将会加入更多的测试。
- 最近以太坊核心开发者的会议记录
- 大都会 Geth 客户端 Go 语言的实现 PR
- Parity 实现 大都会的代码
- 大都会相关的测试代码
原文:https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/

weinxin
共识社
用手机扫一扫,加入组织,时刻关注组织动态。
daodaoliang

发表评论

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: