Reliance on eth_getProof

[perama-v]

Description

To create the set of archival block state proofs both debug_traceTransaction and eth_getProof are required.

Discussion

Roles:

• debug_traceTransaction with prestateTracer applied to all transactions in a block allows the full set of required states to be computed. These are the "accessed states" and includes storage slots for each account, aggregated for the block.
• eth_getProof can be passed the "accessed states" for accounts individually. The result includes the account storage proofs that are used for that block. The proofs are then used to construct the final state proof for the block.

Tracking

• Erigon eth_getProof
  • 🚧 Support for EIP1186 getProof erigontech/erigon#1349
  • ✅ debug_traceTransaction with prestateTracer

[perama-v]

eth_getProof would be called for all blocks from genesis. Each block is paired with a set of proofs that allow that block to be trustlessly executed (locally traced).