devcon 6 / formal specification and verification of the distributed validator technology protocol
- YouTube
- IPFS
- Details
Formal Specification and Verification of the Distributed Validator Technology protocol
Duration: 00:24:14
Speaker: Roberto Saltini
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Oct 2022
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.
- Related
Devcon
Talk
30:33
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
Devcon
Talk
30:36
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.
Devcon
Breakout
09:23
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
Devcon
Talk
25:12
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.
Devcon
Talk
17:05
Nano-payments on Ethereum
Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain
Devcon
Talk
14:20
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.
Devcon
Talk
15:24
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.
Devcon
Talk
24:36
A Breakdown of Ethereum Supply Distribution Since Genesis
As Ethereum looks ahead to its transition to a fully to a proof-of-stake consensus protocol, the topic of Ethereum’s supply distribution matters more than ever to network stakeholders. This is because under PoS, the amount of ETH users control directly determines how much influence they can have over the network’s consensus building process and the amount of rewards they can earn from staking. This talk dives into how distributed ETH supply on Ethereum has become over the last 7 years.
Devcon
Talk
22:48
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.
Devcon
Talk
29:17
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.