TLD3 - Web3 Domain Trading
Litepaper 0.1.0Abstract: TLD3 introduces a new way to trade domain derivatives by turning Web2 and Web3 domains into fractional ERC-20 tokens while proving ownership of the domains by DNS challenges and Doma Protocol's Web3 domains.
Introduction
Tokenization has changed how assets are owned and traded, allowing them to be split, exchanged, and used in decentralized finance. Derivative trading on decentralized platforms has seen rapid growth, letting users speculate, hedge, or gain exposure without holding the full asset.
However, this approach has its limitations. How can someone trade or speculate on an asset if ownership cannot be proven? That is why our philosophy for tokenization is based on verified ownership. TLD3 addresses this for domains. Each domain is converted into ERC-20 fraction tokens, allowing anyone to trade parts of a domain, speculate on its value, and participate in liquid markets.
Economy
Mathematical Model
The TLD3 pricing mechanism is based on bonding curve mathematics. That's how domain fraction pricing is calculated based on sales and purchases.
Symbols and State
Supply and Sold State
- : total supply of base units (minted to platform at creation)
- : sold amount in base units (state variable
fractionsSold), with - : sold ratio
ETH Parameters and Balances
- : initial ETH parameter
ethDeposited(wei), used as price anchor - : current ETH balance (wei) held by the DomainToken contract
Fees (Basis Points)
- : platform fee in bps
- : creator fee in bps
- (combined cap: 5%)
Units
Token uses 18 decimals; 1 token unit equals base units:
Quadratic Spot Price
The on-chain spot price per token unit is quadratic in the sold ratio .
Base (per base unit) anchor price:
Spot price per base unit at sold state :
Spot price per 1 token unit ( base units), matching the contract scale:
Monotonicity: increases with ;.
Primary Buy Execution
Given an ETH input of wei and pre-trade state :
- Compute spot price .
- Compute purchasable base units (flooring):
- Cap by platform inventory (platform's token balance):
- Exact ETH spent (wei):
- Token transfer fees (in base units):
- Transfers:
- Token: platform → buyer , platform → creator . Platform fee on buys is a self-transfer; net platform outflow equals .
- ETH: buyer → creator ; refund to buyer .
- State update:
Notes: The entire buy executes at the pre-trade spot price ; there is no intra-trade slippage integration. Post-trade, jumps by .
Secondary Sell Execution
Given a user sells base units at pre-trade state :
- Compute spot price .
- Token fees and returned amount:
- Circulation constraint:
- ETH payout (wei) from the DomainToken contract:Require .
- Transfers:
- Token: seller → platform and ; seller → creator .
- ETH: DomainToken → seller .
- State update:
Notes: As with buys, the sell executes at the pre-trade spot price with post-trade state update.
Fees and Exemptions
- Fees apply on token transfers unless either party is fee-exempt (settable by platform as owner of DomainToken).
- Combined fee cap: bps.
- Destinations:
- Platform receives on sells; on buys platform fee is a self-transfer (neutral on net inventory).
- Creator receives on both buys and sells (in tokens) and receives primary sale ETH.
Liquidity and Solvency Constraints
- Inventory constraint on buys: .
- Circulation bound on sells: .
- ETH solvency for sells:
- Primary sale ETH () is paid to the creator and does not automatically fund . To support redemptions, must be explicitly funded (e.g., deposits to DomainToken).
Properties and Implications
- Single-price execution: Large trades pay/receive the pre-trade spot price, not the integral under the curve. Compared to slippage-integrated bonding curves, large buys are cheaper and large sells are richer, all else equal.
- Funding gap risk: Because primary sale ETH flows to the creator while sells pay from , sustained sell pressure without replenishing can render sells infeasible due to the constraint.
- State accounting: Buys increase by (pre-fee), which slightly overstates growth in circulating holdings when fees apply; sells decrease by .
Parameterization and Tuning
- Supply and anchor set the initial scale: .
- Fee policy trades off friction vs. platform/creator accrual (bounded by 5% combined).
- Liquidity should be sized to anticipated redemption volume at prevailing .
Core Equations (Summary)
Technical Overview
Smart Contracts
The TLD3 platform is built on Doma Testnet
- Tradable.sol: 0xb6BA8806f72F32a028BFECABeE664212F5c483eF