网赚论坛

标题: 以太坊确立四个区块链底层协议的研究方向 [打印本页]

作者: kho28793icy 时间: 2017-11-24 22:09
标题: 以太坊确立四个区块链底层协议的研究方向
Vitalik 关于以太坊最新进展的汇总

过去五天，我，我们的执行主管Ming Chan，还有以太坊, Maker, String/Dfinity以及Consensy团队中的一些成员参加了在中国大陆和香港举行的一系列会议和活动。其中最重要的要数10月11-13日在香港举行的Blockchain Workshop，以及由万向集团的朋友们于10月15-16日在上海举办的首届全球区块链峰会了。这段时间中包括研究，开发，计划准备开发者大会以及行政性事务在内的日常工作也在正常进行。

从我这个乐观的人看来，这两个会议都证明了以太坊生态系统正在健康成长。在香港的会议的第一天，我们参加了半封闭式的会议，讨论的主题包括去中心化的管理、身份和信誉以及合规问题。罗宾·汉森带来了预测市场作为一种“低成本微管理”形式的主题。“低成本微管理”是指利用预测市场代替法律和仲裁以解决纠纷，只在少数必要情况下升级至仲裁途径。任何拥有私有信息的人都有动机参与预测市场：纠纷双方、任何卷入纠纷的第三方，甚至是像谷歌这样运用一流的机器学习算法的公司。在大多数情况下，预测市场应该能以非常低的成本获得法庭或仲裁系统相同的结果。

在接下来的两天，主要是关于技术和哲学方面的专题讨论，参会者讨论他们自己的项目和区块链在信誉和物联网等领域的未来。以太坊被多次提到--并不是我们在推销以太坊，而是许多参会者认为以太坊是创建他们自己的应用的不错技术。

上海的会议同样令人印象深刻。它也是为期两天的会议，第一天是连续的主题演讲和专题讨论，第二天是专注于某些主题的会议讨论。我主持了关于共识和扩展性主题的技术讨论。这是一场规模相当宏大的会议，可能是自去年北京全球比特币峰会以来最大的会议，就像同一时期在西方举办的会议，参会者是主流人群，而不像以前的会议那样只有比特币相关项目成员，我们看到了来自大型银行、政府官员、英特尔、华为的代表和其他传统行业的代表。

人们似乎对看到区块链技术如何应用到自己的行业中感到兴奋 -- 许多人对以太坊格外感兴趣。在中国的确有法律限制，公开限制和隐性的限制，阻碍了比特币或者密码学货币在中国的流行，但是区块链技术不存在这个问题。在会议前后，我们与万向公司以及其它我们经常保持联系的中国团队见面交流，尤其是我和Ming第一次见到了ethfans.org的团队成员。我们仍然在考虑应该如何与中国的个人和商业组织合作，使得以太坊可以在这个已经成为世界上最大经济体（按照购买力平价计）的国度尽可能地发挥效用，显而易见的是这里存在着巨大的可能性和潜力。

底层协议方面的进展

在通往密码学乌托邦的路上，我们已经确立了底层协议的四个主要研究方向, 作为开发进度的关键里程碑：

整合zk-SNARK: 通过新指令(opcode)或者更理想的，利用EVM(以太坊虚拟接)现有的256位模运算指令，让以太坊合约获得验证succinct zero-knowledge proof的能力。由于verification key可以在链下生成，这个任务比看上去要容易些，虽然要达到相当的实用程度还需要很多其他方面的工作。我们最初始的目标是利用这个功能来实现超安全混币(ultra-private coin mixing)功能，一个私密名誉系统(privacy-perserving reputation: "哈罗，这里是我的积分超过250的证明，但是我不用告诉你我是谁。"), 以及两方金融合约。长远的目标则是在以太坊上实现Hawk。在前面提到的会议上以及会议外，我们与这些技术的一些相关开发者非常有成效的讨论了我们应该如何推进和达成这些目标。
Casper: Casper是以太坊将要采用的POS算法，正在Vlad Zamfir的领导下进行开发，Lucius Greg Meredith, 我和其他一些人提供帮助。关键部分包括用于替代“链共识”的“块共识”(by-block instead of by-chain)，以及“基于投注的经济共识”，以使区块链的确认速度相对于POW的线性效率，达到指数级。我们的目标是同时实现更短的出块时间(我个人认为4秒会是一个平衡安全性，资源浪费以及中心化风险的选择，Vlad则一如往常的更激进些)，更好的确认机制，以及大幅降低能量消耗（大约10-100倍的降低price-of-anarchy)。目前Vlad和Greg正在形式化定义和实现算法中的非经济部分，试图在数学上证明算法的收敛性质。下一步会试图优化经济部分。
可伸缩性: 我们试图结合分片(sharding), 随机采样，Merkle证明和异步调用，来将事务处理吞吐量从10~20个事务每秒提高到超过100000个每秒（如果super-quadratic versions也用上，理论上吞吐量可以达到无限大）。可伸缩性改进的基本想法在六个月前就已经确立，我们的研发团队对这个设计有非常强的信心。现在的关键是如何调整细节以使得在这个可伸缩设计中尽可能多的保留以太坊1.0的功能。例如，在相同的分片中应该依旧可以使用同步调用，但是跨分片的调用则只能是异步的。我计划更新我的可伸缩性论文，以加入更多最新的变动。

EVM升级: Martin Becze正领导着将WebAssembly作为升级版以太坊虚拟机候选项的研究。WebAssembly与EVM有许多相似之处：它们都需要运行不可信的代码，都要求代码尽量短小，都需要多个互相兼容的实现。WebAssembly唯一缺的就是Gas的计算。我们也许可以用WebAssembly来做EVM的JIT编译器，这可以极大的提高ethereum js的运行速度。也有可能直接将其做为虚拟机，只要增加一个transformation步骤，在每一个jump指令之前加入一条扣除Gas的指令。诸如BLOCKHASH, SSTORE之类的环境指令可以被抽象出去，通过FFI来调用。例如：SSTORE(k, v)变成FFI(0x55 ++ k ++ v), 这里0x55代表SSTORE)。

除此之外，要研究的问题还存在于以太坊平台之上的中间层，包括on-chain services，去中心化管理，身份和信誉系统，随机数生成，Solidity的形式化验证(伦敦有一个很棒的团队对此很有兴趣，已准备开始探索），预测市场的实现，以及和以太坊并列的一些项目(例如Whisper)。不过以太坊基金会会将这里的大部分工作留给社区完成，因为基金会的策略正在转向聚焦核心功能。

不同于Frontier(在此阶段以太坊区块链的正式发布）和Metropolis（在此阶段Mist发布），Homestead里程碑没有显著的标志性事件。Homestead标志着以太坊从“不安全”转换到“足够安全”。在过去的两个月中，我们已经发布了一个钱包，在pyethereum以及cpp-ethereum中实现了状态树减枝的测试版，在go-ethereum中实现了headers-first同步，升级了Solidity，启动了“轻以太坊子协议”（light ethereum sub-protocol，LES）的工作，并将很快发布1.0版的C++客户端和Mix。

我们的目标是：当Frontier网络连续四周运行不出现严重问题（严重问题指共识失败，或者用户丢失大量以太币，或者中等程度的网络故障）时，我们将发布Homestead。我们将会发布进入Homestead阶段的详细策略，现在可以说的是，我们已经非常接近Homestead阶段了。

开发者大会将在于11月9-13日在伦敦举行，我们期待见到各位！

http://ethfans.org/posts/vitaliks-research-and-ecosystem-update

欢迎光临网赚论坛 (http://www.caifuba.net/)