Metropolis(大都会) 是以太坊发布计划四个系列中的第三个系列。现阶段叫做Homestead(家园),2015年7月第一个系列叫做Frontier(前沿)。
以下是对Vitalik关于Metropolis演讲所用PPT的简单介绍。
首先,讲讲现在的进度。去年我们花了许多时间去优化我们的核心客户端,加强网络安全性,修整客户端中的一些问题。总得来讲,这些方面的进度令人满意。
* EVM,以太坊虚拟机进步了40%
* 状态输入和读取速度的优化
* 快速同步变得更快
这些进展让我们更快得接近以太坊Metropolis
除了客户端以外,Whisper和Swarm是两个以太坊的姐妹协议:
* Whisper是点对点通讯
* Swarm是点对点文件存储
这两个项目都在按照各自的发展蓝图发展,Whisper发布了第五版。Swarm在alpha测试中。已经有不少基于这两者的应用在开发之中。同时,还有一些独立的团队开始搭建以太坊移动客户端。以太坊轻客户端库几个月前发布了alpha,并在这段时间里面逐渐进步。这意味着,终于人们不再需要下载整个以太坊区块链之后才能跟以太坊交互。轻客户端重要的地方在于,它使移动客户端成为可能。
* 提高MIST性能
* 提高安全性
* 改善高级汇编语言
特别是提高智能合约安全性和易写性
EIP86是抽象化。目标是使使用以太坊EVM变得更简便。
EIP96的目标简单地来说是为了让轻客户端更加安全。
EIP98的目标是平行处理交易,使速度增加。
EIP100是安全性升级。
EIP101是,大数预编译,为了让一些特定的密码学能够快速确认。
EIP116,静态呼叫,在智能合约只需要读取信息的时候使用。
EIP195,纯呼叫,比静态呼叫更静态。不仅不能改动信息而且不能读取信息。
这是一种更好的处理异常项的方法。
很多类似小的变动。
我们目前在关注的另外一点是隐私。每次人们问我以太坊发展蓝图的时候,我一般会强调三项。
* 隐私
* 可扩展性
* 安全性
去年zk-SNARKS是密码学中的一个热点。一个原因是zcash的发布,zcash可以说是使用了这个技术的旗舰数字货币。简单地理解,通过zk-SNARKS可以在完全不透露供任何其他信息的情况下证明需要证明的事实。
这么好的技术为什么不是所有人在用?一个原因是虽然理论存在了40年左右,但是技术上近两三年才成为可能。了解这项技术的人还相对少。另外更根本的原因有:
* 需要在一个信任的环境
* 在电脑上产生一个证明需要大约40秒,在移动端大概要5到10分钟。
以太坊跟zcash有一个叫Baby ZoE的项目,这是zcash在做这个项目的团队。
我们还在进一步探索这方面的可能性,提高性能。我们打算做的是,对椭圆曲线配对验证进行预编译。
配对是什么,简单的答案是,它很复杂。如果你想知道更多具体的信息可以参考这篇文章。
zk-SNARKS还在考虑当中,目前还没有一个具体的时间线。希望近几个月可以有计划出来。
设计以太坊的时候,为了避免网络抗拒变化的趋势。我们设计了一个冰河时期。冰河时期是指如果以太坊网络在一段时间内不发生变化,状态膨胀便会被触发。
冰河时期里程碑:
* 三个月内,变成15.8秒区块时间
* 六个月内,变成28秒区块时间
冰河时期的存在使通过硬分叉来实现网络变化以及优化变成一种必要。
Casper是以太坊的权益证明算法。我们喜欢Casper的一个原因是经济,这样不用使用过多的电,另外一个更重要的原因是安全性。
以上是我们在做的一些研究工作。
离最终实现,时间上差不多还需要一年的时间。这是一个很大的工程,同时也是一个很重要的工程。
Casper实现之后,我们就可以接下去实现更多我们想要实现的功能,比如可扩展性,比如分片。Casper将会是一个新的起点。
点击下载:Metropolis.pptx