devcon 7 / designing conditional markets and futarchy
Duration: 00:25:19
Speaker: kas.eth, Robin Hanson
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Nov 2024
Categories
A Modest Proposal for Ethereum 2.0
Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"
Nano-payments on Ethereum
Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain
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.
Public epistemics and futarchy
35 years ago I began outlining a vision of how betting markets could offer informed credibly-neutral estimates on far more disputed topics. I elaborated 25 years ago on how decision markets could support neutral governance, and 21 years ago on how combinatorial markets allow estimates on all possible combinations for existing topics. Now in the last year, we are seeing substantial crypto-based trials, especially re governance. In this talk, I’ll paint a picture of where all this could go.
Practical endgame on issuance policy
A practical endgame on issuance policy stops the growth in stake while guaranteeing proper consensus incentives and positive regular rewards to solo stakers. Viable reward curves for this endgame are presented. Motivations, impacts and potential downsides of an issuance reduction are in focus. A tangible framework is also introduced: never exceed an issuance rate of 0.5%. A stringent cap on issuance caps the inflation rate, solidifying ETH as trustless sound money with robust economic security.
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.
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