5 large


shaoping · 于 发布 · 1353 次阅读

Devcon 2


Panel:Welcome & Introduction

Opening remarks by Ethereum Executive Director, Ming Chan is followed by the Foundation’s lead developers in an introductory panel.
以太坊执行董事Ming Chan女士协同基金会首席开发人员为第二届以太坊开发者大会进行开幕致辞和介绍发言。

Ethereum in 25 Minutes

So what are all of the different moving parts of the Ethereum blockchain? What are uncles, how do contracts call other contracts, who runs them? What is the proof of work, and what exactly is gas? Vitalik Buterin provides a 25-minute technical overview of the ethereum blockchain, start to finish, and explain many of these concepts in detail.
驱动以太坊区块链的不同部分分别是什么?什么是uncles(叔叔)?一个智能合约怎么调动其它合约?谁在运行它们?什么是PoW(工作证明)什么是Gas(汽油)?在25钟内,Vitalik Buterin先生对以太坊区块链的技术概况进行从头到尾的介绍,对诸多概念进行解释。

Panel:evolving the EVM

Swap, Swear and Swindle. Swarm Incentivisation

A robust peer-to-peer content storage and retrieval system requires a careful balance between the needs of the service providers and those of the consumers.
The Swarm network is uniquely able to address these needs due to the new opportunities ethereum offers in the form of micro payments and smart-contract governed incentive schemes.

In this talk we want to introduce the swarm incentive system. It is built around three pillars which we call Swap, Swear and Swindle.

The Swap system accounts for bandwidth usage and compensates nodes for serving up content. The dynamics of this system suggest that popular content will automatically become more widely distributed and faster to access. Micropayments are handled by a custom chequebook smart contract and we are actively looking to integrate full payment channels as well.

The Swear contracts deal with long term storage, allowing nodes to sell access to their storage capacity while allowing others to reliably store their content on swarm for extended periods of time.
Finally, the Swindle contracts constitute a litigation engine to resolve disputes. The properties of Swindle make it a natural candidate to be a state-channel judge contract and we will present our research into off-chain state-channels for proofs-of-custody, recurring payments as well as litigation and conflict resolution.
Swarm thus touches upon multiple strands of research currently happening in and around the ethereum ecosystem and unifies them in a coherent narrative that we hope to convey in this talk.

Making EVM Scream

The Raiden Network

Presentation of the Raiden Network, Implementation, Use Cases, API, Examples

Trying to Fool a Blockchain

How to use interactive verification for offloading computations, providing help in scaling and giving a proper incentivisation scheme for doing computationally-intensive work.

Towards Web3 Infrastructure

Ethereum’s multi-protocol stack offers a unique opportunity to directly implement web interactions as contractually binding agreements. The web 3 vision is based on the premise that decentralised base-layer infrastructure exist providing backend functionality to interactive web applications in an easy to build-on, frictionless way. The focus will be on representing structured data, providing incentivised real-time communications and transparent linking of browser actions to on or off-chain transactions.

Databases of the traditional LAMPs stack is a pain point in migrating well-understood web-application design to the Ethereum ecosystem. The provable DB framework implemented with IPFS merkle DAGs and Swarm manifest tries play central role. (Swarm maifest 不知道什么意思)On the one hand their logic and structure are tied to the blockchain for verification, while they serve as reference to distributed low-latency query servers for accelerated real time access and a computational market of decentralised indexers.
传统的LAMPs栈的数据库是把当今已经被充分理解的网络应用移植到以太坊生态中的一个痛点。用IPFS merkle DAGs来实现的可证实DB框架以及Swarm manifest tries在其中扮演关键角色。一方面它们的逻辑和结构出于验证需要与区块链密不可分,同时他们为分布式低延迟查询服务器的实时加速提取以及算力市场去中心化引索提供了一个参考。

Various flavours of incentivised routed messaging over devp2p provide a suite of communication tools including devp2p discovery and unicast, multicast, subscription and incentivised state channel networks.
devp2p上各色的激励制规定路径信息提供了一套通讯工具,包括devp2p发现、单播、 多播、订阅制以及激励制状态旁路网络。

Contract verification, natural language support for transactions, governed name services and fine-grained access control to usage data all help bring security, transparency and privacy in the user experience.

