`debug_executionWitness`: exclusion proof missing

[canepat]

debug_executionWitness does not provide exclusion proofs for zero-valued storage slots accessed during block execution.

Attached script reproducing the exclusion proof omission on mainnet block 25302399:

./execution_witness_omission.sh --block 25302399 --rlp ./blockRlp25302399.json --witness ./executionWitness25302399.json
Using project dir: /var/folders/77/l4r2qm_16fx01v11__xvgcjc0000gn/T/reth-check.XXXXXX.FSfeWsJwiY
Checking block 25302399 (0x182157f) from local files
INVALID -> stateless block execution failed: internal EVM error occurred when executing transaction 0xa0b58cff9081612a82513afdb762ff99239be470a78ba3006e7e26a133913003: database error: Database error: trie witness error: incomplete storage witness: prover must supply exclusion proof for slot 0xa64e337594cf357189b529eb6e46f8e2309763c68caa4a5fdd2460bea4b93114 in account 0xab14d68802a763f7db875346d03fbf86f137de55814b191c069e721f47474733
  state_trie  path (hashed_address): 0xab14d68802a763f7db875346d03fbf86f137de55814b191c069e721f47474733
  storage_trie path (hashed_slot):    0xa64e337594cf357189b529eb6e46f8e2309763c68caa4a5fdd2460bea4b93114
  address (preimage): 0xdac17f958d2ee523a2206206994597c13d831ec7
  slot    (preimage): 0xec0700a506dd31868b7978f57b8de6bf986919327f6a36125779b947adbceacd
  -> EXCLUSION PROOF MISSING: trie witness error: incomplete storage witness: prover must supply exclusion proof for slot 0xa64e337594cf357189b529eb6e46f8e2309763c68caa4a5fdd2460bea4b93114 in account 0xab14d68802a763f7db875346d03fbf86f137de55814b191c069e721f47474733

You can use the same script also to get an execution witness for latest block from a RPC endpoint.

blockRlp25302399.json
executionWitness25302399.json
execution_witness_omission.sh

[VBulikov]

yperbasis added Imp1 as Importance