devcon 6 / a breakdown of ethereum supply distribution since genesis
Duration: 00:24:36
Speaker: Christine Kim
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Oct 2022
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
The CBC Casper Roadmap
The CBC Casper roadmap is a plan to implement Proof-of-Stake and Sharding for Ethereum using “correct-by-construction” (CBC) software design methodology. This talk will share new CBC Casper research, including specifications for light clients, liveness and sharding. It will include updates on formal verification and engineering efforts, and a roadmap for (eventual) release.
Why Dapp Users will Hate Cross-Shard Communication (and what you can do about it)
ETH2 is approaching, and initial indications are that substantially all dapp experiences will suffer. Some problems may be addressed with significant changes to design and development processes, but several tradeoffs are unavoidable without sacrificing scale, security, or decentralization. For example, essentially all popular dapps rely on the fungibility of Ether in a managed pool (e.g. Uniswap, Augur, Maker). In a sharded ecosystem, Ether is meaningfully non-fungible across shards, and users will bear monetary and management costs as a result.This talk will give an overview of cross-shard communication strategies and discuss their impact on developer and user experience. These include merged consensus, shard relays, consensus introspection, and credit markets. For each mechanism, we'll discuss expected impact on user experience metrics like execution time, transaction outcome, and price slippage.The talk is not all bad news. We've discovered some elegant new approaches that give dapps a variety of communication choices. The last section of the talk will discuss specific communication strategies that are amenable to specifi
Beyond Stake: Implementing Diversity Policies on PoS
We look at the challenges of implementing various diversity-improving policies on a PoS network. Economic (dis)incentivization is a popular approach, but can be undermined by non-standard miner economics such as (cross-domain) MEV or derivatives on incentivization. As an alternative, we outline an approach to include diversity support into the consensus level without requiring changing the basic functionality of the protocol by adapting the concept of general adversary structures.
Nano-payments on Ethereum
Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain
Interblockchain Communication & Interchain Topology
The interblockchain community protocol will faciliate permissionless interoperation between smart contracts on Ethereum 1.0/1.x & Ethereum 2.0, Cosmos zones, Polkadot parachains, Bitcoin & more. The first half of this talk presents the protocol construction, notes security properties & consensus requirements, explains the message channel interface exposed to smart contracts & modules, and discusses special techniques for bridging Nakamoto proof-of-work consensus blockchains such as Ethereum 1.0/1.x to chains with finality. The second half embarks on a speculative exploration of what the future topology of interconnected blockchains might look like: what economic constraints might shape cross-chain design choices, what kinds of applications might most benefit from cross-chain logic, and what shared ecosystem standards might most effectively facilitate positive-sum interoperation, with particular attention to integration into the Ethereum 2.0 specification process.
Polkadot's Data Availability and Validity Scheme
How can we make blockchains secure at scale? We suggest a data availabilitty and validity scheme that make sharding efficient in terms of the number of validators and validating resources. We first describe the Polkadot data availability and validity scheme and consider its applicability to other sharded systems (e.g. ETH2.0). In Polkadot we tie an erasure coding data availability scheme with consensus, where we can not finalise an unavailable block. Moreover, reports of unavailability or invalidity trigger extra checks. The aim is that, with high probability, we do not finalise an unavailable or invalid block provided that there are enough honest actors to report. The key advantage of this scheme is that we need fewer validating actors per shard and in turn less total computational and especially networking resources. This softens the trade-off between scalability and security.
Does it Make Sense to Aggregate and Average feeReceipent Rewards Using a Smoothing Pool?
This talk presents a statistical model and python code that can be used to model feeRecipient tips using a set of binomial, Gaussian, and Bayesian modeling techniques. We will explore if the ideal of pooling these fees, similar to how POW miners have been pooling their hash power, makes sense for Ethereum validators. We will present the results of modeling one such feeReceipent pooling contract to determine if such a model adds value to other validating Ethereum Node operators.
Formal Specification and Verification of the Distributed Validator Technology protocol
In this talk, we present our work on formally specifying and verifying the Distributed Validator Technology (DVT) protocol, using the verification-ready programming language Dafny, to ensure that the DVT protocol behaves as expected. You will learn how to read the formal specification, how to use it to write your own implementation of the protocol, what properties we have formally proven to be guaranteed by the protocol and what the future directions of the DVT protocol and our work are.
The Future of Liquid Staking
Liquid staking is now a major factor is the staking economy and staking protocol design. I'm going to lay out how I think it's going to interact with future DeFi, protocol development, MEV, interchain communication, L2s and modular blockchains. How liquid staking protocols will have to change with the blockchain world, and how to make them to shape themselves better.