Devcon Archive logo
Devcon Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2025 — Ethereum Foundation. All Rights Reserved.

devcon 7 / fair combinatorial auction for trade intents how to design mechanisms without a numeraire

  • YouTube
  • Details

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

When designing mechanisms on the blockchain, there may be no single asset that can be used to reallocate the benefits of participating in the mechanism among its participants. Hence, the designer cannot separately address achieving an objective and sharing the resulting gains, as the objective affects how/whether these gains can be shared. This raises fairness concerns. We discuss the relevance of this issue for trade intent auctions and propose a novel mechanism: the fair combinatorial auction.

Categories

Mechanism designIntentsresearchIntentsMechanism design
  • Related
A Modest Proposal for Ethereum 2.0 preview
Devcon
Talk
30:33

A Modest Proposal for Ethereum 2.0

Vitalik Buterin gives his talk titled, "A Modest Proposal for Ethereum 2.0"

Nano-payments on Ethereum preview
Devcon
Talk
17:05

Nano-payments on Ethereum

Piotr Janiu of Golem (http://golemproject.net/) presents on Nano-payments on the Ethereum blockchain

The CBC Casper Roadmap preview
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.

Demand-based recurring fees in practice preview
Devcon
Talk
22:18

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 preview
Devcon
Talk
25:34

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 preview
Devcon
Talk
25:38

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 preview
Devcon
Talk
25:33

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 preview
Devcon
Talk
13:41

Synthetic Assets

Dominic Williams presents on Synthetic Assets at Ethereum's DEVCON1.

A Standardized Business Model for Decentralized Insurance preview
Devcon
Talk
20:54

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 preview
Devcon
Talk
19:18

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.