BTC.com手机客户端

以太坊开发者会议第一天

少平 发布在 竞争币 3 2855

725_aHR0cDovL2NvaW50ZWxlZ3JhcGguY29tL3N0b3JhZ2UvdXBsb2Fkcy92aWV3LzQ5YmEzYmRlZDE1NzA1ZjEyN2VlOTkzNTI0NGFhN2M0LnBuZw==_meitu_1

BlockStar.io的创始人和首席技术官Aron van Ammers参加了第一天(11月9日)的以太坊开发者会议,向Cointelegraph介绍了他对会议所讨论的重要内容的看法。

以太坊开发者会议的第一天的焦点是研究:以太坊的未来和相关的技术。目前的版本Frontier只是以太坊1.0的早期版本。今天会议的焦点是以太坊2.0。300多位参会者沉浸于对以太坊未来的思考。

 

c279134a-8c1c-46c1-8ad6-ff49f6e5c82c

可伸缩性(Scaling)

 

如果以太坊打算被广泛应用,它需要具备可伸缩性。因为以太坊的目标是成为一个通用的区块链,所以以太坊实现可伸缩性比比特币更加困难。但以太坊仍然是一个初期的平台,还有许多创新机会。

在关于可伸缩性的专题讨论会上,以太坊的创始人和开发者讨论实现可伸缩性的几种策略。Vitalik描述了一种“轮辐模式”(hub and spoke),类似于比特币的侧链方案。Dominic Williams提出了验证层(verification layer)策略,只有有限的节点对交易进行验证,这种方式可以实现与目前每个节点对每一笔交易进行验证的方式类似的安全性。

今天晚些时候,Vitalik解释了异步编程(asynchronous programming)策略,可以利用它在公共以太坊区块链、外部区块链和私有以太坊区块链之间实现互操作性(interoperability)。这可以实现一个安全互联的区块链世界,为创建具有不同等级的安全性和价值交互功能的去中心化应用带来一系列新的可能性。

Aaron Davis演示了Metamask,利用Metamask,用户可以利用普通的网页浏览器就可以使用以太坊上的去中心化应用(DApp)。像Metamask这样的项目将极大地降低使用去中心化应用的门槛,因为用户将不再需要经历复杂的安装过程。

IPFS项目的创始人Juan Benet讲述了IPFS成为一个新的互联网层(layer)的可能性。因为IPFS具有去中心化特性,所以它特别适合充当去中心化应用基础设施的构件。IPFS的应用范围包括中心化应用分发、加密数据存储和去中心化内容分发网络(CDN)。

 

共识机制

 

区块链提供了一个单一的、由共识创建的事实来源:参与者通过共识机制对数据达成一致意见,这也使此数据成为事实。以太坊的研究员Vlad Zamfir解释了为什么经济共识系统(economic consensus system)是一种非常新的现象,还有被很多人研究。经济共识是我们目前所知的在一个完全公开的系统中实现共识的唯一策略。

在经济共识中,参与共识系统的参与者(例如矿工)被看作经济理性人。这意味他们将选择能够给他们带来经济利益的选项。这些经济利益来自于区块链内部,但是也来自于区块链外部:考虑这样一种情况,外部的攻击者为了审查某一特定交易,贿赂大多数矿工。Zamfir认为经济共识系统的建立者应该考虑到这种最坏的情况,即使我们看到实际上矿工并不总是做出纯(短期)理性的经济决策。原因是如果一个区块链可以抵御大规模攻击,那么它肯定能够抵御小规模攻击。

未来的以太坊权益证明机制被称为Casper,也是由Zamfir提出的。

 

7399f715-4fc9-4e67-8e0e-e413ffa72f21

智能合约的形式验证(formal verification)

 

写智能合约的标准正在快速专业化,会议对形式验证的关注可以证明这一点。从一方面来讲,以太坊上的智能合约是极为强大的金融工具,但是,从另一方面讲,智能合约也只是可能包含bug、运行时会出现意想不到的情况的一段代码。因为金融工具中的bug影响非常巨大,所以我们需要高度可靠性。

形式验证是创建高度可靠软件的一个策略,常被用于军事和航空软件中,也被应用到金融软件。会议上提出了几个关于智能合约形式验证的创新方案。

Synero项目的Lucius Greg Meredith提出了一元设计模式(monadic design patterns)的概念,将它与一个 架构相结合能够形成一个高度可靠和可伸缩的区块链系统。Aesthetic Integration项目的Grant Passmore描述了他们的解决方案Imandra如何提供金融合约形式验证。

在今天最后的一场演讲中,Jack Petterson和Robert Edstrom展示了他们以一种新的智能合约语言为主题的硕士论文,这种新语言提供了特殊的形式验证特性。最后,伦敦国王学院的计算机教授Peter McBurney解释了形式验证的基本概念和它如何被应用到共享式账本系统和协议中。

 

总结

 

以太坊的第一天会议展示一个未来将具有高度可靠性和可伸缩性的以太坊。今天我们急切地思考以太坊的可能性,这也将是接下来几天会议的主题。

原文:http://cointelegraph.com/news/115611/ethereum-devcon1-expert-view-of-the-first-day
翻译:少平
BTC打赏地址:1EcJ83H7SDCqH3Xs6Yn3PqiLG26ycSEfSw

发文时比特币标准价格 买价:¥2174.27 卖价:¥2173.43

评论:3

您需要登录后才可以回复 登录|注册

    以太坊也有这么多人么[白眼]

    +1
    +1
    我要点评
    巴比特资讯
    巴比特资讯 387 天前

    BlockStar.io的创始人和首席技术官Aron van Ammers参加了第一天(11月9日)的以太坊开发者会议,第一天的讨论焦点是:以太坊的未来和相关的技术。目前的版本Frontier只是以太坊1.0的早期版本。而这次会议将会就以太坊2.0进行讨论。300多位参会者参与了对以太坊未来的思考和讨论中http://t.cn/RUlTwoY

    +1
    +1
    我要点评