In this talk we will sketch components and interactions in such an architecture.

Parity Internals
A presentation giving and in depth overview of the Rust based Parity client built by Ethcore..

eWASM: An Experimental VM Design
eWASM: 一个实验性的虚拟机设计方案

Transcompiling, Metering, Ethereum Interface & Demo
Ethereum WASM builds on the foundation laid by the Webassembly by adding the following.
• Specifies an Ethereum system module to facilitate interaction with the Ethereum Environment
• Adds Metering
• Restricts non-deterministic behavior
跨编译,计量(metering) 以太坊界面&演示
- 明确了一个以太坊系统模块用以促进与以太坊环境的互动。

Sharding in Depth

A in-depth investigation of sharding as a scalability solution in Ethereum.
Sharding is a scalability solution in which nodes from a global validator set (in our case created through proof of stake bonding) are randomly assigned to specific “shards”, where each shard processes transactions in different parts of the state in parallel.

Making Smart Contracts Smarter: Oyente

The contract analyzer OYENTE was built to detect vulnerabilities in smart contracts and will soon be released as open source. This presentation will give an overview of Oyente and how it can me used to make smart contracts smarter.

Ethereum for Resource-Limited Devices

State of the union and roadmap for mobile, wearables, SBCs and IoT running Ethereum

Casper Design Overview
Casper 设计概况

Description of the basic mechanism of consensus-by-bet, as well as the key design choices and tradeoffs made in Casper. Focuses particularly on randomness, byzantine fault tolerance and partially synchronous network models, the tree choice rule, and convergence to finality.


A Compositional Casper Machine

The DAO re-entrancy bug now has a lot of attention on it. We decided to look at the bug from the point of view of a concurrency-oriented contracting language for the blockchain that incorporates behavioral typing, to see if this bug would have been caught by the behavioral types, and hence never deployed. As it turns out, a novel defensive programming strategy against this sort of exploit can be deployed using behavioral types. To understand this technique, you must first understand that the Rholang contracting language makes a commitment to fine-grained concurrency inside contracts. We’ll look at Rholang, and then look at what behavioral types are and then finally see how they would not only catch the DAO re-entrancy bug, and thus the buggy contract would have failed compilation, and thus never have been deployed.
今天,The Dao的重新进入bug得到了广泛的注意。我们决定从一个结合行为分类的并发编程合约语言的角度来分析这个问题,来看看是否这个bug会被行为类型抓住,因而就不会被部署下去。结果显示,一个新的针对类似利用漏洞获利的编程防护策略可以通过行为分类来实现。为了搞懂这个技巧,你必须先懂得Rholang合约语言在它们的合约当中对细致的并发程序做出了承诺。我们会一起来看Rholang,接下来看看什么是行为分类,最后我们看一下为什么行为分类不但可以抓住the DAO的重新进入bug,并且它会使任何有bug的智能合约不被编辑,从而不会被部署下去。

Panel: Smart Contract Security in Ethereum

A panel discussing the implications and developments made in Ethereum smart contract security.

Security Learnings From BTC Relay
BTC Relay中有关安全性的启示

BTC Relay is a smart contract that verifies Bitcoin transactions. It was launched to mainnet and since it is fully decentralized, it will either survive or perish as it is, because no one can change it. Findings from a security audit, and the Ethereum bug bounty program for BTC Relay, will be discussed.
BTC Relay是一个确认比特币交易的智能合约。这个合约已经在主网上发射,它完全去中心化的特性导致它如果不能生存就只能消亡,因为没有人能够对它进行改动。在此我们会探讨安全性调查的结果以及BTC relay的以太坊程序中的bug。

Evolution of Client Security Since Frontier

Timeline of security of the major Ethereum clients since launch of Frontier. Overview of design changes & hardening made to improve security and critical but fixes. Consensus protocol bugs found so far and DoS attacks

Ethereum Security Overview

This talk will cover the threats and concerns for different actors in the ecosystem; such as Miners, Full-nodes, Exchanges, contract developers, Dapp-users and wallet users. The talk will outline some of the threats, and what can be done to mitigate risks, some pitfalls to avoid and some best-practices to use. It will touch on upcoming challenges, drawing paralells to the state of security of The Web as it looks today. What can we learn from the past, and how can we do better for 3.0?

