EIP-6873: Preimage retention
Execution clients must retain the preimages of addresses and slots accessed between the fork preceding the verge, and the verge itself.
Abstract
Enforce preimage collection by every node on the network from the fork preceding the verge, up to the fork. This is needed in case each node is responsible for their own conversion.
Specification
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in RFC 2119 and RFC 8174.
Let T_p
be the timestamp of the fork preceding the verge, and T_v
the timestamp of the verge.
-
EL clients MUST save the preimage of each address and slot hashes they produce during the execution of all blocks produced between
T_p
andT_v
-
EL clients MAY start storing preimages outside of this time range as well
-
Given a hash produced between
T_p
andT_v
, EL clients SHOULD be able to show they have the preimage for that hash in their database -
EL clients SHOULD be able to download the preimages of the address and slot hashes that were produced before
T_v
from a publicly-available datastore
Rationale
Switching to verkle trees require a complete rehashing of all tree keys. Most execution clients store all keys hashed, without their preimages, which as the time of print take up 70GB on mainnet. In order to make these preimages available to everyone, the following course of action are available to each user:
- Restart a full-sync with preimage retention enabled
- Download the preimages as a file
The second option is the only acceptable option in practice, as a full-sync requires the syncing machine to be offline for several days, and therefore should not be simultaneously imposed to the entire network. A file download, however, poses a problem of data obsolecense as new preimages will immediately need to be added to the list as the chain progresses and new addresses are accessed. Updating the preimage file is not sufficient, since it takes more than a slot time to download over 70GB.
To guarantee a timely availability of all preimages around the verkle transition time, each node is therefore responsible for updating the list of preimages between the fork preceding the Verge, and the Verge itself.
Backwards Compatibility
No backward compatibility issues found.
Reference Implementation
All clients already implement preimage retention, at least as an option.
Security Considerations
Needs discussion.
Copyright
Copyright and related rights waived via CC0.