devcon 0 / the path to the ethereum light client
Duration: 00:19:13
Speaker: Gavin Wood, Vitalik Buterin
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Scalable Blockchains & Asynchronous Programming
Ethereum's Vitalik Buterin presents on scalability and asynchronous programming.
Raiden Network: Getting to a production ready payment channel network
The Raiden Network is the payment channel network for Ethereum aiming to help scale Ethereum payment and all Dapps that utilize Ethereum for payments and rely on no on-chain side effects of the payments. There will be a small explanation of what is payment channels and a payment channel network, an explanation of the raiden network protocol and a demo of using Raiden (hopefully by then live on the mainnet). We will close with future plans, expansion of the protocol and showcasing potential applications.
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.
Scalabilty with zKSNARKs
Scalabilty with zKSNARKsThis session will introduce iden3’s zkSNARKs implementation and how it will be used at two scenarios: For the trustless relayer implementation at the identity management environment, allowing the identities to perform claims without cost at big scale.And the rollup project for Ethereum scalability, allowing verifiable computation off-chain to increase transaction throughput
Building a state channel application
State channels are a great tool for building high-performance, low-cost dapps today. By moving some of your dapp behaviour off-chain you can save transaction fees and confirmation times, while continuing to bootstrap security and trustlessness from the underlying blockchain. In order to understand how an application can benefit from state channels, it’s important to understand the mechanics behind them. The good news is that once you’ve managed to model part of your application as a state channel interaction, there are already tools available to help make the switch.In this interactive workshop, we will dig into an existing state channel application. We’ll cover the fundamentals of state channels, as well as the main design decisions behind modeling the interactions and architecting the application. You’ll test your understanding by completing key sections of the code, leaving the session with a functioning state channel application, built with react on top of the force-move games framework!
Snarks for mixing, signaling and scaling
There is general interest in the ethereum community to scale ethereum by moving dapps inside snarks. The key to do this is to make an efficient signature function available inside a snark. We present this signature function https://github.com/barryWhiteHat/baby_jubjub_ecc designed to work efficiently inside a snark. Furthermore we describe an architecture to scale ethereum using snarks. We discuss the trade offs required and compare them to building a dapp inside the evm.
Universal Hash Time
Jeff Coleman of Ledger Labs (http://ledgerlabs.io/) presents on the Universal Hash Time + State Channels.
Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities
Light clients are nodes which only download a small portion of all of the data in a blockchain, and try to use indirect means to verify that a given chain is valid. Typically, instead of validating block data, they assume that the chain favoured by the blockchain's consensus algorithm only contains valid blocks, and that the majority of block producers are honest. By allowing such clients to receive fraud proofs generated by fully validating nodes that a block violates the protocol rules, we can eliminate the assumption that the majority of consensus-participating nodes are honest, and instead assume that there is at least one honest fully validating node that can distribute fraud proofs within a maximum network delay, and a minimum number of honest light clients to reconstruct missing data from blocks. Fraud proofs and data availability proofs are key to enabling on-chain scaling of blockchains (e.g. via sharding or bigger blocks) without significantly reducing the ability of end-user wallets to have assurance that all on-chain data is available and valid. We present, implement, and evaluate a novel complete fraud proof and data availability proof system. Research paper draft (work-in-progress): https://www.dropbox.com/s/3zj3burdfrw5v69/fraudproofs-paper.pdf Data availability code: https://github.com/musalbas/rsmt2d Fraud proofs prototype (work-in-progress): https://github.com/asonnino/fraudproofs-prototype
INCUBED - A trustless incentivized decentralized remote node network
To enable smart devices of the Internet of Things to be connected to the Ethereum blockchain, an Ethereum client needs to run on hardware. While running a full-node or even a light-client on most IoT devices with low performance or restricted resources is not possible or meaningful, today's state-of-the art solution uses a remote client. By using distinct remote-nodes, the advantages of a decentralized network without being forced to trust single players are undermined and there is a risk of malfunction or attack because there is a single point of failure.With the presented Trustless Incentivized Decentralized Remote Node Network, in short INCUBED, with a stateless minimal verification client it is possible to establish a decentralized and secure network of remote-nodes, which enables trustworthy and fast access to blockchain for a large number of low-performance IoT devices.