devcon 7 / fair combinatorial auction for trade intents how to design mechanisms without a numeraire
Duration: 00:26:39
Speaker: Andrea Canidio
Type: Talk
Expertise: Intermediate
Event: Devcon
Date: Nov 2024
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.
Demand-based recurring fees in practice
ALL 4 letter .COMs have been taken since 2013. Yet most only have a few natural buyers; hence, speculation doesn't make that market more efficient. Yet, in crypto-economics, we can already transcend private property to deter the monopolization of digital assets like domains. This talk explores solutions from Weyl, Posner, and Henry George. We'll show how pricing and allocative efficiency can be improved through Georgist land value tax for assets like real estate, domain names, or ad space.
Voting with time commitment
Token-based voting mechanisms employed by DAOs can encounter three potential problems: plutocracy, Sybil attacks and vote buying. If one were to design a voting mechanism from scratch, how does one ensure that these issues are addressed adequately down the road? This talk aims to provide some intuition for the trade-offs faced when tackling these problems in general, and the role of time commitment in alleviating these issues, in particular.
Oracles for number values
We will overview the history and state of research on how to design a cryptoeconomic oracle that outputs a number value. One wants such tools for price oracles, but also for bringing other information on-chain, e.g. the damages to award from an on-chain insurance contract. We will look at approaches ranging from Vitalik's 2014 SchellingCoin proposal to ideas drawing from social choice theory, including based on recent research. We will explore tradeoffs including resistance to several attacks.
Superliquid Mechanisms for Decentralized Stablecoins
USDC and USDT outpace decentralized stablecoins in large part due to their liquidity. This talk covers the theory, data, and risks of stablecoin liquidity innovations. This will include mint/redemption mechanism design, liquidity pool design, rehypothecation, and protocol-owned liquidity. The analysis will distill how the flexibility of decentralized stablecoin issuance mechanisms can safely be used to their advantage over centralized stablecoins, which Gyroscope v2 is putting into practice.
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.