devcon 6 / updates on proposer builder separation
Duration: 00:21:51
Speaker: Barnabé Monnot
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Oct 2022
A DAG-Based Mechanism for Fairer and More Decentralized Reward Distribution
Ethereum rewards validators for their correct and timely votes, incentivizing honest behavior and ensuring security. Although Ethereum has advanced large-scale decentralization, its current mechanism for verifying timely attestations is not entirely decentralized. This presentation highlights a bottleneck in Ethereum's reward distribution that could compromise LMD GHOST security. We propose a distributed DAG-based reward mechanism to enhance security, fairness, and incentive compatibility.
Nano-payments on Ethereum
Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
HyperCerts for Regenerative Cryptoeconomics
How do we incentivize and reward high-impact bets on valuable projects like infrastructure?Regenerative cryptoeconomics intends to combine a cultural paradigm shift with web3 tooling to incentivize positive externalities in a financially sustainable way. Evan will describe specific tools, instruments, and mechanisms; share developmental achievements made so far; and describe how those directions can improve the chances that the world will be improved with user-empowering, web3 driven tech.
Synthetic Assets
Dominic Williams presents on Synthetic Assets at Ethereum's DEVCON1.
A Standardized Business Model for Decentralized Insurance
We at Etherisc are building the first decentralized insurance on the blockchain. Decentralized means that we are not building a company only, but a standardized protocol and a platform on which many participants can build insurance products and trade risks.
Dai Stablecoin
The process of developing the Dai Stablecoin System has matured significantly over the course of the last year. We innovated in the Ethereum community by being the first project to release a well-defined reference implementation, written in Haskell, for our proposed system. This effort has helped with the simplification of the system’s design, increased project efficiency, and has attracted the attention of formal verificiation specialists who now want to focus on Maker. It is becoming more and more likely that Maker will be the first non-trivial decentralized application to be formally verified before launch. In this proposed presentation, I would like to talk about the usefulness of rigorous specification and external reference implementations for the benefit of other Ethereum projects.
Shaky ERC20 Allowances
Sometimes, we can't see the forest for the trees. When not used carefully in dapps, ERC20 token allowances fit that description perfectly. This presentation goes into the story of how I accidentally put over 10,000 DAI at risk for my users, even if they only deposited 100 DAI in the smart contract per se.
Cryptoeconomics Dive: LP Volatility Harvesting Across Yield Rates
This talk furthers the concept of volatility harvesting. Currently, Uniswap and other major dexes see a huge part of their trading volume consist of the result of volatility in the market. Value changes and as a result, trading volume spikes and LPs profit. When extending yield, which is also quite a volatile concept, to AMMs, volatility harvesting is increased further to not only affect value but also the yield that value creates.
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.