# Simple Summary
At each block, deduct an amount of value from every account based on the quantity of storage used by that account.
The most naive implementation would be to simply loop through every account on each block and deduct a certain fee. We show that a better implementation could achieve reasonable performance. Also we review practical considerations of switching to a fee-based rent system.
In other words,
product=0; while(factor1--)product+= factor2; is slow, but equivalently
product = factor1 * factor2 is fast. And we can reason about both at the same time.
Ethereum is a public utility and we are underpricing the long-term costs of storage. Storage cost can be approximately modeled as bytes × time.
New state variables (per account)
- rent -- σ[a]_r -- an amount of value, in Wei
- rentLastPaid -- σ[a]_p -- a block number that is set when:
- Value is transferred into an account
- Code is set for an account (CREATE)
- An account's storage is updated (SSTORE)
- storageWords -- σ[a]_w -- number of words in storage
- rentEvictBlock -- σ[a]_e -- the block number when this account will be destructed
- Note: it is possible that a client could implement the Yellow Paper without storing this value explicitly. It can be calculated simply on demand.
- RENT_WORD_COST -- The rent cost, in Wei, paid for each word-block
- RENT_ACCOUNT_COST -- The rent cost, in Wei, paid for each account-block
- RENT_STIPEND -- The amount of rent, in Wei, given to accounts when touched
- RENTBALANCE(address) -- G_BALANCE -- Similar to BALANCE
- SENDRENT(address, amount) -- G_BASE -- Convert value to rent and send to account
- σ[account]_rent += amount
- σ[msg.sender]_balance -= amount
A new subroutine, paying for rent, is established as such:
PAYRENT(account) ASSERT(σ[account]_rentEviction >= NUMBER) // TODO: I'm not sure if should be > or >= blocks_to_pay = NUMBER - σ[account]_rentLastPaid cost_per_block = RENT_ACCOUNT_COST + RENT_WORD_COST * ⌈∥σ[account]_code∥ / 32⌉ + RENT_WORD_COST * σ[a]_storageWords rent_to_pay = blocks_to_pay * cost_per_block σ[account]_rent -= rent_to_pay σ[account]_rentLastPaid = NUMBER σ[account]_rentEvictBlock = NUMBER + ⌊σ[account]_rent / cost_per_block⌋ END PAYRENT
- SSTORE(account, key, value)
- Perform PAYRENT(account)
- Set σ[account]_rent = MAX(σ[account]_rent, RENT_STIPEND)
- Do normal SSTORE operation
- If the old value was zero for this [account, key] and the new value is non-zero, then σ[account]_storageSize++
- If the old value was non-zero for this [account, key] and the new value is zero, then σ[account]_storageSize--
- CALL (and derivatives)
- If value > 0 then perform PAYRENT(account)
- Do normal CALL operation
- Set σ[account]_rent = MAX(σ[account]_rent, RENT_STIPEND)
- Set σ[account]_rentLastPaid = HEIGHT
- Do normal CREATE operation
- Note: it is possible there is a pre-existing rent balance here
The substate tuple is defined as:
A ≡ (As, Al, At, Ar)
This includes A_t, "the set of touched accounts, of which the empty ones are deleted at the end of a transaction".
This definition is updated to: "the set of touched accounts, of which the empty ones or evicted ones (BLOCK >= σ[a]_rentEvictBlock) are deleted at the end of a transaction"
// TODO: I'm not sure if that should be > or >=
New built-in contract
- PAYRENT(address, amount) -- Calls PAYRENT opcode
This is a convenience for humans to send Ether from their accounts and turn it into rent. Note that simple accounts (CODESIZE == 0) cannot call arbitrary opcodes, they can only call CREATE or CALL.
The gas cost of PAYRENT will be 10,000.
No changes to current opcode gas costs.
A contract will not know or react to the receipt of rent. This is okay. Workaround: if a contract really needed to know who provided rent payments then it could create a function in its ABI to attribute these payments. It is already possible to send payments to a contract without attribution by using SELFDESTRUCT.
Eviction responsibility / lazy evaluation
The specification gives responsibility for eviction to the consensus clients. This is the most predictable behavior because it happens exactly when it should. Also there need not be any incentive mechanism (refund gas, bounty) for outside participants (off chain) to monitor accounts and request removal.
This adds a computational responsibility to the clients to track eviction dates. This is possible in efficient time (at double the memory) using a double-ended priority queue (one for addressing by account address, the other for addressing by eviction date). There may be other ways of implementing this with different time-memory guarantees.
No converting rent to value
Ether converted to rent cannot be converted back. Anybody that works in accounting and knows about gifts cards should tell you this is a good idea. It makes reasoning about the system much easier.
Accounts pay rent
Yes, they pay rent. It costs money to keep their balances so we charge them rent.
Shouldn't we spend value (Ether balance) when rent is depleted?
- Update eviction calculation to include
VALUE. Also update
CALL(and friends) operations to recalculate eviction date when value is transferred. This is the new
rentUsingValueBlockthen proceed as if rent started paying using value.
Conceptually, you understand how this change works. But putting the details above is a little complicated. So I like the informal definition above until we have some consent around it (do de this before this draft gets to LAST CALL).
Your contract can be evicted and disappeared
Yes, if you do not pay rent for your account or contract then you lose it all. User education is required.
Actually, we should spend value (Ether balance) when rent is depleted.
Why do you need a separate rent account?
Because anybody/everybody can contribute to the rent account. If you depend on a contract, you should be contributing to its rent.
But the contract can spend all of its value.
By maintaining a separate rent and value balance, this allows people to contribute to the rent while being confident that this is allowing the contract to stay around.
All state about an account is destructed during eviction. The data cannot be recovered. That's the point.
Hint to implementers: make sure this works:
- Send value to a new account (gets stipend)
- Pay rent to that account
- Wait until after the rent expires (account is gone)
- Send value to that account (gets stipend again)
- Deploy a contract (CREATE) to that account (stipend gets topped off)
# Rationale -- economics & constants
SSTORE executed in 2015 cost 20,000 gas and has survived about 6 million blocks. The gas price has been around 1 ~ 50 Gwei. So basically 4,000 Wei per block per word so far. Maybe storing an account is 10 times more intensive than storing a word. But actually
G_transaction is 21,000 and
G_sstore is 20,000 so these are similar and they can both create new accounts / words.
- RENT_WORD_COST -- 4,000 Wei
- RENT_ACCOUNT_COST -- 4,000 Wei
- RENT_STIPEND -- 4,000 Wei * 360 days worth of blocks
The rent is priced in cold, hard Ether. It is not negotiated by clients, it is not dynamic. It is linear. Why is this a good idea? Because right now Ethereum is a system with multiple free variables -- Ether/gas price, gas/opcodes costs, Ether/block reward. [Add some note here about reducing a system of equations...] So the end result is that we can peg one of the values and it will be okay.
Q: There is a finite-ish amount of Ether and this proposal introduces a word-price in Ether, do math for me. A: The current size of Ethereum is about ~1 TB, maybe half of that is branch nodes. So that's like 15B words. There is about 100M Ether mined. The answer is that all the Ether can be spent on 400,000 terabyte-years of storage. I'm not sure if it is helpful to look at it that way.
# Backwards compatibility
There is a 360-day transition period (related to the RENT_STIPEND). This requires a hard fork. On the block of the fork, every account is immediately funded with enough rent to pay for ~ 360 days' worth of their current storage requirements. The formal implementation is that this new rule is applied if any existing account has σ[account]_rentLastPaid = 0. Therefore this can be implemented by clients lazily or eagerly.
Preexisting accounts which increase their storage needs will evict sooner than 360 days.
Users will need to be educated.
# Test Cases
TO BE ADDED
TO BE ADDED
Copyright and related rights waived via CC0.