devcon 6 / how to design dvt while ensuring non correlation
Duration: 00:23:06
Speaker: Collin Myers, Oisín Kyne
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Oct 2022
Economics of Ethereum 2.0
This will be a presentation reviewing the Ethereum 2.0 Economics for an average validator. The talk will highlight the validator economics based on the current spec that can be expected for Phase 0 and Ethereum 2.0 at a mature state. The presentation will result in a call for community feedback on the proposed economics, which will be done through a public facing Ethereum 2.0 calculator built by the EF and ConsenSys.
[Panel] The Staking Economy: From Monolith to Modularity
The staking industry is on the verge of a new and exciting innovation cycle. The modularization of the staking tech stack, led by advances in middleware solutions such as Obol Network (Distributed Validator Technology), Flashbots (MEV Boost), Liquid Collective (liquid staking), and EigenLayer will create a new playing field for existing operators, product builders and solo stakers. This panel seeks to discuss these important developments and the new benefits and risks they bring to Ethereum.
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
"It's 10pm, do you know where your mnemonic is?"
Many stakers set up their validators nearly two years ago, and will soon need to revisit them to obtain the rewards they have earned since. This panel provides a refresher for what stakers did, and why they did it. It discusses protecting mnemonics and keys, and what can be done if they are misplaced or compromised. Bringing together experts on validating key creation, protection and use, this is a wide-ranging discussion that will be useful for all stakers and potential stakers.
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.
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.
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