SNIP-3668: Verify Starknet state/storage proofs in Solidity through a CCIP-Read implementation

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).

I’ll definitely be keeping an eye on its development—it could open up some major possibilities for cross-chain interactions