Formal Verification for Solidity

Parity Dapp Security Infrasturcture

Imandra Contracts:Formal Verification for Ethereum

A presentation covering Imandra Contracts, Aesthetic Integration’s cloud-based formal verification system for Ethereum.
一个关于Aesthetic Integration出品的以太坊云形式化验证系统,Imandra合约的展示。

MetaMask Bridging Browers to Blockchains

A presentation showing the progress of MetaMask’s efforts and a genral overview of interacting with blockchain technology through browsers.

Building the Light Client Ecosystem

A short explanation of the LES flow control mechanism followed by:
incentives and performance with and without micropayment
avoiding Sybil attacks
using micropayment channels for improved performance
economic model for massively scaled networks


Import Geth: Ethereum from Go and beyond
导入Geth: 以太坊从Go到以后

Teaser presentation about using go-ethereum as a library in other projects: running embedded nodes; interfacing native DApps; Android and iOS support.

Solidity for Dummies

We will explore the basics of the Solidity contract language using examples.

New and Future Feature of Solidity

Update on how Solidity evolved in the recent months also showcasing features of Solidity in general and giving a roadmap for the future.

How to Develop Advanced Dapp using Embark

Introducing Embark 2.0; What’s new, and how to develop & test advanced DApps

The New Web3.js

Describing the refactor and overhaul of web3.js.
描述网络3.js 的全面修订和重构。

Truffle Development System Ecosystem and Future Ethereum Development Tools

A presentation on the Truffle development ecosystem which encompasses a number of different tools including the Truffle development framework. There will be a demo of new features as well as talk about future plan, keeping an eye toward writing code that benefits the whole Ethereum community and not just Truffle users, focusing on development processes, blockchain simulations, testing, using live chain data for testing and development, and on-chain package management.

Mix and Other Ethereum Development Tools

A Descriptions of the Ethereum Ruby Client and the State of the EthFans Community

A presentation exploring the Ethereum Ruby Client and the Ethfans community in China.

Developing Scalable Decentralized Applications for Swarm and Ethereum

Blockchain-coordinated decentralized applications represent a radical departure from the client-server model on which most of the currently popular web applications are based. On one hand, such đapps’ approach to scalability is more natural as the computing power and bandwidth available for applications grows in proportion to their user base, while on the other hand the lack of a centralized trusted infrastructure under the control of a single — typically corporate — entity raises unique challenges in trust, reliability and coordination. In my presentation, I will introduce some of the principles and practices of architecting and developing such applications, highlighting both the challenges and the unique opportunities for transcending the limitations of the client-server model.

In addition to developing the underlying infrastructure, the Swarm team also develops some example applications that, while useful themselves for end users, are also meant as a template and a starting point for independent developers. Using these examples as illustrations, the presentation will introduce prospective developers to techniques and approaches of both replicating Web 2.0 patterns in a decentralized fashion and going beyond their limitations, taking full advantage of content-addressed storage and blockchain-arbitrated interactions. In particular, the basic building blocks of decentralized, community-moderated knowledge bases (such as maps or encyclopediae), social networks and other forms of information aggregation are going to be presented.

INFURA - IPFS and Blockchain Infrastructure
INFURA - IPFS与区块链下层结构

INFURA aims to provide ConsenSys spokes and the World, with a stable, robust, balanced, fault tolerant and easily scalable infrastructure of Ethereum and IPFS nodes.
INFURA的目标是给ConsenSys spokes和世界提供一个稳定、强壮、平衡、容错与易扩展的以太坊下层结构以及IPFS节点。

Ether.Camp and EthereumJ

A presentation covering the ongoing efforts at Ether.Camp, including the block explorer, online IDE and EthereumJ client.

Testing Ethereum Consensus

Ethereum tests overview and integration instructions for client developers.

Mango: Git Completely Decentralized
Mango(芒果):Git 完全去中心化

This presentation will cover an introduction to the problem, explanation of Mango itself, and how it could be further developed to provide all the convenience of GitHub in a decentralised manner.

  • 暂无回复。