Hi,
Creating this draft SNIP to get feedback from the community and finish what was started by Nethermind earlier: GitHub - NethermindEth/starknet-state-verifier
The challenge is to be able to verify an inclusion proof from Starknet in EVM runtime. This will enable reading Starknet from L1 in contracts as well as later, in any EVM-compatible L2. This will greatly increase the interop abilities of Starknet as well as Starknet appchains in the future (keystore rollups and namespace rollups).