devcon 0 / ethereum 1x on blockchain interop and scaling
Duration: 00:50:55
Speaker: Vitalik Buterin, Vlad Zamfir
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Scalable Blockchains & Asynchronous Programming
Ethereum's Vitalik Buterin presents on scalability and asynchronous programming.
The Mauve Revolution
Proof of stake and sharding present two of the biggest upcoming milestones in the ongoing development of the Ethereum protocol. Proof of stake offers the promise to greatly reduce the cost of consensus and increase security guarantees, while sharding presents an approach to allow on-chain scaling to tens of thousands of transactions per second while still retaining a network that can, if needed, run on nothing but a sufficiently large set of consumer laptops. The Casper approach to proof of stake also introduces a number of novel concepts, including consensus-by-bet and fork choice by value-at-loss.
Ethereum 2.0 implementation updates 4Q2018/Prysmatic Labs: Implementing Ethereum 2.0 Today
The sharding implementation updates 4Q2018, mainly on Python side. // Sharding and layer-1 scalability are perhaps the most important, forward-thinking changes that Ethereum 2.0 will implement. Ever since the inception of the Sharding FAQ by Vitalik, both the foundation’s research team and the community have actively engaged in bringing ideas together into a solid specification and road ahead for the future of Ethereum. This task will focus around the ins-and-outs of building the high-level Ethereum 2.0’s Casper & Sharding spec into granular code by one of the main sharding implementation teams, Prysmatic Labs. We will analyze caveats we ran into when designing Ethereum 2.0 while the research is still in flux. Ethereum 2.0 encompasses a lot more than software upgrades, as it gives developers the opportunity to pave a path with better design capabilities, a better open source contribution ecosystem through documentations, and a more modular, pluggable set of tools built to last the test of time. We assembled organically as a team to build this out, and we aim to give back to the community from what we have learned so far in terms of building on a volatile research spes, attracting open source talent, mitigating technical debt, and why transparency and public work are important.
Demystifying L2 Transactions
Transactions executed on rollups have a different lifecycle to L1 transactions. In this hands-on workshop, for devs and users alike, we’ll use Arbitrum as a demonstration tool to send transactions, follow them through their different stages of finality and analyse what fees they pay.
Rollups, Shards & Fractals: The Dream of Atomically Composable Horizontal Scaling
Rollups allow blockchain to scale vertically, while preserving their trust properties. But what do we do when we reach the limits of vertical scalability? It might also be desirable to accomodate multiple rollups with different operating rules, virtual machines, or security trade-offs. Horizontal scaling solves these issues, but doesn't allow atomic composability. In this talk, we review approaches to horizontal scalability & ways to get as close to atomic composability as possible.
Rollups Are the Most Secure Bridges
l2beat.com has established itself as the most trusted community resource assessing security assumptions of different Ethereum scaling solutions. Each such solution has a "native" bridge allowing users to move tokens to L2, but there is a plethora of other bridges available to end users. How do they compare to "native" bridges ? What risks users face sending tokens across these bridges ?
P2P Networking in Ethereum 2.0
Sharding and Casper promise to greatly improve performance, sustainability, and security of the Ethereum blockchain. Alongside a novel and much-discussed consensus protocol, they also entail fundamental changes to the requirements and constraints imposed on the peer-to-peer (p2p) networking layer. In this talk we report on ongoing research as well as the current implementation state of the latter. We begin by defining key qualitative and quantative properties the network should have. Then we discuss several options for both node discovery and gossip protocols, comparing their performance on the basis of simulationresults. Finally, we give an update on the current state and future developments of protocol implementations.
The Path to the Ethereum Light Client
Vitalik Buterin and Dr. Gavin Wood take a look at the Ethereum light client roadmap.
Layer 2s
Ethereum's Dr. Gavin Wood moderates a panel with Vitalik Buterin, Martin Becze, Dominic Williams and Vlad Zamfir on scalability with Ethereum.
Less Gas, More Fun: Optimising Smart Contracts through Yul
Due to the relative simplicity of the Ethereum Virtual Machine, it is possible to perform heavy analyses in order to optimize bytecode. The jump operations are a main obstacle for this, because they might require a preservation of all basic blocks in the worst case. To overcome this, Solidity's new optimizer operates on an intermediate language called Yul, which is close to EVM bytecode (and also wasm) but abstracts jump operations through real function calls. Each of the many optimizing operations are simple local equivalence transforms whose effects can be inspected at any time and which in combination should be both more reliable and efficient than the classic optimizer.